| { |
| "adapter_type": "guided_decoding", |
| "carnot_version": "0.1.0", |
| "spec": ["REQ-VERIFY-001", "SCENARIO-VERIFY-004"], |
|
|
| "constraint_types": [ |
| "arithmetic", |
| "type_check", |
| "return_type", |
| "return_value_type", |
| "bound", |
| "initialization", |
| "implication", |
| "exclusion", |
| "disjunction", |
| "negation", |
| "universal", |
| "nl_consistency" |
| ], |
|
|
| "default_weights": { |
| "arithmetic": 1.0, |
| "type_check": 1.0, |
| "return_type": 1.0, |
| "return_value_type":1.0, |
| "bound": 1.0, |
| "initialization": 0.8, |
| "implication": 0.9, |
| "exclusion": 0.9, |
| "disjunction": 0.7, |
| "negation": 0.8, |
| "universal": 0.7, |
| "nl_consistency": 0.5 |
| }, |
|
|
| "default_alpha": 0.5, |
| "default_check_every_k": 1, |
| "default_energy_threshold": 0.0, |
| "default_max_tokens": 256, |
| "default_temperature": 1.0, |
|
|
| "compatible_model_families": [ |
| "Qwen/Qwen3-0.6B", |
| "Qwen/Qwen3.5-0.8B", |
| "Qwen/Qwen2.5-*", |
| "google/gemma-4-*", |
| "meta-llama/Llama-*", |
| "mistralai/Mistral-*" |
| ], |
|
|
| "latency_profile": { |
| "constraint_check_p50_ms": 0.006, |
| "constraint_check_p99_ms": 0.034, |
| "extraction_p50_ms": 0.275, |
| "per_token_overhead_budget_fraction": 0.0004, |
| "source_experiments": ["Exp-102", "Exp-110"] |
| }, |
|
|
| "known_limitations": [ |
| "AutoExtractor min-text guard (< 5 chars) skips early tokens", |
| "No KV-cache: full forward pass every token — use max_tokens < 256 for speed", |
| "Uniform logit penalty preserves token ranking but does not steer vocabulary selection", |
| "Energy is a violation count, not a calibrated probability", |
| "Real-model validation pending (Exp-111); Exp-110 used MockArithmeticLLM" |
| ] |
| } |
|
|
