
Agente Control Protocol (ACP) — Especificação oficial em inglês. Arquitetura de autorização criptograficamente verificável para agentes de IA autônomos.
Controle de admissão para ações de agentes.
Antes que qualquer agente altere o estado do sistema, o ACP responde a quatro perguntas: Quem é este agente? O que ele está autorizado a fazer? Esta ação está em conformidade com a política? O resultado pode ser atribuído a uma instituição responsável?
Identidade criptográfica · Tokens de capacidade com escopo · Cadeias de delegação verificáveis · Prova de execução
https://agentcontrolprotocol.xyz
Protocolo de Controle de Agentes: Controle de Admissão para Ações de Agentes Marcelo Fernandez (TraslaIA), 2026
DOI: 10.5281/zenodo.19672575 · arXiv: 2603.18829
O ACP é a base publicada de uma série de sete artigos sobre governança formal de agentes. Cada artigo aborda uma camada distinta da pilha de governança.
| Artigo | Título | Repositório | Status |
|---|---|---|---|
| Artigo 0 | Limites de Decisão Atômicos | decision-boundary-model | Zenodo · arXiv:2604.17511 |
| Artigo 1 | Protocolo de Controle de Agentes (ACP) — este repositório | acp-framework-en | Zenodo · arXiv:2603.18829 |
| Artigo 2 | Da Admissão aos Invariantes (IML) | iml-benchmark | Zenodo · arXiv:2604.17517 |
| Artigo 3/4 | Estrutura de Governança Irredutível | governance-structure | Zenodo · arXiv: pendente |
| Artigo 5 | Modelo de Autoridade Reconstrutiva (RAM) | reconstructive-authority-model | Zenodo · arXiv:2604.22898 |
| Artigo 6 | Operacionalizando a Autoridade Reconstrutiva | operationalizing-ram | Zenodo · arXiv: pendente |
| Artigo 7 | Fechando a Lacuna de Execução (Empírico) | agent-governance-applied | Zenodo · arXiv: pendente |
Lógica da série: O Artigo 0 prova quando a admissibilidade pode ser garantida → O Artigo 1 (ACP) constrói o protocolo → O Artigo 2 detecta desvios invisíveis para a aplicação → O Artigo 3/4 prova que aplicação correta ≠ alocação justa e estabelece a irredutibilidade da arquitetura de quatro camadas → O Artigo 5 (RAM) fornece fechamento operacional: quando executar sob observabilidade parcial → O Artigo 6 operacionaliza o RAM como um Loop de Recuperação em tempo de execução → O Artigo 7 fornece a primeira validação empírica da pilha completa em agentes LangGraph reais.
Agentes autônomos estão saindo da experimentação para a produção. Eles já interagem com APIs, sistemas corporativos, infraestrutura financeira e outros agentes.
Quando um age entre organizações, várias perguntas surgem imediatamente:
Hoje, a maioria dos sistemas não consegue responder a essas perguntas de forma confiável.
O ACP introduz a infraestrutura para responder a todas elas.
Diversas iniciativas abordam como agentes autônomos interagem com sistemas. A maioria foca em acesso a ferramentas ou comunicação. O ACP foca em autoridade, verificação de execução e responsabilidade institucional.
O ACP aborda uma camada diferente: quem autorizou a ação, sob qual política e quem é responsável pelo resultado.
Engenheiros avaliando o ACP frequentemente perguntam: "por que não usar OPA?" Esses sistemas são complementares, não concorrentes.
A OPA pode ser usada como o motor de avaliação de políticas dentro de um sistema compatível com ACP. O ACP não substitui a OPA — ele adiciona a camada de identidade do agente, cadeia de delegação e prova de execução que a OPA não fornece.
¹ ACP (Agent Control Protocol) não está relacionado a outras iniciativas que compartilham o mesmo acrônimo.
O Kubernetes usa um Controlador de Admissão para interceptar requisições de API antes que elas cheguem ao cluster — avaliando políticas, aplicando cotas, rejeitando operações não conformes. O ACP aplica o mesmo padrão a ações de agentes.``` 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
A diferença em relação ao Kubernetes: ACP opera através de fronteiras institucionais. Um agente do Banco A pode ser admitido pelo Banco B sem que o Banco B confie na infraestrutura interna do Banco A — apenas a prova criptográfica importa.
---
## Como o ACP Funciona
ACP trata as interações entre agentes como **operações governadas**, não como simples solicitações.
Cada interação passa por seis estágios estruturados:
1. **Verificação de identidade** — confirmar quem é o agente (`ACP-AGENT-1.0`, `ACP-HP-1.0`)
2. **Validação de capacidade** — confirmar o que o agente está autorizado a fazer (`ACP-CT-1.0`, `ACP-DCMA-1.0`)
3. **Autorização de política** — confirmar se a ação é permitida sob a política atual (`ACP-RISK-3.0`, `ACP-PSN-1.0`)
4. **Execução determinística** — executar exatamente o que foi autorizado, nada mais (`ACP-EXEC-1.0`)
5. **Registro verificável** — produzir prova criptográfica do que ocorreu (`ACP-LEDGER-1.3`, `ACP-PROVENANCE-1.0`)
6. **Atualização de confiança** — atualizar o estado de reputação e atestado com base na interação (`ACP-REP-1.2`, `ACP-LIA-1.0`)
Isso permite que as interações se tornem rastreáveis, auditáveis e atribuíveis entre organizações.
---
## Invariante Constitucional
A execução do ACP é governada por um único invariante arquitetônico.```
Execute(request) ⟹
ValidIdentity ∧ ValidCapability ∧ ValidDelegationChain ∧ AcceptableRisk
| Condição | Significado |
|---|---|
ValidIdentity | O agente possui uma identidade verificada e assinada |
Nenhuma ação do agente é executada a menos que todas as quatro condições sejam satisfeitas simultaneamente.
As camadas do protocolo existem para garantir esse invariante em cada limite de interação.
O ACP é organizado em cinco camadas de protocolo. Cada camada constrói sobre a anterior e adiciona uma capacidade de governança distinta.``` 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 │ └──────────────────────────────────────────────────────────────────┘
→ **Novo no ACP? Comece aqui:** [docs/admission-flow.md](https://github.com/chelof100/acp-framework-en/blob/HEAD/docs/admission-flow.md) — o guia completo passo a passo para a verificação de admissão
→ Modelo formal de domínio e grafo de dependências: [ARCHITECTURE.md](https://github.com/chelof100/acp-framework-en/blob/HEAD/ARCHITECTURE.md)
---
## Interação Entre Instituições
O ACP foi projetado para interações entre sistemas independentes.
Cada etapa produz um artefato verificável que passa a fazer parte do registro permanente de interação.```
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 │
└───────────────────────────┘
Cada ação do agente deve ser autorizada por uma política definida. Sem permissões implícitas. Sem acesso ambiente.
A execução deve corresponder exatamente ao comando autorizado. O que foi autorizado é o que é executado — nada mais.
Cada interação produz artefatos criptograficamente verificáveis. A execução pode ser comprovada posteriormente, sem confiar em nenhuma parte isolada.
A responsabilidade é sempre atribuível a um ator identificável. As cadeias de delegação são completas e rastreáveis até uma raiz institucional.
Sistemas independentes podem verificar uns aos outros sem uma autoridade central. A confiança é conquistada através do histórico de interação verificável, não presumida.
Identidade, capacidades, aplicação de políticas e execução determinística.
Avaliação dinâmica de risco e gerenciamento de confiança de interação.
| Componente | Função |
|---|---|
| RISK | Motor de risco determinístico — Pontuação de Risco RS (0–100) |
| REV | Protocolo de revogação — endpoint e CRL |
| ITA | Âncora de Confiança Institucional — atestados de confiança por interação |
Cada interação deixa um registro completo e criptograficamente verificável.
| Componente | Função |
|---|---|
| EXEC | Tokens de Execução — uso único, validade de 300s |
Responsabilidade de longo prazo e supervisão institucional.
| Componente | Função |
|---|
Interoperabilidade entre instituições independentes.
| Componente | Função |
|---|---|
| ACP-D | ACP Descentralizado — federação entre instituições, quorum BFT |
Versão ativa atual por especificação. Esta tabela é a referência autoritativa para "qual versão implementar".
¹ ACP-SIGN-1.0 permanece ativo como base Ed25519. ACP-SIGN-2.0 adiciona a extensão pós-quântica (ML-DSA-65). Ambos estão em vigor até que Dilithium seja implantado em produção.
Versões substituídas estão arquivadas em archive/specs/.
Implementações podem adotar o ACP incrementalmente, começando pelo L1.
Requisitos normativos completos por nível:
→ Definição normativa de conformidade: spec/governance/ACP-CONF-1.2.md
A=(ID,C,P,D,L,S)acp:cap:*F_anom + cooldownPatternKey(agentID, cap, res), elimina a mistura de estados entre contextos0.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
## Início Rápido```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
Verificação de saúde:```bash curl http://localhost:8080/acp/v1/health
[No content provided in the INPUT section. Please provide the Markdown text to translate.]```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
| Protocolo | Foco | Limite de escopo |
|---|
| MCP (Model Context Protocol) | Acesso a ferramentas para LLMs | Verificação de autoridade, aplicação de políticas, auditabilidade de execução |
| A2A (Agent-to-Agent) | Padrões de comunicação entre agentes | Confiança institucional, governança, cadeia de responsabilidade |
| OpenAI Agents SDK | Orquestração de ferramentas | Autoridade entre organizações, proveniência, responsabilidade legal |
| Agent Client Protocol ¹ | Integração runtime cliente/agente | Governança, cadeias de delegação, histórico de execução verificável |
| ACP (Agent Control Protocol) | Infraestrutura de governança e responsabilidade | — |
| Sistema | O que faz | O que o ACP adiciona |
|---|
| OPA (Open Policy Agent) | Avalia políticas a partir de dados e regras | Identidade criptográfica do agente + cadeia de delegação + prova de execução |
| AWS IAM / Azure RBAC | Modelo de permissão estático para recursos em nuvem | Delegação dinâmica agente-a-agente com cadeia verificável + ledger |
| OAuth 2.0 + OIDC | Autorização de usuários e serviços via tokens | Delegação multi-salto de agente com não-escalonamento + responsabilidade institucional |
| SPIFFE / SPIRE | Identidade criptográfica de carga de trabalho | O ACP se baseia na identidade de carga de trabalho para adicionar escopo de capacidade + governança |
| ACP | Controle de admissão para ações de agentes | — |
ValidCapability | O agente detém um Token de Capacidade autorizado |
ValidDelegationChain | Cada etapa de delegação é rastreável até uma raiz institucional |
AcceptableRisk | A pontuação de risco está dentro dos limites da política institucional |
| Componente | Função |
|---|
| SIGN | Assinatura criptográfica — base de todos os objetos do protocolo |
| AGENT | Especificação formal de identidade do agente A=(ID,C,P,D,L,S) |
| CT | Token de Capacidade — estrutura, emissão e verificação |
| CAP-REG | Registro canônico de capacidades acp:cap:* |
| HP | Protocolo de Handshake — prova criptográfica de posse de capacidade |
| DCMA | Delegação em múltiplos saltos — não escalonamento e revogação transitiva |
| MESSAGES | Formato de fio — 5 tipos de mensagens normalizados |
| POLICY-CTX | Instantâneo do Contexto de Política — estado de política assinado no momento da execução |
| PROVENANCE | Proveniência de Autoridade — prova retrospectiva da cadeia de delegação |
| LEDGER | Livro-razão de Auditoria — somente anexação, encadeado por hash |
| GOV-EVENTS | Fluxo de eventos de governança — rastreamento institucional |
| REP | Extensão de Reputação — pontuação composta 0.6·ITS + 0.4·ERS |
| LIA | Rastreabilidade de Responsabilidade — cadeia de responsabilidade atribuída |
| HIST | API de Consulta de Histórico — histórico de execução auditado |
| Especificação | Versão ativa | Nível |
|---|
| 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 | — |
| Nível | Nome | O que você obtém |
|---|
| L1 | Núcleo | Identidade, tokens de capacidade e execução |
| L2 | Segurança | Pontuação de risco, revogação e âncoras de confiança |
| L3 | Execução Verificável | Tokens de execução, livro-razão e proveniência |
| L4 | Governança | Reputação, histórico e responsabilidade |
| L5 | Federação | Redes ACP descentralizadas |
| Nível | Especificações necessárias |
|---|
| 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 quorum BFT |
| Item | Status |
|---|
| ACP-CONF-1.2 | ✅ Completo — fonte normativa única de conformidade |
| ACP-LEDGER-1.3 | ✅ Completo — sig normativamente obrigatório |
OpenAPI spec (openapi/acp-api-1.0.yaml) | ✅ Completo — OpenAPI 3.1.0, todos os endpoints do ACP-API-1.0 |
| Conformance test vectors (CORE · DCMA · HP · LEDGER · EXEC · PROV · PCTX · REP · RISK-2.0) | ✅ Completo — 73 assinados + 65 não assinados vetores de teste RISK-2.0 |
| Reference implementation — 23 Go packages (L1–L4) | ✅ Completo — impl/go/pkg/ cobre todos os níveis de conformidade |
pkg/psn policy snapshot | ✅ Completo — transições atômicas, snapshot ACTIVE único |
Python SDK — ACPAdmissionGuard + @acp_tool (LangChain) | ✅ Completo — impl/python/ |
ACP-RISK-2.0 — F_anom + Cooldown + pkg/risk | ✅ Completo — determinístico, sub-µs, 65 vetores |
ACP-RISK-3.0 — context-scoped Rule 1 (pkg/risk/engine.go) | ✅ Completo — v1.22 · CountPattern(ctxKey, 60s) substitui CountRequests(agentID) · eliminação de mistura de estado entre contextos |
Payment-agent demo (examples/payment-agent/) | ✅ Completo — v1.16 |
| ACP-SIGN-2.0 — Post-quantum hybrid (Ed25519 + ML-DSA-65) | ✅ Completo — especificação v1.16; ML-DSA-65 real via cloudflare/circl pkg/sign2/ v1.20 |
ACR-1.0 sequence compliance runner (compliance/runner/) | ✅ Completo — v1.17 · modo biblioteca + HTTP · 5/5 PASS |
Sequence test vectors (compliance/test-vectors/sequence/) | ✅ Completo — v1.17 · 5 cenários com estado |
TLA+ base model (tla/ACP.tla) | ✅ Completo — v1.17 · 3 invariantes · 0 violações |
TLA+ extended model (tla/ACP_Extended.tla) | ✅ Completo — v1.28 · 11 invariantes + 4 propriedades temporais · agente único: 5,684,342 estados · dois agentes LB=11: 4,294,930,695 estados distintos · 0 violações |
Adversarial evaluation (compliance/adversarial/) | ✅ Completo — v1.29 · 14 experimentos · números reais de benchmark (N=5 execuções, média±dp) |
Redis pipelining (compliance/adversarial/redis_pipelined.go) | ✅ Completo — v1.20 · 2 RTTs/requisição · ~1.8× de ganho de velocidade |
ML-DSA-65 benchmarks (pkg/sign2/sign2_bench_test.go) | ✅ Completo — v1.20 · Ed25519 ~25 µs assinar / ~56 µs verificar · ML-DSA-65 ~100–130 µs assinar / ~81 µs verificar |
NullQuerier + StatelessEngine (pkg/risk/null_querier.go, stateless_engine.go) | ✅ Completo — v1.21 · baseline LedgerQuerier de estado zero para comparação stateless/stateful |
Stateless vs. stateful experiment (Exp 6, pkg/risk/stateless_comparison_test.go) | ✅ Completo — v1.21 · 500 requisições · stateless 500/500 vs ACP 2/500 (0.4%) · latência de detecção 11 ações |
State-mixing vulnerability test (Exp 7, pkg/risk/statemixing_test.go) | ✅ Completo — v1.21 · contaminação da Regra 1 entre contextos · RS +20 · ESCALATED→DENIED após 11 data.read |
| State-mixing attack analysis (paper §State-Mixing Vulnerability) | ✅ Completo — v1.21 · caracterização formal · números do Exp 7 · caminho de mitigação ACP-RISK-3.0 |
State-mixing fix (Exp 8, pkg/risk/statemixing_fix_test.go) | ✅ Completo — v1.22 · RISK-3.0 · 3 cenários · estado limpo RS=50 ESCALATED · contaminado RS=50 ESCALATED · rajada no mesmo contexto RS=85 DENIED |
| Paper v1.23 — Sprint fixes | ✅ Completo — v1.23 · §RISK-3.0 em §Mecanismos Técnicos · tese contrafactual · 767--921 ns unificado · Exp 3b→Exp 4 renumerado · Exp 3 N=5 · todas as 7 correções de verificação cruzada |
Deviation collapse (Exp 9, compliance/adversarial/exp_deviation_collapse.go) | ✅ Completo — v1.23 · 3 fases: baseline BAR=0.70 → colapso BAR=0.00 → contrafactual BAR=1.00 |
| Phase D drift simulation (Exp 9 extension) | ✅ Completo — v1.25 · 5 lotes × 20 casos · 0%→80% de sanitização · alerta precoce ΔBAR dispara no lote 2 (3 lotes antes do colapso) |
| ITA trust model (paper §Trust Model and Failure Modes) | ✅ Completo — v1.20 · inicialização / janela de comprometimento / autoridade de revogação — afirmações semiformal |
TypeScript SDK (impl/typescript/) | ✅ Completo — v1.4.0 · zero dependências · 68 testes |
Rust SDK (impl/rust/) | ✅ Completo — v1.4.0 · ed25519-dalek v2 · 43 testes |
pkg/barmonitor — BAR-Monitor with ΔBAR trend detection (impl/go/pkg/barmonitor/) | ✅ Completo — v1.24 · 18 testes · AlertThreshold + AlertTrend (dispara antes do limite) · buffer circular thread-safe |
EvaluateCounterfactual API (impl/go/pkg/risk/counterfactual.go) | ✅ Completo — v1.24 · 14 testes · 3 fábricas de mutação (estrutural/comportamental/temporal) · BAR(results) · falha fechada |
Phase D drift simulation (Exp 9) + computeTrend() ring buffer fix | ✅ Completo — v1.25 · alerta precoce ΔBAR antes do limite · erro de ordem temporal corrigido |
TLA+ FailureConditionPreservation + NoDegenerateAdmissibility (11 invariants) | ✅ Completo — v1.27 · 0 violações · 4,294,930,695 estados distintos (dois agentes LB=11, 10.5h) |
POST /acp/v1/counterfactual HTTP endpoint (impl/go/cmd/acp-server/) | ✅ Completo — v1.25 · 7 testes de integração · mutações estruturais + comportamentais via HTTP |
| Formal adversary model A=(K,S,B) + experiment taxonomy (Exp 1–14) | ✅ Completo — v1.29 · caixa preta / ciente de fórmula / estado completo · todos os experimentos mapeados |
| Threshold sensitivity analysis (Exp 11, 5 configs ±10 pts) | ✅ Completo — v1.26 · taxa de negação falsa 0.00 em todas as configurações · BAR monotônico 0.75→0.60 · Ótimo local T3 |
| Detection guarantees — Proposition + binomial P(detect) | ✅ Completo — v1.26 · W=40 τ=0.10 · P=1.00 em p₁=0.00 · P=0.95 em p₁=0.05 |
| AgentSpec functional comparison (5 dimensions) | ✅ Completo — v1.26 · componíveis, não competitivos · diferenciador de detecção de colapso de governança |
Exp 12: Multi-tool IPI admission control (compliance/adversarial/exp_agent_multitool.go) | ✅ Completo — v1.27 · 4 ferramentas · 3 fases · BAR A=0.30/B=1.00/C=0.30 · persistência stateful F_anom 24h |
Real-LLM IPI demo (demos/ollama-agent/agent_demo.py) | ✅ Completo — v1.27 · DeepSeek-R1:8b · 5 turnos · IPI bloqueado · cooldown ativado |
| False-denial rate analysis (§False-Denial Rate Analysis) | ✅ Completo — v1.27 · 0.00 estado limpo (Exp 11) · 0.00 pós-ataque baixo risco (Exp 12 Fase C) |
| Deployment maturity model (Tier 1/2/3) + PolicyConfig profiles (Low/Medium/High/Critical) | ✅ Completo — v1.27 · linha de base BAR por perfil · guia de migração RISK-2.0→RISK-3.0 |
Exp 13: Bounded coordination window (compliance/adversarial/exp_coordination_window.go) | ✅ Completo — v1.28 · linearidade exata CW=2N · semântica de avaliar-depois-mutar · k₀=2 por agente · limite O(N) |
| LLM Agent Integration subsection moved to §Technical Mechanisms | ✅ Completo — v1.28 · após §Avaliação de Risco Determinística · componível com filtros de prompt IPI |
Exp 14: OPA vs ACP capability comparison (compliance/adversarial/exp_opa_benchmark.go) | ✅ Completo — v1.29 · 3 cenários · motores stateless não podem impor frequência/cooldown sem estado externo · ACP impõe nativamente · ~852 ns/op ACP vs ~16,000 ns/op OPA |
| §Related Work — Formal Verification and Runtime Enforcement (expanded) | ✅ Completo — v1.29 · limite de expressividade do OPA · alinhamento com autômato de segurança de Schneider · referência cruzada Exp 14 |
Governance series integration: Papers 3–4 cited in §15; fernandez2026comp bib entry | ✅ Completo — v1.30 |
| v1.x | Core protocol and reference implementation — active |
| v2.0 | Decentralized ACP (ACP-D) — in design |
| future | ZK verification, decentralized governance |