Das britische „Passport Application“-Problem mit Haskell lösen

• Ein Fall, in dem das britische Passantragsverfahren als bürokratisches Dokumentensammel-Puzzle betrachtet und die für den Nachweis der Staatsangehörigkeit nötigen Dokumentkombinationen per logischer Suche in Haskell berechnet wurden
• Die Dokumentanforderungen des HMPO können sich je nach Geburtsort und Geburtsdatum von Antragsteller, Eltern und Großeltern sowie nach Staatsangehörigkeit, Niederlassungsstatus und Familienstand der Eltern rekursiv entlang des Stammbaums fortsetzen
• Bei einem ersten Passantrag für ein im Ausland geborenes Kind wurden sogar Geburts- und Heiratsurkunden des Urgroßvaters verlangt; die Rekursion endet erst, wenn ein Basisfall wie Geburt im Vereinigten Königreich vor 1983 erreicht ist
• Die Implementierung verwendet statt Prolog Haskells LogicT und StateT Claims IO, um mögliche Proofs für den Nachweis der Staatsangehörigkeit aufzuzählen und für jeden Pfad das benötigte Set Document zu berechnen
• Auch für denselben Antrag können mehrere Nachweispfade möglich sein; selbst wenn ein einfacherer Pfad existiert, kann die tatsächliche Anforderung länger ausfallen. Automatisierung kann helfen, Dokumente vorzubereiten und den Grund der Anforderungen zu verstehen

---

Passport Application als Dokumentensammelspiel betrachten

• Die britische Passport Application ist ein vom HMPO betriebenes Online-Antragsverfahren; die Standard-Online-Version kostet zu Beginn etwa £100
• Ziel ist es, Originaldokumente einzusammeln, die über mehrere Behörden verteilt sind, um die Aussage „der Antragsteller ist British“ zu beweisen
• Die finale Belohnung ist ein kleines Heftchen mit einem Datum, ab dem man sich erneut bewerben kann – also ein Reisepass
• Der papierbasierte Antrag ähnelt einer „Hardcore“-Version, die auf Postsendungen angewiesen ist

Dokumentenanforderungen aus einem realen Antrag

• Der Fall betrifft einen Online-Antrag für die Tochter, bei dem der Schwierigkeitsgrad „first child passport born abroad“ gewählt wurde
• Der Antrag wird von einem „examiner“ bearbeitet, der Antragsteller kann aber nur über einen advice agent per Chat oder Telefon nachfragen
  • Die Auskunft des advice agent ist keine offizielle Entscheidung
  • Wenn eine Frage an den examiner weitergeleitet wird, entsteht eine Wartezeit von mehreren Tagen, im Fallbeispiel bis zu etwa 10 Tagen
• Etwa 50 % der anfänglich angeforderten Dokumente wurden im Chat-Service als unnötig bezeichnet; dennoch folgten später weitere Dokumentenanforderungen
• Eine Anforderungs-E-Mail enthielt __APPLICANT_NAME__, was wie ein kaputtes Template wirkte, und auch die Bedingungen zum Nachweis der elterlichen Verantwortung waren unklar
• Am Ende wurde eine seltene Anforderung gestellt: Geburtsurkunde und Heiratsurkunde des Urgroßvaters väterlicherseits
  • „applicant's Paternal great grandfather“ kann mehrdeutig sein, weil es zwei mögliche Personen gibt
  • Dies wurde als applicant's father's father's father's birth certificate interpretiert

HMPO-Logik als rekursives Beweisproblem interpretieren

• Die Logik des HMPO lässt sich als dokumentenbasierte Bureaucratic Logic verstehen
  • Wie in Constructive Logic reicht eine bloße logische Möglichkeit nicht aus
  • Ein Beweis benötigt „Zeugen“ in Form von Originaldokumenten
• Der Satz vom ausgeschlossenen Dritten P ∨ ¬P kann nicht einfach verwendet werden
  • Man darf zum Beispiel nicht sagen, eine der beiden Aussagen „der Vater des Vaters ist im Vereinigten Königreich geboren“ oder „nicht im Vereinigten Königreich geboren“ müsse wahr sein, und dann Dokumente für beide Szenarien einreichen
  • Man muss eine Alternative auswählen und die dazu passenden Dokumente einreichen
