Saudische Unternehmensfilings — Zakat und Ertragsteuer im Kern, insgesamt zehn ausgelieferte Engines: Abschlüsse, Verifikation, Verrechnungspreise, Quellensteuer, USt, RETT, Verbrauchsteuer, UBO — aus Hauptbüchern zu einreichungsfertigen Erklärungen berechnet, mit angehängtem Beweis. Modelle werden intensiv genutzt. Die Arithmetik ist unantastbar. Diese Grenze ist keine Richtlinie; sie ist die Architektur.
Der Rechenkern ist eine pure Funktion: kein Netzwerk, keine Datenbank, kein Importpfad zu einem Modell-Client — verifiziert über den vollständigen transitiven Import-Graphen, nicht in einem README versprochen. Der letzte Modelleinfluss ist ein Zuordnungsvorschlag, den ein Mensch angenommen hat; der Parameter der Engine heißt wörtlich approved_mappings.
Jede Eingabe friert vor dem Lauf in einen versionierten Checkpoint ein; das Replay wird bit-identisch bewiesen, und Erwartungswerte werden von Hand aus der Verordnung hergeleitet, bevor der Code existiert. Gespeichert werden Eingaben, nicht Schlüsse — eine korrigierte Regel soll das Ergebnis ändern; wissen muss man, dass sie es tat.
Einundzwanzig Kontrollen in flacher Sequenz ohne Abkürzungen — zwölf blockierend. Einige leiten die Arithmetik aus den Roheingaben auf unabhängigem Weg neu her und vergleichen; andere heben die Identitätsprüfungen der Engine selbst zu erstklassigen, auditierbaren Ergebnissen. Ein Tor hat Zähne: ein Filing mit fehlgeschlagenen Blockern lässt sich nicht exportieren. Alle Mathematik in Festpräzisions-Dezimal, an der Grenze konvertiert, damit nichts Float-Impräzision erbt.
Die Ingestion versucht das Günstigste zuerst: bekannte Herstellerformate, deterministische Spaltenzuordnung, ein gecachter Layout-Fingerabdruck — eine vertraute Datei wird mit null Modell-Tokens verarbeitet, und gelernte Layouts werden mandantenübergreifend geteilt, nur Struktur, nie Werte: Der zehnte Nutzer eines ERP-Formats zahlt, was die ersten neun schon gelehrt haben. Insgesamt elf Modell-Aufrufstellen, alle hinter einem Wrapper mit Retries, Circuit Breaker und hartem Budget-Abbruch.
„Eine Kontrolle, die meistens stimmt, ist keine Kontrolle.“
Schema-Strenge folgt der Konsequenz: Wo Modell-Ausgabe zu einer Zahl wird, die ein Mensch in ein Filing übernimmt, wird sie durch ein Schema gezwungen und bei Abweichung verworfen; wo sie ein Vorschlag zum Lesen ist, genügt leichtere Validierung. Wo eine Regel existiert, aber nicht implementiert ist — frühere Regulierungsregime, Sektoren mit offenen Steuerklassen — verweigert das System an der Grenze, bevor die Engine überhaupt gerufen wird: eine Vorab-Ablehnung ist ein Support-Ticket, ein ungefähres Filing ein Steuerbescheid. Und der Bug, der die These beweist: Eine Extraktion lieferte einmal still 52 von 54 Zeilen, und jede verhältnisbasierte Plausibilitätsprüfung bestand — die Lösung war eine Mengendifferenz gegen die Quelle, Zeile für Zeile, nach Identität, kein besserer Prompt. Jede Zahl mit Quellenabdeckung öffnet im Produkt eine Evidenz-Schublade: Zeile → beteiligte Konten → Blatt und Zeile → ein hervorgehobener Ausschnitt des Original-Uploads. Bekannte Lücken, offen benannt: Die neueren Engines stempeln ihre Version auf die persistierte Erklärung, der Form-10-Kern noch nicht — „alles von dieser Korrektur Betroffene neu berechnen“ ist dort noch keine erstklassige Abfrage; und die Reinheit des Kerns ist audit-verifiziert und per Konvention erzwungen, noch nicht durch einen Import-Graph-Test fixiert. Beides sind benannte nächste Stücke Arbeit.