Technische Zusammenfassung: Operationalisierung der rekonstruktiven Autorität

Problemstellung

Autonome Agentensysteme scheitern häufig nicht aufgrund fehlerhafter Entscheidungslogik, sondern weil sie Entscheidungen ausführen, deren Autorität zur Laufzeit nicht mehr besteht. In dynamischen Umgebungen weichen die Bedingungen, unter denen eine Entscheidung getroffen wird (Zulassungszeitpunkt), häufig von den Bedingungen zum Zeitpunkt der Ausführung ab. Bisherige Validierungsansätze, die Autorität als statische Eigenschaft betrachten, die aus einem Anfangszustand geerbt wird, können eine Ausführung unter „veralteter Autorität" nicht verhindern.

Bestehende Modelle zur Durchsetzung von Richtlinien (z. B. XACML, OPA) operieren typischerweise in einem binären Entscheidungsbereich: Zulassen oder Verweigern. Diese Modelle behandeln fehlende oder unsichere Daten oft als Standardverweigerung oder akzeptables Risiko, ohne zwischen ungültiger Autorität (wo Bedingungen als falsch bekannt sind) und undefinierter Autorität (wo Bedingungen aufgrund unvollständiger Beobachtbarkeit nicht bestimmt werden können) zu unterscheiden. Diese strukturelle Lücke führt dazu, dass Systeme Aktionen unter epistemischer Unvollständigkeit ausführen und damit Sicherheitsgarantien verletzen.

Methodik

Dieser Beitrag operationalisiert das Modell der rekonstruktiven Autorität (RAM), das in Paper 5 theoretisch definiert wurde, in ein konkretes Laufzeit-Ausführungsprotokoll. Die Kernmethodik verschiebt das Paradigma von der „Validierung geerbter Autorität" hin zur „Konstruktion von Autorität aus dem aktuellen Zustand".

1. Theoretische Grundlage

Das System definiert Autorität $A(t)$ nicht als statisches Flag, sondern als Funktion $F$ des aktuellen beobachtbaren Zustands $O(t)$:
$$A(t) = F(O(t))$$
Da der reale Systemzustand $S_r(t)$ nicht vollständig beobachtbar ist, muss das System bestimmen, ob Autorität konstruierbar ist. Autorität ist nur dann konstruierbar, wenn:

1. Beobachtbarkeit: Alle erforderlichen Abhängigkeitsvariablen mit einer Unsicherheit unterhalb eines Schwellenwerts $\theta_{auth}$ beobachtbar sind.
2. Abschluss: Der Abhängigkeitsgraph vollständig aufgelöst ist (keine upstream-Abhängigkeiten fehlen).
3. Konsistenz: Über die bewerteten Abhängigkeiten hinweg keine Verletzungen von Invarianten festgestellt werden.

2. Der ternäre Ausführungszustand

Der Beitrag führt eine grundlegende Erweiterung des Zustandsraums der Ausführung ein und geht über das binäre Zulassen/Verweigern hinaus zu einem Drei-Zustands-Modell:

• Ausführen: Autorität ist konstruierbar und bewertet sich zu True.
• Verweigern: Autorität ist konstruierbar, bewertet sich jedoch zu False (Bedingungen sind als verletzt bekannt).
• Anhalten: Autorität ist nicht bewertbar ($A(t) = \bot$). Dies tritt auf, wenn die Bedingungen für die Konstruierbarkeit nicht erfüllt sind (z. B. fehlende Signale, hohe Unsicherheit oder offene Abhängigkeitsgraphen). Entscheidend ist, dass Anhalten sich von Verweigern unterscheidet; es repräsentiert eine Aussetzung der Ausführung aufgrund epistemischer Unvollständigkeit, nicht eine Ablehnung aufgrund bekannter Richtlinienverletzungen.

3. Laufzeit-Durchsetzungsprotokoll

Die Operationalisierung wird über eine Laufzeit-Durchsetzungsschleife implementiert, die drei Ebenen integriert:

• Zustandserfassung: Erfasst $O(t)$, ohne Vollständigkeit vorauszusetzen.
• Autoritäts-Konstruktions-Engine: Löst dynamisch die für eine Aktion $a$ erforderlichen Abhängigkeiten $D(a)$ basierend auf dem aktuellen Zustand auf. Sie bewertet für jede Variable die Beobachtbarkeit und Unsicherheit.
• Ausführungsgate: Erzwingt die ternäre Entscheidung. Wenn $A(t) = \bot$, tritt das System in einen Anhalten-Zustand ein.

4. Die Wiederherstellungsschleife

