DOCUMENTACIÓN / PENDIENTES Y HALLAZGOS
Pendientes y hallazgos
Evidencia pública verificable · 8 de septiembre de 2026
El paquete de verificación se consulta sin acceso privado. El panel conserva 55 PASS, 1 FAIL, 1 BLOCKED y 1 ERROR. La conciliación de #8 enumera aparte sus 16 PASS y 1 ERROR; no vuelve a sumarlos al panel. Especificación, manifiesto, verificador y límites.
Continuación documental · 020
El perfil tecnológico candidato parte de los contratos y las pruebas 0.2, 016 y 018. Distingue evidencia heredada y enlace pendiente con SV, y conserva la secuencia de cierre nuclear. Consultar la candidata y sus 14 obligaciones.
Continuación material · 018
La comparación local .NET/FFI y WebAssembly ya está ejecutada: paridad de 79 casos, 36000 muestras y contención de fallos. La integración completa con el bus y R1 sigue pendiente. Los estados anteriores se conservan como antecedentes. Ver resultado, costes y límites actuales.
Estado abierto de los límites que condicionan el siguiente trabajo.
| Frente | Estado | Qué falta |
|---|---|---|
| Disponibilidad del plano de datos | Límite estructural abierto | Se supera una conexión lenta y se reserva control local bajo cuatro lectores ocupados. Un bus único que no entrega permanentemente impide la disponibilidad de datos; falta decidir topología y condiciones operacionales. |
| Cancelación y autoridad | Comprobación experimental parcial | Cancelación previa, posterior, persistente, ligada al contenido y por canal independiente comprobadas. Faltan gobierno de producción, claves y permisos por participante y dominio. |
| I07 · Orden causal general | No representado | Una revisión transaccional rechaza inversión y conflictos de identidad. No representa precedencia general ni composición de operaciones SV. |
| I08 · Validación y compromiso | Carreras instrumentadas superadas | Revocación y cancelación entre validación y transacción; BUSY durante compromiso. Falta integración con la frontera SV real. |
| C04–C06 · Confidencialidad completa | Comprobación parcial | Canarios y claves ausentes de las capturas y salidas examinadas; control protegido por UID. Faltan volcados, residuos y aislamiento entre múltiples participantes. |
| Presupuestos físicos | Cuotas lógicas comprobadas | 4/2 atenciones, 64 efectos y 64 cancelaciones; capturas y líneas de observación acotadas. Faltan CPU, bytes físicos de almacenamiento, equidad y carga prolongada. |
| Hardware, núcleo y dominios | .NET/FFI y WASM ensayadas de forma acotada; resto pendiente | PC físicos, Windows, ARM, LAN; raíz de confianza, corrupción y retroceso de almacenamiento. Contratos SV, OP-IMM-001, ciberseguridad, agentes e IA siguen en sus sedes; .NET/WASM/FFI no se seleccionan aquí. |
| Enlace con ejecución gobernada SV | CONTRASTE_DOCUMENTAL | Nueve pares de criterios CS01–CS09 sin ejecución. Firma, deduplicación y revisión experimental no sustituyen mediación, acumulación y continuidad SV. |
| Autonomía de construcción, ensayo y custodia | DEUDA_IDENTIFICADA | Reproducción sin programación de Actions, dependencias conservadas y restauración fuera del proveedor no acreditadas. Sin migración. |
Consecuencia material
La fase 0.2 ensaya cancelación autorizada y cotas lógicas en una instalación sintética. Sus resultados no acreditan continuidad indefinida, cuotas físicas completas ni seguridad entre todos los participantes. Un hallazgo de este prototipo tampoco demuestra una infracción del núcleo SV, que no interviene en estas pruebas.
Equipos y plataformas
No se han medido PC físicos de usuario, Windows, ARM ni cliente/servidor LAN. Los límites de una máquina alojada no sustituyen esos equipos. Cada ejecución futura requiere su entorno identificado y evidencia independiente.