Menyelesaikan Masalah ‘Passport Application’ UK dengan Haskell

• Ini adalah contoh yang memandang proses pengajuan paspor Inggris sebagai teka-teki pengumpulan dokumen birokratis, lalu menghitung kombinasi dokumen yang diperlukan untuk membuktikan kewarganegaraan dengan pencarian logika di Haskell
• Permintaan dokumen HMPO dapat menjadi rekursif mengikuti arah silsilah keluarga, bergantung pada tempat dan tanggal lahir pemohon, orang tua, dan kakek-nenek; kewarganegaraan dan status menetap orang tua; serta status pernikahan
• Dalam pengajuan paspor pertama untuk anak yang lahir di luar negeri, bahkan akta kelahiran dan akta nikah buyut diminta, dan rekursi baru berhenti ketika mencapai kasus dasar seperti lahir di UK sebelum 1983
• Implementasinya, alih-alih Prolog, menggunakan LogicT milik Haskell dan StateT Claims IO untuk mengenumerasi kemungkinan Proof kewarganegaraan, lalu menghitung Set Document yang diperlukan untuk tiap jalur
• Untuk pengajuan yang sama, beberapa jalur pembuktian bisa tersedia; meskipun jalur sederhana masih ada, permintaan nyata bisa menjadi lebih panjang, dan otomatisasi dapat membantu menyiapkan dokumen serta memahami alasan permintaan

---

Melihat Passport Application sebagai permainan mengumpulkan dokumen

• Passport Application UK adalah proses pengajuan online yang dijalankan HMPO, dan versi online standarnya memiliki biaya awal sekitar £100
• Tujuannya adalah mengumpulkan dokumen asli yang tersebar di berbagai lembaga birokrasi untuk membuktikan proposisi “pemohon adalah British”
• Hadiah akhirnya adalah buklet kecil berisi tanggal ketika Anda dapat mengajukan lagi, yaitu paspor
• Pengajuan berbasis kertas lebih mirip versi “hardcore” yang bergantung pada pos

Permintaan dokumen yang berlanjut dalam pengajuan nyata

• Kasus ini adalah pengajuan online atas nama anak perempuan dengan memilih tingkat kesulitan “first child passport born abroad”
• Pengajuan diproses oleh “examiner”, tetapi pemohon hanya dapat bertanya melalui advice agent via chat atau telepon
  • Panduan dari advice agent bukan keputusan resmi
  • Jika pertanyaan diteruskan ke examiner, muncul waktu tunggu beberapa hari, dalam kasus ini hingga sekitar 10 hari
• Sekitar 50% dari permintaan dokumen awal diberi tahu oleh layanan chat sebagai tidak diperlukan, tetapi setelah itu permintaan dokumen tambahan tetap berlanjut
• Email permintaan berisi __APPLICANT_NAME__ yang terlihat seperti template rusak, dan persyaratan pembuktian tanggung jawab orang tua juga tidak jelas
• Pada akhirnya diminta dokumen yang jarang diminta, yaitu akta kelahiran dan akta nikah buyut dari garis ayah
  • “applicant's Paternal great grandfather” bisa ambigu karena ada dua orang yang mungkin dimaksud
  • Ini ditafsirkan sebagai applicant's father's father's father's birth certificate

Menafsirkan logika HMPO sebagai masalah pembuktian rekursif

• Logika HMPO dapat dilihat sebagai Bureaucratic Logic berbasis dokumen
  • Seperti Constructive Logic, sekadar kemungkinan logis saja tidak cukup
  • Pembuktian memerlukan “saksi” berupa dokumen asli
• Hukum excluded middle P ∨ ¬P tidak dapat digunakan begitu saja
  • Misalnya, tidak diperbolehkan mengatakan bahwa salah satu dari “ayah dari ayah lahir di UK atau tidak” pasti benar, lalu menyerahkan dokumen untuk kedua skenario
  • Anda harus memilih satu alternatif dan menyerahkan dokumen yang sesuai
