{ "schema_version": 1, "builder_plan": { "scenario": "Your coding assistant makes changes that still need substantial repair before merging.", "change": "Try the technique on held-out issues from a repository with reliable tests.", "baseline": "The same coding agent, repository snapshot, tools, and token budget.", "steps": [ "Locate the paper's implementation and check its license, model support, data needs, and hardware requirements. Stop here if you cannot obtain the required artifacts.", "Save a small set of representative product tasks and expected outcomes. Keep evaluation tasks out of any training or tuning, and choose quality and cost limits before running.", "Run the baseline and the proposed change on identical inputs. Keep other settings fixed and repeat paired runs to expose variation.", "Save per-task outputs, failures, timings, and all usage costs. Review regressions before expanding the test." ], "measure": "Correct patches, regression failures, human repair time, and total cost per accepted change.", "decision": "Keep the change only if it meets your preselected quality and latency limits and improves the metric you care about after setup and operating costs. Otherwise retain the baseline. This is an exploration plan, not a validated recommendation." }, "builder_review": null, "arxiv_id": "2609.35425", "title": "Semantic Prefix Oracles for LLM Decoding: Contracts and Differential Validation", "summary": "The method replaces syntax-only (regular/context-free) constrained decoding, which cannot catch type, scope, or declaration errors, with a grammar-authoring framework that checks semantic constraints during Earley parsing and prunes only provably irreparable prefixes. The cost is substantial upfront engineering: writing a semantic grammar specification per target language, verifying its dead-end-freedom and coverage conditions, ensuring tokenizer vocabulary coverage, and running an Earley-based oracle in the decoding loop, which adds per-token latency beyond standard grammar masks. Failure modes include grammars that violate the sufficient conditions (as the authors' own plain STLC instance did), vocabulary-coverage gaps that break the tokenizer lifting, and no guarantee that semantic validity implies task correctness on harder real-world languages.", "rationale": "The gains are real but demonstrated only on small language fragments with hand-built grammars, so a small team should wait for mature, maintained grammar libraries for mainstream languages before committing production engineering effort.", "technique": "Semantic prefix oracle for constrained decoding", "family": "agentes_de_codigo", "recommendation": "observar", "published": "2026-09-28", "as_of": "2026-10-18", "editorial_status": "indexed", "source_url": "https://arxiv.org/abs/2609.35425", "independent_implementations": 0, "total_implementations": 0, "stars": 0, "citations": null, "claims": [ { "claim_id": "claim-01", "statement": "The method replaces syntax-only (regular/context-free) constrained decoding, which cannot catch type, scope, or declaration errors, with a grammar-authoring framework that checks semantic constraints during Earley parsing and prunes only provably irreparable prefixes. The cost is substantial upfront engineering: writing a semantic grammar specification per target language, verifying its dead-end-freedom and coverage conditions, ensuring tokenizer vocabulary coverage, and running an Earley-based oracle in the decoding loop, which adds per-token latency beyond standard grammar masks. Failure modes include grammars that violate the sufficient conditions (as the authors' own plain STLC instance did), vocabulary-coverage gaps that break the tokenizer lifting, and no guarantee that semantic validity implies task correctness on harder real-world languages.", "basis": "inferred", "result": "", "baseline": "", "conditions": "", "source_url": "https://arxiv.org/abs/2609.35425", "source_page": null, "source_excerpt": "" }, { "claim_id": "claim-02", "statement": "Semantic-minus-syntactic ablation shows nonnegative gains for all nine matched models, with maxima of +15.2 points on STLC task correctness and +14.3 points on ML validity; differential validation against ocamlc/cc reports zero false prunes across all prefixes of 65 valid programs and 25/30 invalid programs localized mid-stream versus 0/30 for syntax-only decoding.", "basis": "inferred", "result": "", "baseline": "", "conditions": "", "source_url": "https://arxiv.org/abs/2609.35425", "source_page": null, "source_excerpt": "" } ], "exposure_map": [ { "dimension": "quality", "basis": "not_evaluated", "finding": "", "interpretation": "", "limitation": "", "next_check": "", "source_url": "", "source_page": null, "source_excerpt": "" }, { "dimension": "compute", "basis": "not_evaluated", "finding": "", "interpretation": "", "limitation": "", "next_check": "", "source_url": "", "source_page": null, "source_excerpt": "" }, { "dimension": "latency", "basis": "not_evaluated", "finding": "", "interpretation": "", "limitation": "", "next_check": "", "source_url": "", "source_page": null, "source_excerpt": "" }, { "dimension": "operations", "basis": "not_evaluated", "finding": "", "interpretation": "", "limitation": "", "next_check": "", "source_url": "", "source_page": null, "source_excerpt": "" }, { "dimension": "compatibility", "basis": "not_evaluated", "finding": "", "interpretation": "", "limitation": "", "next_check": "", "source_url": "", "source_page": null, "source_excerpt": "" }, { "dimension": "security", "basis": "not_evaluated", "finding": "", "interpretation": "", "limitation": "", "next_check": "", "source_url": "", "source_page": null, "source_excerpt": "" }, { "dimension": "data_and_training", "basis": "not_evaluated", "finding": "", "interpretation": "", "limitation": "", "next_check": "", "source_url": "", "source_page": null, "source_excerpt": "" }, { "dimension": "reproducibility", "basis": "not_evaluated", "finding": "", "interpretation": "", "limitation": "", "next_check": "", "source_url": "", "source_page": null, "source_excerpt": "" } ], "risks": [], "minimum_test": [], "open_questions": [], "independent_tests": [], "lab_reproductions": [], "report_available": false, "validation_tier": "unknown", "evidence_tier": "unknown", "infrastructure_basis": "unknown", "equations": [], "equations_status": "not_fetched", "core_kind": "", "equations_fetched_at": "", "equations_source_url": "", "equations_source_sha256": "", "exposures_reviewed_at": "", "exposures_source_sha256": "" }