Status: IN
The `next_sibling` leaf chain is correctly maintained through splits because the WAL logs the right page before the left page (ensuring the pointer target is durable before anything references it) and no concurrent reader can observe intermediate states
Source: entries/2026/05/29/topic-concurrency-and-latch-coupling.md