Jede Zahl trägt ihre Quelle.
Ein Modell darf beim Bau des Rechners helfen. Es wird nie selbst zum Rechner.
Eine verantwortete Zahl hat eine andere Aufgabe.
Sie muss aus denselben Eingaben reproduzierbar sein. Ihre Voraussetzungen müssen ausdrücklich sein. Die Regelversion muss feststehen. Die Quelle muss lesbar bleiben.
Eine Zahl, die nur von dem Modell erklärt werden kann, das sie erzeugt hat, ist keine Berechnung. Sie ist eine Meinung.
Die amtliche Quelle kommt zuerst.
Die Rechenschicht beginnt deshalb bei der amtlichen Quelle und nicht bei einem Modell.
Das veröffentlichte Regelwerk wird eingelesen und in deterministische Rechner übersetzt. Eine zweite Implementierung wird unabhängig erzeugt. Beide laufen über jedes abgedeckte Jahr und werden Feld für Feld verglichen, einschließlich der Nachkommastellen.
Der Betrieb nutzt exakte Dezimalarithmetik und bleibt offline.
Jedes Ergebnis trägt Klausel, Quellversion, Quellhash, Voraussetzungen, Eingaben und den Rechenweg, der nötig ist, um es zu reproduzieren.
Die Maschine, auf die sich eine Organisation verlässt, lässt kein Modell ihre Arithmetik erledigen.
Gebaut und verifiziert.
Durch den Prüfsatz abgedeckt.
Feldvergleiche zwischen unabhängigen Implementierungen.
Unterschiede in Wert oder Nachkommastellen.