Uniqueness guarantee
A puzzle is valid only if it has exactly one solution, so generation starts from a completed grid - every row, column, and 3x3 box holding 1 through 9 once - and removes prefilled numbers one at a time, rechecking after each removal that a single solution remains. Removal stops just before a second completion would become possible, so the key shows the one and only answer.