Puzzles
-------

Seam: Horseman and colormap use named variables and solve answers.
Concurrent conjunction (&) requires both constraints to yield True; a
False side fails. Colormap has 48 answers, as in PAKCS (#139).

Run ./run after make stage, or run unit_boundary.py from tests/.
The run script selects the staged Python and the session backend.
expected.out records stdout; stderr is shown on failure by the test.
The driver comments explain the individual probes and their order.
The corpus README.md lists the backends and the oracle for this driver.
