When two candidate orderings for a run both place the same digit in the same position, that cell is solved — no matter which ordering turns out to be correct.