Retire the temporary CI-run budget rollout input after adoption

🤖 Generated by the Agentic Engineer

Objective

Retire the temporary check-ci-run-budget default-off rollout input after its approved consumers and whole-PR enforcement are verified under #654.

Record every active mapped consumer and verified under/over-budget behavior, keeping private-product evidence private.
Complete immutable-source whole-PR aggregation and required enforcement; a single-run receipt is not sufficient.
Decide the compatible activation/default/removal sequence, update all callers and remove the temporary input and disabled smoke caller without dropping refusal controls.
Merge, release and independently verify the resulting unconditional behavior; document rollback without weakening the fixed budget.

The mechanism is implemented under #656. Remains deferred until consumer adoption and enforcement are proven, not merely until #656 merges.