{"id":"concurrent-access-during-compaction-is-doubly-unsafe","text":"Compaction under concurrent access is unsafe in two independent failure modes: concurrent readers and writers have no synchronization (no locks, latches, or snapshots on either path), AND compaction itself has no crash-safe file operations — concurrent access can corrupt live state silently, and a crash during this unsynchronized compaction produces irrecoverable data loss.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["concurrency-unsafe-on-both-read-and-write-paths","post-crash-compaction-produces-irrecoverable-corruption"],"outlist":[],"label":"No concurrency control on either path plus no crash-safe file operations equals two independent failure modes"}],"dependents":["compaction-is-unsalvageable-as-designed"],"metadata":{"last_reviewed":"2026-05-30T09:01:17","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"concurrent-access-during-compaction-is-doubly-unsafe","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":["concurrency-unsafe-on-both-read-and-write-paths","post-crash-compaction-produces-irrecoverable-corruption"],"label":"No concurrency control on either path plus no crash-safe file operations equals two independent failure modes"}]}}