• Menurut panduan HMPO, orang yang lahir di luar UK setelah 31 Desember 1982 umumnya menjadi British citizen jika pada saat lahir salah satu orang tuanya adalah “British citizen otherwise than by descent”
• Karena HMPO tidak membuktikan Britishness hanya dari catatan paspor miliknya sendiri, dalam sebagian pengajuan dapat muncul permintaan dokumen rekursif ke arah orang tua dan kakek-nenek
• Rekursi berhenti pada leluhur yang Britishness-nya tidak bergantung pada orang tua
  • Contoh: orang yang dinaturalisasi
  • Contoh: orang yang lahir di UK sebelum 1983, yaitu kasus dasar British tanpa bergantung pada orang tua

Rantai permintaan dalam kasus ini

• Tanggal HMPO menerima dokumen pertama adalah 7 Juni, yang mencakup akta kelahiran pemohon dan akta kelahiran ayah pemohon
• Permintaan pada 12 Juni:
  • Karena ayah pemohon lahir setelah 1 Januari 1983, diberi tahu bahwa bukti klaim British citizenship ayah diperlukan
  • Akibatnya, akta kelahiran ayah dari ayah diminta
• Permintaan pada 26 Juni:
  • Karena kakek pemohon lahir di luar negeri, diberi tahu bahwa bukti klaim British citizenship diperlukan
  • Karena itu dokumen buyut dari garis ayah pemohon diminta
  • Dokumen yang diperlukan adalah akta kelahiran dan akta nikah
• Rekursi ini berlangsung dalam bentuk permintaan lewat email

Struktur implementasi Haskell

• Seluruh kode ada di GitHub
• Awalnya aturan di-encode dengan Prolog, lalu beralih ke monad LogicT di Haskell
• Tujuannya bukan satu daftar dokumen, melainkan menemukan beberapa himpunan dokumen yang mungkin
  • Karena ada beberapa cara mengklaim kewarganegaraan, himpunan dokumen yang diperlukan juga bisa lebih dari satu
  • Secara konseptual diperlukan Set (Set Document)
• Model dokumen merepresentasikan pemohon dan leluhur serta jenis sertifikat sebagai tipe
  • Parent = Mother | Father
  • Person = Applicant | Parent Parent Person
  • Document = BirthCertificate Person | MarriageCertificate Person Person | NaturalizationCertificate Person | Passport Person
• Dengan daftar dokumen sederhana saja sulit mengetahui mengapa itu cukup, sehingga masalah ini diperlakukan sebagai pencarian bukti
  • LogicT mengenumerasi semua Proof untuk Britishness pemohon
  • Himpunan dokumen yang diperlukan untuk tiap Proof dihitung

Proof dan status pengetahuan

• Tipe proof terdiri dari tiga bentuk
  • ViaParent Person Proof: derivasi Britishness melalui orang tua
  • And Proof Proof: kombinasi dua klaim
  • Evidence Predicate: bukti dasar
• Pertanyaan yang diperlukan diajukan kepada pengguna saat runtime, dan jawaban sebelumnya digunakan kembali di semua cabang dan backtracking
• Untuk itu IO, State, dan LogicT digabungkan
  • type Claims = Map Predicate Knowledge
  • type M a = LogicT (StateT Claims IO) a
• Knowledge dibagi menjadi SureYes, SureNo, dan Unsure
• Predicate merepresentasikan kondisi yang diperlukan untuk penilaian aturan
  • IsBritish Person
  • Settled Person
  • BornBefore Int Person
  • BornInUK Person
  • BornAfter Int Person
  • Naturalized Person
  • Years3LivingInUK Person
  • IsBritOtbd Person
  • Married Person Person

Inti aturan penentuan kewarganegaraan

• Fungsi brit adalah fungsi root yang menilai apakah seseorang British
  • Pertama memeriksa IsBritish p
  • Lalu menelusuri Britishness berdasarkan kelahiran dan Britishness melalui naturalisasi
• Naturalisasi adalah jalur sederhana, dengan sertifikat naturalisasi sebagai dokumen kunci
• Orang yang lahir di UK secara garis besar terbagi menjadi dua kasus
  • Jika lahir di UK sebelum 1983, ia memperoleh Britishness sebagai kasus dasar
  • Jika lahir setelah itu, diperiksa apakah salah satu orang tua British atau berstatus menetap saat itu
