Permainan Aplikasi Paspor Inggris

Passport Application adalah permainan teka-teki pengumpulan dokumen daring yang dikembangkan oleh HM Passport Office di Inggris.

Pemain harus mengumpulkan dokumen asli dan terjemahan bersertifikat sesuai aturan rumit yang ditulis dalam undang-undang.

Permainan ini punya side-quests seperti konfirmasi identitas, terjemahan dokumen di luar negeri, dan kerjasama keluarga.

HMPO menerapkan “logika birokrasi” mirip logika konstruktif, di mana setiap bukti harus dikonstruksi dengan dokumen asli tanpa menggunakan prinsip eksklusi tengah.

Proses verifikasi bersifat rekursif: bukti kewarganegaraan anak tergantung bukti dari orang tua, kakek, hingga mencapai base case seseorang lahir di UK sebelum 1983.

Penulis menulis kode Haskell untuk memodelkan proof-search dan menghasilkan daftar dokumen yang diperlukan secara optimal.

HMPO sering memilih jalur permintaan dokumen paling kompleks untuk menambah tantangan dan keseruan.

Meskipun proses ini bisa diotomasi, HMPO menghindari automasi penuh karena kompleksitas hukum dan potensi kesalahan “computer says no”.