Einmal übersetzen, dann fest ausführen
Was festgelegt wird: Den gesamten Laufzeitweg. Im Betrieb läuft kein Modellaufruf mehr.
Was offen bleibt: Die Güte des einmal erzeugten Artefakts. Die Beweglichkeit im Betrieb geht verloren.
Einsatz: Wiederkehrende, regulierte Massenprozesse
Formale Verifikation mit Beweiser
Was festgelegt wird: Die Korrektheit gegenüber der formalen Spezifikation, hart.
Was offen bleibt: Ob die Spezifikation das Richtige verlangt. Der Übersetzungsschritt läuft selbst im
Modell.
Einsatz: Sicherheitskritischer Code, Regelableitungen
Vorschlag plus deterministischer Prüfer
Was festgelegt wird: Die Entscheidung. Der Prüfer ist ein Programm und liefert bei gleicher Eingabe
dasselbe Urteil.
Was offen bleibt: Den Vorschlag selbst und alles, was die Prüfregel nicht abdeckt.
Einsatz: Zahlungsfreigabe, Code-Freigabe, Regelkonformität
Regelwerk als Programm vor der Ausführung
Was festgelegt wird: Ob eine Aktion regelkonform ist, über Läufe hinweg wiederholbar.
Was offen bleibt: Ob die Regel vollständig ist. Modellgeschriebene Regeln erreichten 70,96 Prozent
Trefferquote.
Einsatz: Freigabe-Tore vor irreversiblen Schritten
Das Werkzeug rechnet, das Modell schreibt nur den Aufruf
Was festgelegt wird: Das Rechenergebnis.
Was offen bleibt: Ob das richtige Programm gewählt wurde.
Einsatz: Beträge, Fristen, Buchungslogik
Fähigkeitswächter über dem Datenfluss
Was festgelegt wird: Welche Aktionen überhaupt möglich sind, unabhängig davon, was das Modell will.
Was offen bleibt: Die Aufgabenerfüllung. Die Abdeckung fiel von 84 auf 77 Prozent.
Einsatz: Agenten mit Schreibrechten, Auszahlungswege
Fester Ablaufplan, Modell nur für Teilschritte
Was festgelegt wird: Den Ablaufweg. Die Richtung des Vorgangs bestimmt das Modell nicht.
Was offen bleibt: Die Teilschritte selbst. Die bleiben probabilistisch.
Einsatz: Sachbearbeitung mit festem Prozess
Schema-gebundene Ausgabe
Was festgelegt wird: Die Form: Syntax, Schema, erlaubte Werte einer Auswahl.
Was offen bleibt: Den Inhalt. Die Werte im gültigen Schema können frei erfunden sein.
Einsatz: Maschinenlesbare Übergabe an die nächste Stufe
Zitatpflicht auf die Fundstelle
Was festgelegt wird: Dass der Zeiger auf die Quelle gültig ist.
Was offen bleibt: Ob die Aussage von der Fundstelle gedeckt ist.
Einsatz: Auskunft mit Belegpflicht
Antwort einfrieren und versionieren
Was festgelegt wird: Die Wiederholbarkeit ab dem zweiten Abruf.
Was offen bleibt: Die Richtigkeit der eingefrorenen Antwort.
Einsatz: Prüfpflichtige Dokumente, die stabil bleiben müssen
-
Kein Primärbeleg gefunden (Recherchelauf 19.08.2026). Als Handwerk verbreitet, hier nicht belegt. ·
2026-08-19
Menschliche Freigabe, bei Bedarf durch zwei Personen
Was festgelegt wird: Die Freigabe als Rechtsakt und die Zurechenbarkeit.
Was offen bleibt: Die Aufmerksamkeit des Menschen. Automatisierungsbias wirkt genau hier.
Einsatz: Zahlungsfreigabe, Diagnose, Sanktionsentscheid
Mehrfach ziehen und abstimmen lassen
Was festgelegt wird: Nichts. Die Streuung sinkt, Wiederholbarkeit entsteht dabei nicht.
Was offen bleibt: Alles. Das Verfahren zieht absichtlich mehrere verschiedene Antwortwege.
Einsatz: Genauigkeit heben, niemals als Determinismus ausweisen
Filter und Klassifikatoren als Leitplanke
Was festgelegt wird: Nur, solange die Sperre eine Regel ist. Ist sie selbst ein Modell, streut sie mit.
Was offen bleibt: Die Vollständigkeit. Filter sind umgehbar und taugen nicht als letzte Instanz.
Einsatz: Grobfilter vor der eigentlichen Prüfung