{"id":"btree-sibling-pointers-unused-for-merge","text":"Leaf pages serialize a `next_sibling` pointer (via `_serialize_leaf` and `NO_SIBLING` sentinel) providing infrastructure for merge/redistribute, but no code path reads sibling pointers during deletion.","truth_value":"IN","source":"entries/2026/05/28/topic-b-tree-underflow-rebalancing.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"btree-sibling-pointers-unused-for-merge","truth_value":"IN","reason":"premise"}]}}