It is also possible to implement minesweeper such that all positions are solvable unambiguously, see https://www.chiark.greenend.org.uk/~sgtatham/puzzles/js/mine...