A pass that never exercised its subject
A check reports success without the property it is about having been put under any pressure. Either the path the check guards was never taken, or the outcome the check requires was reached through a cause unrelated to the property. The result is green and carries no information about the thing it names.
共同情境
['an assertion phrased as an absence: no error, no 200, no forbidden import', 'a test whose setup mutates a fixture before running the tool under test', 'a check whose only observable is an exit status or an unstructured message', 'a section added specifically to demonstrate that a rule is enforced']
共同結構
['the observable the check reads is reachable from more than one cause', 'the precondition that would make the check meaningful is itself unverified', 'a substring the test supplied is accepted as evidence the tool produced it', 'the check has never been observed failing for the reason it exists']
修法族
['assert on the cause identifier the tool publishes, not on the outcome', 'verify the precondition separately before asserting on the result', 'run the check once against a deliberately broken subject and require it to fail', 'never match on a token the test itself introduced']
已知例外
Checks whose subject has exactly one possible cause of failure, where outcome and cause are the same observation.