makeBoardfunction

Deal after the first reveal. A seed fixes the whole candidate stream and the accepted board.

A no-guess deal first draws random layouts, as 0.1 and 0.2 did, so every board those versions dealt is still dealt. If none of them can be finished by deduction it takes the closest and repairs it: single mines are moved near the place the solver stopped until the solver finishes the whole field. The result is proved the same way either route.

import { makeBoard } from "@johnmorrisdotca/jirai";

function makeBoard(settings: Settings, first: number, options?: GenerationOptions): Board

import type { Settings } from "@johnmorrisdotca/jirai";
import { makeBoard } from "@johnmorrisdotca/jirai";

const settings: Settings={width:3,height:3,mines:1,grid:"square",noGuess:false,opening:"clear",seed:42};
console.log(makeBoard(settings,0,{attempts:1,repair:false}).first);

0