
Agent Control Protocol (ACP) — المواصفات الرسمية باللغة الإنجليزية. بنية ترخيص قابلة للتحقق تشفيريًا للوكلاء الذكاء الاصطناعي المستقلين.
التحكم في القبول لإجراءات العوامل.
قبل أن يُغيّر أي عامل حالة النظام، يُجيب ACP على أربعة أسئلة: من هو هذا العامل؟ وما هي الإجراءات المصرّح بها؟ هل هذا الإجراء متوافق مع السياسة؟ هل يمكن تتبع النتيجة إلى مؤسسة خاضعة للمساءلة؟
الهوية التشفيرية · رموز القدرات المحددة النطاق · سلاسل التفويض القابلة للتحقق · دليل التنفيذ
https://agentcontrolprotocol.xyz
بروتوكول التحكم في العوامل: التحكم في القبول لإجراءات العوامل مارسيلو فرنانديز (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: قيد الانتظار |
| الورقة 5 | نموذج السلطة التعويضية (RAM) | reconstructive-authority-model | Zenodo · arXiv:2604.22898 |
| الورقة 6 | تفعيل السلطة التعويضية | operationalizing-ram | Zenodo · arXiv: قيد الانتظار |
| الورقة 7 | سد فجوة التنفيذ (تجريبي) | agent-governance-applied | Zenodo · arXiv: قيد الانتظار |
منطق السلسلة: الورقة 0 تثبت متى يمكن ضمان القبول → الورقة 1 (ACP) تبني البروتوكول → الورقة 2 تكتشف الانحراف غير المرئي للإنفاذ → الورقة 3/4 تثبت أن الإنفاذ الصحيح لا يعني التوزيع العادل وتؤسس عدم قابلية اختزال المعمارية المكونة من أربع طبقات → الورقة 5 (RAM) توفر الإغلاق التشغيلي: متى يتم التنفيذ تحت الملاحظة الجزئية → الورقة 6 تُفعّل RAM كحلقة استرداد وقت التشغيل → الورقة 7 تقدم أول تحقق تجريبي للحزمة الكاملة على عوامل LangGraph الحقيقية.
تنتقل العوامل المستقلة من مرحلة التجربة إلى الإنتاج. إنها تتفاعل بالفعل مع واجهات برمجة التطبيقات (APIs)، والأنظمة المؤسسية، والبنية التحتية المالية، وعوامل أخرى.
عندما يعمل عامل عبر المؤسسات، تظهر عدة أسئلة فورًا:
اليوم، لا تستطيع معظم الأنظمة الإجابة على هذه الأسئلة بشكل موثوق.
يُقدم ACP البنية التحتية للإجابة على جميعها.
تتناول عدة مبادرات كيفية تفاعل العوامل المستقلة مع الأنظمة. تركز معظمها على الوصول إلى الأدوات أو التواصل. يركز ACP على السلطة، والتحقق من التنفيذ، والمساءلة المؤسسية.
يعالج ACP طبقة مختلفة: من الذي صرّح بالإجراء، وتحت أي سياسة، ومن المسؤول عن النتيجة.
كثيرًا ما يسأل المهندسون الذين يُقيّمون ACP: "لماذا لا نستخدم OPA؟" هذه الأنظمة متكاملة وليست متنافسة.
يمكن استخدام OPA كمحرك تقييم للسياسات داخل نظام متوافق مع ACP. لا يستبدل ACP OPA — بل يُضيف طبقة هوية العامل، وسلسلة التفويض، ودليل التنفيذ التي لا يوفرها OPA.
¹ ACP (بروتوكول التحكم في العوامل) لا علاقة له بالمبادرات الأخرى التي تشاركه نفس الاختصار.
يستخدم Kubernetes وحدة تحكم في القبول لاعتراض طلبات واجهة برمجة التطبيقات (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 عبر الحدود المؤسسية. يمكن لوكيل من البنك A أن يُقبل من قبل البنك B دون أن يثق البنك B في البنية التحتية الداخلية للبنك A — فقط الإثبات المشفر هو المهم.
---
## كيف يعمل 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 | المعنى |
|---|---|
ValidIdentity | الوكيل لديه هوية موثقة وموقعة |
ValidCapability | الوكيل يحمل رمز قدرة مصرح به |
لا يتم تنفيذ أي إجراء للوكيل إلا إذا تم استيفاء جميع الشروط الأربعة في وقت واحد.
توجد طبقات البروتوكول لفرض هذا الثابت عند كل حد تفاعل.
يتم تنظيم 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 ثانية |
| POLICY-CTX | لقطة سياق السياسة — حالة السياسة الموقعة وقت التنفيذ |
المساءلة طويلة المدى والإشراف المؤسسي.
| المكون | الدور |
|---|---|
| GOV-EVENTS |
قابلية التشغيل البيني عبر المؤسسات المستقلة.
| المكون | الدور |
|---|---|
| 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
Huawei E3372
سيدعم وضع Hi-Link (كواجهة شبكة) فقط، أي أنه لن يعمل في وضع المودم/التسلسلي.
**ملاحظة**
هذا هو حل بديل لخلل البرنامج الثابت الحالي لـ Hi-Link (وليس الجهاز) الذي لا يقوم دائمًا بتمرير سياق PDP (APN واسم المستخدم/كلمة المرور) إلى اتصال WAN.```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 (بروتوكول سياق النموذج) | الوصول إلى الأدوات لنماذج اللغات الكبيرة | التحقق من السلطة، إنفاذ السياسة، تدقيق التنفيذ |
| A2A (عامل إلى عامل) | أنماط التواصل بين العوامل | الثقة المؤسسية، الحوكمة، سلسلة المساءلة |
| OpenAI Agents SDK | تنسيق الأدوات | السلطة عبر المؤسسات، الإثبات، المسؤولية |
| Agent Client Protocol ¹ | تكامل العميل/العامل في وقت التشغيل | الحوكمة، سلاسل التفويض، تاريخ التنفيذ القابل للتحقق |
| ACP (بروتوكول التحكم في العوامل) | البنية التحتية للحوكمة والمساءلة | — |
| النظام | وظيفته | ما يضيفه ACP |
|---|
| OPA (وكيل السياسات المفتوح) | تقييم السياسات من البيانات والقواعد | هوية العامل التشفيرية + سلسلة التفويض + دليل التنفيذ |
| AWS IAM / Azure RBAC | نموذج صلاحيات ثابت لموارد السحابة | تفويض ديناميكي من عامل إلى آخر مع سلسلة قابلة للتحقق + سجل |
| OAuth 2.0 + OIDC | تخويل المستخدم والخدمة عبر الرموز | تفويض متعدد القفزات للعامل مع عدم التصعيد + مسؤولية مؤسسية |
| SPIFFE / SPIRE | هوية عمل تشفيرية | يبني ACP على هوية العمل لإضافة تحديد نطاق القدرات + الحوكمة |
| ACP | التحكم في القبول لإجراءات العوامل | — |
ValidDelegationChain | كل خطوة تفويض يمكن تتبعها إلى جذر مؤسسي |
AcceptableRisk | درجة المخاطرة ضمن حدود السياسة المؤسسية |
| المكون | الدور |
|---|
| SIGN | التوقيع التشفيري — أساس جميع كائنات البروتوكول |
| AGENT | مواصفات هوية الوكيل الرسمية A=(ID,C,P,D,L,S) |
| CT | رمز الإمكانية — الهيكل، الإصدار والتحقق |
| CAP-REG | سجل الإمكانيات القانوني acp:cap:* |
| HP | بروتوكول المصافحة — إثبات تشفيري لحيازة الإمكانية |
| DCMA | التفويض متعدد القفزات — عدم التصعيد والإلغاء المتعدي |
| MESSAGES | تنسيق الاتصال — 5 أنواع رسائل موحدة |
| PROVENANCE | إثبات السلطة — دليل بأثر رجعي لسلسلة التفويض |
| LEDGER | سجل التدقيق — إلحاق فقط، متسلسل بالتجزئة |
| تيار أحداث الحوكمة — التتبع المؤسسي |
| REP | امتداد السمعة — درجة مركبة 0.6·ITS + 0.4·ERS |
| LIA | إمكانية تتبع المسؤولية — سلسلة مسؤولية منسوبة |
| HIST | واجهة برمجة تطبيقات استعلام التاريخ — تاريخ التنفيذ المدقق |
| المواصفات | الإصدار النشط | المستوى |
|---|
| 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 + فترة التهدئة + pkg/risk | ✅ مكتمل — حتمي، دون ميكروثانية، 65 متجهًا |
ACP-RISK-3.0 — القاعدة 1 في نطاق السياق (pkg/risk/engine.go) | ✅ مكتمل — v1.22 · CountPattern(ctxKey, 60s) يحل محل CountRequests(agentID) · إلغاء مزج الحالة عبر السياقات |
Payment-agent demo (examples/payment-agent/) | ✅ مكتمل — v1.16 |
| ACP-SIGN-2.0 — هجين ما بعد الكم (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 · جولتان ذهاب وإياب لكل طلب · ~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 مقابل 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 عملية قراءة بيانات |
| State-mixing attack analysis (paper §State-Mixing Vulnerability) | ✅ مكتمل — v1.21 · توصيف رسمي · أرقام التجربة 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 — إصلاحات سريعة | ✅ مكتمل — v1.23 · §RISK-3.0 في §الآليات التقنية · أطروحة مضادة · 767–921 ns موحد · إعادة ترقيم Exp 3b→Exp 4 · Exp 3 N=5 · جميع الإصلاحات السبعة المتقاطعة |
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 مع كشف اتجاه ΔBAR (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() | ✅ مكتمل — v1.25 · إنذار مبكر ΔBAR قبل العتبة · إصلاح خطأ الترتيب الزمني |
TLA+ FailureConditionPreservation + NoDegenerateAdmissibility (11 ثابتًا) | ✅ مكتمل — v1.27 · 0 انتهاكات · 4,294,930,695 حالة مميزة (وكيلان LB=11، 10.5 ساعة) |
نقطة نهاية HTTP POST /acp/v1/counterfactual (impl/go/cmd/acp-server/) | ✅ مكتمل — v1.25 · 7 اختبارات تكامل · طفرات هيكلية + سلوكية عبر HTTP |
| نموذج الخصم الرسمي A=(K,S,B) + تصنيف التجارب (Exp 1–14) | ✅ مكتمل — v1.29 · الصندوق الأسود / المدرك للصيغ / الحالة الكاملة · جميع التجارب مُرقمة |
| تحليل حساسية العتبة (Exp 11، 5 تهيئات ±10 نقاط) | ✅ مكتمل — v1.26 · معدل الرفض الخاطئ 0.00 لجميع التهيئات · BAR رتيب 0.75→0.60 · حد أمثل محلي T3 |
| ضمانات الكشف — فرضية + ذات الحدين P(الكشف) | ✅ مكتمل — v1.26 · W=40 τ=0.10 · P=1.00 عند p₁=0.00 · P=0.95 عند p₁=0.05 |
| مقارنة وظيفية لـ AgentSpec (5 أبعاد) | ✅ مكتمل — v1.26 · قابل للتركيب، غير تنافسي · تمييز انهيار الحوكمة |
Exp 12: التحكم في قبول IPI متعدد الأدوات (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 · تفعيل فترة التهدئة |
| تحليل معدل الرفض الخاطئ (§تحليل معدل الرفض الخاطئ) | ✅ مكتمل — v1.27 · 0.00 لحالة نظيفة (Exp 11) · 0.00 بعد الهجوم منخفض المخاطر (Exp 12 المرحلة C) |
| نموذج نضوج النشر (المستوى 1/2/3) + ملفات تعريف PolicyConfig (منخفض/متوسط/عالي/حرج) | ✅ مكتمل — v1.27 · خط أساس BAR لكل ملف تعريف · دليل الترحيل RISK-2.0→RISK-3.0 |
Exp 13: نافذة تنسيق محدودة (compliance/adversarial/exp_coordination_window.go) | ✅ مكتمل — v1.28 · خطية مضبوطة CW=2N · دلالات التقييم ثم التحور · k₀=2 لكل وكيل · حد O(N) |
| نقل القسم الفرعي لتكامل وكيل LLM إلى §الآليات التقنية | ✅ مكتمل — v1.28 · بعد §التقييم الحتمي للمخاطر · قابل للتركيب مع مرشحات موجهات IPI |
Exp 14: مقارنة القدرات بين OPA و ACP (compliance/adversarial/exp_opa_benchmark.go) | ✅ مكتمل — v1.29 · 3 سيناريوهات · لا يمكن للمحركات عديمة الحالة فرض التردد/فترة التهدئة بدون حالة خارجية · ACP يفرض أصليًا · ~852 ns/op لـ ACP مقابل ~16,000 ns/op لـ OPA |
| §الأعمال ذات الصلة — التحقق الرسمي والإنفاذ في وقت التشغيل (موسع) | ✅ مكتمل — v1.29 · حدود تعبيرية لـ OPA · توافق مع أتمتة أمان شنايدر · مرجع متبادل مع Exp 14 |
تكامل سلسلة الحوكمة: الورقتان 3–4 مذكورتان في §15؛ إدخال biblio fernandez2026comp | ✅ مكتمل — v1.30 |
| v1.x | البروتوكول الأساسي والتنفيذ المرجعي — نشط |
| v2.0 | ACP اللامركزي (ACP-D) — قيد التصميم |
| المستقبل | التحقق باستخدام ZK، الحوكمة اللامركزية |