Every generated puzzle is verified to have exactly one solution. Conflicts highlight live as you type.