An agent budget is a permission, not a ledger line — NullRun