TY - RPRT TI - Semantic Prefix Oracles for LLM Decoding: Contracts and Differential Validation AU - Paul Kronlund-Drouault PY - 2026 DO - 10.1145/3843750.3843841 UR - https://arxiv.org/abs/2609.35425 ID - 2609.35425 ER -