• Kasus orang yang lahir di luar UK lebih kompleks
  • Diperiksa apakah orang tuanya British otherwise than by descent
  • Atau apakah orang tuanya British dan memiliki bukti tinggal berturut-turut selama 3 tahun di UK
• “British otherwise than by descent” merujuk pada orang yang tidak memperoleh Britishness hanya dari orang tua
  • Contoh: naturalisasi
  • Contoh: lahir di UK
  • Contoh: lahir di luar negeri, tetapi orang tuanya sedang bekerja di “Crown Service”

Pewarisan melalui orang tua dan syarat 2006

• viaParent merepresentasikan kasus anak memperoleh Britishness melalui orang tua
• Ia menelusuri jalur ibu dan ayah, tetapi jalur ayah memiliki syarat tambahan
  • Jika anak lahir setelah 2006, jalur ayah dapat digunakan apa adanya
  • Jika lahir sebelum 2006, diperiksa apakah ayah dan ibu berstatus menikah pada saat kelahiran
• Implementasi ini tidak mencakup jalur yang dapat memutar lewat “registration” maupun sebagian ketentuan historis yang diskriminatif berdasarkan gender
• Hukum yang saat ini tidak berlaku pun dapat berlaku secara historis ketika menilai Britishness leluhur

Hasil eksekusi dan tiga jalur pembuktian

• Eksekusi run (brit Applicant) berlangsung sebagai dialog interaktif
  • Contoh: apakah pemohon lahir di UK
  • Contoh: apakah ayah British otherwise than by descent
  • Contoh: apakah kakek-nenek berstatus menetap
  • Dalam kasus ini, total ada 37 pertanyaan
• Pengguna dapat menjawab tidak tahu dengan dk, lalu cabang tersebut terus ditelusuri
• Hasilnya mencetak bahwa pemohon memiliki 3 Britishness proof
• Proof 1:
  • Pemohon lahir setelah 2006
  • Britishness melalui ayah
  • Ayah lahir di UK
  • Ibu dari ayah berstatus menetap pada saat kelahiran
  • Dokumen yang diperlukan adalah akta kelahiran pemohon, akta kelahiran ayah, dan dokumen status menetap ibu dari ayah
• Proof 2:
  • Jalur ketika ibu dari ayah dari ayah lahir di UK sebelum 1983
  • Dokumen yang diperlukan mencakup akta kelahiran pemohon, ayah, kakek, dan ibu dari kakek, serta akta nikah kakek-nenek
• Proof 3:
  • Ayah dari ayah dari ayah, yaitu buyut laki-laki dari garis ayah, lahir di UK sebelum 1983
  • Dokumen yang diperlukan mencakup akta kelahiran pemohon, ayah, kakek, dan buyut laki-laki dari garis ayah, serta akta nikah untuk dua generasi
  • Birth certificate for Applicant's Father's Father's Father yang diminta HMPO muncul di jalur ini

Crown Service dan jalur yang lebih kompleks

• Dalam kasus ini, status Crown Service buyut dari garis ayah menimbulkan kebingungan, tetapi berdasarkan hasil eksekusi status tersebut tidak diperlukan
• Status British otherwise than by descent ayah sudah diturunkan dari kelahiran di UK dan Britishness sederhana kakek
• Namun Britishness sederhana kakek tetap harus dibuktikan, sehingga rekursi turun ke generasi kakek
• Untuk membuktikan “legitimacy” kakek, akta nikah juga diperlukan
• Jalur yang dipilih HMPO adalah Proof 3, yang paling panjang dan kompleks dari tiga jalur
  • Proof 1 adalah jalur yang lebih sederhana karena hanya perlu membuktikan status menetap satu leluhur
  • Kewarganegaraan melalui leluhur menetap non-British dapat lebih sederhana karena tidak rekursif
  • Namun membuktikan status menetap pada titik waktu tertentu sendiri bisa sulit

Keterbatasan implementasi dan penilaian otomatisasi

