N×N grid: each row + column has digits 1..N exactly once. Subset of Sudoku/KenKen — pure row/col distinctness projection. Accepts partial fills (0 = empty).