{"id":"leaf-split-updates-sibling-pointers","text":"When a leaf splits, the new page inherits the old page's `next_sibling` pointer and the old page's `next_sibling` is updated to point to the new page — two field writes during an operation that already rewrites both pages","truth_value":"IN","source":"entries/2026/05/29/topic-leaf-sibling-chains.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"leaf-split-updates-sibling-pointers","truth_value":"IN","reason":"premise"}]}}