Function scalar_certificate_within 

pub fn scalar_certificate_within(
    body: &ScalarBody,
    gate_budget: u64,
) -> ComputeStageCert

scalar_certificate against an EXPLICIT gate ceiling — the seam a lock shrinks to prove the budget is live code and not a constant nobody reads.