Every logic puzzle here is machine-checked by a solver before it is published — one provable solution, no ambiguous clues. Classic imports from the public domain are labeled until they pass review. Browse, attempt, and reveal the proof.