{"id":"no-sibling-sentinel-is-max-uint32","text":"`NO_SIBLING = 0xFFFFFFFF` marks the end of the leaf sibling chain; a leaf with this value is the rightmost at its level","truth_value":"IN","source":"entries/2026/05/29/topic-blink-tree-paper.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"no-sibling-sentinel-is-max-uint32","truth_value":"IN","reason":"premise"}]}}