• orElse tidak menelusuri cabang kedua jika cabang pertama berhasil, sedangkan <|> menelusuri kedua cabang
• Pada sebagian aturan, penggunaan <|> menghasilkan lebih banyak jalur pembuktian kewarganegaraan, tetapi ada kasus ketika HMPO tampak ingin menghabiskan jalur tertentu terlebih dahulu
• Implementasi ini belum melacak kondisi pada titik waktu tertentu dengan cukup presisi
  • Contoh: ketika status menikah atau status menetap harus berlaku pada saat kelahiran orang tertentu
  • Ini dianggap bagian yang tidak sulit untuk ditambahkan
• Ini bukan implementasi seluruh hukum kewarganegaraan UK, melainkan hanya bagian yang terkait dengan kasus ini atau menarik untuk di-encode
  • Implementasi penuh akan membutuhkan jauh lebih banyak kode dan banyak pengecualian
• Jika perangkat lunak semacam ini ada, ia bisa berguna untuk menyusun himpunan dokumen yang benar dengan lebih cepat dan memahami mengapa permintaan menjadi rumit
• Otomatisasi penuh juga memiliki risiko
  • Jika program menghasilkan false positive, bisa muncul protes “komputer bilang bisa”
  • Otomatisasi yang menggantikan keahlian manusia dapat berujung pada situasi ketika kewarganegaraan ditolak dengan alasan “komputer bilang tidak bisa”
• Pengajuan saat ini belum selesai, dan rencananya adalah menjalankan Proof 2 dan Proof 3 secara bersamaan, lalu mencoba Proof 1 jika gagal

[GN⁺]

Komentar Hacker News

• Selama 10 tahun terakhir saya pernah menangani beberapa sistem besar pemerintah Inggris, dan tulisan ini menunjukkan dengan baik mengapa hasil yang aneh bisa muncul saat membangun layanan/perangkat lunak pemerintah.
  Perangkat lunak pemerintah pada dasarnya adalah pekerjaan memindahkan undang-undang parlemen selama ratusan tahun ke dalam kode. Jika Anda membangun sistem paspor HMPO lalu undang-undang yang menjadi dasarnya berubah atau dicabut, seseorang harus menemukan dan memperbaiki semua bagian di semua sistem yang terdampak oleh undang-undang itu.
  Ditambah lagi, pemerintah sering mengalihdayakan pekerjaan ke firma konsultansi mahal, dan firma-firma itu punya insentif untuk memperpanjang kontrak, mengekstrak nilai maksimum dari klien, dan menancapkan posisi. Karena mereka membangun sistem dengan kualitas dan fleksibilitas yang tidak konsisten, proses yang sama berulang setiap kali undang-undang berubah.
  Dulu ada kewenangan pengambilan keputusan terpusat seperti Spend Controls, tetapi sekarang tidak ada pusat yang mengoordinasikan masalah ini, dan itulah sebabnya biaya penyediaan layanan pemerintah menjadi semahal ini.

  • Saya penasaran mengapa secara kontrak para subkontraktor tampaknya tidak berkewajiban membuat sistem yang berfungsi.
    Dalam praktiknya mereka membuat sesuatu yang mendekati berfungsi, lalu menagih sekitar 1000 kali terlalu mahal untuk hasil yang rasanya bisa dibuat satu developer junior dalam 3 bulan, tetapi tampaknya tetap dibayar seolah-olah sistem itu benar-benar berfungsi.
  • Baru-baru ini saya memperbarui paspor di Prancis, dan ada platform yang relatif baru untuk mengajukan semua dokumen yang diperlukan; saya hanya perlu mengisi satu formulir online.
    Formulirnya mudah diikuti, lalu setelah itu saya sekali datang ke kantor untuk menyelesaikan prosesnya, yang hanya memakan waktu 10 menit, dan paspornya dikirimkan. Menurut saya itu prosedur yang sebisa mungkin minim rasa sakit.
    Apa pun situasi di Inggris, itu bukan sesuatu yang tanpa harapan. Pemerintah harus tidak takut merekrut pegawai sungguhan dan menginternalisasi seluruh pengembangan.
  • Saya merasa mungkin ada peluang untuk sistem aturan open source yang dapat digunakan ulang. Pemerintah di semua tingkatan tampaknya bisa memakai sistem yang dapat mendefinisikan aturan secara ekspresif dan mengelola versinya.
    Seperti yang ditunjukkan, karena pekerjaan teknis semuanya dialihdayakan, sebagian kesenjangannya tampak berasal dari kurangnya kapasitas internal organisasi untuk membayangkan dan menjalankan redesain yang cukup revolusioner.
    Sangat menjengkelkan bahwa pemerintah menghabiskan puluhan juta untuk biaya subkontraktor pada proyek IT, tetapi tidak mampu membayar harga pasar kepada engineer internal yang mungkin lebih murah dalam jangka panjang.
  • Masalah bahwa hukum pada dasarnya menjadi seperti repositori append-only yang terus ditambahi amendemen bukan hanya terjadi di Inggris.
    Akan bagus jika ada sistem yang cukup diberi “patch” secara append-only, alih-alih menebarkan pernyataan kondisi pengecualian di mana-mana.
    Beberapa bahasa pemrograman logika bisa melakukan ini sampai batas tertentu, tetapi masalah sebenarnya tampaknya adalah tidak adanya anggaran utang teknis, dan para pengacara yang menangani hukum juga bisa diuntungkan oleh kompleksitas. Akan bagus jika ada orang-orang yang khusus bertugas menjaga agar hukum tetap sesederhana mungkin.
  • Apakah outsourcing pernah benar-benar berhasil untuk siapa pun? Saya hampir tidak pernah mendengar cerita bahwa pemerintah mengalihdayakan sesuatu dan berhasil.

