Go engine · open showcase

Fold-Go

Fold-Go rebuilds the game from legal placement, connected chains, liberties, captures and board symmetry. The small-board verifier counts every admitted position and checks the result with a separate referee. The full-board engine carries the same structural approach into play; this page preserves its 2–0, 19×19 showcase as a move-by-move record.

Checking the source machine…
24,318,165legal 4×4 positions exhaustively counted
17,038,501nodes in the fresh exact 2×2 proof
2–0the showcased 19×19 match receipt
0trained weights or random playouts

The match record

Replay the 19×19 showcase

Inspect the preserved game move by move. The competitive record is shown as its own artifact, distinct from the exhaustive small-board certification surface.

Loading the interactive replay…

Live counting lab

See how the engine counts a position

Place black and white stones on a 5×5 board. The lab finds the connected chain under your last move and counts its unique liberties immediately.

One project, two surfaces

Proof and competition answer different questions

Exact

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
Competitive

Forward-forcing engine

The full-board engine carries the counted law into competitive play. Its recorded victories are preserved as complete, replayable showcase artifacts.

  • Two 9×9 batches ended 2–0 against GNU Go
  • Historical 19×19 2–0 result preserved move for move
  • Full match logs, scores, and protocol receipts on disk

How it works

Start with rules and relationships the board exposes

ConnectivityCount chains, liberties, and legal captures
SymmetryTreat rotations and reflections as equivalent positions
ValueSolve finite boards with exact game values
AuditReplay moves and preserve protocol receipts
BoardCertified legal positionsStatus
1×11exhaustive
2×257exhaustive
3×312,675exhaustive
4×424,318,165exhaustive

Reproduce it

Run the exact census

cd tests
ernos fold_go_census.ep
./fold_go_census
cd ..
python3 tools/go_census_referee.py

Read the work

Method, match record, and caveats

The repository preserves the counted-legality census, exact small-board solving surface, competitive engine and complete match record. The current V3 computation publication connects those methods to the wider scientific model.

Source documentationRead the repository guide on GitHub