{"id":"crash-failure-paths-systematically-untested","text":"Crash and failure recovery paths are systematically excluded from the test suite: the WAL has no tests for truncated records or CRC mismatches, LSM crash testing covers only WAL replay and ignores compaction crashes entirely, and SSI write-skew tests exist only in standalone tester files outside the default pytest runner — the most critical correctness scenarios have the least test coverage.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["wal-no-torn-write-tests","lsm-crash-test-ignores-compaction","write-skew-has-no-default-tests"],"outlist":[],"label":"Three independent test gaps all exclude the crash and failure recovery paths"}],"dependents":["crash-recovery-both-broken-and-unverified","durability-bugs-invisible-to-testing","testing-covers-neither-crash-nor-async-failure-modes"],"metadata":{"last_reviewed":"2026-05-30T09:01:17","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"crash-failure-paths-systematically-untested","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":["wal-no-torn-write-tests"],"label":"Three independent test gaps all exclude the crash and failure recovery paths"}]}}