Status: IN
`Partition.merge(other)` appends the other partition's keys without re-sorting; correctness depends on the caller passing the immediate right neighbor, with no runtime adjacency validation.
Source: entries/2026/05/29/range-partitioning-range_partitioning.md