Comment nous avons vérifié 2 000 plateaux

Un solveur n’est fiable que si sa notion du mouvement correspond au jeu. Une pièce peut glisser jusqu’au mur, à une autre pièce ou à une porte refusant sa couleur. OutBrick ajoute des états : les clés modifient les portes, la glace demande plusieurs glissements et les générateurs introduisent des pièces en attente. Réimplémenter des règles simplifiées pour vérifier laisserait un vide exactement où une erreur pourrait se cacher.

La recherche demande donc au moteur du jeu les mouvements légaux et utilise le même code de transition que le jeu. La clé d’état comprend celui des portes et un compteur de coups replié lorsque des portes cycliques ou temporisées le rendent pertinent. Deux plateaux visuellement identiques mais aux portes dans des états actifs différents doivent rester des états de recherche distincts.

Le solveur utilise A* pondéré. Son heuristique ExitTable demande combien de glissements chaque pièce nécessiterait pour une sortie adaptée si les autres briques étaient retirées. Ce plateau relâché est moins coûteux à raisonner et estime utilement le travail restant. Renforcer le poids de l’heuristique favorise une réussite rapide.

Ce choix a une limite : le chemin utile n’est pas garanti le plus court. La recherche peut aussi atteindre son budget de nœuds. Le résultat est alors inconnu, pas impossible. Seul l’épuisement complet de l’espace d’états atteignables peut justifier l’absence de réussite. Distinguer ces issues empêche un délai ou une annulation de devenir une fausse affirmation sur le puzzle.

Trouver un chemin n’est pas la vérification finale. Pour chaque plateau créé, nous conservons un témoin : la suite de coups de l’état initial à la réussite. Le rejeu commence dans un état neuf, vérifie sa validité et applique les coups un par un selon les vraies règles. Un mouvement illégal fait immédiatement échouer le rejeu.

Le vérificateur rejoue aussi chaque coup depuis le même état précédent et compare état résultant, événements et résultat. Cela détecte les transitions différentes lors d’une répétition. Après chaque coup, il vérifie que chaque pièce reste sur une case valide et qu’aucune paire ne partage une case. À la fin, le plateau doit réellement être vide. Un chemin plausible ou laissant une brique ne compte pas.

Un témoin légal prouve l’existence d’un chemin. Il ne prouve pas qu’une personne le trouvera, le jugera juste ou ressentira la bonne difficulté. Le chemin du solveur n’établit pas non plus un nombre optimal de coups. Ce sont des questions séparées : le rejeu du pack entier sert de contrôle de correction, le rythme et la difficulté sont évalués à part.

La limite de coups doit aussi laisser la place au chemin vérifié. On peut réfléchir aussi longtemps que nécessaire : la limite compte les mouvements et OutBrick n’a aucune horloge. Le puzzle garde ainsi sa pression sans transformer la validation en minuteur.

Le résultat utile n’est pas « le solveur a tourné une fois ». C’est que chaque plateau avait un témoin rejoué correctement selon les règles publiées. Si une règle ou un plateau change, le pack peut être revérifié ; le premier coup en échec indique ce qui a cassé : légalité, déterminisme, géométrie ou réussite finale.

C’est ainsi que nous avons contrôlé les 2 000 plateaux d’OutBrick avant publication. Essayez ce type de puzzle sur le plateau gratuit du navigateur, ou téléchargez OutBrick pour iPhone et iPad.