Module gate 

Pre-dispatch budget gate.

The gate wraps the BudgetTracker and provides the eligibility check used by the dispatch loop’s step 7 (run selection). A task with any exhausted budget dimension is blocked from dispatch.

Structs

BudgetGate

Pre-dispatch eligibility gate backed by the budget tracker.