{"id":"btree-sibling-chain-maintained-across-mutations","text":"The B-tree sibling chain is actively maintained during all structural mutations with a fixed wire format: splits write the new right page with the old leaf's next_sibling pointer before rewriting the old leaf, deletions patch the previous sibling's pointer to splice out the removed leaf, and the next_sibling field sits at a fixed byte offset (bytes 3-6) enabling reliable traversal without full page deserialization.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"btree-sibling-chain-maintained-across-mutations","truth_value":"IN","reason":"premise"}]}}