• Laut HMPO-Leitfaden wird eine nach dem 31. Dezember 1982 außerhalb des Vereinigten Königreichs geborene Person in der Regel British citizen, wenn bei der Geburt ein Elternteil „British citizen otherwise than by descent“ war
• Da das HMPO Britishness nicht allein anhand eigener Passunterlagen nachweist, kann es bei manchen Anträgen zu rekursiven Dokumentenanforderungen in Richtung Eltern und Großeltern kommen
• Die Rekursion endet bei einem Vorfahren, dessen Britishness nicht von den Eltern abhängt
  • Beispiel: eine eingebürgerte Person
  • Beispiel: eine vor 1983 im Vereinigten Königreich geborene Person, ein von den Eltern unabhängiger Basisfall für Britishness

Anforderungskette im Fallbeispiel

• Das HMPO erhielt die ersten Dokumente am 7. Juni; enthalten waren die Geburtsurkunde der Antragstellerin und die Geburtsurkunde des Vaters der Antragstellerin
• Anforderung vom 12. Juni:
  • Da der Vater der Antragstellerin nach dem 1. Januar 1983 geboren wurde, sei ein Nachweis für seinen British-citizenship-Anspruch erforderlich
  • Deshalb wurde die Geburtsurkunde des Vaters des Vaters verlangt
• Anforderung vom 26. Juni:
  • Da der Großvater der Antragstellerin im Ausland geboren wurde, sei ein Nachweis für seinen British-citizenship-Anspruch erforderlich
  • Daher wurden Dokumente zum Urgroßvater väterlicherseits der Antragstellerin verlangt
  • Benötigt wurden Geburtsurkunde und Heiratsurkunde
• Diese Rekursion lief in Form von E-Mail-Anforderungen ab

Struktur der Haskell-Implementierung

• Der vollständige Code befindet sich auf GitHub
• Zunächst wurden die Regeln in Prolog kodiert, dann erfolgte der Wechsel zu Haskells LogicT-Monad
• Ziel ist nicht eine einzelne Dokumentenliste, sondern das Finden mehrerer möglicher Dokumentenmengen
  • Es gibt mehrere Arten, eine Staatsangehörigkeit zu begründen, daher kann es auch mehrere benötigte Dokumentenmengen geben
  • Konzeptionell braucht man Set (Set Document)
• Das Dokumentmodell stellt Antragsteller und Vorfahren sowie Urkundentypen als Typen dar
  • Parent = Mother | Father
  • Person = Applicant | Parent Parent Person
  • Document = BirthCertificate Person | MarriageCertificate Person Person | NaturalizationCertificate Person | Passport Person
• Mit einer bloßen Dokumentenliste ist schwer zu erkennen, warum sie ausreicht; daher wird das Problem als Beweissuche behandelt
  • Mit LogicT werden alle Proofs für die Britishness der Antragstellerin aufgezählt
  • Für jeden Proof wird die benötigte Dokumentenmenge berechnet

Proof und Wissenszustand

• Der Beweistyp besteht aus drei Formen
  • ViaParent Person Proof: Ableitung von Britishness über ein Elternteil
  • And Proof Proof: Kombination zweier Behauptungen
  • Evidence Predicate: grundlegender Nachweis
• Die nötigen Fragen werden während der Ausführung an den Nutzer gestellt, und frühere Antworten werden über alle Verzweigungen und Backtracking hinweg wiederverwendet
• Dazu werden IO, State und LogicT kombiniert
  • type Claims = Map Predicate Knowledge
  • type M a = LogicT (StateT Claims IO) a
• Knowledge ist in SureYes, SureNo und Unsure unterteilt
• Predicate beschreibt die Bedingungen, die für Regelentscheidungen nötig sind
  • IsBritish Person
  • Settled Person
  • BornBefore Int Person
  • BornInUK Person
  • BornAfter Int Person
  • Naturalized Person
  • Years3LivingInUK Person
  • IsBritOtbd Person
  • Married Person Person

Kern der Regeln zur Staatsangehörigkeit

• Die Funktion brit ist die Wurzelfunktion, die entscheidet, ob eine Person British ist
  • Zuerst prüft sie IsBritish p
  • Danach sucht sie nach Britishness durch Geburt und durch Einbürgerung
• Einbürgerung ist ein einfacher Pfad; das zentrale Dokument ist eine Einbürgerungsurkunde
• Bei im Vereinigten Königreich geborenen Personen gibt es grob zwei Fälle
  • Geburt im Vereinigten Königreich vor 1983 führt als Basisfall zu Britishness
  • Bei Geburt danach wird geprüft, ob ein Elternteil British war oder damals einen Niederlassungsstatus hatte
