What got me initially was that this puzzle isn’t really “this puzzle is solvable and you can use this fact to solve the puzzle”, but “this normal minesweeper board is solvable and you can use this fact to solve the puzzle”. There were a couple places where I thought a state that would be unsolvable under normal minesweeper rules was a valid possibility because of the added knowledge that the puzzle as a whole is fully solvable. But after thinking about this a bit more that kind of fully self-aware logic would create some contradictory results.