{"id":"storage-crash-recovery-has-no-safe-path","text":"No storage engine has a fully safe crash recovery path: compaction lacks atomicity, WAL replay ignores batch boundaries, and CRC checksums leave routing metadata unprotected — corruption can enter via unprotected metadata, persist through non-validating compaction, and survive recovery via batch-unaware replay.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["compaction-lacks-crash-safety-across-implementations","replay-lacks-batch-atomicity-across-implementations","payload-only-crc-leaves-metadata-unprotected"],"outlist":[],"label":"Three independent crash-recovery gaps compound: atomic file operations are absent, batch integrity is unchecked during replay, and metadata sits outside CRC coverage"}],"dependents":["crash-recovery-both-broken-and-unverified","end-to-end-correctness-requires-unmet-storage-guarantees","no-safe-operating-mode-exists","recovery-simultaneously-over-and-under-engineered","storage-has-no-self-healing-at-any-layer"],"metadata":{"last_reviewed":"2026-05-30T09:01:17","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"storage-crash-recovery-has-no-safe-path","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":["compaction-lacks-crash-safety-across-implementations","replay-lacks-batch-atomicity-across-implementations"],"label":"Three independent crash-recovery gaps compound: atomic file operations are absent, batch integrity is unchecked during replay, and metadata sits outside CRC coverage"}]}}