Performs Quicksort's partition step using an auxiliary buffer to collect elements from each side in their original order, then writes them back, preserving the relative order of equal elements.
Stability requires O(n) auxiliary space per partition, the direct cost of guaranteeing that equal elements keep their original ordering, which standard in-place Quicksort cannot provide.