Checkpoint: stable partition

Stable partition = compaction (smaller values written forward) + parking the pivot + appending the remainder, all order-preserving. If your trace moved a value you did not expect, the write index and the read index were allowed to touch — they must run on independent pointers. This is the exam's hardest plain-array shape and it decomposes into machines you have owned since Module 3.