Implementación de Referencia

Qué cubre la implementación

Estructura de Paquetes

ACP-PROTOCOL-ES/impl/go/
├── pkg/
│   ├── crypto/     # ACP-SIGN-1.0 + ACP-AGENT-1.0 — Firma + identidad (L1)
│   ├── tokens/     # ACP-CT-1.0      — Tokens de capacidad (L1)
│   ├── registry/   # ACP-CAP-REG-1.0 — Registro de capacidades (L1)
│   ├── handshake/  # ACP-HP-1.0      — Protocolo de handshake (L1)
│   ├── delegation/ # ACP-DCMA-1.1    — Cadenas de delegación (L1)
│   ├── provenance/ # ACP-PROVENANCE-1.0 — Procedencia de autoridad (L1)
│   ├── risk/       # ACP-RISK-3.0    — Puntuación de riesgo + F_anom + Cooldown (L2)
│   ├── revocation/ # ACP-REV-1.0     — Protocolo de revocación (L2)
│   ├── reputation/ # ACP-REP-1.2     — Módulo de reputación (L2)
│   ├── execution/  # ACP-EXEC-1.0    — Tokens de ejecución (L3)
│   ├── ledger/     # ACP-LEDGER-1.3  — Ledger de auditoría (L3)
│   ├── psn/        # ACP-PSN-1.0     — Snapshots de política (L3)
│   ├── policyctx/  # ACP-POLICY-CTX-1.1 — Contexto de política (L3)
│   ├── lia/        # ACP-LIA-1.0     — Atribución de responsabilidad (L3)
│   ├── hist/       # ACP-HIST-1.0    — Consultas históricas (L4)
│   ├── govevents/  # ACP-GOV-EVENTS-1.0 — Eventos de gobernanza (L4)
│   ├── notify/     # ACP-NOTIFY-1.0  — Notificaciones (L4)
│   ├── disc/       # ACP-DISC-1.0    — Descubrimiento de servicios (L4)
│   ├── bulk/       # ACP-BULK-1.0    — Operaciones en lote (L4)
│   ├── crossorg/   # ACP-CROSS-ORG-1.1 — Protocolo bilateral tolerante a fallos (L4)
│   ├── pay/        # ACP-PAY-1.0     — Gobernanza de pagos (L4)
│   └── sign2/      # ACP-SIGN-2.0    — Híbrido Ed25519 + ML-DSA-65 real (cloudflare/circl, v1.21)
├── cmd/
│   ├── gen-ledger-vectors/   # Generador de vectores de cumplimiento (LEDGER)
│   └── gen-exec-vectors/     # Generador de vectores de cumplimiento (EXEC)
├── tla/
│   ├── ACP.tla               # Modelo formal base — Safety · RiskDeterminism (v1.17)
│   ├── ACP.cfg               # Configuración TLC para ACP.tla
│   ├── ACP_Extended.tla      # Modelo extendido — estado temporal de cooldown · integridad de delegación (v1.21)
│   └── ACP_Extended.cfg      # Config TLC — 5,684,342 estados · 9 invariantes · 0 violaciones
└── compliance/
    ├── adversarial/          # Evaluación adversarial — Exp 1–4 (evasión de cooldown, multi-agente, backend stress, replay)
    ├── runner/               # Runner de conformidad de secuencia ACR-1.0
    └── test-vectors/         # 73 firmados + 65 sin firma RISK-2.0 + 5 vectores de secuencia

Flujo de Admisión: Cómo ACP Intercepta las Acciones de Agentes

Toda acción de un agente pasa por una verificación de admisión de 6 pasos antes de ejecutarse. La guía docs/admission-flow.md explica cada paso con referencias a la spec, códigos de error y ejemplos en Go y Python.

@acp_tool(guard=guard,
          capability="acp:cap:financial.payment",
          resource="bank://accounts/*")
def transfer_funds(amount: float, ...) -> str:
    # solo se ejecuta si ACP → APPROVED
    return bank.transfer(amount, ...)

@agent.tool
async def transfer_funds(
    ctx: RunContext[ACPAdmissionGuard],
    amount: float, to_account: str,
) -> str:
    result = ctx.deps.check(capability, resource)
    if result.denied:
        raise ModelRetry(f"DENIED: {result.error_code}")
    return bank.transfer(amount, to_account)

@dispatcher.tool(
    capability="acp:cap:financial.payment",
    resource="bank://accounts/*",
    risk_params=["amount"],
)
def transfer_funds(amount: float, ...) -> str:
    # solo se ejecuta si ACP → APPROVED
    return bank.transfer(amount, ...)

Performance

ACP es compute-cheap but state-sensitive. La evaluación de decisiones incurre en overhead mínimo; el throughput del sistema está acotado por el state backend, no por la lógica del protocolo. Esto es por diseño: la abstracción LedgerQuerier separa claramente ambas capas.

Ejecutar benchmarks: go test ./pkg/risk/... -bench=. -benchmem -benchtime=3s

Ejecutar el Servidor de Referencia

Inicia el servidor ACP en un solo comando — sin necesidad de instalar Go.

docker run -p 8080:8080 \
  -e ACP_INSTITUTION_PUBLIC_KEY=cA4s58S2dEJ-qye6EpJaJKKaVfvPT8mAQf97Vo8TInk \
  ghcr.io/chelof100/acp-server:latest

O explora el código fuente completo — comienza con pkg/ para los paquetes o compliance/test-vectors/ para la suite de pruebas firmadas.