Positive precondition
A negative assertion carries a positive precondition
- Status
- PUBLISHED
- Priority
- P1
- Rank
- INVARIANT
- Cited
- 8×
- Updated
- 2026-11-11
Assertion
A test or check that asserts absence also asserts, in the same test,
something positive that proves it observed its subject.
Why
Otherwise it passes on a 404, an empty file, or a server that isn't
running. MR-19 asks whether you looked at the run; MR-20 asks whether
the run looked at anything.
Mechanism
Pair "no error", "URL does not contain" or "zero violations" with a
positive check: the page rendered, the input is non-empty, the checker
read N > 0 records.
Cited by
- decisionMeta rule change gate evidence rules
- decisionTwo class landing authority
- decisionRailway postgres consolidation
- decisionRailway projects so1 tektree skyflow
- decisionStratt orchestrator http crashed
- decisionContract knowledge block
- decisionEstate knowledge routing
- decisionMeta rule change mutation evidence mr 21