{"id":"lsm-wal-truncated-after-sstable-write","text":"The WAL is truncated only after a successful SSTable write; if a crash occurs between SSTable.write and WAL.truncate, replay harmlessly re-inserts into the memtable (idempotent because it's a dict).","truth_value":"IN","source":"entries/2026/05/28/log-structured-merge-tree-lsm.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"lsm-wal-truncated-after-sstable-write","truth_value":"IN","reason":"premise"}]}}