I-CONTRADICTS — 0 runs of 2

the verifier's report carries a failing row. Raised when the run's recorded verdict is contradicts. Source: the run's stored verifier report (check_report), field stdout, its [FAIL ] rows, or all of it where the rows cannot be read line by line.

This rule raised nothing from the 2 runs stored.

This record shows what was verified and evaluated at the time — not what was ultimately true.