# Dependencias pendientes de AS01-F01

La adopción A1–A6 resuelve dirección de D04–D06; G04–G06 siguen parciales.
Schemas/fixtures no cierran M/O ni habilitan `XCIM_PASS`.

| Dependencia | Qué aporta AS01-F01 | Qué falta / criterio de cierre |
|---|---|---|
| Trust bootstrap y recovery real | Quórum sintético distinto por raíz/recuperación; manifests y artefactos de transición firmados. | Distribución/instalación autenticadas, continuidad entre raíces y resync durable. Ensayo de compromiso/pérdida/recuperación sin resetear floors ni aceptar claves autodeclaradas. |
| DNS/dominios y posesión/actor | Estado firmado de dominio y commitment TEST ONLY; schema de posesión. | TXT/payload/observador/política exactos, consultas reales, desafíos de un uso y solicitudes autenticadas. Pruebas de transferencia, replay de challenge y autoridad del revocante. |
| Anclaje AS / C7 | Checkpoint compuesto firmado con raíces reales de fixture; slot de anchor null. | ABI, contrato/código, genesis, red, firmante y finality exactos; verificador de receipt/evento/variantes/reorg/RPC. Una nueva rama cerrada/schema para EvidenceSet; null nunca es una proof. |
| Permiso y P1 de extremo a extremo | Receipt/batch/evento/sparse WD, MSA P1 y contexto exactos verificados offline; negativas de permiso. | Completar lifecycle de permiso bajo AS, algoritmo/compatibilidad legacy; integrar RBA/MP/DKIM y Proof sólo después de verificar todas sus aristas, sin flags. |
| Floors y operación del productor | Candidato de floor, rechazo de rollback/terminal conocido y proyección AS reproducida. | Persistencia/transacciones y protección contra pérdida del store. Productor con snapshot atómico permiso/autoridad; firmas no prueban atomicidad real. |
| Frescura operacional | Límites/bordes temporales y cero-eventos comprobados con reloj fijo. | Renovación continua y fallos concurrentes durante ventana/carga declaradas; medir finality dentro de 300s y propagación p99/máximos. 300s/60s/24h/120s siguen sin medir. |
| Transporte, escala y MX | Límites offline, origins acotados y full-prefix histories de ensayo. | Cliente SSRF/DNS rebinding/redirect/compresión protegido; proofs compactas y coste medido. Store de nonce y aceptación SMTP atómicos entre MX, reintentos, pérdida de 250 y deadlines al commit. |
| G07/G09–G12 | Dispatch específico y códigos locales de fixtures. | Tuples/versiones históricas, tipos/namespace/registros, política de firmas/releases y mapeo/precedencia de resultados completos. |
| G14/G15 | Contraste Node parcial sin importar helpers Python. | Auditoría criptográfica/privacy externa y sender/receiver de equipos distintos; dos lenguajes del mismo trabajo no acreditan independencia. |
| G17–G20 | Documentación/sources y release reproducible pública. | Autoría/derechos/categoría/nits y discusión autorizada. Sin envío/contacto IETF ni registro IANA en esta entrega. |

## Relación con AS-T01–T24

Los 24 escenarios del diseño eran un plan, no 24 resultados prometidos de
conformidad. Los casos nuevos tienen IDs descriptivos en `vectors/cases.json`:

| Plan AS | Cobertura offline / límite |
|---|---|
| T01–T07 | Firmas/quórums/scopes/epochs/estado exactos, MSA o MP revocadas, terminal y cambio de app; no recuperación o rotación online completa de operadores. |
| T08 | Schema de posesión/commitment de observación. DNS real y consumo atómico del challenge siguen pendientes. |
| T09–T11 | Ausencia/missing, siblings/locator/roots, permisos/autoridades de otro corte y firmas alteradas. |
| T12 | Construcción coherente del fixture y proyección. Concurrencia real del productor no implementada. |
| T13–T18 | Expiración/reloj/budget/renovación, firma separada, conflictos/floors; no ACK/HTTP/store productivo. |
| T19 | Artefactos de transición/recovery válidos y negativos; recovery exige resync, no instala autoridad. Compromiso real de raíz y canales pendientes. |
| T20 | Conflicto y cuarentena dados por contexto/floors del fixture. Detección distribuida de split views pendiente. |
| T21 | Evidencia de anchor no implementada: una afirmación JSON se rechaza, sin probar ningún reorg/red/evento on-chain. |
| T22 | Floor perdido/no disponible rechaza en fixture; persistencia durable real pendiente. |
| T23 | Límites offline/origin spelling. No hay fetch HTTP, DNS rebinding ni descompresión implementados. |
| T24 | Fuera del checker: SMTP/nonce/MX y transacciones siguen en G16. |

Resultados positivos: sólo `AS01_AUTHORITY_FIXTURE_OK` o artefacto de rotación
de prueba, ambos con `can_assert_xcim_pass=false`. La recuperación devuelve
`AS01_RECOVERY_REQUIRES_RESYNC` y no instala nada. Una negativa de fixture es
una comprobación local, no un nuevo código registrado del protocolo.

## Estado anterior AN01-P01 (histórico)

[ABI/genesis/red/finalidad](https://xcim.org/standardization/anchor-adapter/CONTRACT-PROPOSAL.md) ya tienen
alternativas, recomendación y gates N1–N6, todavía sin adoptar. Sus checks son
de representación ABI (no escenarios EVM/red). Faltan source/compilación,
schemas y firmas de intent/deployment/evidencia, pins/bootstrap reales,
verificador receipt/código/estado al mismo bloque finalizado, nodo/consenso,
floors persistentes y medición. C1/C7 requieren revisión nueva; F01 conserva
`anchor_evidence: null` y no acepta objetos anchor. Ningún check de propuesta
habilita `XCIM_PASS` ni cierra G06-M/O.

## Concreción AN01-F01 tras adoptar N1–N6

[N1–N6 adoptadas](https://xcim.org/standardization/source/ACCEPTED-N1-N6.md), [contrato y schemas AN01](https://xcim.org/standardization/an01/README.md)
y [dependencias/cobertura](https://xcim.org/standardization/an01/DEPENDENCIES.md). Se ejecuta bytecode local,
no finalidad Amoy. AN01 usa nuevos IDs y envuelve C1/C7 F01 sin cambiar sus
schemas: anchor null permanece obligatorio dentro de la evidencia AS01. Falta
verificador vivo del perfil, bootstrap/floors/nodo/operación/SMTP y review/interop.