Tag
This workshop paper audits how a cumulative token cap falling inside a mathematical derivation affects test-time controllers, comparing strict (stop at cap) versus advisory (finish current attempt) stopping across 19,200 archived traces. It finds that budget curves must jointly report cap, realized cost, eligible candidates, and selector information, since candidate coverage and nominal budgets alone can mislead.