Scans the input for natural runs like Timsort, but schedules merges by computing a "power" value from each run's position and size to determine the provably optimal merge order.
The power-based scheduling guarantees a comparison count close to the information-theoretic lower bound on structured inputs, a proven improvement over Timsort's heuristic stack rules when runs have irregular lengths.