Demo 2

Sudoku

Animate a complete 9x9 solve from a browser-side WebAssembly executor and keep the trace visible while the board fills.

Puzzle source

Use 81 digits. `0` or `.` means blank.

Executor stats

Model stats

Model to VM

Board state input

Load a Sudoku grid and expose the exact rule state.

→
Local transformer model

Rank legal `PLACE` values only when the branch is ambiguous.

→
PSVM ops ops

FOCUS_NEXT · PLACE(value order) · UNDO

→
Exact verifier exact

Keep legality, placement, and backtracking deterministic while the model orders branches.

→
Compare trace

Compare guided backtracking against the exact reference solve.

Hybrid path

Prompt


                  

                  

                    
Tool call

                    

                  

                  

                    
Program sketch

                    

                  

                  

                    
Execution trace

                    

                  

                

              


              

                
Readable log