• Bei außerhalb des Vereinigten Königreichs geborenen Personen ist es komplizierter
  • Es wird geprüft, ob ein Elternteil British otherwise than by descent ist
  • Oder ob ein Elternteil British ist und es Nachweise über drei aufeinanderfolgende Jahre Wohnsitz im Vereinigten Königreich gibt
• „British otherwise than by descent“ bezeichnet jemanden, der Britishness nicht ausschließlich von den Eltern erhalten hat
  • Beispiel: Einbürgerung
  • Beispiel: Geburt im Vereinigten Königreich
  • Beispiel: Geburt im Ausland, während ein Elternteil im „Crown Service“ tätig war

Weitergabe über Eltern und Bedingung von 2006

• viaParent beschreibt Fälle, in denen ein Kind Britishness über ein Elternteil erhält
• Es werden sowohl der Pfad über die Mutter als auch über den Vater durchsucht; beim Vaterpfad gelten zusätzliche Bedingungen
  • Ist das Kind nach 2006 geboren, kann der Vaterpfad direkt verwendet werden
  • Ist es vor 2006 geboren, wird geprüft, ob Vater und Mutter zum Zeitpunkt der Geburt verheiratet waren
• Die Implementierung enthält keine umgehbaren Pfade wie „registration“ und auch keine bestimmten diskriminierenden historischen Bestimmungen
• Gesetze, die heute nicht mehr gelten, können bei der Beurteilung der Britishness von Vorfahren dennoch historisch relevant sein

Ausführungsergebnis und drei Nachweispfade

• run (brit Applicant) läuft als interaktive Befragung ab
  • Beispiel: ob die Antragstellerin im Vereinigten Königreich geboren wurde
  • Beispiel: ob der Vater British otherwise than by descent ist
  • Beispiel: ob Großeltern einen Niederlassungsstatus hatten
  • Im Fallbeispiel wurden insgesamt 37 Fragen gestellt
• Der Nutzer kann mit dk antworten, dass er es nicht weiß; dann wird der entsprechende Zweig weiter durchsucht
• Das Ergebnis gibt aus, dass es für die Antragstellerin 3 Britishness proofs gibt
• Proof 1:
  • Die Antragstellerin ist nach 2006 geboren
  • Britishness über den Vater
  • Der Vater ist im Vereinigten Königreich geboren
  • Die Mutter des Vaters hatte zum Zeitpunkt seiner Geburt einen Niederlassungsstatus
  • Benötigt werden die Geburtsurkunde der Antragstellerin, die Geburtsurkunde des Vaters und ein Dokument zum Niederlassungsstatus der Mutter des Vaters
• Proof 2:
  • Pfad über die Mutter des Vaters des Vaters, die vor 1983 im Vereinigten Königreich geboren wurde
  • Benötigt werden die Geburtsurkunden der Antragstellerin, des Vaters, des Großvaters und der Mutter des Großvaters sowie die Heiratsurkunde der Großeltern
• Proof 3:
  • Pfad über den Vater des Vaters des Vaters, also den Urgroßvater väterlicherseits, der vor 1983 im Vereinigten Königreich geboren wurde
  • Benötigt werden die Geburtsurkunden der Antragstellerin, des Vaters, des Großvaters und des Urgroßvaters väterlicherseits sowie die Heiratsurkunden zweier Generationen
  • Die vom HMPO verlangte Birth certificate for Applicant's Father's Father's Father erscheint in diesem Pfad

Crown Service und komplexere Pfade

• Im Fallbeispiel sorgte der Crown-Service-Status des Urgroßvaters väterlicherseits für Verwirrung, war laut Ausführungsergebnis aber nicht erforderlich
• Der Status des Vaters als British otherwise than by descent ergibt sich bereits aus seiner Geburt im Vereinigten Königreich und der einfachen Britishness des Großvaters
• Die einfache Britishness des Großvaters muss jedoch weiterhin nachgewiesen werden, daher geht die Rekursion bis zur Großvater-Generation weiter
• Um die „legitimacy“ des Großvaters nachzuweisen, wird auch eine Heiratsurkunde benötigt
• Der vom HMPO gewählte Pfad ist der längste und komplexeste der drei: Proof 3
  • Proof 1 ist ein einfacherer Pfad, bei dem nur der Niederlassungsstatus eines Vorfahren nachgewiesen werden muss
  • Staatsbürgerschaft über einen nicht-britischen Vorfahren mit Niederlassungsstatus kann einfacher sein, weil sie nicht rekursiv ist
  • Allerdings kann der Nachweis eines Niederlassungsstatus zu einem bestimmten Zeitpunkt selbst schwierig sein