• Sintaks Haskell menarik. Setelah seseorang menjelaskannya, ia terasa intuitif, tetapi sebelum dijelaskan tidak terlalu intuitif.
  Saya rasa ini bukan semata-mata karena saya terbiasa dengan bahasa keluarga Algol (C, Python, dll.). Kode Haskell yang saya lihat sejauh ini punya terlalu banyak operator yang dimaksudkan untuk membuat kode ringkas, dan hanya dengan melihatnya tidak jelas apa yang dilakukan: https://academy.fpblock.com/haskell/tutorial/operators/

  • Dulu saya pernah menghitung secara kasar, dan jumlah operator yang ditemui dalam kode Haskell “umum” yang menghindari lens atau library spesifik domain ternyata cukup mirip dengan jumlah operator yang ditemui di JavaScript.
    Itu sudah lama, jadi saya tidak ingin mengulanginya, tetapi bahkan jika memberi kelonggaran besar untuk sisi JavaScript, operator yang dibutuhkan untuk Haskell praktik nyata bukan 10 kali lebih banyak daripada JavaScript praktik nyata, melainkan kira-kira 2 kali.
    Haskell memang punya kompleksitas tambahan yang harus ditanggung di awal, tetapi bedanya bukan jenis yang berbeda dari bahasa-bahasa pemula populer, melainkan perbedaan derajat. Mudah lupa betapa banyak hal yang sudah kita pelajari tentang bahasa bergaya Algol karena sudah terlalu terinternalisasi.
    Saya pernah mengajar Java dan Python kepada siswa SMP/SMA yang pemula dalam pemrograman, dan terutama saat 1:1, mereka sering tersandung pada hal-hal yang bahkan sudah saya lupa bahwa itu perlu dijelaskan. Misalnya salah menempatkan : di Python atau tidak memahami bagaimana = bekerja.
    Bahkan sintaks “dasar” seperti : dan = jauh lebih kompleks daripada yang kita kira. Ini mirip penutur asli bahasa Inggris yang tidak menyadari aturan urutan kata sifat dalam “big red ball” dan “red big ball”, tetapi bagi pembelajar itu bisa terasa seperti tembok.
  • Sebagian besar operator di tautan itu sangat standar, dan termasuk bagian yang paling tidak menarik saat membicarakan Haskell.
    Jika Anda mengambil sembarang program Java tanpa mengetahui pemrograman, Anda juga hampir tidak akan memahaminya. Sama halnya jika mencoba membaca rumus tanpa pernah mengikuti satu pun pelajaran matematika; entah operator atau apa pun, Anda tidak akan memahaminya.
    Tolok ukurnya seharusnya adalah seberapa banyak yang bisa dipahami setelah mempelajari dasar-dasarnya dan mengikuti beberapa tutorial.
  • Saya pikir “intuitif setelah dijelaskan, tetapi tidak sebelum dijelaskan” cukup dekat dengan arti intuitif.
    Intuitif lebih berarti mudah dipahami atau dipelajari bahkan tanpa pengetahuan awal atau penjelasan.
  • Sepertinya Larry Wall pernah mengatakan hal serupa tentang Perl. Ada hal-hal yang baru bisa intuitif setelah dipelajari.
    Objek keluhannya juga sebenarnya tampaknya bukan sintaks. Sebagian elemen Haskell merujuk pada model tertentu seperti monad atau lens, dan jika pembaca belum punya pengetahuan itu, sintaks apa pun tidak akan bisa menyuntikkan pengetahuan tersebut.

