TY  - RPRT
TI  - The verifier side of speculative window decoding: a predictability bracket, a machine-checked blast-radius bound, and a decoder-agnostic recover loop
AU  - Rylan Malarchick
PY  - 2026
UR  - https://arxiv.org/abs/2607.13062
ID  - 2607.13062
ER  -