Function check_budgets 

pub fn check_budgets(
    contract: &Contract,
    evidence: &Evidence,
) -> Vec<BudgetVerdict>

Check every path’s steady-window latency and throughput against its budget.