DOCUMENTACIÓN / MAPA VERIFICABLE DEL PROTOTIPO 0.2
Mapa verificable del prototipo 0.2
Estado de ejecución
24 PASS · 0 FAIL · 0 ERROR · 0 BLOCKED. Repetición #9 correcta: 23 comprobaciones de fase 0.2 y un control, más 17 testigos iniciales y 7 comprobaciones del controlador. La ejecución #8 conserva un ERROR A04 por carrera de limpieza; la corrección está documentada y probada. Las garantías completas y el enlace con SV permanecen abiertos. La mención a candidato corresponde al estado de entrada del documento. Consultar resultados por testigo.
Fecha: 6 de septiembre de 2026. Contrato: 0.2. Estado inicial: fuentes candidatas; toda columna de prueba requiere resultado de ejecución propio.
Matriz requisito–mecanismo–oráculo
| Obligación | Mecanismo en `prototipo-v02/src/main.rs` | Prueba en `herramientas/fase02.py` | Alcance |
|---|---|---|---|
| Sensibilidad ante A05 histórico | Prototipo 0.1 conservado | NA05-baseline | Contraejemplo detectado, no reparación del histórico |
| Progreso ante un lector lento | remaining, read_all, write_all, admit | A05-positive | Una conexión lenta y otra legítima |
| Admisión y control reservado | Contadores 4/2 y socket local protegido | A05-capacity-control | Conexiones ocupadas; no caída total del receptor |
| Cancelación previa | Marca persistente identificador–huella | A07-before, A07-restart | Cancelación idempotente, sin afectar petición independiente |
| Compromiso irreversible en el ensayo | Transacción y consulta de efecto | A07-after | No reversión automática |
| Ligadura de contenido | Huella de petición completa | A07-binding | Una huella ajena no cancela otra |
| Autoridad distinta de datos | Firma de control y canal propio | A07-authority | Una instalación sintética, no política multidominio |
| Control durante caída del bus | Socket Unix independiente del bus | A07-offline | Cancelación local; sin entrega por bus caído |
| Revocación tras validación | Barrera before-tx y transacción | I08-revocation | Carrera instrumentada y acotada |
| Cancelación tras validación | Misma barrera y marca persistente | I08-cancellation | Carrera instrumentada y acotada |
| No cancelar falsamente durante compromiso | Bloqueo de escritura y BUSY tipado | I08-commit | Reintento declara efecto comprometido |
| Integridad de peticiones y recibos | Firma, cifrado y ligadura | I01-tamper, I02-fabricate, I06-receipt, I09-contract | No prueba criptográfica general |
| Deduplicación y revisión | Una transacción, identidad y huella | I03-replay, I03-concurrent, I07-order | No orden causal general |
| Recuperación | SQLite y reintento identificado | A02-recovery, A06-transaction | Terminación de proceso; no pérdida de alimentación o rollback |
| Crecimiento lógico acotado | 64 efectos y 64 cancelaciones | A05-quota | No cuota física total de disco |
| Confidencialidad observada | Separación de UID, cifrado y claves | C04-C06-bounded y A05-capacity-control | Capturas y archivos examinados; no volcados completos |
| Coste y captura acotada | 40 operaciones, 5 de calentamiento | P02-measurement | Loopback alojado; medición completa incluye sellado y apertura |
Mapa de impacto y de ausencia de integración
| Objeto | Responsable técnico | Estado en este prototipo | Consecuencia para el núcleo |
|---|---|---|---|
| Plazo, admisión, cancelación, estado material | Frontera y entorno de ejecución | Realización experimental sometida a la matriz anterior | No requieren por sí solos nueva semántica SV |
| Identidad, versión, procedencia, correlación y diagnóstico | Contrato de frontera | Protocolo sintético v2 | Su futura correspondencia con el contrato SV debe especificarse y probarse |
| Estado 0/1/U, vector plano, b≥3 y n=b² | Lenguaje y núcleo | No ejecutados aquí | Ninguna afirmación de cobertura nuclear |
| OP-IMM-001, 27 parámetros y agrupaciones propias | Dominio de Inmunología | Referencia de presión arquitectónica; no cargada | Retorno acotado y representabilidad todavía pendientes |
| Ciberseguridad inteligente | Unidad de dominio | Semilla con ejecución diferida | El ensayo del bus no constituye su operación falsadora |
| Cobertura, facultades y composición de agentes | Contratos de agente recibidos | No constituidos por este prototipo | No se infieren mediante nombres, claves o rutas |
| IA consejera y fuente externa | Capa auxiliar bajo autoridad experta | Sin modelo ni API de IA | No asigna Tri, no cierra U ni emite consejo |
| Servicios y adaptadores externos | Periferia justificada por necesidad | Cero servicios remotos durante ejecución | No deben incorporarse al núcleo por conveniencia |
La inferencia, relleno, reordenación y reparación silenciosa permanecen prohibidos por los Pilares. La obligación de conservar contratos de dominio y agente permanece abierta en su sede: un protocolo sintético no los sustituye.
Estados que el dictamen debe mantener distintos
IMPLEMENTADO_Y_PROBADO_EN_EL_ALCANCE: sólo tras resultado identificado.IMPLEMENTADO_PENDIENTE_DE_PRUEBA: fuente sin observación material suficiente.COMPROBACION_PARCIAL: observación concreta con exclusiones.FALLO_REPRODUCIDO: incumplimiento con evidencia conservada.NO_IMPLEMENTADO: ausencia de mecanismo.FUERA_DEL_ALCANCE: exclusión expresa sin atribución de garantía.
Obligaciones que permanecen abiertas
La disponibilidad de datos no puede mantenerse a través de un único bus que decide no entregar. La fase ensaya control local y recuperación, sin afirmar continuidad indefinida ni escoger una topología definitiva. Tampoco acredita aislamiento entre participantes, raíz material frente a privilegios superiores, residuos completos, cuotas de CPU/disco de larga duración, PC físico, Windows, ARM, LAN, integración WASM/.NET/FFI, ejecución algebraica ni agentes.
La salida hacia el trabajo nuclear deberá identificar cada requisito realmente observado, su responsable y su evidencia. Sólo una insuficiencia universal demostrada puede justificar una propuesta de cambio nuclear; los mecanismos de infraestructura permanecen en su estrato. La elección concreta de la frontera y del entorno operacional continúa sometida a contraste.