Certification engine
Legality is rebuilt as counted connectivity. Finite boards are exhaustively enumerated and solved, with a separate Python referee checking the census.
- 1×1 through 4×4 legal-position censuses
- Fresh values: 1×1 = 0, 1×2 = 0, 2×2 = +1
- Zero disagreements from the independent referee