An Empirical Audit of k-NAF Budget Accounting for Anchored Decoding
This paper empirically audits the k-NAF budget-accounting mechanism in Anchored Decoding across fixed and adaptive workloads, finding that cumulative KL spend consistently remains well below sequence-level budgets and that instances of apparent budget exhaustion are attributable to proxy artifacts rather than actual mechanism failures.