• Saya suka tulisan ini. Awalnya dimulai sebagai parodi, lalu perlahan berubah menjadi solusi yang serius dan elegan untuk “game” itu.
  Menjelang akhir, saya sampai ingin mencobanya sendiri.

  • Sepertinya bisa dimainkan, tetapi bagian akhir kemungkinan jauh lebih sulit untuk dilewati.

• Permohonan paspor Inggris bisa diselesaikan sepenuhnya secara online, kecuali mengirimkan dokumen yang diperlukan ke HMPO lewat pos.
  Bahkan jika menjadi warga negara “baru” melalui adopsi, naturalisasi, atau keturunan, dari luar Inggris pun bisa mengajukan paspor baru hanya dengan perangkat seluler, termasuk mengambil foto, tanpa mengunduh aplikasi terpisah.
  Untuk iseng, mungkin bisa memainkan “mode sulit” dengan kertas dan pena, tetapi pengalaman saya sangat efisien, cepat, dan sederhana.

  • Tahun lalu saya mencoba sistem perpanjangan paspor online Inggris, dan itu adalah situs web terbaik yang saya gunakan setelah sekian lama. Benar-benar menyegarkan.
    Situsnya berjalan sempurna bahkan di komputer lama dan browser “kuno”; warna, teks, tombol, kolom input, dan persyaratannya semuanya sederhana, aksesibel, dan jelas. Navigasi tahap demi tahapnya juga sederhana dan benar-benar ramah.
    Sayang sekali lebih banyak perusahaan tidak cukup peduli pada pelanggan sampai mau berinvestasi pada situs web yang dirancang sebaik ini. HMPO melakukan pekerjaan bagus.
  • Baru-baru ini saya memperpanjang untuk pertama kalinya lewat sistem online, dan seluruh prosesnya luar biasa cepat. Saya mengajukan dari California dan menerima kembali paspor saya dalam kurang dari 2 minggu.
    Sebagai perbandingan, ketika saya memperpanjang paspor Kanada dari California, itu untuk paspor yang rusak setelah 3 tahun dan memakan waktu 4 bulan. Prosesnya sepenuhnya berbasis kertas, dengan syarat-syarat konyol seperti foto yang harus distempel oleh penjamin dan fotografer.
    Saya tahu proyek percontohan digital sedang berjalan, dan itu perlu diterapkan penuh secepat mungkin.
  • Sepertinya ini dibuat terdengar jauh lebih sederhana daripada kenyataannya. Saya mengakui proses perpanjangan memang sudah cukup berhasil disederhanakan, tetapi dari pengalaman membantu teman mengajukan paspor pertamanya beberapa tahun lalu, prosesnya panjang dan membosankan.
    Diperlukan wawancara tatap muka, dan juga tanda tangan dari orang yang bertanggung jawab yang tidak mudah diakses banyak orang. Misalnya, dokter tidak diakui.

