Manipulationsnachweisbare Lineage

Manipulationsnachweisbare Lineage ist ein nur ergänzbares Protokoll über alles, was ein Agent getan hat, und jede darauf angewandte Governance-Entscheidung. Es ist so strukturiert, dass jede nachträgliche Änderung, Einfügung oder Löschung erkennbar ist. Für jede gesteuerte Aktion erfasst der Datensatz das eingereichte Envelope, das Mandat, gegen das die Aktion geprüft wurde, das Ergebnis, die konkret angewandten Regeln, die Grundlage des Ergebnisses und die verstrichene Zeit in jeder Phase. Dies sind die Inhalte, die das MAS-SAFR-Whitepaper (Safeguards for Agentic Finance at Runtime) für sein Audit Log verlangt.

Diese Eigenschaft ist erforderlich, weil der Audit-Datensatz geprüft wird, wenn die Aktion eines Agenten strittig ist, und die prüfenden Parteien entgegengesetzte Interessen haben. Das Whitepaper formuliert die Anforderung klar: „Das Log ist der maßgebliche Datensatz, unabhängig von jeder Partei, die ein Interesse daran hat, wie Ereignisse im Nachhinein charakterisiert werden.“ Standardmäßige Anwendungsprotokolle werden für Betreiber geschrieben, und wer das System administriert, kann sie rotieren, kürzen oder bearbeiten; ihre Integrität beruht auf dem Vertrauen in diese Administration. Ein Lineage-Datensatz ist für die Prüfung durch eine externe Partei ausgelegt. Deshalb muss seine Integrität überprüfbar sein, ohne der produzierenden Partei zu vertrauen.

Drei Mechanismen liefern diese Eigenschaft in der Praxis. Hash-Verkettung: Jeder Eintrag verpflichtet sich kryptografisch auf die vorherigen Einträge, sodass ein geänderter oder entfernter Eintrag die Kette bricht. Reihenfolge „zuerst speichern, dann entscheiden“: Die Entscheidung wird erst zurückgegeben, wenn die Evidenz gespeichert wurde, und das System arbeitet bei einem Schreibfehler Fail-Closed, sodass keine gesteuerte Aktion ohne Aufzeichnung ausgeführt werden kann. Unabhängige Verifizierung: Der Datensatz wird mit signiertem Manifest, einem Einschlussnachweis für jedes Artefakt und einer externen Zeitstempelbindung exportiert, sodass ein Prüfer die Integrität offline bestätigen kann.

In SAFR erscheint Lineage zweimal. Der Action Trace in jedem Governance Envelope zeichnet auf, wie der Agent zu einem Vorschlag gelangt ist, und das Audit Log zeichnet auf, wie die Institution darüber entschieden hat. Zusammen liefern sie einem Prüfer die Ereignisfolge mit dem Nachweis, dass der Datensatz unverändert ist – den nachweislichen Kern jeder Runtime-Governance-Schicht. In KLA übernehmen der Audit Trail und seine Sealed Evidence Bundles diese Funktion in der SAFR-Implementierung.