Repository navigation

Challenge mode: open statements, solutions, and comparator verification - #288

Merged

Vilin97 merged 3 commits into

mainfrom

vilin/challenge-mode

Jul 28, 2026

Merged

Challenge mode: open statements, solutions, and comparator verification#288
Vilin97 merged 3 commits into
mainfrom
vilin/challenge-mode

Commits on Jul 28, 2026
- Challenge mode: open statements, solutions, and comparator verification
  
  Vilin97
  and
  claude
  committed
  95ab5da
- Fix the challenge warning gate on a board with no warnings at all
  
  Vilin97
  and
  claude
  committed
  53147c6
- Close the axiom-gate hole a challenge proved in place slips through
  
  Vilin97
  and
  claude
  committed
  211141c