Zum Inhalt springen

AXON · Technik im Detail

Werkzeuge mit Schema.

Wie ein Sprachmodell einen Werkzeugaufruf nur vorschlägt, die Laufzeit Schema und Recht prüft und Eingangstexte als Daten behandelt, nie als Anweisung.

Ein Agent handelt in AXON nur über Werkzeuge, und jedes Werkzeug ist eine typisierte Handlung der Ontologie. Das Sprachmodell schlägt einen Aufruf vor; ausgeführt wird er erst, wenn die Laufzeit Form, Recht und, wo nötig, eine Freigabe geprüft hat.

Diese Seite beschreibt die Bauweise des Systems. Gebaut sind der Prototyp von Freigabe und Protokoll und der Demonstrator von KALKÜL; den ganzen Stand finden Sie unter Was heute steht.

Auf dieser Seite
  1. 01Werkzeug heißt typisierte Handlung
  2. 02Vorschlagen, prüfen, ausführen
  3. 03Inhalt ist Daten, keine Anweisung
  4. 04Abwehr in drei Schichten
  5. 05Prüfung der Ausgabe
  6. 06Eckdaten
  7. 07Weiter

Werkzeug heißt typisierte Handlung

Ein Werkzeug hat einen Namen, eine Beschreibung und ein Eingabeschema nach JSON Schema: welche Parameter, welche Typen, welche Pflichtfelder, welche Wertebereiche, und keine Felder darüber hinaus (additionalProperties: false). Hinter dem Werkzeug steht genau eine Handlung der Ontologie mit ihren Vorbedingungen und dem Recht, das sie verlangt.

Freie Befehle gibt es nicht: kein Werkzeug, das beliebiges SQL, beliebige Shell-Befehle oder beliebige Adressen annimmt. Was ein Werkzeug bewirken kann, steht vollständig in seinem Schema und seiner Handlung, und beides lässt sich vor dem Einsatz lesen und prüfen.

Für die Anbindung an Sprachmodelle eignen sich offene Formate wie das Model Context Protocol. Die Prüfung bleibt in jedem Fall in der Laufzeit von AXON und wandert nicht in das Sprachmodell oder zu seinem Anbieter.

{
  "name": "zustand_setzen",
  "description": "Setzt den Zustand eines Vorgangs.",
  "input_schema": {
    "type": "object",
    "properties": {
      "objekt":  { "type": "string", "pattern": "^[0-9a-f-]{36}$" },
      "zustand": { "enum": ["offen", "in_arbeit", "erledigt"] },
      "grund":   { "type": "string", "maxLength": 500 }
    },
    "required": ["objekt", "zustand"],
    "additionalProperties": false
  }
}
Ein Werkzeug mit Eingabeschema nach JSON Schema. Name, Felder und Werte sind Platzhalter.

Vorschlagen, prüfen, ausführen

Das Sprachmodell erzeugt nur einen Vorschlag: Werkzeugname und Argumente als strukturierte Daten. Die Laufzeit prüft zuerst die Form gegen das Schema. Was nicht passt, geht mit der Fehlermeldung an das Sprachmodell zurück und wird nicht ausgeführt.

Dann das Recht: Darf dieser Agent in diesem Auftrag diese Handlung an diesem Objekt zu diesem Zweck ausführen? Dann die Vorbedingungen am aktuellen Zustand. Liegt die Handlung über der Grenze der Rolle, wartet sie auf eine Freigabe. Erst danach ruft die Laufzeit die Handlung auf, mit den Zugangsdaten des Auftrags, die das Sprachmodell nie sieht.

Das Ergebnis geht als Daten zurück in den Kontext, und der Aufruf steht mit Vorschlag, Prüfergebnissen und Antwort im Verlauf.

Inhalt ist Daten, keine Anweisung

Ein Agent liest E-Mails, Dokumente, Webseiten und Formulare. Solche Inhalte können Sätze enthalten, die wie Anweisungen aussehen, etwa die Aufforderung, alle bisherigen Regeln zu vergessen. Das ist Prompt Injection, direkt im Eingabetext oder indirekt über eingebettete Inhalte; die OWASP-Liste der Risiken für Anwendungen mit Sprachmodellen führt sie als ersten Punkt (LLM01).

