{"id":"leaf-sibling-not-blink","text":"Leaf `next_sibling` pointers serve range scans only, not Lehman & Yao concurrent-split recovery; internal nodes have no right-links, making this a standard B+ tree, not a B-link tree","truth_value":"IN","source":"entries/2026/05/29/topic-lehman-yao-1981.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"leaf-sibling-not-blink","truth_value":"IN","reason":"premise"}]}}