Um den Anhalten-Zustand zu adressieren, definiert der Beitrag eine Wiederherstellungsschleife. Anstatt Anhalten als terminalen Fehler zu behandeln, führt das System folgende Schritte aus:

1. Identifiziert die spezifischen ungelösten Variablen, die das Anhalten verursachen.
2. Triggert die Invarianten-Monitoring-Ebene (IML), um Drift zu erkennen oder fehlende Signale zu erwerben.
3. Erweitert den Zustand (z. B. durch Erwerb neuer Daten oder Reduzierung des Aktionsumfangs).
4. Versucht, die Autorität wiederherzustellen.
   Die Ausführung wird erst fortgesetzt, wenn die Autorität wieder konstruierbar ist, wodurch bedingte Lebendigkeit gewährleistet wird.

Hauptbeiträge

1. Operationalisierung von RAM: Bietet das erste Laufzeit-Ausführungsmodell, das die Wiederherstellung der Autorität am Punkt der Aktion durchsetzt, anstatt sich auf eine Validierung zum Zulassungszeitpunkt zu verlassen.
2. Der Anhalten-Zustand: Formalisiert einen dritten Ausführungszustand, um undefinierte Autorität explizit zu behandeln und zu verhindern, dass das System unter Unsicherheit ausgeführt wird oder fehlende Daten als Standardverweigerung behandelt.
3. Algorithmus zur Abhängigkeitsauflösung: Führt einen dynamischen Algorithmus ein, bei dem erforderliche Variablen nicht statisch definiert sind, sondern aus dem Laufzeitzustand und der Konstruktionsfunktion $F$ hervorgehen.
4. Integration in den Governance-Stack: Zeigt auf, wie RAM in das übergeordnete Agent Control Protocol (ACP) und die Invarianten-Monitoring-Ebene (IML) passt, und fungiert als Autorisierungskriterium am Ausführungsgate (Stufe 3 des ACP), während es orthogonal zu den Schichten der Zuweisungs- und kompositorischen Governance bleibt.
5. Formale Garantien:
   • Sicherheit: Es wird bewiesen, dass keine Aktion ausgeführt wird, es sei denn, die Autorität ist sowohl konstruierbar als auch gültig (Sätze 3 & 4).
   • Bedingte Lebendigkeit: Es wird bewiesen, dass die Ausführung wieder aufgenommen wird, wenn die fehlenden, autoritätsdefinierenden Variablen schließlich beobachtbar werden (Satz 2).

Ergebnisse und Behauptungen

Der Beitrag präsentiert keine empirischen experimentellen Daten, sondern liefert ein formales Operationalmodell und logische Beweise. Die primären Ergebnisse sind:

• Sicherheitsgarantie: Das Modell verhindert strukturell die Ausführung unter veralteter oder undefinierter Autorität, einem Fehlermodus, der Systemen inhärent ist, die die Autorität zur Laufzeit nicht neu berechnen.
• Drift-Handling: Durch die Kopplung von RAM mit IML erkennt das System Verhaltensdrift und macht die Autorität sofort ungültig, was ein Anhalten erzwingt, bevor eine Ausführung erfolgt.
• Nachverfolgbarkeit: Jeder Ausführungsversuch generiert ein Audit-Artefakt, das den Pfad der Abhängigkeitsauflösung, Unsicherheitsniveaus und den spezifischen Grund für Anhalten, Verweigern oder Ausführen detailliert beschreibt.

Bedeutung

Der Beitrag beansprucht, die „Agent Governance Series" abzuschließen, indem er die Lücke zwischen theoretischen Governance-Bedingungen und Laufzeit-Durchsetzung schließt. Während Papers 0–4 die strukturelle Stimmigkeit der Governance definieren und Paper 5 die theoretische Natur der rekonstruktiven Autorität festlegt, definiert Paper 6, wie Autorität zur Laufzeit durchgesetzt wird.

Die Bedeutung liegt in der Neuformulierung der Ausführungskontrolle von einem Problem der Schätzung und Validierung hin zu einem Problem der Konstruierbarkeit und Durchsetzung. Indem das System die Ausführung verweigert, wenn Autorität nicht konstruiert werden kann, priorisiert es Sicherheit vor Verfügbarkeit und stellt sicher, dass autonome Agenten nur dann handeln, wenn ihre Autorität aktiv und überprüfbar aus dem aktuellen Zustand der Welt abgeleitet wird. Dieser Ansatz bietet die notwendigen Ausführungsssemantiken, um rekonstruktive Autorität in realen, dynamischen Systemen anzuwenden.