Kronlund-Drouault, P. (2026). Semantic Prefix Oracles for LLM Decoding: Contracts and Differential Validation. https://doi.org/10.1145/3843750.3843841