
Agent Control Protocol (ACP) — Официальная англоязычная спецификация. Криптографически верифицируемая архитектура авторизации для автономных AI-агентов.
Контроль допуска для действий агентов.
Прежде чем любой агент изменит состояние системы, ACP отвечает на четыре вопроса: Кто этот агент? Что ему разрешено делать? Соответствует ли действие политике? Можно ли отследить результат до ответственного учреждения?
Cryptographic identity · Scoped capability tokens · Verifiable delegation chains · Execution proof
https://agentcontrolprotocol.xyz
Протокол управления агентами: Контроль допуска для действий агентов Marcelo Fernandez (TraslaIA), 2026
DOI: 10.5281/zenodo.19672575 · arXiv: 2603.18829
ACP является опубликованной основой серии из семи статей по формальному управлению агентами. Каждая статья рассматривает отдельный уровень стека управления.
| Статья | Название | Репозиторий | Статус |
|---|---|---|---|
| Статья 0 | Атомарные границы принятия решений | decision-boundary-model | Zenodo · arXiv:2604.17511 |
| Статья 1 | Протокол управления агентами (ACP) — этот репозиторий | acp-framework-en | Zenodo · arXiv:2603.18829 |
| Статья 2 | От допуска к инвариантам (IML) | iml-benchmark | Zenodo · arXiv:2604.17517 |
| Статья 3/4 | Несводимая структура управления | governance-structure | Zenodo · arXiv: pending |
| Статья 5 | Реконструктивная модель полномочий (RAM) | reconstructive-authority-model | Zenodo · arXiv:2604.22898 |
| Статья 6 | Внедрение реконструктивных полномочий | operationalizing-ram | Zenodo · arXiv: pending |
| Статья 7 | Закрытие разрыва выполнения (эмпирическое) | agent-governance-applied | Zenodo · arXiv: pending |
Логика серии: Статья 0 доказывает, когда допустимость может быть гарантирована → Статья 1 (ACP) строит протокол → Статья 2 обнаруживает дрейф, невидимый для принуждения → Статья 3/4 доказывает, что правильное принуждение ≠ справедливое распределение, и устанавливает несводимость четырехуровневой архитектуры → Статья 5 (RAM) обеспечивает операционное замыкание: когда выполнять при частичной наблюдаемости → Статья 6 внедряет RAM как цикл восстановления во время выполнения → Статья 7 предоставляет первую эмпирическую проверку полного стека на реальных агентах LangGraph.
Автономные агенты переходят от экспериментов к производству. Они уже взаимодействуют с API, корпоративными системами, финансовой инфраструктурой и другими агентами.
Когда один агент действует в разных организациях, сразу возникает несколько вопросов:
Сегодня большинство систем не могут надежно ответить на эти вопросы.
ACP представляет инфраструктуру для ответа на все из них.
Несколько инициатив решают вопрос взаимодействия автономных агентов с системами. Большинство сосредоточено на доступе к инструментам или коммуникации. ACP сосредоточен на полномочиях, проверке выполнения и институциональной подотчетности.
ACP затрагивает другой уровень: кто уполномочил действие, по какой политике и кто несет ответственность за результат.
Инженеры, оценивающие ACP, часто спрашивают: «почему не использовать OPA?» Эти системы дополняющие, а не конкурирующие.
OPA может использоваться как механизм оценки политик внутри системы, совместимой с ACP. ACP не заменяет OPA — он добавляет уровень идентичности агента, цепочку делегирования и доказательство выполнения, которые OPA не предоставляет.
¹ ACP (Agent Control Protocol) не связан с другими инициативами, использующими ту же аббревиатуру.
Kubernetes использует Admission Controller для перехвата API-запросов до того, как они достигнут кластера — оценивая политики, применяя квоты, отклоняя несоответствующие операции. ACP применяет тот же шаблон к действиям агентов.``` 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
Отличие от Kubernetes: ACP действует через институциональные границы. Агент из Банка А может быть принят Банком Б без того, чтобы Банк Б доверял внутренней инфраструктуре Банка А — значение имеет только криптографическое доказательство.
---
## Как работает ACP
ACP рассматривает взаимодействия агентов как **управляемые операции**, а не простые запросы.
Каждое взаимодействие проходит шесть структурированных этапов:
1. **Проверка личности** — подтверждение, кем является агент (`ACP-AGENT-1.0`, `ACP-HP-1.0`)
2. **Проверка возможностей** — подтверждение, на что агенту разрешено (`ACP-CT-1.0`, `ACP-DCMA-1.0`)
3. **Авторизация политики** — подтверждение, что действие разрешено текущей политикой (`ACP-RISK-3.0`, `ACP-PSN-1.0`)
4. **Детерминированное выполнение** — выполнение только того, что было авторизовано, ничего более (`ACP-EXEC-1.0`)
5. **Проверяемая запись** — создание криптографического доказательства произошедшего (`ACP-LEDGER-1.3`, `ACP-PROVENANCE-1.0`)
6. **Обновление доверия** — обновление репутации и состояния аттестации на основе взаимодействия (`ACP-REP-1.2`, `ACP-LIA-1.0`)
Это позволяет взаимодействиям стать отслеживаемыми, аудитируемыми и приписываемыми среди организаций.
---
## Конституционный инвариант
Выполнение ACP управляется единственным архитектурным инвариантом.```
Execute(request) ⟹
ValidIdentity ∧ ValidCapability ∧ ValidDelegationChain ∧ AcceptableRisk
| Condition | Meaning |
|---|---|
ValidIdentity | Агент имеет подтвержденную, подписанную идентичность |
Никакое действие агента не выполняется, если все четыре условия не выполнены одновременно.
Уровни протокола существуют для обеспечения соблюдения этого инварианта на каждой границе взаимодействия.
ACP организован в пяти уровнях протокола. Каждый уровень строится на предыдущем и добавляет отдельную возможность управления.``` 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 │ └──────────────────────────────────────────────────────────────────┘
→ **Новичок в ACP? Начните здесь:** [docs/admission-flow.md](https://github.com/chelof100/acp-framework-en/blob/HEAD/docs/admission-flow.md) — полное пошаговое руководство по проверке допуска
→ Формальная модель предметной области и граф зависимостей: [ARCHITECTURE.md](https://github.com/chelof100/acp-framework-en/blob/HEAD/ARCHITECTURE.md)
---
## Межинституциональное взаимодействие
ACP разработан для взаимодействия между независимыми системами.
Каждый шаг создает проверяемый артефакт, который становится частью постоянной записи взаимодействия.```
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 │
└───────────────────────────┘
Каждое действие агента должно быть авторизовано определенной политикой. Никаких неявных разрешений. Никакого фонового доступа.
Выполнение должно точно соответствовать авторизованной команде. Выполняется только то, что было авторизовано, — ничего более.
Каждое взаимодействие создает криптографически проверяемые артефакты. Выполнение может быть доказано постфактум, без доверия к какой-либо одной стороне.
Ответственность всегда может быть возложена на идентифицируемое лицо. Цепочки делегирования полны и прослеживаются до институционального корня.
Независимые системы могут проверять друг друга без центрального органа. Доверие достигается через проверяемую историю взаимодействий, а не предполагается.
Идентификация, возможности, обеспечение соблюдения политик и детерминированное выполнение.
Динамическая оценка рисков и управление доверием взаимодействий.
| Компонент | Роль |
|---|---|
| RISK | Детерминированный механизм риска — Оценка риска RS (0–100) |
| REV | Протокол отзыва — конечная точка и CRL |
| ITA | Институциональный якорь доверия — аттестации доверия для каждого взаимодействия |
Каждое взаимодействие оставляет полную криптографически проверяемую запись.
| Компонент | Роль |
|---|---|
| EXEC | Токены выполнения — одноразовые, срок действия 300 с |
Долгосрочная подотчетность и институциональный надзор.
| Компонент | Роль |
|---|---|
Взаимодействие между независимыми институтами.
| Компонент | Роль |
|---|---|
| ACP-D | Децентрализованный ACP — межведомственная федерация, кворум BFT |
Текущая активная версия для каждой спецификации. Эта таблица является авторитетным справочником «какую версию реализовать».
¹ ACP-SIGN-1.0 остается активной как базовая линия Ed25519. ACP-SIGN-2.0 добавляет постквантовое расширение (ML-DSA-65). Обе действуют до внедрения Dilithium в производство.
Устаревшие версии архивированы в archive/specs/.
Реализации могут внедрять ACP поэтапно, начиная с L1.
Полные нормативные требования по уровням:
→ Нормативное определение соответствия: spec/governance/ACP-CONF-1.2.md
A=(ID,C,P,D,L,S)acp:cap:*F_anom + период охлажденияPatternKey(agentID, cap, res), устраняет смешивание состояний между контекстами0.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
---
## Быстрый старт```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
Проверка здоровья:```bash curl http://localhost:8080/acp/v1/health
"minestrike": {
"custom": false,
"credits": ["nephelai", "Synaptic"],
"path": "/Pentest/MineStrike-master/packages/packages.json",
"description": "Инструмент для подготовки шаблона сервера Minecraft для развертывания с помощью Terraform и Ansible",
"url": "https://github.com/nephelai/MineStrike"
},```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
| Протокол | Фокус | Граница области |
|---|
| MCP (Model Context Protocol) | Доступ к инструментам для LLM | Проверка полномочий, обеспечение соблюдения политик, аудируемость выполнения |
| A2A (Agent-to-Agent) | Шаблоны коммуникации агентов | Институциональное доверие, управление, цепочка подотчетности |
| OpenAI Agents SDK | Оркестрация инструментов | Межорганизационные полномочия, происхождение, ответственность |
| Agent Client Protocol ¹ | Интеграция клиент/агент во время выполнения | Управление, цепочки делегирования, проверяемая история выполнения |
| ACP (Agent Control Protocol) | Инфраструктура управления и подотчетности | — |
| Система | Что делает | Что добавляет ACP |
|---|
| OPA (Open Policy Agent) | Оценивает политики на основе данных и правил | Криптографическая идентичность агента + цепочка делегирования + доказательство выполнения |
| AWS IAM / Azure RBAC | Статическая модель разрешений для облачных ресурсов | Динамическое делегирование от агента к агенту с проверяемой цепочкой + реестр |
| OAuth 2.0 + OIDC | Авторизация пользователей и сервисов через токены | Многошаговое делегирование агента без эскалации + институциональная ответственность |
| SPIFFE / SPIRE | Криптографическая идентичность рабочей нагрузки | ACP опирается на идентичность рабочей нагрузки, добавляя ограничение возможностей + управление |
| ACP | Контроль допуска для действий агентов | — |
ValidCapability | Агент обладает авторизованным Capability Token |
ValidDelegationChain | Каждый шаг делегирования прослеживается до институционального корня |
AcceptableRisk | Оценка риска находится в пределах установленных институциональной политикой порогов |
| Компонент | Роль |
|---|
| SIGN | Криптографическое подписывание — основа всех объектов протокола |
| AGENT | Формальная спецификация идентичности агента A=(ID,C,P,D,L,S) |
| CT | Токен возможностей — структура, выпуск и проверка |
| CAP-REG | Канонический реестр возможностей acp:cap:* |
| HP | Протокол рукопожатия — криптографическое доказательство обладания возможностью |
| DCMA | Многошаговое делегирование — без эскалации и транзитивный отзыв |
| MESSAGES | Формат передачи — 5 нормализованных типов сообщений |
| POLICY-CTX | Снимок контекста политики — подписанное состояние политики во время выполнения |
| PROVENANCE | Происхождение полномочий — ретроспективное доказательство цепочки делегирования |
| LEDGER | Аудиторский реестр — только добавление, хэш-цепочка |
| GOV-EVENTS |
| Поток событий управления — институциональное отслеживание |
| REP | Расширение репутации — составной показатель 0.6·ITS + 0.4·ERS |
| LIA | Прослеживаемость ответственности — цепочка приписываемой ответственности |
| HIST | API запросов истории — проверенная история выполнения |
| Спецификация | Активная версия | Уровень |
|---|
| 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 | — |
| Уровень | Название | Что вы получаете |
|---|
| L1 | Базовое | Идентификация, токены возможностей и выполнение |
| L2 | Безопасность | Оценка риска, отзыв и якоря доверия |
| L3 | Проверяемое выполнение | Токены выполнения, реестр и происхождение |
| L4 | Управление | Репутация, история и ответственность |
| L5 | Федерация | Децентрализованные сети ACP |
| Уровень | Требуемые спецификации |
|---|
| 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 |
| Элемент | Статус |
|---|
| ACP-CONF-1.2 | ✅ Завершено — единственный нормативный источник соответствия |
| ACP-LEDGER-1.3 | ✅ Завершено — подпись нормативно обязательна |
OpenAPI spec (openapi/acp-api-1.0.yaml) | ✅ Завершено — OpenAPI 3.1.0, все конечные точки ACP-API-1.0 |
| Conformance test vectors (CORE · DCMA · HP · LEDGER · EXEC · PROV · PCTX · REP · RISK-2.0) | ✅ Завершено — 73 подписанных + 65 неподписанных тестовых векторов RISK-2.0 |
| Reference implementation — 23 Go packages (L1–L4) | ✅ Завершено — impl/go/pkg/ охватывает все уровни соответствия |
pkg/psn policy snapshot | ✅ Завершено — атомарные переходы, один ACTIVE снимок |
Python SDK — ACPAdmissionGuard + @acp_tool (LangChain) | ✅ Завершено — impl/python/ |
ACP-RISK-2.0 — F_anom + Cooldown + pkg/risk | ✅ Завершено — детерминированный, суб-микросекундный, 65 векторов |
ACP-RISK-3.0 — context-scoped Rule 1 (pkg/risk/engine.go) | ✅ Завершено — v1.22 · CountPattern(ctxKey, 60s) заменяет CountRequests(agentID) · устранено смешивание состояний между контекстами |
Payment-agent demo (examples/payment-agent/) | ✅ Завершено — v1.16 |
| ACP-SIGN-2.0 — Post-quantum hybrid (Ed25519 + ML-DSA-65) | ✅ Завершено — спецификация v1.16; реальный ML-DSA-65 через cloudflare/circl pkg/sign2/ v1.20 |
ACR-1.0 sequence compliance runner (compliance/runner/) | ✅ Завершено — v1.17 · библиотека + HTTP режим · 5/5 ПРОЙДЕНО |
Sequence test vectors (compliance/test-vectors/sequence/) | ✅ Завершено — v1.17 · 5 сценариев с состоянием |
TLA+ base model (tla/ACP.tla) | ✅ Завершено — v1.17 · 3 инварианта · 0 нарушений |
TLA+ extended model (tla/ACP_Extended.tla) | ✅ Завершено — v1.28 · 11 инвариантов + 4 временных свойства · один агент: 5,684,342 состояний · два агента LB=11: 4,294,930,695 различных состояний · 0 нарушений |
Adversarial evaluation (compliance/adversarial/) | ✅ Завершено — v1.29 · 14 экспериментов · реальные показатели производительности (N=5 прогонов, среднее±стд) |
Redis pipelining (compliance/adversarial/redis_pipelined.go) | ✅ Завершено — v1.20 · 2 RTT/запрос · ускорение ~1.8× |
ML-DSA-65 benchmarks (pkg/sign2/sign2_bench_test.go) | ✅ Завершено — v1.20 · Ed25519 ~25 мкс подпись / ~56 мкс проверка · ML-DSA-65 ~100–130 мкс подпись / ~81 мкс проверка |
NullQuerier + StatelessEngine (pkg/risk/null_querier.go, stateless_engine.go) | ✅ Завершено — v1.21 · базовый уровень LedgerQuerier с нулевым состоянием для сравнения без/с состоянием |
Stateless vs. stateful experiment (Exp 6, pkg/risk/stateless_comparison_test.go) | ✅ Завершено — v1.21 · 500 запр · без состояния 500/500 vs ACP 2/500 (0.4%) · задержка обнаружения 11 действий |
State-mixing vulnerability test (Exp 7, pkg/risk/statemixing_test.go) | ✅ Завершено — v1.21 · смешивание состояний между контекстами для Правила 1 · RS +20 · ESCALATED→DENIED после 11 data.read |
| State-mixing attack analysis (paper §State-Mixing Vulnerability) | ✅ Завершено — v1.21 · формальная характеристика · числа Exp 7 · путь смягчения ACP-RISK-3.0 |
State-mixing fix (Exp 8, pkg/risk/statemixing_fix_test.go) | ✅ Завершено — v1.22 · RISK-3.0 · 3 сценария · чистый RS=50 ESCALATED · загрязненный RS=50 ESCALATED · взрыв в том же контексте RS=85 DENIED |
| Paper v1.23 — Sprint fixes | ✅ Завершено — v1.23 · §RISK-3.0 в §Технические механизмы · контрафактический тезис · 767--921 нс унифицировано · Exp 3b→Exp 4 перенумерованы · Exp 3 N=5 · все 7 исправлений перекрестной проверки |
Deviation collapse (Exp 9, compliance/adversarial/exp_deviation_collapse.go) | ✅ Завершено — v1.23 · 3 фазы: базовый BAR=0.70 → коллапс BAR=0.00 → контрафактический BAR=1.00 |
| Phase D drift simulation (Exp 9 extension) | ✅ Завершено — v1.25 · 5 партий × 20 случаев · 0%→80% санитизация · раннее предупреждение ΔBAR срабатывает на партии 2 (3 партии до коллапса) |
| ITA trust model (paper §Trust Model and Failure Modes) | ✅ Завершено — v1.20 · начальная загрузка / окно компрометации / орган отзыва — полуформальные утверждения |
TypeScript SDK (impl/typescript/) | ✅ Завершено — v1.4.0 · без зависимостей · 68 тестов |
Rust SDK (impl/rust/) | ✅ Завершено — v1.4.0 · ed25519-dalek v2 · 43 теста |
pkg/barmonitor — BAR-Monitor with ΔBAR trend detection (impl/go/pkg/barmonitor/) | ✅ Завершено — v1.24 · 18 тестов · AlertThreshold + AlertTrend (срабатывает до порога) · потокобезопасное кольцевое буфер |
EvaluateCounterfactual API (impl/go/pkg/risk/counterfactual.go) | ✅ Завершено — v1.24 · 14 тестов · 3 фабрики мутаций (структурные/поведенческие/временные) · BAR(результаты) · замкнуто на отказ |
Phase D drift simulation (Exp 9) + computeTrend() ring buffer fix | ✅ Завершено — v1.25 · опережающее предупреждение ΔBAR до порога · исправлена ошибка временного порядка |
TLA+ FailureConditionPreservation + NoDegenerateAdmissibility (11 invariants) | ✅ Завершено — v1.27 · 0 нарушений · 4,294,930,695 различных состояний (два агента LB=11, 10.5ч) |
POST /acp/v1/counterfactual HTTP endpoint (impl/go/cmd/acp-server/) | ✅ Завершено — v1.25 · 7 интеграционных тестов · структурные + поведенческие мутации через HTTP |
| Formal adversary model A=(K,S,B) + experiment taxonomy (Exp 1–14) | ✅ Завершено — v1.29 · черный ящик / формулы / полное состояние · все эксперименты сопоставлены |
| Threshold sensitivity analysis (Exp 11, 5 configs ±10 pts) | ✅ Завершено — v1.26 · частота ложных отказов 0.00 для всех конфигураций · BAR монотонный 0.75→0.60 · локальный оптимум T3 |
| Detection guarantees — Proposition + binomial P(detect) | ✅ Завершено — v1.26 · W=40 τ=0.10 · P=1.00 при p₁=0.00 · P=0.95 при p₁=0.05 |
| AgentSpec functional comparison (5 dimensions) | ✅ Завершено — v1.26 · компонуемый, а не конкурентный · отличительная черта — обнаружение коллапса управления |
Exp 12: Multi-tool IPI admission control (compliance/adversarial/exp_agent_multitool.go) | ✅ Завершено — v1.27 · 4 инструмента · 3 фазы · BAR A=0.30/B=1.00/C=0.30 · F_anom с состоянием 24ч постоянство |
Real-LLM IPI demo (demos/ollama-agent/agent_demo.py) | ✅ Завершено — v1.27 · DeepSeek-R1:8b · 5 шагов · IPI заблокирован · включено охлаждение |
| False-denial rate analysis (§False-Denial Rate Analysis) | ✅ Завершено — v1.27 · 0.00 в чистом состоянии (Exp 11) · 0.00 после атаки с низким риском (Exp 12 Фаза C) |
| Deployment maturity model (Tier 1/2/3) + PolicyConfig profiles (Low/Medium/High/Critical) | ✅ Завершено — v1.27 · BAR базовый уровень для профиля · руководство по миграции RISK-2.0→RISK-3.0 |
Exp 13: Bounded coordination window (compliance/adversarial/exp_coordination_window.go) | ✅ Завершено — v1.28 · CW=2N точная линейность · семантика «оценить-затем-мутировать» · k₀=2 на агента · граница O(N) |
| LLM Agent Integration subsection moved to §Technical Mechanisms | ✅ Завершено — v1.28 · после §Детерминированная оценка риска · компонуемо с IPI фильтрами подсказок |
Exp 14: OPA vs ACP capability comparison (compliance/adversarial/exp_opa_benchmark.go) | ✅ Завершено — v1.29 · 3 сценария · движки без состояния не могут обеспечить частоту/охлаждение без внешнего состояния · ACP обеспечивает нативно · ~852 нс/оп ACP vs ~16,000 нс/оп OPA |
| §Related Work — Formal Verification and Runtime Enforcement (expanded) | ✅ Завершено — v1.29 · граница выразительности OPA · соответствие автомату безопасности Schneider · перекрестная ссылка Exp 14 |
Governance series integration: Papers 3–4 cited in §15; fernandez2026comp bib entry | ✅ Завершено — v1.30 |
| v1.x | Основной протокол и эталонная реализация — активна |
| v2.0 | Децентрализованный ACP (ACP-D) — в разработке |
| future | ZK верификация, децентрализованное управление |