Grenzen der Implementierung und Einschätzung zur Automatisierung

• orElse durchsucht den zweiten Zweig nicht, wenn der erste erfolgreich ist, während <|> beide Zweige durchsucht
• In manchen Regeln liefert <|> mehr Nachweispfade für die Staatsbürgerschaft, aber es gibt Fälle, in denen das HMPO zunächst einen bestimmten Pfad auszuschöpfen scheint
• Die Implementierung verfolgt zeitpunktbezogene Bedingungen nicht ausreichend präzise
  • Beispiel: ob Ehe- oder Niederlassungsstatus zum Zeitpunkt der Geburt einer bestimmten Person vorlag
  • Dies ließe sich wohl ohne große Schwierigkeiten ergänzen
• Sie implementiert nicht das gesamte britische Staatsangehörigkeitsrecht, sondern nur die für den Fall relevanten oder interessanten Teile
  • Eine vollständige Implementierung würde deutlich mehr Code und viele Ausnahmen erfordern
• Eine solche Software hätte helfen können, schneller die richtige Dokumentenmenge zusammenzustellen und zu verstehen, warum die Anforderungen komplex wurden
• Vollständige Automatisierung birgt jedoch Risiken
  • Wenn das Programm ein False Positive liefert, könnten Beschwerden nach dem Motto „der Computer hat gesagt, es geht“ entstehen
  • Automatisierung, die menschliche Expertise ersetzt, kann dazu führen, dass Staatsbürgerschaft mit der Begründung „der Computer hat gesagt, es geht nicht“ verweigert wird
• Der aktuelle Antrag ist noch nicht abgeschlossen; geplant ist, Proof 2 und Proof 3 gleichzeitig zu verfolgen und bei einem Scheitern Proof 1 zu versuchen

[GN⁺]

Meinungen auf Hacker News

• Ich habe in den letzten zehn Jahren an mehreren großen Systemen der britischen Regierung gearbeitet, und dieser Beitrag zeigt gut, warum beim Bau staatlicher Services/Software so merkwürdige Ergebnisse herauskommen.
  Regierungssoftware ist im Kern die Aufgabe, Hunderte Jahre Parlamentsgesetze in Code zu übertragen. Wenn man das HMPO-Passsystem gebaut hat und das zugrunde liegende Gesetz geändert oder aufgehoben wird, muss jemand in allen Systemen die Stellen finden und korrigieren, auf die dieses Gesetz Auswirkungen hatte.
  Dazu kommt, dass die Regierung häufig an teure Beratungsfirmen auslagert, und diese Firmen haben den Anreiz, Verträge auszuweiten, beim Kunden Fuß zu fassen und möglichst viel Wert abzuschöpfen. Weil dabei Systeme mit schwankender Qualität und Flexibilität entstehen, wiederholt sich derselbe Prozess bei jeder Gesetzesänderung.
  Früher gab es zentrale Entscheidungsbefugnisse wie Spend Controls, heute fehlt jedoch eine zentrale Stelle, die dieses Problem koordiniert, und deshalb ist die Bereitstellung staatlicher Services so teuer.

  • Ich frage mich, warum Subunternehmer vertraglich offenbar nicht verpflichtet sind, ein funktionierendes System zu bauen.
    In der Praxis bauen sie etwas, das einem funktionierenden System nahekommt, stellen für ein Ergebnis, das ein Junior-Entwickler in drei Monaten schaffen würde, ungefähr 1000-mal zu viel in Rechnung, bekommen aber offenbar bezahlt, als hätte das System tatsächlich funktioniert.
  • Ich habe kürzlich in Frankreich meinen Pass verlängert. Es gab eine relativ neue Plattform, über die man alle benötigten Dokumente beantragen konnte, und ich musste nur ein einziges Online-Formular ausfüllen.
    Das Formular war leicht nachzuvollziehen; anschließend ging ich einmal ins Amt, um den Vorgang abzuschließen, was nur zehn Minuten dauerte, und der Pass wurde zugestellt. Aus meiner Sicht war das ein möglichst schmerzfreier Prozess.
    Wie auch immer die Lage im Vereinigten Königreich aussieht: hoffnungslos ist sie nicht. Die Regierung sollte keine Angst davor haben, echte Mitarbeiter einzustellen, und die Entwicklung vollständig ins Haus holen.
  • Ich glaube, es könnte eine Chance für ein wiederverwendbares Open-Source-Regelsystem geben. Regierungen auf allen Ebenen könnten ein System nutzen, mit dem sich Regeln ausdrucksstark definieren und versionieren lassen.
    Wie angemerkt wurde, ist die technische Arbeit komplett ausgelagert; ein Teil der Lücke scheint darin zu liegen, dass intern die organisatorische Kompetenz fehlt, ein ziemlich revolutionäres Redesign zu entwerfen und umzusetzen.
    Es ist enorm frustrierend, dass die Regierung für IT-Projekte zig Millionen an Subunternehmer zahlt, aber internen Engineers, die langfristig günstiger sein könnten, keinen Marktlohn zahlen kann.
  • Das Problem, dass Gesetze im Grunde zu einem Append-only-Repository werden, an das ständig Änderungsanträge angehängt werden, ist nicht nur ein britisches Problem.
    Es wäre schön, ein System zu haben, in das man im Append-only-Stil nur „Patches“ einspeisen müsste, statt überall verstreut Ausnahmebedingungen einzubauen.
    Einige logische Programmiersprachen können das bis zu einem gewissen Grad, aber das eigentliche Problem scheint zu sein, dass es kein Budget für technische Schulden gibt und auch die Anwälte, die mit Gesetzen arbeiten, von Komplexität profitieren können. Es wäre gut, wenn es Leute gäbe, die ausdrücklich dafür zuständig sind, Gesetze so einfach wie möglich zu halten.
  • Hat Outsourcing jemals für irgendwen wirklich gut funktioniert? Ich höre fast nie von Fällen, in denen eine Regierung etwas ausgelagert hat und es ein Erfolg wurde.

