{"id":"wal-truncation-is-multi-failure-hazard","text":"WAL truncation combines three independent failure modes: it blocks all concurrent operations for its entire duration, silently discards all records after encountering corruption in a file, and is not crash-safe due to in-place file rewriting without atomic rename.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["wal-truncate-not-crash-safe","wal-truncate-blocks-all-operations","wal-truncate-drops-after-corruption"],"outlist":[],"label":"Truncation is simultaneously blocking, data-losing on corruption, and crash-unsafe"}],"dependents":[],"metadata":{"last_reviewed":"2026-05-30T09:01:17","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"wal-truncation-is-multi-failure-hazard","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":["wal-truncate-not-crash-safe"],"label":"Truncation is simultaneously blocking, data-losing on corruption, and crash-unsafe"}]}}