Was das heißt
Der Automat schreibt alles, auch Code. Aber nichts erreicht main ohne sechs mechanische Tore, und nichts erreicht den Release ohne einen Menschen, der das Ergebnis benutzt hat. Der Product Owner liest keinen Code — das ist keine Lücke, sondern die Konstruktionsbedingung.
Wie das geht
Jede Änderung bringt zugesagte Eigenschaften in normaler Sprache mit, und die Maschine beweist sie. Für die Sicherung etwa: Was gesichert wurde, kommt Byte für Byte identisch zurück. Eine Sicherung überschreibt nie eine vorhandene Datei ohne Rückfrage. Bricht sie ab, ist die vorherige noch benutzbar. Diese Sätze kann ein Mensch beurteilen, der keine Zeile Code versteht — und er merkt, wenn ein Fall fehlt: „Und was, wenn die Platte während der Sicherung abgezogen wird?“
Die Tore
Es baut ohne Warnung. Es stürzt nicht ab, auch nicht bei Unsinn — Fuzzer für alles, was Fremddaten liest. Die zugesagten Eigenschaften gelten. Ein zweiter, unbeteiligter Agent hat es angegriffen. Das Verhalten stimmt am ganzen System, auch nach dem Update. Und nichts wurde heimlich weiter geöffnet — ein Rechte-Diff in Klartext für jede Änderung an Polkit, PAM oder Firewall. Ein Mensch, der einen 400-Zeilen-Diff überfliegt, ist ein schwächerer Prüfer als eine Testsuite, die das Verhalten nachweist.