Function verdict 

pub fn verdict(s: &Score) -> Verdict

2026-09-26: Zero tolerance: any unmeasured, alone-unstable, contaminated, persistent or diverged cell fails, as does a score with nothing compared.

The comparison is of stream text and token counts, not a timing statistic, so there is no noise term. Batch-width numerics can flip a near-tie argmax with no cross-request leak; that case is classified Diverged, not Contaminated, and still fails, because no principled bound says how many flipped tokens make a leak.