• Untuk orang-orang yang menjalani prosedur ini di Jepang, dokumen yang harus saya serahkan adalah sebagai berikut. Ini akan berbeda tergantung situasi, dan khususnya karena penulis tampaknya juga lahir di luar Inggris, mungkin diperlukan dokumen lain atau lebih banyak dokumen.
  Yang saya serahkan adalah salinan tersertifikasi akta kelahiran yang dipesan dari General Register Office Inggris, koseki Jepang asli beserta terjemahannya, sertifikat penerimaan pelaporan kelahiran asli beserta terjemahannya, akta nikah asli beserta terjemahannya, salinan berwarna semua halaman paspor Jepang anak, dan salinan paspor warga negara AS atau Inggris yang mengonfirmasi bahwa anak itu adalah anak saya.
  Prosesnya cukup tidak jelas, dan pada dasarnya tampak seperti struktur di mana kita harus terus menyerahkan dokumen sampai petugasnya puas.

  • Dalam kasus ini, sebenarnya applicant's father, yaitu saya, lahir di Inggris, tetapi applicant's father's father tidak lahir di Inggris, dan itulah sumber kerumitan tambahan.
  • Menarik. Apakah akta kelahiran orang tua tidak diminta?
    Saya orang Inggris dan istri saya orang Hungaria, dan kami tinggal di Hungaria; kami diminta menyerahkan akta kelahiran kedua orang tua serta akta kelahiran keempat kakek-nenek.
    Karena istri saya tidak berhubungan dengan ayahnya, kami harus menyerahkan surat pengantar yang menjelaskan situasinya, dan itu diterima. Namun, bagaimanapun juga kewarganegaraan Inggris putra saya berasal dari kewarganegaraan Inggris saya, jadi saya tidak begitu mengerti mengapa kewarganegaraan istri saya dan orang tua istri saya relevan.
    Kami tidak perlu menyalin paspor orang lain, tetapi seorang teman keluarga harus mengonfirmasi secara online. Teman keluarga itu adalah pengacara di Inggris, jadi masuk dalam daftar profesi yang disetujui.
  • Salinan berwarna semua halaman paspor Jepang anak? Untuk apa itu diperlukan?

• Karena putri saya lahir di AS, kami harus mengajukan permohonan MN1. Itu karena saya dan pasangan sama-sama lahir di luar negeri.
  Seperti yang diisyaratkan tulisan asli, ini semacam side quest bernama “registrasi”, dan jika tidak dilakukan sebelum anak berusia 18 tahun, tenggatnya lewat. Tentu saja, setahu saya, bahkan dalam situasi seperti ini masih ada jalur untuk memperoleh kewarganegaraan.
  Bagian tersulit dari proses ini adalah menemukan orang yang bisa mengesahkan dokumen bukti saya—sesuatu yang tidak dibahas dalam versi Passport Application ini, tetapi rasanya mungkin muncul di paket DLC mendatang. Tertulis bahwa dokumen asli harus diserahkan, tetapi karena mereka menyimpan dokumen termasuk paspor selama 3–6 bulan, itu tidak realistis bagi orang yang tinggal di luar negeri.
  Saya tidak ingat aturan persisnya, tetapi notaris AS atau prosedur sertifikasi pengacara biasa tidak bisa digunakan, dan akhirnya saya harus pergi ke kantor council borough.
  Saya menelepon sekitar lima council borough dan semuanya mengatakan tidak tahu prosedur atau persyaratannya, sampai akhirnya saya menemukan orang yang sangat membantu di Islington Council. Meski begitu, ini termasuk salah satu interaksi saya yang lebih membuat frustrasi dengan pemerintah Inggris.

