Core ideas
Checks and results
The plain result labels used by Excellent.
Checks decide whether a claim held.
excellent check runExpected result: each check returns one of four plain states.
Verified
Returned
Needs a decision
Not checkedIf a check cannot run, the result should remain visible as Not checked rather than disappearing from the denominator.