• Die Haskell-Syntax ist interessant. Nachdem sie einem jemand erklärt hat, wirkt sie intuitiv; davor aber nicht besonders.
  Ich glaube nicht, dass das nur daran liegt, dass ich an Sprachen aus der Algol-Familie (C, Python usw.) gewöhnt bin. Der Haskell-Code, den ich bisher gesehen habe, enthält sehr viele Operatoren, die den Code knapp machen sollen, bei denen aber vom bloßen Hinsehen nicht klar ist, was sie tun: https://academy.fpblock.com/haskell/tutorial/operators/

  • Ich habe vor einiger Zeit einmal grob nachgezählt: Die Zahl der Operatoren, denen man in „normalem“ Haskell-Code begegnet, wenn man lens oder domänenspezifische Bibliotheken vermeidet, war der Zahl der Operatoren in JavaScript ziemlich ähnlich.
    Das ist lange her, und ich möchte es nicht noch einmal machen, aber selbst wenn man JavaScript großzügig bewertet, braucht man in praxisnahem Haskell nicht zehnmal so viele Operatoren wie in praxisnahem JavaScript, sondern ungefähr doppelt so viele.
    Haskell hat anfangs zusätzliche Komplexität, die man hinnehmen muss, aber das ist kein Unterschied der Art gegenüber beliebten Einsteigersprachen, sondern ein Unterschied des Ausmaßes. Man vergisst leicht, wie viel man über Sprachen im Algol-Stil gelernt hat, weil man es bereits so stark verinnerlicht hat.
    Ich habe Mittel- und Oberstufenschülern ohne Programmiererfahrung Java und Python beigebracht, und gerade im 1:1-Unterricht blieben sie oft an Dingen hängen, bei denen ich schon vergessen hatte, dass sie überhaupt Erklärung brauchen. Etwa wenn sie in Python die Position von : falsch setzen oder nicht verstehen, wie = funktioniert.
    Selbst „grundlegende“ Syntax wie : und = ist viel komplexer, als wir denken. Das ist ähnlich wie bei englischen Muttersprachlern, die sich der Regeln zur Reihenfolge von Adjektiven in „big red ball“ gegenüber „red big ball“ nicht bewusst sind, während Lernende daran wie an eine Wand stoßen.
  • Die meisten Operatoren in diesem Link sind sehr standardmäßige Dinge und gehören zu den am wenigsten interessanten Aspekten, wenn man über Haskell spricht.
    Wenn man ohne Programmierkenntnisse ein beliebiges Java-Programm in die Hand nimmt, wird man ebenfalls kaum etwas verstehen. Genauso versteht man auch keine mathematischen Ausdrücke, weder Operatoren noch sonst etwas, wenn man nie Mathematikunterricht hatte.
    Der Maßstab sollte sein, wie viel man verstehen kann, nachdem man die Grundlagen gelernt und ein paar Tutorials durchgearbeitet hat.
  • „Intuitiv, nachdem es erklärt wurde, aber nicht davor“ kommt der Bedeutung von intuitiv doch ziemlich nahe, oder?
    Intuitiv bedeutet eher, dass etwas auch ohne Vorwissen oder Erklärung leicht zu verstehen oder zu lernen ist.
  • Ich glaube, Larry Wall hat etwas Ähnliches über Perl gesagt. Manche Dinge können erst intuitiv sein, nachdem man sie gelernt hat.
    Außerdem scheint sich die Beschwerde eigentlich nicht gegen die Syntax zu richten. Einige Bestandteile von Haskell beziehen sich auf bestimmte Modelle wie Monaden oder Lenses, und wenn Leser dieses Wissen noch nicht haben, kann keine Syntax es ihnen eintrichtern.