• Saya juga pernah menikmati game Passport Application sebagai wakil orang lain.
  Salah satu aturan menarik yang tidak disebutkan tulisan asli adalah aturan sejarah variabel. Fakta yang terkandung dalam satu dokumen bisa berubah dalam waktu singkat, sehingga dokumen yang sudah dipindai ke sistem pencatatan fakta milik pemeriksa mungkin harus dikembalikan untuk dipindai ulang kemudian.
  Konon, memverifikasi bahwa fakta dalam dokumen tidak berubah berarti ras pemeriksa secara implisit mengakui keberadaan multisemesta.
  Kanal komunikasi antara operator telepon “NPC” dan pemeriksa tampak mirip doa, dan yang benar-benar bisa diperoleh hanyalah inferensi yang samar.
  Selain itu, penulis asli mungkin penggemar Mornington Crescent. Game itu tampaknya punya topologi aturan yang mirip dengan Passport Application yang dibahas tadi.

  • Dalam sistem Inggris, nama bersifat cair dan dapat berubah sesuka hati tanpa deklarasi terpisah. Karena itu ibu saya bisa mendaftarkan kelahiran saya dengan nama keluarga dari pernikahan ketiga ibunya.
    Akta kelahiran memang dalam beberapa hal tidak dapat diubah, tetapi tidak semua yang tertulis di sana benar-benar tidak dapat diubah.
    Selain itu, kantor paspor lupa pada keputusan terkait paspor saya sebelumnya yang sudah menjelaskan dan melewati ketidaksesuaian nama keluarga ini. Bahkan di salah satu paspor, saya tercantum di satu halaman paspor ibu saya.
    Para NPC benar-benar menjengkelkan. Setiap kali menelepon dan mengirim email, jawabannya berbeda. Seperti model bahasa berskala besar yang buruk.
    Setelah mengajukan, saya harus menjelaskan kepada ibu saya bahwa dalam satu bundel permohonan yang sama, satu putri memerlukan dokumen Inggris tambahan sementara putri lainnya tidak memerlukannya dan paspornya sudah terbit. Hanya karena yang satu lahir di Inggris dan yang lainnya tidak.
    Ibu saya tentu saja meledak marah, mengangkat masalah ini ke anggota parlemen, dan selesai dalam sehari.

• Saya baru saja menjalani prosedur neraka ini untuk salah satu putri saya. Putri saya lahir di Jepang, dan saya kesulitan mencocokkan nama keluarga ibu saya dengan yang tertulis di akta kelahiran saya.
  Singkatnya, karena saya sudah membuktikan bahwa saya lahir di Inggris dan memiliki kewarganegaraan, yaitu paspor, tampaknya dalam kemungkinan apa pun itu seharusnya menjadi status yang bisa diteruskan kepada putri saya. Ini tidak sesuai dengan panduan dokumen yang diminta, tetapi menurut saya jauh lebih tidak menyakitkan.

• “Apa base case-nya? Base case adalah leluhur yang status Britania-nya tidak bergantung pada orang tua, misalnya seseorang yang dinaturalisasi atau lahir di Britania Raya sebelum 1983. Semakin jauh dari 1983 menuju masa depan, semakin dalam call stack ini” — bagian itu terlihat gila dari sudut pandang seseorang yang berasal dari negara yang punya basis data pusat untuk warga negara dan penduduk asing, sehingga verifikasi kewarganegaraan kira-kira hanya satu SELECT di tabel SQL

  • Banyak negara tidak punya cara untuk mengetahui siapa saja warganya
    Orang yang lahir di luar negeri pun sering kali warga negara, dan Britania Raya mengalami perubahan wilayah dalam jumlah yang tidak masuk akal yang memengaruhi kewarganegaraan
    Sebagian warga negara saat ini punya kewarganegaraan karena lahir di Bombay, yaitu Mumbai, dan sebagian lainnya karena lahir di Hong Kong
    Untuk mempertahankan daftar warga negara yang dapat dipercaya, diperlukan pendaftaran berkala, dan mereka yang tidak mendaftar harus kehilangan kewarganegaraannya
  • Saya rasa verifikasi kewarganegaraan tidak mungkin hanya satu SELECT di tabel SQL. Bahkan dengan odds yang sangat tidak menguntungkan bagi saya pun, saya rela bertaruh

• Beberapa tahun lalu saya pernah memainkan game ini
  Meskipun lahir di Britania Raya dari ayah berkebangsaan Britania, karakter saya sebelumnya bukan orang Britania. Itu karena orang tua saya tidak menikah, dan saya lahir setelah 1983 tetapi sebelum perubahan aturan tahun 2006
  Saya tidak yakin kapan tepatnya, tetapi sepertinya sekitar suatu waktu pada dekade 2010-an pembaruan 2006 diterapkan secara retroaktif sehingga karakter saya juga bisa dimainkan. Saya tidak banyak mengerjakan side quest; yang utama adalah menemukan akta kelahiran ayah saya
  Karakter saya juga harus menghadiri ritual endgame dan bersumpah setia kepada Ratu, yang terasa aneh bagi seseorang yang lahir di negara ini dan tinggal di sini seumur hidup

  • Tapi setidaknya dapat bonus ending credits!