{"id":"btree-split-write-order-protects-chain","text":"During a leaf split, `_insert` writes the new right page to the WAL before the modified left page, ensuring the sibling pointer target is durable before any pointer references it — so the chain never points to a nonexistent page after crash recovery","truth_value":"IN","source":"entries/2026/05/29/topic-split-and-sibling-update-atomicity.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"btree-split-write-order-protects-chain","truth_value":"IN","reason":"premise"}]}}