Module score

Module score 

Source
Expand description

2026-09-26: The vision benchmark’s cells and verdict. A run whose no-image control did not hold is VACUOUS, whatever the other cells say.

Owner: bench, vision. Invariants: none beyond the types.

Enums§

GeomCell
2026-09-26: How one geometry cell came out.
ProbeCell
2026-09-26: How one capability probe came out.
Verdict

Functions§

asserted_cells
2026-09-26: How many geometry cells asserted something (Match or Mismatch). Reported beside the verdict, because a run where every cell was Unmeasured passes verdict.
reply_matches
2026-09-26: Does a reply satisfy a probe’s expectations?
verdict
2026-09-26: Fold the geometry and probe cells into one verdict: Vacuous when the control did not hold, whatever else happened; otherwise Fail on any geometry Mismatch or Error or any probe that did not pass; otherwise Pass. Unmeasured cells do not fail the run.
with_runtime_checks
2026-09-26: Fold the integrity and concurrency legs into the verdict: a Pass becomes Fail when an integrity leg failed or the concurrency sweep is not clean. Fail and Vacuous stay as they are.