Show HN: Reverse Minesweeper
Les curseurs définissent combien de déductions de chaque type un puzzle doit imposer: sous-ensembles pour Medium, recouvrements pour Hard, what-if et profondeur pour Extreme, et either-way pour Insane. Le moteur de résolution joue pas à pas les mêmes techniques que les indices utilisent et distingue cinq niveaux de logique: Basic (déductions d'un seul indice), Subset (comparaison de deux indices), Overlap (bornes min/max sur régions partagées), What-if (chaînes de suppositions conduisant à des contradictions) et Beyond the cap (chaînes plus longues et either-way où deux hypothèses imposent la même valeur). Un score de 0 à 100 place la grille dans une des bandes non chevauchantes correspondant aux paliers (Easy 4–19, Medium 20–39, Hard 40–59, Extreme 60–79, Insane 80–100), et le positionnement dépend des sous-métriques (comptes de sous-ensembles/recouvrements, profondeur de what-if, ou travail combiné pour either-way). Le temps estimé additionne des poids par opération (environ 1 s par case pour le marquage, ~2 s par basic, ~14 s par subset, ~26 s par overlap, ~15 s + ~10 s/étape pour chaque what-if, et ~35 s + coûts par étape pour chaque either-way) et les règles ZERO_CLUE imposent des zéros différentes selon le palier (Easy/Medium une ou deux zéros, Hard exactement un zéro, Extreme/Insane aucun). Chaque ajustement de curseur régénère la grille en testant jusqu'à 90 candidats; si aucun ne correspond, la meilleure approximation est affichée avec un avertissement sous le plateau invitant à relâcher un curseur ou choisir une grille plus grande.