pub fn verdict(s: &Score) -> Verdict
2026-09-26: The gate’s rule, in order. Anything not proven equal fails.