versus --book: wire-to-wire wins at 2 s and 10 s budgets - the solver's
verdict after every engine move stays at -1 (the theoretical win is
never dropped), the unassisted heuristic holds it through plies 13-25,
the engine's own proofs convert from ply 25 on stone 41. The distilled
book (6525 positions, 40 min of bookless solver time) is committed as
opening-book.txt and auto-loaded by the GUI engine seat.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>