IT SYSTEMS / DOCS
Γ: die Grenze zwischen Vorschlag und Wirkung
Γ ist die nicht lernende Prüfgrenze für geplante Wirkungen. Sie verwaltet keine eigenen Ziele und erzeugt keine Autorität.
Prüfung
Ein konkreter Vorschlag wird an Kontext, Herkunft der Autorität und Invarianten gebunden. Das Ergebnis lautet gültig, ungültig oder unklar.
Freigabe
Ein gültiges Prüfergebnis ersetzt weder eine Berechtigung noch die menschliche Zustimmung. Bei unklarem Ausgang bleibt die Wirkung aus und der Fall wird sichtbar gemacht.
Ausführungsgrenze
Der ausführende Pfad muss die Prüfung unmittelbar vor der Wirkung durchsetzen und den Ausgang revisionsfähig erfassen.