The UK online passport application is framed as a minimalist text-based puzzle where applicants gather documents as artefacts.
Applicants face recursive document requests based on British nationality rules, requiring them to prove each ancestor’s status.
HMPO’s “Bureaucratic Logic” mirrors constructive logic, forbidding exclusive middle and enforcing original-document witnesses.
Side-quests like identity confirmation and certified translations add unexpected complexity.
The author encoded British nationality rules in Haskell using LogicT to generate proofs and required document sets.
Three distinct proof paths illustrate varying complexities, with HMPO favoring the most challenging one.
Full automation could simplify the process but risks errors due to nuanced nationality laws.
Get notified when new stories are published for "General AI News"