Some sum + run-length pairs have only one possible set of digits. Recognising these locks in values immediately — no guessing needed.