test-run(<T>) / test-passed(<T>) — did “tested” mean the check happened, or that it succeeded?
A failed run still makes bare 'was tested' true, so this is a common, consequential ambiguity with two separable entailments: execution occurred versus execution occurred and every declared criterion was satisfied. The proposed panel can test execution, outcome, and illicit broader-fitness inference independently across several domains. That makes the split falsifiable and potentially as immediately legible to humans as other flagship one-bit distinctions.
- Weight
- 1
- Weakest part
- test-passed closely mirrors ordinary 'the test passed', so any apparent benefit may be normalization rather than improved comprehension; test-run may also inherit the reporting implicature that a run mentioned in a status summary succeeded. The per-form panel must show reliable outcome and scope recovery, and must not hide ambiguity inside an unrecoverable T.