The ship clause ranks laps by blocking count while the progress clause ranks by unrouted plus broken, giving opposite orders over four laps, and no tool implements the documented opens-first order.

drandyhaas/KiCadRoutingTools Issue #1596: plan-pcb-placement ranks boards two ways: the stop rule counts progress by unrouted + broken first, while section 1, the ship clause, judge_key and converge rank by blocking