{"id":"range-partitioning-split-at-median-index","text":"`Partition.split()` divides at `len(keys)//2` (count-based median), not the lexicographic midpoint of the key range, producing equal-count halves but potentially unequal key ranges.","truth_value":"IN","source":"entries/2026/05/29/range-partitioning-range_partitioning.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{"example":"mid = len(partition._data) // 2\nmedian_key = sorted_keys[mid]\n# split into [start, median) and [median, end)"},"explanation":{"steps":[{"node":"range-partitioning-split-at-median-index","truth_value":"IN","reason":"premise"}]}}