Core ideas

Checks and results

The plain result labels used by Excellent.


Checks decide whether a claim held.

excellent check run

Expected result: each check returns one of four plain states.

Verified
Returned
Needs a decision
Not checked

If a check cannot run, the result should remain visible as Not checked rather than disappearing from the denominator.