{"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":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"btree-split-write-order-protects-chain","truth_value":"IN","reason":"premise"}]}}