{"id":"wal-is-redo-only","text":"The B-tree WAL uses redo-only recovery (replay logged page images forward); there is no undo log, so incomplete pre-commit writes in the data file are overwritten by WAL replay to restore consistency","truth_value":"IN","source":"entries/2026/05/28/b-tree-storage-engine-btree-commit.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"wal-is-redo-only","truth_value":"IN","reason":"premise"}]}}