{"id":"full-stack-restart-fragility","text":"Both the physical storage layer and the logical transaction layer are independently fragile under restart, creating a full-stack restart hazard: the B-tree's durability model protects user data pages but not structural metadata (height, sibling chain, free list), while the transaction system's isolation model depends on monotonic counters and abort-as-status-change semantics that have no persistence backing.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["btree-durability-protects-data-not-structure","transaction-isolation-fragile-under-restart"],"outlist":[],"label":"Independent restart fragility at the physical-page and logical-transaction layers means a single process restart can simultaneously corrupt both the storage structure and the isolation guarantees."}],"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":"full-stack-restart-fragility","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":["btree-durability-protects-data-not-structure"],"label":"Independent restart fragility at the physical-page and logical-transaction layers means a single process restart can simultaneously corrupt both the storage structure and the isolation guarantees."}]}}