solver: break board dihedral symmetry #25

Merged
mcp merged 1 commits from codex/issue-3-d4-symmetry into main 2026-07-30 18:19:14 +01:00
1 Commits
Author SHA1 Message Date
Codex instance f37e08768d solver: break board dihedral symmetry
Constrain the unique unit square to a closed D4 fundamental region once its placement is known. This preserves one representative of every board-orientation orbit without assigning identities to repeated squares.

Keep a symmetry-disabled benchmark path, document the proof and measurements, and cover generic, diagonal, midline, corner, and centre orbits.

Tests: Release, Debug, ASan, and UBSan CTest (11 passed each)

Refs: #3
2026-07-30 18:18:45 +01:00