Status: IN
`range_scan` correctness depends on `_keys` being sorted, an invariant maintained by `put`/`delete`/`split`/`merge` but not enforced structurally — direct mutation of `_keys` bypassing these methods silently produces wrong results.
Source: entries/2026/05/29/range-partitioning-range_partitioning-range_scan.md