AXON trennt darum Anweisung und Inhalt. Auftrag und Regeln kommen aus dem System; Eingangstexte stehen getrennt davon und gekennzeichnet als Daten aus einer Quelle mit niedrigem Vertrauen. Ein Sprachmodell kann trotzdem auf einen solchen Satz hereinfallen. Deshalb hängt die Sicherheit nicht an der Trennung allein, sondern an den Schichten im nächsten Abschnitt.

Anweisung und Inhalt

Unten der Kontext, getrennt in Auftrag und Inhalt. Das Sprachmodell schlägt nur vor; zur Handlung kommt ein Vorschlag nur durch die Laufzeit. Eine Anweisung im Inhalt endet vor der Handlung.

Werkzeuge in AXON im Schnitt: Kontext, Sprachmodell, Laufzeit, HandlungUnten der Kontext, getrennt in Auftrag und Inhalt. Das Sprachmodell schlägt nur vor; zur Handlung kommt ein Vorschlag nur durch die Laufzeit. Eine Anweisung im Inhalt endet vor der Handlung.HandlungIN DER QUELLEAUFRUFVERLAUFLaufzeitPRÜFTSCHEMARECHTVORBEDINGUNGFREIGABESprachmodellSCHLÄGT VORWERKZEUGARGUMENTEKontextAUFTRAGREGELNE-MAILDOKUMENTWEBSEITEANWEISUNG · INHALTLIESTDURCH LAUFZEITANWEISUNG IM INHALT
  • Handlung (in der Quelle): Aufruf, Verlauf.
  • Laufzeit (prüft): Schema, Recht, Vorbedingung, Freigabe.
  • Sprachmodell (schlägt vor): Werkzeug, Argumente.
  • Kontext: Auftrag, Regeln | E-Mail, Dokument, Webseite, gemeinsam Anweisung · Inhalt.
  • liest: fließt von kontext nach modell.
  • durch Laufzeit: fließt von modell nach handlung.
  • Anweisung im Inhalt: gesperrt von kontext nach handlung.
SCHNITT VON VORN

Abwehr in drei Schichten

Erstens Rechte an der Handlung. Selbst ein getäuschtes Sprachmodell kann nur Werkzeuge vorschlagen, die der Auftrag erlaubt, und nur mit Argumenten, die das Schema zulässt. Einem Agenten, der nur intern arbeitet, fehlt ein Werkzeug zum Versenden nach außen ganz.

Zweitens Freigabe vor Wirkung. Handlungen mit Wirkung außerhalb des Systems oder über der Grenze der Rolle warten auf eine berechtigte Person, die genau diese Handlung mit ihren Parametern sieht, bevor sie entscheidet.

Drittens eine Begrenzung des Datenflusses, die vorgesehen ist: Hat ein Agent in einer Sitzung Inhalte aus einer Quelle mit niedrigem Vertrauen gelesen, verliert er für diese Sitzung die Werkzeuge, die Daten nach außen geben könnten. Die Herkunft der Daten wird so zu einer Bedingung der Handlung.

Prüfung der Ausgabe

Was ein Agent schreiben will, wird vor der Ausführung geprüft: gegen das Schema, gegen die Regeln der Ontologie wie Wertebereiche und Pflichtverweise, und auf Inhalte, die nicht ins Ziel gehören, etwa Felder mit einer Markierung, die der Empfänger nicht lesen darf. Texte an Empfänger außerhalb des Systems gehen erst als Entwurf an eine berechtigte Person, bevor sie das System verlassen.

Ausgaben in Oberflächen werden als Text kodiert und nie als Code oder Markup ausgeführt. Verweise auf fremde Adressen lädt die Oberfläche nicht von selbst, damit kein Inhalt über eine Bildadresse Daten nach außen trägt.

Eckdaten

Werkzeug
Name, Beschreibung, Eingabeschema nach JSON Schema, genau eine Handlung der Ontologie
Schema
Typen, Pflichtfelder, Wertebereiche, additionalProperties: false
Ablauf
Vorschlag, Schema, Recht, Vorbedingung, Freigabe, Ausführung, Verlauf
Zugangsdaten
in der Laufzeit, nie im Kontext des Sprachmodells
Eingangsinhalte
getrennt gekennzeichnet, niedriges Vertrauen, nie Anweisung
Bedrohung
Prompt Injection, direkt und indirekt (OWASP LLM01)
Anbindung
offene Formate wie das Model Context Protocol

Weiter

Welche Handlung soll ein Agent bei Ihnen zuerst ausführen? Wir schreiben ihr Schema und ihr Recht mit Ihnen auf.