Function verdict 

pub fn verdict(
    order: &[OrderCell],
    counts: &[CountCell],
    control_held: bool,
) -> Verdict

2026-09-26: Inconclusive when nothing was asserted, else Vacuous when control_held is false, else Pass only if every asserted cell passed.