• Mir hat der Beitrag gefallen. Zuerst begann er als Parodie und verwandelte sich dann allmählich in eine ernsthafte und elegante Lösung für dieses „Spiel“.
  Gegen Ende hatte ich selbst Lust, es auszuprobieren.

  • Spielbar dürfte es sein, aber durch den späteren Teil zu kommen, wäre wohl deutlich schwieriger.

• Die Beantragung eines britischen Reisepasses lässt sich vollständig online erledigen, abgesehen davon, dass man die nötigen Unterlagen per Post an HMPO schickt.
  Selbst wenn man durch Adoption, Einbürgerung oder Abstammung „neuer“ Staatsbürger geworden ist, kann man von außerhalb des Vereinigten Königreichs aus nur mit einem Mobilgerät, ohne eine separate App herunterzuladen, inklusive Fotoaufnahme einen neuen Reisepass beantragen.
  Zum Spaß könnte man mit Papier und Stift den „Schwierigkeitsmodus“ spielen, aber meine Erfahrung war sehr effizient, schnell und unkompliziert.

  • Ich habe letztes Jahr das britische Online-System zur Passverlängerung genutzt, und es war eine der besten Websites, die ich seit sehr langer Zeit benutzt habe. Wirklich erfrischend.
    Sie funktionierte auch auf einem alten Computer und einem „antiken“ Browser einwandfrei; Farben, Texte, Buttons, Eingabefelder und Anforderungen waren alle schlicht, barrierearm und klar. Auch die Schritt-für-Schritt-Navigation war einfach und tatsächlich hilfreich.
    Es ist schade, dass nicht mehr Unternehmen ihre Kunden ernst genug nehmen, um in so gut gestaltete Websites zu investieren. HMPO hat das gut gemacht.
  • Ich habe kürzlich zum ersten Mal über das Online-System verlängert, und der gesamte Ablauf war außergewöhnlich schnell. Ich habe den Antrag aus Kalifornien gestellt und meinen Pass in weniger als zwei Wochen zurückbekommen.
    Zum Vergleich: Als ich in Kalifornien einen kanadischen Pass verlängert habe, war es ein seit drei Jahren beschädigter Pass, und es dauerte vier Monate. Es lief komplett papierbasiert ab und hatte absurde Anforderungen wie ein von einem Bürgen und einem Fotografen gestempeltes Foto.
    Ich weiß, dass ein digitales Pilotprojekt läuft, aber es sollte so schnell wie möglich vollständig eingeführt werden.
  • Das klingt, als wäre es viel einfacher dargestellt worden, als es tatsächlich ist. Ich gebe zu, dass das Verlängerungsverfahren ziemlich erfolgreich vereinfacht wurde, aber als jemand, der vor ein paar Jahren einem Freund bei seinem ersten Passantrag geholfen hat, fand ich den Ablauf langwierig und mühsam.
    Es ist ein persönliches Interview nötig, außerdem die Unterschrift einer verantwortlichen Person, zu der viele keinen Zugang haben. Ärzte werden zum Beispiel nicht akzeptiert.

