{"id":"compaction-is-critical-data-lifecycle-hazard","text":"Compaction is the critical junction where crash safety and data lifecycle intersect: crash-unsafe compaction can permanently lose data or resurrect deleted keys (no write-temp/fsync/rename, delete-before-rename ordering), and fragmented tombstone semantics mean those corruptions propagate inconsistently through derived systems that require flush and old-value tracking for correctness.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["post-crash-compaction-produces-irrecoverable-corruption","delete-semantics-fragmented-from-storage-to-derived-systems"],"outlist":[],"label":"Crash-unsafe compaction corrupts the very operation (tombstone processing) that derived system consistency depends on"}],"dependents":["compaction-hazard-within-broken-durability-pipeline","full-data-lifecycle-unsafe-from-write-through-read"],"metadata":{"last_reviewed":"2026-05-30T09:01:17","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"compaction-is-critical-data-lifecycle-hazard","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":["post-crash-compaction-produces-irrecoverable-corruption"],"label":"Crash-unsafe compaction corrupts the very operation (tombstone processing) that derived system consistency depends on"}]}}