A repair test seeded the pre-existing row with values already equal to the repair's targets, so the converging branch had nothing to converge. Any assignment in that branch could be deleted with the whole suite green.
Seed divergent, assert convergence. A fixture already at the target proves nothing about the code that moves it.
Pin the whole SET list at once. Closing one column per round pays per round.
Pin the whole SET list at once. Closing one column per round pays per round.