• Für Leute, die dieses Verfahren in Japan durchlaufen: Das waren die Unterlagen, die ich einreichen musste. Je nach Situation wird es unterschiedlich sein, und insbesondere da der Autor offenbar ebenfalls außerhalb des Vereinigten Königreichs geboren wurde, könnten andere oder mehr Unterlagen nötig gewesen sein.
  Eingereicht habe ich eine beglaubigte Kopie der Geburtsurkunde, bestellt beim britischen General Register Office, das japanische Familienregister im Original samt Übersetzung, die Bescheinigung über die Annahme der Geburtsanzeige im Original samt Übersetzung, die Heiratsurkunde im Original samt Übersetzung, Farbkopien aller Seiten des japanischen Reisepasses des Kindes sowie eine Kopie des Reisepasses eines US- oder britischen Staatsbürgers, der bestätigt, dass das Kind mein Kind ist.
  Der Ablauf ist ziemlich unklar und scheint im Wesentlichen darauf hinauszulaufen, so lange weitere Dokumente einzureichen, bis der Sachbearbeiter zufrieden ist.

  • In diesem Fall war es tatsächlich so, dass applicant's father, also ich, im Vereinigten Königreich geboren wurde, applicant's father's father aber nicht; das war die Ursache der zusätzlichen Komplexität.
  • Interessant. Wurden die Geburtsurkunden der Eltern nicht verlangt?
    Ich bin Brite, meine Frau ist Ungarin, und wir leben in Ungarn; von uns wurden die Geburtsurkunden beider Elternteile und aller vier Großeltern verlangt.
    Da meine Frau keinen Kontakt zu ihrem Vater hat, mussten wir ein Begleitschreiben einreichen, in dem wir die Situation erklärten, und das wurde akzeptiert. Allerdings weiß ich ohnehin nicht recht, warum die Staatsangehörigkeit meiner Frau und die ihrer Eltern relevant sein sollen, da die britische Staatsangehörigkeit meines Sohnes ja aus meiner britischen Staatsangehörigkeit stammt.
    Wir mussten keinen fremden Reisepass kopieren, aber ein Freund der Familie musste die Angaben online bestätigen. Dieser Freund ist Anwalt im Vereinigten Königreich und stand daher auf der Liste der zugelassenen Berufe.
  • Farbkopien aller Seiten des japanischen Reisepasses des Kindes – wozu braucht man das?

• Wegen meiner in den USA geborenen Tochter mussten wir einen MN1-Antrag stellen. Der Grund war, dass sowohl ich als auch mein Ehepartner im Ausland geboren wurden.
  Wie der ursprüngliche Beitrag andeutet, ist das eine Art Nebenquest namens „Registrierung“, und wenn man sie nicht erledigt, bevor das Kind 18 wird, ist die Frist abgelaufen. Soweit ich weiß, gibt es natürlich auch in solchen Fällen noch Wege zur Staatsbürgerschaft.
  Der schwierigste Teil des Verfahrens war, jemanden zu finden, der meine Nachweisdokumente beglaubigt – etwas, das in dieser Version von Passport Application nicht behandelt wurde, aber gut in einem künftigen DLC-Paket auftauchen könnte. Es heißt zwar, man solle Originale einreichen, aber da die Dokumente einschließlich Reisepass drei bis sechs Monate einbehalten werden, ist das für im Ausland Lebende unrealistisch.
  Ich erinnere mich nicht mehr an die genauen Regeln, aber US-Notare oder die üblichen Beglaubigungsverfahren durch Anwälte waren nicht zulässig, und am Ende musste ich zu einem Bezirksamt gehen.
  Ich rief bei etwa fünf Bezirksämtern an, und alle sagten, sie kennten das Verfahren oder die Anforderungen nicht; schließlich fand ich beim Islington Council eine sehr hilfsbereite Person. Trotzdem gehörte das zu den frustrierenderen Interaktionen, die ich mit der britischen Regierung hatte.

• Ich habe das Spiel Passport Application ebenfalls stellvertretend genossen.
  Eine der interessanten Regeln, die der ursprüngliche Beitrag nicht erwähnt, ist die Regel der variablen Geschichte. Fakten in einem Dokument können sich innerhalb kurzer Zeit ändern, sodass ein Dokument, das bereits in das Faktenerfassungssystem des Prüfers eingescannt wurde, später zurückgeschickt werden muss, damit es erneut eingescannt werden kann.
  Dass überprüft wird, ob sich die Fakten eines Dokuments nicht verändert haben, bedeutet angeblich, dass die Prüfer-Spezies die Existenz des Multiversums implizit anerkennt.
  Der Kommunikationskanal zwischen „NPC“-Telefonberatern und Prüfern scheint Gebeten zu ähneln; tatsächlich bekommt man nur vage Schlussfolgerungen.
  Nebenbei könnte der Autor des Originalbeitrags ein Mornington-Crescent-Fan sein – ein Spiel, dessen Regel-Topologie der erwähnten Passport Application ähnlich wirkt.

  • Im britischen System sind Namen fließend und können sich ohne gesonderte Erklärung nach Belieben ändern. Deshalb konnte meine Mutter meine Geburt unter dem Nachnamen aus der dritten Ehe ihrer Mutter registrieren.
    Auch eine Geburtsurkunde ist in gewisser Hinsicht unveränderlich, aber nicht alles, was darin steht, ist vollständig unveränderlich.
    Außerdem hatte das Passamt die Entscheidung zu meinem früheren Pass vergessen, in der diese Abweichung beim Nachnamen erklärt und akzeptiert worden war. In einem Pass war ich sogar auf einer Seite im Pass meiner Mutter eingetragen.
    Die NPCs machen einen wirklich wütend. Jedes Mal, wenn ich anrief oder eine E-Mail schrieb, bekam ich eine andere Antwort. Es war wie ein schlechtes Large Language Model.
    Nach der Antragstellung musste ich meiner Mutter erklären, dass innerhalb desselben Antragspakets für eine Tochter zusätzliche britische Unterlagen nötig waren, für die andere aber nicht, und dass deren Pass ausgestellt worden war. Nur weil die eine im Vereinigten Königreich geboren wurde und die andere nicht.
    Meine Mutter ist verständlicherweise explodiert, hat das Thema bei ihrem Parlamentsabgeordneten vorgebracht, und innerhalb eines Tages war es gelöst.

