Lucid Minesweeper: No Guess

Most minesweepers eventually hand you a coin flip: two cells, one mine, and nothing on the board to tell them apart. This one never does. The board is generated after your first tap, then proved solvable by a solver that reads only what you can see. If the proof fails, a mine is moved and it tries again. You never see a board that was not certified, so every loss is a misread rather than bad luck. WHAT THAT TAKES The solver works in three tiers: single-cell rules, constraint subtraction that generalises the 1-2-1 and 1-2-2-1 patterns, and full enumeration folded together with the global mine counter. That last part is what removes endgame coin flips, and it is the part most minesweepers skip. Only about one random Expert board in nine is guess-free on its own. The generator fixes the other eight. CLASSIC MINESWEEPER, IF YOU WANT IT The guarantee is a setting, not a law. Turn it off and the mines are scattered the old way, which is roughly nine Expert boards in ten holding at least one forced guess. Nothing pretends otherwise when you do: the in-game badge changes, and a loss stops claiming you had enough information to avoid it. SCORES THAT SAY HOW YOU PLAYED Times are filed by how the run was played: clean, tap-to-chord, guessing allowed, or assisted. A hint or a rewind is recorded rather than quietly folded in, so a table you are proud of stays worth being proud of. AND - Four difficulties, plus custom boards with a mine ceiling that moves with the grid, so every board you can dial in is a board that can actually be generated. - A lost board keeps the mines you never found covered and offers a rewind. Seeing the rest is something you ask for. - Several board themes, an adjustable flag hold time, and vibration you can set or switch off. - English, French, Spanish and Simplified Chinese. - The game needs no connection: boards are generated and proved on your phone. No account, no sign-in, no analytics, no crash reporting. Your times stay on the device. - Free to play. A hint or a rewind can be earned by watching a rewarded ad you choose to start, and there are no banners and no interstitials. One optional purchase unlocks both outright, along with the premium board themes.