Damian's Minesweeper engine, 9x9 with ten mines, Codex emitted to Roc and run in wasm. A click becomes a message, the cell's number, and step is the only door; view answers the board as words. The AI only opens a square it can prove safe. The generated Roc is games/roc; the engine's Codex is Minesweeper.codex.