Status: IN
Nodes store no upper-bound "high key," so a reader cannot detect that a concurrent split moved keys to a right sibling; this is the second missing prerequisite for Lehman-Yao's single-latch protocol
Source: entries/2026/05/29/topic-sibling-pointer-maintenance.md