Function loop_decision_bound 

pub fn loop_decision_bound(
    baseline_energy: f64,
    budgets: &LoopBudgets,
) -> Result<u64>

The finite decision bound the loop must respect. Computed once at node entry from the measured baseline; the loop refuses the (N_gate + 1)-th gate submission and terminates through the exhaustion path (Gate X).