Yes, very well said. Although, I do think this was primarily built with ARC in mind (for which there is no search algo) and Sudoku was added retroactively to show it is not specific to ARC.
The other thing about Sudoku is is that it is kind of easily self-verifiable.

→ View original post on X — @rasbt,