Foundations

Two foundational exclusion deductions — one candidate left in a cell or one position left for a digit — plus Pointing and Claiming, the two directions of one box–line reduction rule.

Singles and the box–line reduction rule

Naked Singles and Hidden Singles resolve exact-one constraints through exclusions. For a Naked Single, eight digits have been excluded from one cell; resolving the survivor excludes it from all 20 peers. For a Hidden Single, eight positions for one digit have been excluded from a house; resolving the surviving position excludes the cell's other digits and excludes that digit from the 12 peers outside the source house. Count through 1–9 for Naked Singles and crosshatch one digit through a house for Hidden Singles.

Pointing and Claiming are not two separate laws but the two directions of a single box–line reduction rule: when every candidate for a digit inside one house lies in the intersection with a second house, the digit is locked into that intersection and can be removed from the rest of the other house. Pointing reads box → line; Claiming reads line → box.