Thanks for the detailed explanation of how you managed to generate unambigious levels. It was very interesting!
I'm having a lot more fun with this than I used to playing regular minesweeper. I do find that after a while I end up basically following the same deduction rules myself as the solver AI you described, so it's not very challenging anymore. But still a great game I can basically play on auto-pilot to keep my hands busy while listening to a podcast. A nice alternative on the Japanese logic puzzle books I usually use for that purpose😅