{"id":"crash-recovery-both-broken-and-unverified","text":"Crash recovery is simultaneously broken and unverified: no storage engine has a safe crash recovery path (non-atomic compaction, batch-blind replay, metadata-excluding CRC), and crash/failure paths are systematically excluded from the test suite — recovery bugs will persist indefinitely because neither the broken mechanisms nor their absence is tested.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["storage-crash-recovery-has-no-safe-path","crash-failure-paths-systematically-untested"],"outlist":[],"label":"A depth-2 conclusion (recovery is unsafe) combined with a depth-1 conclusion (testing excludes crash paths) creates a self-reinforcing deficiency: the bugs exist and the tests cannot find them"}],"dependents":["write-time-durability-engineering-abandoned-at-recovery"],"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-recovery-both-broken-and-unverified","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":["storage-crash-recovery-has-no-safe-path","crash-failure-paths-systematically-untested"],"label":"A depth-2 conclusion (recovery is unsafe) combined with a depth-1 conclusion (testing excludes crash paths) creates a self-reinforcing deficiency: the bugs exist and the tests cannot find them"}]}}