Module verdict 

The pure verdict engine: per Test-bound ground, the resurface precedence. No I/O — receipts, the live-origin sha, and the selected-list are passed in. Facts, not verdicts: every not-green state is a co-equal fact, never ranked or scored.

Precedence (first match wins): sha-stale → not-run → age-stale → unproven → gray→red → red → silently-unbound → green.

Structs

Ctx

The evaluation context, built once per ev check / ev reopen invocation: the staleness reference sha, the selected-list, and the clock for age-staleness.

Enums

Verdict

Functions

verdict_for

Verdict for one ground against receipts (this ground’s run-receipts) and ctx.