pub fn verdict(s: &Score) -> Verdict
2026-09-26: The gate’s rule, in order. Anything not proven equal fails, and a control that diverged makes the router’s difference unattributable.