• Ich habe dieses höllische Verfahren gerade wegen einer meiner Töchter durchgemacht. Sie wurde in Japan geboren, und ich hatte Mühe, den Nachnamen meiner Mutter mit dem in meiner Geburtsurkunde in Einklang zu bringen.
  Kurz gesagt: Da ich nachgewiesen hatte, dass ich in England geboren wurde und die Staatsbürgerschaft, also einen Pass, besitze, schien es mir, dass ihr dieser Status unter jeder denkbaren Konstellation übertragen werden müsste. Das passt zwar nicht zu den Leitlinien für die geforderten Unterlagen, aber ich halte es für einen deutlich weniger schmerzhaften Weg.

• Die Passage „Was ist der Basisfall? Der Basisfall ist ein Vorfahr, dessen britischer Status nicht von den Eltern abhängt, zum Beispiel jemand, der eingebürgert wurde oder vor 1983 im Vereinigten Königreich geboren ist. Je weiter man sich von 1983 in Richtung Zukunft bewegt, desto tiefer wird dieser Call Stack“ wirkt aus der Perspektive von jemandem, der aus einem Land kommt, in dem es eine zentrale Datenbank für Bürger und ausländische Einwohner gibt und die Prüfung der Staatsbürgerschaft ungefähr ein einzelnes SELECT in einer SQL-Tabelle wäre, völlig absurd.

  • Viele Länder haben keine Möglichkeit zu wissen, wer ihre Bürger sind.
    Auch im Ausland geborene Personen sind oft Staatsbürger, und das Vereinigte Königreich hat absurd viele territoriale Veränderungen erlebt, die sich auf die Staatsbürgerschaft auswirken.
    Einige heutige Bürger haben ihre Staatsbürgerschaft, weil sie in Bombay, also Mumbai, geboren wurden; andere haben sie, weil sie in Hongkong geboren wurden.
    Um eine verlässliche Bürgerliste zu führen, bräuchte es eine regelmäßige Registrierung, und wer sich nicht registriert, müsste die Staatsbürgerschaft verlieren.
  • Ich glaube nicht, dass die Prüfung der Staatsbürgerschaft auch nur annähernd ein einzelnes SELECT in einer SQL-Tabelle sein kann. Ich würde gern darauf wetten, selbst bei extrem schlechten Quoten gegen mich.

• Ich habe dieses Spiel vor ein paar Jahren gespielt.
  Obwohl ich im Vereinigten Königreich als Kind eines britischen Vaters geboren wurde, war mein Charakter früher kein Brite. Der Grund war, dass meine Eltern nicht verheiratet waren und ich nach 1983, aber vor der Regeländerung von 2006 geboren wurde.
  Den genauen Zeitpunkt weiß ich nicht, aber irgendwann in den 2010ern wurde das Update von 2006 offenbar rückwirkend angewendet, sodass mein Charakter spielbar wurde. Viele Side Quests habe ich nicht gemacht; die wichtigste war, die Geburtsurkunde meines Vaters zu finden.
  Mein Charakter musste außerdem an der Endgame-Zeremonie teilnehmen und der Königin Treue schwören, was sich für jemanden, der in diesem Land geboren wurde und sein ganzes Leben hier verbracht hat, seltsam anfühlte.

  • Aber immerhin hast du die Bonus-Endcredits bekommen!