
Agent Control Protocol (ACP) — Offizielle englische Spezifikation. Kryptographisch überprüfbare Autorisierungsarchitektur für autonome KI-Agenten.
Zugangskontrolle für Agentenaktionen.
Bevor ein Agent den Systemzustand verändert, beantwortet ACP vier Fragen: Wer ist dieser Agent? Wozu ist er berechtigt? Ist diese Aktion richtlinienkonform? Kann das Ergebnis einer verantwortlichen Institution zugeordnet werden?
Cryptographic identity · Scoped capability tokens · Verifiable delegation chains · Execution proof
https://agentcontrolprotocol.xyz
Agent Control Protocol: Admission Control for Agent Actions Marcelo Fernandez (TraslaIA), 2026
DOI: 10.5281/zenodo.19672575 · arXiv: 2603.18829
ACP ist die veröffentlichte Grundlage einer siebenteiligen Paper-Serie zur formalen Agenten-Governance. Jedes Paper befasst sich mit einer eigenen Ebene des Governance-Stacks.
| Paper | Titel | Repo | Status |
|---|---|---|---|
| Paper 0 | Atomic Decision Boundaries | decision-boundary-model | Zenodo · arXiv:2604.17511 |
| Paper 1 | Agent Control Protocol (ACP) — dieses Repo | acp-framework-en | Zenodo · arXiv:2603.18829 |
| Paper 2 | From Admission to Invariants (IML) | iml-benchmark | Zenodo · arXiv:2604.17517 |
| Paper 3/4 | Irreducible Governance Structure | governance-structure | Zenodo · arXiv: pending |
| Paper 5 | Reconstructive Authority Model (RAM) | reconstructive-authority-model | Zenodo · arXiv:2604.22898 |
| Paper 6 | Operationalizing Reconstructive Authority | operationalizing-ram | Zenodo · arXiv: pending |
| Paper 7 | Closing the Execution Gap (Empirical) | agent-governance-applied | Zenodo · arXiv: pending |
Serienlogik: Paper 0 beweist, wann Zulässigkeit garantiert werden kann → Paper 1 (ACP) baut das Protokoll → Paper 2 erkennt Drift, der für die Durchsetzung unsichtbar ist → Paper 3/4 beweist, dass korrekte Durchsetzung ≠ faire Zuteilung ist, und etabliert die Irreduzibilität der vierschichtigen Architektur → Paper 5 (RAM) bietet operative Schließung: wann unter partieller Beobachtbarkeit ausgeführt werden soll → Paper 6 operationalisiert RAM als eine Laufzeit-Wiederherstellungsschleife → Paper 7 liefert die erste empirische Validierung des gesamten Stacks auf echten LangGraph-Agenten.
Autonome Agenten bewegen sich von der Experimentierphase in die Produktion. Sie interagieren bereits mit APIs, Unternehmenssystemen, Finanzinfrastruktur und anderen Agenten.
Wenn einer organisationsübergreifend handelt, ergeben sich sofort mehrere Fragen:
Heutzutage können die meisten Systeme diese Fragen nicht zuverlässig beantworten.
ACP führt die Infrastruktur ein, um alle zu beantworten.
Mehrere Initiativen befassen sich damit, wie autonome Agenten mit Systemen interagieren. Die meisten konzentrieren sich auf Werkzeugzugriff oder Kommunikation. ACP konzentriert sich auf Autorität, Ausführungsverifikation und institutionelle Rechenschaftspflicht.
ACP adressiert eine andere Ebene: wer die Aktion autorisiert hat, unter welcher Richtlinie und wer für das Ergebnis verantwortlich ist.
Ingenieure, die ACP evaluieren, fragen oft: "Warum nicht OPA verwenden?" Diese Systeme sind komplementär, nicht konkurrierend.
OPA kann als Richtlinienbewertungsmaschine innerhalb eines ACP-konformen Systems verwendet werden. ACP ersetzt OPA nicht — es fügt die Agentenidentitätsschicht, die Delegationskette und den Ausführungsnachweis hinzu, die OPA nicht bietet.
¹ ACP (Agent Control Protocol) ist nicht verwandt mit anderen Initiativen, die dasselbe Akronym teilen.
Kubernetes verwendet einen Admission Controller, um API-Anfragen abzufangen, bevor sie den Cluster erreichen — Richtlinien auswerten, Kontingente durchsetzen, nicht konforme Operationen ablehnen. ACP wendet dasselbe Muster auf Agentenaktionen an.``` agent intent ↓ [1] Identity check → pkg/agent + pkg/hp (ACP-AGENT-1.0, ACP-HP-1.0) ↓ [2] Capability check → pkg/ct + pkg/dcma (ACP-CT-1.0, ACP-DCMA-1.0) ↓ [3] Policy check → pkg/risk + pkg/psn (ACP-RISK-3.0, ACP-PSN-1.0) ↓ [4] ADMIT / DENY / ESCALATE ↓ (if ADMIT) [5] Execution token → pkg/exec (ACP-EXEC-1.0) ↓ [6] Ledger record → pkg/ledger (ACP-LEDGER-1.3) ↓ system state mutation
Der Unterschied zu Kubernetes: ACP arbeitet über institutionelle Grenzen hinweg. Ein Agent von Bank A kann von Bank B zugelassen werden, ohne dass Bank B der internen Infrastruktur von Bank A vertrauen muss — nur der kryptografische Nachweis zählt.
---
## Wie ACP funktioniert
ACP behandelt Agenteninteraktionen als **gesteuerte Vorgänge**, nicht als einfache Anfragen.
Jede Interaktion durchläuft sechs strukturierte Phasen:
1. **Identitätsprüfung** — bestätigen, wer der Agent ist (`ACP-AGENT-1.0`, `ACP-HP-1.0`)
2. **Fähigkeitsvalidierung** — bestätigen, wozu der Agent berechtigt ist (`ACP-CT-1.0`, `ACP-DCMA-1.0`)
3. **Richtlinienautorisierung** — bestätigen, dass die Aktion gemäß der aktuellen Richtlinie zulässig ist (`ACP-RISK-3.0`, `ACP-PSN-1.0`)
4. **Deterministische Ausführung** — genau das ausführen, was autorisiert wurde, nicht mehr (`ACP-EXEC-1.0`)
5. **Überprüfbare Aufzeichnung** — kryptografischen Nachweis des Geschehenen erzeugen (`ACP-LEDGER-1.3`, `ACP-PROVENANCE-1.0`)
6. **Vertrauensaktualisierung** — Reputations- und Bestätigungsstatus basierend auf der Interaktion aktualisieren (`ACP-REP-1.2`, `ACP-LIA-1.0`)
Dies ermöglicht es, Interaktionen organisationsübergreifend nachvollziehbar, prüfbar und zuordenbar zu machen.
---
## Konstitutionelle Invariante
Die ACP-Ausführung wird von einer einzigen architektonischen Invariante bestimmt.```
Execute(request) ⟹
ValidIdentity ∧ ValidCapability ∧ ValidDelegationChain ∧ AcceptableRisk
| Bedingung | Bedeutung |
|---|---|---|
| ValidIdentity | Der Agent verfügt über eine verifizierte, signierte Identität |
| ValidCapability | Der Agent besitzt einen autorisierten Capability-Token |
| ValidDelegationChain | Jeder Delegationsschritt ist bis zu einer institutionellen Wurzel zurückverfolgbar |
| AcceptableRisk | Der Risikowert liegt innerhalb der institutionellen Richtlinien |
Keine Agentenaktion wird ausgeführt, es sei denn, alle vier Bedingungen sind gleichzeitig erfüllt.
Die Protokollschichten existieren, um diese Invariante an jeder Interaktionsgrenze durchzusetzen.
ACP ist in fünf Protokollschichten organisiert. Jede Schicht baut auf der vorherigen auf und fügt eine eigene Governance-Fähigkeit hinzu.``` ACP PROTOCOL ARCHITECTURE
┌──────────────────────────────────────┐
│ ACTORS │
│ Humans · Systems · Agents │
└──────────────────────────────────────┘
│
▼
==================================================================== L1 — CORE EXECUTION
┌──────────────────────────────────────────────────────────────────┐ │ IDENTITY & CAPABILITIES │ │ SIGN · AGENT · CT · CAP-REG │ │ │ │ Agent identity, credential verification and capability registry │ └──────────────────────────────────────────────────────────────────┘ │ ▼ ┌──────────────────────────────────────────────────────────────────┐ │ POLICY & AUTHORITY │ │ HP · DCMA │ │ │ │ Policy evaluation and authorization decision │ └──────────────────────────────────────────────────────────────────┘ │ ▼ ┌──────────────────────────────────────────────────────────────────┐ │ EXECUTION │ │ MESSAGES │ │ │ │ Deterministic command execution and interaction handling │ └──────────────────────────────────────────────────────────────────┘
==================================================================== L2 — TRUST LAYER
┌──────────────────────────────────────────────────────────────────┐ │ RISK MANAGEMENT │ │ RISK · REV │ │ │ │ Risk scoring and revocation control │ └──────────────────────────────────────────────────────────────────┘
┌──────────────────────────────────────────────────────────────────┐ │ INTERACTION TRUST │ │ ITA │ │ │ │ Trust attestations for interactions │ └──────────────────────────────────────────────────────────────────┘
==================================================================== L3 — VERIFIABLE EXECUTION
┌──────────────────────────────────────────────────────────────────┐ │ EXECUTION RECORD │ │ EXEC · POLICY-CTX │ │ │ │ Proof of execution and policy context snapshot │ └──────────────────────────────────────────────────────────────────┘
┌──────────────────────────────────────────────────────────────────┐ │ PROVENANCE │ │ PROVENANCE GRAPH │ │ │ │ Interaction lineage and cross-system event tracking │ └──────────────────────────────────────────────────────────────────┘
┌──────────────────────────────────────────────────────────────────┐ │ LEDGER │ │ │ │ Tamper-resistant storage for verifiable execution history │ └──────────────────────────────────────────────────────────────────┘
==================================================================== L4 — GOVERNANCE
┌──────────────────────────────────────────────────────────────────┐ │ GOVERNANCE EVENTS │ │ GOV-EVENTS │ │ │ │ Institutional governance tracking │ └──────────────────────────────────────────────────────────────────┘
┌──────────────────────────────────────────────────────────────────┐ │ REPUTATION & LIABILITY │ │ REP · LIA │ │ │ │ Reputation accumulation and liability attribution │ └──────────────────────────────────────────────────────────────────┘
┌──────────────────────────────────────────────────────────────────┐ │ HISTORICAL RECORD │ │ HIST │ │ │ │ Verifiable long-term interaction history │ └──────────────────────────────────────────────────────────────────┘
==================================================================== L5 — FEDERATION
┌──────────────────────────────────────────────────────────────────┐ │ DECENTRALIZED ACP │ │ ACP-D │ │ │ │ Cross-institution federation and verification │ └──────────────────────────────────────────────────────────────────┘
→ **Neu bei ACP? Hier starten:** [docs/admission-flow.md](https://github.com/chelof100/acp-framework-en/blob/HEAD/docs/admission-flow.md) — die vollständige Schritt-für-Schritt-Anleitung zur Zulassungsprüfung
→ Formales Domänenmodell und Abhängigkeitsgraph: [ARCHITECTURE.md](https://github.com/chelof100/acp-framework-en/blob/HEAD/ARCHITECTURE.md)
---
## Institutionsübergreifende Interaktion
ACP ist für Interaktionen zwischen unabhängigen Systemen konzipiert.
Jeder Schritt erzeugt ein überprüfbares Artefakt, das Teil des dauerhaften Interaktionsprotokolls wird.```
INSTITUTION A INSTITUTION B
┌─────────────────────────────┐ ┌─────────────────────────────┐
│ │ │ │
│ AGENT A │ │ AGENT B │
│ │ │ │
└──────────────┬──────────────┘ └──────────────┬──────────────┘
│ │
│ 1 interaction request │
└────────────────────────────────────────►│
▼
┌───────────────────────────┐
│ AUTHORITY (HP) │
│ policy evaluation │
│ capability validation │
│ risk / revocation check │
└─────────────┬─────────────┘
│ 2 decision
▼
┌───────────────────────────┐
│ EXECUTION │
│ deterministic action │
│ command execution │
└─────────────┬─────────────┘
│ 3 execution record
▼
┌───────────────────────────┐
│ PROVENANCE │
│ interaction lineage │
│ cross-org attribution │
└─────────────┬─────────────┘
│ 4 verifiable record
▼
┌───────────────────────────┐
│ LEDGER │
│ execution hash │
│ policy context snapshot │
└─────────────┬─────────────┘
│ 5 trust update
▼
┌───────────────────────────┐
│ REPUTATION │
│ ITA attestation │
│ reputation update │
└───────────────────────────┘
Jede Handlung eines Agenten muss durch eine definierte Richtlinie autorisiert sein. Keine impliziten Berechtigungen. Kein impliziter Umgebungszugriff.
Die Ausführung muss exakt mit dem autorisierten Befehl übereinstimmen. Was autorisiert wurde, wird ausgeführt – nichts weiter.
Jede Interaktion erzeugt kryptografisch überprüfbare Artefakte. Die Ausführung kann im Nachhinein nachgewiesen werden, ohne dass einer einzelnen Partei vertraut werden muss.
Verantwortung ist stets einem identifizierbaren Akteur zuzuordnen. Delegationsketten sind vollständig und auf eine institutionelle Wurzel zurückführbar.
Unabhängige Systeme können sich gegenseitig ohne eine zentrale Autorität überprüfen. Vertrauen wird durch überprüfbare Interaktionshistorie verdient, nicht vorausgesetzt.
Identität, Fähigkeiten, Richtliniendurchsetzung und deterministische Ausführung.
Dynamische Risikobewertung und Interaktionsvertrauensmanagement.
| Komponente | Rolle |
|---|---|
| RISK | Deterministische Risikoengine – Risikowert RS (0–100) |
| REV | Widerrufsprotokoll – Endpunkt und CRL |
| ITA | Institutioneller Vertrauensanker – Vertrauensbescheinigungen pro Interaktion |
Jede Interaktion hinterlässt eine vollständige, kryptografisch überprüfbare Aufzeichnung.
| Komponente | Rolle |
|---|---|
| EXEC | Ausführungstoken – einmalig, 300s Gültigkeit |
Langfristige Verantwortlichkeit und institutionelle Aufsicht.
| Komponente | Rolle |
|---|---|
Interoperabilität über unabhängige Institutionen hinweg.
| Komponente | Rolle |
|---|---|
| ACP-D | Dezentralisiertes ACP – institutionsübergreifende Föderation, BFT-Quorum |
Aktuelle aktive Version pro Spezifikation. Diese Tabelle ist die maßgebliche Referenz für „welche Version implementiert werden soll".
¹ ACP-SIGN-1.0 bleibt als Ed25519-Basislinie aktiv. ACP-SIGN-2.0 fügt die Post-Quanten-Erweiterung (ML-DSA-65) hinzu. Beide sind in Kraft, bis Dilithium in der Produktion eingesetzt wird.
Veraltete Versionen sind in archive/specs/ archiviert.
Implementierungen können ACP schrittweise übernehmen, beginnend mit L1.
Vollständige normative Anforderungen pro Stufe:
→ Normative Konformitätsdefinition: spec/governance/ACP-CONF-1.2.md
A=(ID,C,P,D,L,S)acp:cap:*F_anom + AbkühlungPatternKey(agentID, cap, res) geschlüsselt, beseitigt kontextübergreifende Zustandsvermischung0.6·ITS + 0.4·ERSacp-framework/ ├── spec/ │ ├── core/ ← L1: identity, capability, delegation │ ├── security/ ← L2: trust, risk, revocation │ ├── operations/ ← L3–L4: execution, ledger, governance │ ├── governance/ ← conformance, events, process │ └── decentralized/ ← L5: ACP-D ├── openapi/ │ └── acp-api-1.0.yaml ← OpenAPI 3.1.0 spec for all ACP-API-1.0 endpoints ├── compliance/ │ ├── ACP-TS-1.1.md ← test vector format specification │ ├── test-vectors/ ← single-shot conformance vectors (CORE · DCMA · HP · LEDGER · EXEC · RISK-2.0) │ │ └── sequence/ ← stateful sequence vectors (ACR-1.0, 5 scenarios) │ ├── adversarial/ ← adversarial evaluation (Exp 1–12: cooldown evasion, multi-agent, backend stress, token replay, deviation collapse, threshold sensitivity, multi-tool IPI) │ └── runner/ ← ACR-1.0 compliance runner (library mode + HTTP mode) ├── tla/ │ ├── ACP.tla ← base formal model — Safety · LedgerAppendOnly · RiskDeterminism (v1.17) │ ├── ACP.cfg ← TLC configuration for ACP.tla │ ├── ACP_Extended.tla ← extended model — F_anom · cooldown · liveness · 11 invariants + 4 temporal (v1.25) │ ├── ACP_Extended.cfg ← single-agent config — 5,684,342 states · 3,147,864 distinct · depth 15 · 0 violations │ └── ACP_Extended_2agents.cfg ← two-agent config — 4,294,930,695 distinct states · LEDGER_BOUND=11 · 11 invariants · 0 violations ├── archive/ │ └── specs/ ← superseded specification versions (historical reference) ├── impl/ │ └── go/ ← reference implementation ├── ARCHITECTURE.md ← formal domain model, dependency graph ├── CHANGELOG.md └── README.md
---
## Schnellstart```bash
# Option 1: Go reference server
cd impl/go
docker compose up
# Option 6: ACR-1.0 sequence compliance runner — validate ACP-RISK-3.0 stateful behavior
cd compliance/runner
go run . --mode library --dir ../test-vectors/sequence --strict
# PASS 5/5 — SEQ-BENIGN-001 SEQ-BOUNDARY-001 SEQ-PRIVJUMP-001 SEQ-FANOM-RULE3-001 SEQ-COOLDOWN-001
# Option 5: Multi-org demo — Org-A issues signed policy+reputation, Org-B validates independently
cd examples/multi-org-demo
docker compose up
# Org-A: http://localhost:8081 | Org-B: http://localhost:8082
# Option 2: Python SDK — core admission control pattern (no server required)
cd impl/python
pip install -e .
python examples/admission_control_demo.py
# Option 3: Python SDK — LangChain integration (@acp_tool decorator)
cd impl/python
pip install -e .
python examples/langchain_agent_demo.py
# Option 4: LangChain + real LLM agent
pip install langchain langchain-openai
export OPENAI_API_KEY=sk-...
python examples/langchain_agent_demo.py --with-llm
# Option 7: Real-LLM IPI demo (Ollama + DeepSeek-R1:8b) — ACP blocks IPI-induced fund_transfer
# Requires: ollama serve && ollama pull deepseek-r1:8b
cd demos/ollama-agent
python agent_demo.py
# ACP denies every IPI-induced fund_transfer (RS=80); cooldown activates after 3 denials
Gesundheitscheck:```bash curl http://localhost:8080/acp/v1/health
file_paths, URLs, package names, technical identifiers, CVE IDs, environment variable names.```json
{
"acp_version": "1.0",
"status": "operational",
"timestamp": 1718920000,
"components": {
"policy_engine": "operational",
"audit_ledger": "operational",
"agent_registry": "operational",
"rev_endpoint": "operational"
}
}
Apache 2.0
| Protokoll | Fokus | Abgrenzung |
|---|
| MCP (Model Context Protocol) | Werkzeugzugriff für LLMs | Autoritätsverifikation, Richtliniendurchsetzung, Ausführungsprüfbarkeit |
| A2A (Agent-to-Agent) | Agentenkommunikationsmuster | Institutionelles Vertrauen, Governance, Rechenschaftskette |
| OpenAI Agents SDK | Werkzeugorchestrierung | Organisationsübergreifende Autorität, Herkunft, Haftung |
| Agent Client Protocol ¹ | Laufzeit-Client/Agent-Integration | Governance, Delegationsketten, überprüfbare Ausführungshistorie |
| ACP (Agent Control Protocol) | Governance- und Rechenschaftsinfrastruktur | — |
| System | Funktion | Was ACP hinzufügt |
|---|
| OPA (Open Policy Agent) | Bewertet Richtlinien aus Daten und Regeln | Kryptografische Agentenidentität + Delegationskette + Ausführungsnachweis |
| AWS IAM / Azure RBAC | Statisches Berechtigungsmodell für Cloud-Ressourcen | Dynamische Agent-zu-Agent-Delegation mit überprüfbarer Kette + Ledger |
| OAuth 2.0 + OIDC | Benutzer- und Dienstautorisierung über Tokens | Mehrstufige Agentendelegation ohne Eskalation + institutionelle Haftung |
| SPIFFE / SPIRE | Kryptografische Arbeitslastidentität | ACP baut auf Arbeitslastidentität auf und fügt Fähigkeitsabgrenzung + Governance hinzu |
| ACP | Zugangskontrolle für Agentenaktionen | — |
| Komponente | Rolle |
|---|
| SIGN | Kryptografische Signierung – Grundlage aller Protokollobjekte |
| AGENT | Formale Identitätsspezifikation von Agenten A=(ID,C,P,D,L,S) |
| CT | Capability Token – Struktur, Ausstellung und Verifizierung |
| CAP-REG | Kanonische Capability-Registry acp:cap:* |
| HP | Handshake-Protokoll – kryptografischer Nachweis des Besitzes einer Fähigkeit |
| DCMA | Multi-Hop-Delegation – Nicht-Eskalation und transitive Widerrufung |
| MESSAGES | Drahtformat – 5 normalisierte Nachrichtentypen |
| POLICY-CTX |
| Richtlinienkontext-Momentaufnahme – signierter Richtlinienstatus zum Zeitpunkt der Ausführung |
| PROVENANCE | Autoritätsherkunft – retrospektiver Nachweis der Delegationskette |
| LEDGER | Prüfungs-Ledger – nur anfügbar, hash-verkettet |
| GOV-EVENTS |
| Governance-Ereignisstrom – institutionelle Nachverfolgung |
| REP | Reputationserweiterung – zusammengesetzter Wert 0.6·ITS + 0.4·ERS |
| LIA | Haftungsrückverfolgbarkeit – zugeordnete Haftungskette |
| HIST | History-Abfrage-API – geprüfte Ausführungshistorie |
| Spezifikation | Aktive Version | Stufe |
|---|
| ACP-SIGN | 2.0 ¹ | L1 |
| ACP-AGENT | 1.0 | L1 |
| ACP-CT | 1.0 | L1 |
| ACP-CAP-REG | 1.0 | L1 |
| ACP-HP | 1.0 | L1 |
| ACP-DCMA | 1.0 | L1 |
| ACP-MESSAGES | 1.0 | L1 |
| ACP-RISK | 3.0 | L2 |
| ACP-REV | 1.0 | L2 |
| ACP-ITA | 1.1 | L2/L4 |
| ACP-API | 1.0 | L3 |
| ACP-EXEC | 1.0 | L3 |
| ACP-LEDGER | 1.3 | L3 |
| ACP-PROVENANCE | 1.0 | L3 |
| ACP-POLICY-CTX | 1.0 | L3 |
| ACP-PSN | 1.0 | L3 |
| ACP-PAY | 1.0 | L4 |
| ACP-REP | 1.2 | L4 |
| ACP-GOV-EVENTS | 1.0 | L4 |
| ACP-LIA | 1.0 | L4 |
| ACP-HIST | 1.0 | L4 |
| ACP-NOTIFY | 1.0 | L4 |
| ACP-DISC | 1.0 | L4 |
| ACP-BULK | 1.0 | L4 |
| ACP-CROSS-ORG | 1.0 | L4 |
| ACP-REP-PORTABILITY | 1.1 | L4 |
| ACP-CONF | 1.2 | — |
| Stufe | Name | Was Sie erhalten |
|---|
| L1 | Kern | Identität, Capability-Token und Ausführung |
| L2 | Sicherheit | Risikobewertung, Widerruf und Vertrauensanker |
| L3 | Überprüfbare Ausführung | Ausführungstoken, Ledger und Herkunft |
| L4 | Governance | Reputation, Historie und Haftung |
| L5 | Föderation | Dezentralisierte ACP-Netzwerke |
| Stufe | Erforderliche Spezifikationen |
|---|
| L1 | SIGN · AGENT · CT · CAP-REG · HP · DCMA · MESSAGES |
| L2 | L1 + RISK · REV · ITA-1.0 |
| L3 | L2 + API · EXEC · LEDGER · PROVENANCE · POLICY-CTX · PSN |
| L4 | L3 + PAY · REP-1.2 · ITA-1.1 · GOV-EVENTS · LIA · HIST · NOTIFY · DISC · BULK · CROSS-ORG · REP-PORTABILITY |
| L5 | L4 + ACP-D · ITA-1.1 BFT-Quorum |
| Punkt | Status |
|---|
| ACP-CONF-1.2 | ✅ Abgeschlossen — alleinige normative Konformitätsquelle |
| ACP-LEDGER-1.3 | ✅ Abgeschlossen — Signatur normativ zwingend erforderlich |
OpenAPI-Spezifikation (openapi/acp-api-1.0.yaml) | ✅ Abgeschlossen — OpenAPI 3.1.0, alle ACP-API-1.0-Endpunkte |
| Konformitätstestvektoren (CORE · DCMA · HP · LEDGER · EXEC · PROV · PCTX · REP · RISK-2.0) | ✅ Abgeschlossen — 73 signierte + 65 unsignierte RISK-2.0-Testvektoren |
| Referenzimplementierung — 23 Go-Pakete (L1–L4) | ✅ Abgeschlossen — impl/go/pkg/ deckt alle Konformitätsstufen ab |
pkg/psn Policy-Snapshot | ✅ Abgeschlossen — atomare Übergänge, einzelner AKTIVER Snapshot |
Python SDK — ACPAdmissionGuard + @acp_tool (LangChain) | ✅ Abgeschlossen — impl/python/ |
ACP-RISK-2.0 — F_anom + Abkühlung + pkg/risk | ✅ Abgeschlossen — deterministisch, sub-µs, 65 Vektoren |
ACP-RISK-3.0 — kontextbezogene Regel 1 (pkg/risk/engine.go) | ✅ Abgeschlossen — v1.22 · CountPattern(ctxKey, 60s) ersetzt CountRequests(agentID) · kontextübergreifende Zustandsvermischung beseitigt |
Payment-Agent-Demo (examples/payment-agent/) | ✅ Abgeschlossen — v1.16 |
| ACP-SIGN-2.0 — Post-Quanten-Hybrid (Ed25519 + ML-DSA-65) | ✅ Abgeschlossen — Spezifikation v1.16; echte ML-DSA-65 über cloudflare/circl pkg/sign2/ v1.20 |
ACR-1.0 Sequenzkonformitätsprüfer (compliance/runner/) | ✅ Abgeschlossen — v1.17 · Bibliothek + HTTP-Modus · 5/5 BESTANDEN |
Sequenz-Testvektoren (compliance/test-vectors/sequence/) | ✅ Abgeschlossen — v1.17 · 5 zustandsbehaftete Szenarien |
TLA+ Basismodell (tla/ACP.tla) | ✅ Abgeschlossen — v1.17 · 3 Invarianten · 0 Verletzungen |
TLA+ erweitertes Modell (tla/ACP_Extended.tla) | ✅ Abgeschlossen — v1.28 · 11 Invarianten + 4 zeitliche Eigenschaften · Einzelagent: 5.684.342 Zustände · Zweiagenten LB=11: 4.294.930.695 distincte Zustände · 0 Verletzungen |
Adversarielle Bewertung (compliance/adversarial/) | ✅ Abgeschlossen — v1.29 · 14 Experimente · reale Benchmark-Zahlen (N=5 Läufe, Mittelwert±Std.) |
Redis-Pipelining (compliance/adversarial/redis_pipelined.go) | ✅ Abgeschlossen — v1.20 · 2 RTTs/Anfrage · ~1,8× Beschleunigung |
ML-DSA-65 Benchmarks (pkg/sign2/sign2_bench_test.go) | ✅ Abgeschlossen — v1.20 · Ed25519 ~25 µs signieren / ~56 µs verifizieren · ML-DSA-65 ~100–130 µs signieren / ~81 µs verifizieren |
NullQuerier + StatelessEngine (pkg/risk/null_querier.go, stateless_engine.go) | ✅ Abgeschlossen — v1.21 · Nullzustands-LedgerQuerier-Basislinie für Zustandslos/Zustandsbehaftet-Vergleich |
Zustandslos vs. zustandsbehaftet Experiment (Exp 6, pkg/risk/stateless_comparison_test.go) | ✅ Abgeschlossen — v1.21 · 500 req · zustandslos 500/500 vs ACP 2/500 (0,4%) · Erkennungslatenz 11 Aktionen |
State-Mixing-Schwachstellentest (Exp 7, pkg/risk/statemixing_test.go) | ✅ Abgeschlossen — v1.21 · kontextübergreifende Regel 1-Kontamination · RS +20 · ESCALATED→DENIED nach 11 data.read |
| State-Mixing-Angriffsanalyse (Artikel §State-Mixing Vulnerability) | ✅ Abgeschlossen — v1.21 · formale Charakterisierung · Exp 7 Zahlen · ACP-RISK-3.0-Minderungspfad |
State-Mixing-Korrektur (Exp 8, pkg/risk/statemixing_fix_test.go) | ✅ Abgeschlossen — v1.22 · RISK-3.0 · 3 Szenarien · saubere RS=50 ESCALATED · kontaminierte RS=50 ESCALATED · gleicher Kontext-Burst RS=85 DENIED |
| Artikel v1.23 — Sprint-Korrekturen | ✅ Abgeschlossen — v1.23 · §RISK-3.0 in §Technische Mechanismen · kontrafaktische These · 767–921 ns vereinheitlicht · Exp 3b→Exp 4 umnummeriert · Exp 3 N=5 · alle 7 Korrekturen kreuzgeprüft |
Abweichungskollaps (Exp 9, compliance/adversarial/exp_deviation_collapse.go) | ✅ Abgeschlossen — v1.23 · 3 Phasen: Baseline BAR=0,70 → Kollaps BAR=0,00 → Kontrafaktisch BAR=1,00 |
| Phase-D-Drift-Simulation (Exp 9 Erweiterung) | ✅ Abgeschlossen — v1.25 · 5 Batches × 20 Fälle · 0%→80% Sanitisierung · ΔBAR-Frühwarnung feuert bei Batch 2 (3 Batches vor Kollaps) |
| ITA-Vertrauensmodell (Artikel §Trust Model and Failure Modes) | ✅ Abgeschlossen — v1.20 · Bootstrap / Kompromittierungsfenster / Widerrufsinstanz — semi-formale Behauptungen |
TypeScript SDK (impl/typescript/) | ✅ Abgeschlossen — v1.4.0 · keine Abhängigkeiten · 68 Tests |
Rust SDK (impl/rust/) | ✅ Abgeschlossen — v1.4.0 · ed25519-dalek v2 · 43 Tests |
pkg/barmonitor — BAR-Monitor mit ΔBAR-Trend-Erkennung (impl/go/pkg/barmonitor/) | ✅ Abgeschlossen — v1.24 · 18 Tests · AlertThreshold + AlertTrend (feuert vor Schwellwert) · threadsicherer Ringpuffer |
EvaluateCounterfactual API (impl/go/pkg/risk/counterfactual.go) | ✅ Abgeschlossen — v1.24 · 14 Tests · 3 Mutationsfabriken (strukturell/verhaltensbezogen/zeitlich) · BAR(Ergebnisse) · fail-closed |
Phase-D-Drift-Simulation (Exp 9) + computeTrend() Ringpuffer-Korrektur | ✅ Abgeschlossen — v1.25 · ΔBAR-Frühwarnung vor Schwellwert · zeitlicher Reihenfolgefehler behoben |
TLA+ FailureConditionPreservation + NoDegenerateAdmissibility (11 Invarianten) | ✅ Abgeschlossen — v1.27 · 0 Verletzungen · 4.294.930.695 distincte Zustände (Zweiagenten LB=11, 10,5 h) |
POST /acp/v1/counterfactual HTTP-Endpunkt (impl/go/cmd/acp-server/) | ✅ Abgeschlossen — v1.25 · 7 Integrationstests · strukturelle + verhaltensbezogene Mutationen über HTTP |
| Formales Gegnermodell A=(K,S,B) + Experimentstaxonomie (Exp 1–14) | ✅ Abgeschlossen — v1.29 · Black-Box / formelbewusst / vollständiger Zustand · alle Experimente zugeordnet |
| Schwellenwert-Sensitivitätsanalyse (Exp 11, 5 Konfigurationen ±10 Punkte) | ✅ Abgeschlossen — v1.26 · Falschverweigerungsrate 0,00 alle Konfigurationen · BAR monoton 0,75→0,60 · T3 lokales Optimum |
| Erkennungsgarantien — Proposition + binomial P(Erkennung) | ✅ Abgeschlossen — v1.26 · W=40 τ=0,10 · P=1,00 bei p₁=0,00 · P=0,95 bei p₁=0,05 |
| AgentSpez funktionaler Vergleich (5 Dimensionen) | ✅ Abgeschlossen — v1.26 · komponierbar, nicht konkurrierend · Governance-Kollaps-Erkennung als Unterscheidungsmerkmal |
Exp 12: Multi-Tool-IPI-Zulassungskontrolle (compliance/adversarial/exp_agent_multitool.go) | ✅ Abgeschlossen — v1.27 · 4 Werkzeuge · 3 Phasen · BAR A=0,30/B=1,00/C=0,30 · zustandsbehaftete F_anom 24h Persistenz |
Echt-LLM-IPI-Demo (demos/ollama-agent/agent_demo.py) | ✅ Abgeschlossen — v1.27 · DeepSeek-R1:8b · 5 Runden · IPI blockiert · Abkühlung aktiviert |
| Analyse der Falschverweigerungsrate (§False-Denial Rate Analysis) | ✅ Abgeschlossen — v1.27 · 0,00 sauberer Zustand (Exp 11) · 0,00 nach Angriff mit niedrigem Risiko (Exp 12 Phase C) |
| Bereitstellungsreifegradmodell (Stufe 1/2/3) + PolicyConfig-Profile (Niedrig/Mittel/Hoch/Kritisch) | ✅ Abgeschlossen — v1.27 · BAR-Basislinie pro Profil · Migrationsleitfaden RISK-2.0→RISK-3.0 |
Exp 13: Begrenztes Koordinationsfenster (compliance/adversarial/exp_coordination_window.go) | ✅ Abgeschlossen — v1.28 · CW=2N exakte Linearität · Zuerst evaluieren, dann mutieren Semantik · k₀=2 pro Agent · O(N)-Schranke |
| Unterabschnitt zur LLM-Agenten-Integration verschoben nach §Technische Mechanismen | ✅ Abgeschlossen — v1.28 · nach §Deterministische Risikobewertung · komponierbar mit IPI-Prompt-Filtern |
Exp 14: OPA vs. ACP Fähigkeitsvergleich (compliance/adversarial/exp_opa_benchmark.go) | ✅ Abgeschlossen — v1.29 · 3 Szenarien · zustandslose Engines können Frequenz/Abkühlung nicht ohne externen Zustand durchsetzen · ACP setzt nativ durch · ~852 ns/op ACP vs ~16.000 ns/op OPA |
| §Verwandte Arbeiten — Formale Verifikation und Laufzeitdurchsetzung (erweitert) | ✅ Abgeschlossen — v1.29 · OPA-Ausdrucksgrenze · Schneider-Sicherheitsautomaten-Ausrichtung · Exp 14 Querverweis |
Integration der Governance-Serie: Papiere 3–4 zitiert in §15; fernandez2026comp bib-Eintrag | ✅ Abgeschlossen — v1.30 |
| v1.x | Kernprotokoll und Referenzimplementierung — aktiv |
| v2.0 | Dezentralisiertes ACP (ACP-D) — in Planung |
| Zukunft | ZK-Verifikation, dezentrale Governance |