Passport Application est un jeu de puzzle bureaucratique textuel minimaliste proposé par HMPO, centré sur la collecte de documents pour prouver la nationalité britannique.
Le jeu utilise une logique bureaucratique inspirée de la logique constructive, où chaque document original sert de témoin pour la preuve de citoyenneté.
La nationalité est déterminée soit par naissance, soit par naturalisation, soit par dérogations (crown service, durée de résidence), avec des règles récursives remontant l’arbre généalogique jusqu’à un ancêtre né au Royaume-Uni avant 1983.
Les demandes de documents peuvent contenir des informations trompeuses pour complexifier l’expérience, et HMPO semble choisir le chemin de preuve le plus long et complexe pour s’amuser.
L’auteur a implémenté les règles en Haskell (monade LogicT) pour générer automatiquement l’ensemble des preuves et des jeux de documents nécessaires, révélant ainsi la complexité et les différentes voies de validation.
Trois types principaux de preuves ont été identifiés : par naissance à l’étranger, par naissance au Royaume-Uni via un parent ou par naturalisation.
Le script permet d’interroger dynamiquement l’utilisateur sur les faits connus (naissance, naturalisation, mariage, résidence) et de retracer les chemins de preuve jusqu’à 37 questions.
L’automatisation complète est potentiellement utile pour accélérer les demandes, mais HMPO hésite à l’adopter, craignant erreurs et insatisfactions en cas de faux positifs ou négatifs.
Le jeu illustre la complexité et parfois l’absurdité des processus administratifs, tout en offrant une expérience ludique de résolution de puzzles.
Get notified when new stories are published for "🇫🇷 Hacker News Français"