{"id":"recovery-destroys-both-durability-and-isolation","text":"A single restart simultaneously destroys both durability and isolation guarantees along independent axes: the WAL's carefully calibrated write-time durability tiers (per-write fsync vs batch-only fsync) become invisible to recovery, and the transaction isolation model's composed invariant layers (MVCC visibility plus SSI conflict detection) break because abort metadata and monotonic counters are non-persistent.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["write-time-durability-engineering-abandoned-at-recovery","transaction-isolation-fragile-under-restart"],"outlist":[],"label":"Restart independently breaks the durability contract (WAL tiers lost) and isolation contract (transaction metadata lost)"}],"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":"recovery-destroys-both-durability-and-isolation","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":["write-time-durability-engineering-abandoned-at-recovery"],"label":"Restart independently breaks the durability contract (WAL tiers lost) and isolation contract (transaction metadata lost)"}]}}