Function gate_pass 

pub fn gate_pass(
    scores: &[f64],
    baseline: &[f64],
    threshold: f64,
    slack: f64,
) -> bool

Gate predicate (Patent 16 draft, claim 13): a checkpoint PASSES iff no prompt’s loop score exceeds threshold AND none exceeds its zero-shot baseline by more than slack — boundary values pass.