# AN01-F01 — dependencias y criterios de cierre

N1–N6 están adoptadas; contrato/ABI y schemas/fixtures tienen implementación
local. G04–G06 siguen parciales. No hay despliegue Amoy, nodo, finalidad o PASS.

| Dependencia | Evidencia local | Criterio de cierre pendiente |
|---|---|---|
| Contrato/provenance | Source, solc-js fijado, ABI contrastada, build exacto, EVM real local. | Auditoría externa, revisión de compilador/bugs/licencia, build reproducido por otro implementador; soporte EVM Amoy verificado. |
| Intent/binding/bootstrap | Ocho schemas nuevos; quórum raíz, G/I/T/B, código/constructor/address/scope y vigencia comprobados con fixture. | Genesis/checkpoint/red/pins reales, bootstrap autenticado, lifecycle/rotación/expiración de binding instalados durablemente y relación con root-policy/recovery. |
| Nodo/finalidad | Modelo de relaciones con vistas sintéticas y rechazos; cero consenso probado. | Versiones/flags Bor/Heimdall, sync/provenance/checkpoint, finalized milestone y ancestry/receipt/código/getters coherentes por hash comprobados en Amoy. No fallback. |
| Evidencia C1/C7 | Envolturas AN01 explícitas reutilizan AS01 con null; no cambian F01. | Verificador vivo del perfil + transporte acotado/seguro; integración con autoridad/permiso/P1/DKIM y resultados definidos. Nunca tratar schema o vista adjunta como consenso. |
| Floors/recovery/SMTP | Rechazos de floor/regresión/caché modelados; no store instalado. | Persistencia atómica, recovery aceptada y resync, múltiples MX/replay, deadline recalculado al commit SMTP. |
| Operación continua | Parámetros 300s/60s/120s/30s/10s sin medición de red. | Ensayo propuesto de siete días con cargas/versiones: p99/máximos/fallos, gas/storage/coste, revocación/cero-eventos, cache/restart/reorg y cero positivos tras deadline/deny. |
| Revisión/interoperabilidad | Python, Node y PyEVM usados por el mismo proyecto. | Revisión externa seguridad/privacidad y segundo implementador/operadores sin APIs privadas. |

Entorno local probado: Python 3.13.14, Node 23.8.0, solc-js 0.8.30,
eth-tester 0.13.0b1, py-evm 0.12.1b1, eth-abi 5.2.0. Son herramientas de test;
no son versiones seleccionadas para nodos de producción. Package-lock fija npm;
las dependencias Python principales tienen pins, sin afirmar un lock completo
de dependencias transitivas ni una auditoría de supply chain.

## Plan original AN-T01–AN-T20: cobertura local y lo que falta

| Caso | Evidencia ejecutada / límite pendiente |
|---|---|
| AN-T01 | Primer evento/getters/ID ejecutados en EVM; artefacto AS en fixture separado. Falta transacción Amoy completa. |
| AN-T02 | Sucesores C1/C2/C3 en EVM; renovación AS existe en AS01. No productor real atómico ni prueba integrada cero-eventos. |
| AN-T03 | Retry head/histórico y conflictos ejecutados; sin reemisión/mutación observable. |
| AN-T04 | Cero/saltos/rangos/padding ABI/C cero ejecutados. No se alcanzó el head 2^53-1 con 2^53-1 transacciones. |
| AN-T05 | Publishers/guardian/outsiders ejecutados, sin privilegios de edición. |
| AN-T06 | Halt irreversible/idempotente y getters ejecutados; retiro de señal sólo modelado. |
| AN-T07 | Identidad/scope/compromisos/evento ajeno rechazados en fixture. Falta evidencia real integrada con red. |
| AN-T08 | ID cambia con dirección/chain ID en EVM; mismo chain ID/genesis distinto rechazado sintéticamente. Falta fork/nodo real. |
| AN-T09 | Constructor inválido revierte; runtime con inmutables coincide con EVM; intent/build/input/código falsos rechazados en fixture. Falta deploy/bootstrap real y auditoría. |
| AN-T10 | Layout/eventos EVM y status/removed/índices falsos rechazados en fixture. Falta lectura RPC/inclusión autenticada. |
| AN-T11 | Bloque bajo de otra rama rechazado por mapa canónico sintético; no ancestry real. |
| AN-T12 | Nodo no sync/tag no soportado modelados. Pruning/429/timeouts/presupuestos de fetch no implementados. |
| AN-T13 | Schema rechaza habilitar fallback dos RPC. No ensayo con dos operadores ni verificación de consenso. |
| AN-T14 | Estado en otro hash/head posterior rechazados en fixture; falta concurrencia RPC fijada a F. |
| AN-T15 | Regresión de altura/hash y cuarentena rechazadas en fixture; no reorg real/floors durables. |
| AN-T16 | Header antiguo/futuro y caché en límite rechazados; tiempo monotónico real no operado. |
| AN-T17 | Estado AS stale no se renueva por anchor. Falta espera/transporte/deadline al commit SMTP. |
| AN-T18 | Sin store/resync/restart: pendiente operativo. |
| AN-T19 | Sin setter/proxy en ABI/source; cambios de control/contrato exigen bootstrap. Migración operativa pendiente. |
| AN-T20 | Pendiente receiver/implementador/operadores independientes. |

El conteo EVM es 34 casos más dos checks de contexto; no equivale a «20/20
escenarios de red cerrados». Los casos de artefactos y schema llevan conteos
separados en manifest/status. AS01 conserva 97+37 y P1 135.

## Avance NB01-F01 sin cambiar el contrato AN01

[NB01-F01](https://xcim.org/standardization/nb01/README.md) concreta bootstrap autenticado por administradores
del receiver, collector Bor/Heimdall, TLS con pin y node floors SQLite. Tiene
código y tests con wire sintético/TLS real, sin nodo Amoy instalado ni admitido.
La [frontera de confianza](https://xcim.org/standardization/nb01/CONTRACT.md) distingue el issuer del receiver
admin, API por altura H, estado por hash y consenso delegado al nodo admitido.
No convierte NodeView en synthetic_node_view de AN01 ni habilita Proof. Faltan
integración AN viva, provisioning/provenance/runtime/consenso/checkpoints reales,
operación y revisión/interop externas. Los gates M/O siguen abiertos.