Cierre del corte y obligaciones que permanecen
Este expediente cierra la comprobación nativa de una ampliación diagnóstica de las fronteras candidatas RETP-154. La adenda de ciberseguridad, las dos fases completas y el paso 6 global tienen un alcance mayor. No se declara su cierre por agregación de pruebas parciales.
Correspondencia con la adenda y las dos fases
| Obligación | Evidencia de este corte | Estado y sede restante |
|---|---|---|
| Origen y autoridad diferenciados | Acto/emisor/versión contrastados; instalación interna; clientes no pueden construir premisa ni instalar comparador | Conforme en candidata sintética. Falta productor material de premisa externa y verificadores profesionales en recepción R1 |
| Conservación del contenido | E2E01–08: referencia exacta instalada, custodia y rechazo de negación alterada, omisión, sujeto cambiado, instrucción añadida y valor sustituido | Conforme para igualdad exacta; no acredita fidelidad semántica general ni todo A–L |
| Identidad y versión | RG07–10 distinguen emisor, versión y acto; cápsula y binarios identificados | Falta acreditar cadena completa de identidad de corpus/reglas/componentes del servicio real |
| Estados diferenciados | Vacío presente, observación ausente, contenido refutado y error técnico siguen separados; errores localizados | Falta integración de negativa del proveedor, esquema, no admisión y avería de canal en todo el flujo |
| Confidencialidad y finalidad | Mensajes técnicos estáticos sin interpolación de datos recibidos | No acredita destinos autorizados, no interferencia ni aislamiento material P4 |
| Continuidad y revisión humana | Fuentes, eventos, resultados, versiones, encargo y pendientes conservados | No se ha ensayado caída/recuperación duradera ni interfaz profesional; revisión externa pendiente |
Las fases ejecutadas aquí son: primero recepción/comparación legítimas y después contrastes negativos de ese mismo recorrido. La premisa usada es for_test. El esperado no llega como argumento del proponente a run_diagnosed.
Contrato diagnóstico global DG01–DG14
| Compuerta | Estado global tras RETP-157 |
|---|---|
| DG01 · Admisión y semántica ES/EN | No acreditada por este corte; se conserva la regresión unitaria heredada, sin campaña completa de perfiles |
| DG02 · E004 | Pendiente: CompileError::InvalidProgram(String) permanece en el compilador |
| DG03 · E115 | Pendiente: sus causas y relaciones no se han migrado aquí a diagnóstico estructurado |
| DG04 · EOF por unidad | Pendiente de ubicación original en el frontend |
| DG05 · Token de perfil ajeno | Pendiente de diagnóstico sin marcador interno y contexto original |
| DG06 · Ensamblaje mixto | Pendiente de causalidad y presentación con ambas unidades |
| DG07 · Referencias entre unidades | Pendiente de procedencia por índice, incluso con nombres iguales |
| DG08 · Spans originales | Pendiente de offsets UTF-8, EOF, CRLF/LF y tabuladores; el comparador de bytes no sustituye esa prueba |
| DG09 · Canal y perfil | Pendiente de integración completa; aquí se conserva error técnico distinto de NotVerifiable y de Tri.U |
| DG10 · Fallo de presentación | Tablas de las 20 causas comprobadas; no se ha ensayado el canal global de plantillas ausentes/corruptas |
| DG11 · Presentación segura | Mensajes locales estáticos sin interpolación. Falta comprobar todos los consumidores del compilador |
| DG12 · Contexto mínimo autorizado | Estos mensajes no contienen acto/contrato/observación. Falta política de contexto de los consumidores reales |
| DG13 · Decisión independiente de prosa | Comprobada en las dos fronteras candidatas. Falta cobertura global de consumidores |
| DG14 · Nativo/WASI/navegador | Nativo comprobado; WASI y navegador no ejecutados para esta candidata |
Las claves RG.* y OC.* son locales al contrato RECEPTION-DIAGNOSTICS/1. No renumeran el catálogo canónico v0.3. El error interno de T-0 se conserva tipado dentro de ReceptionError::Genesis; su localización exhaustiva anidada permanece fuera de este corte. ForeignBinding conserva el alcance conjunto de pertenencia/aplicabilidad; no afirma haber identificado cuál de todas sus subcondiciones falló.
Relevo concreto
- Continuar la migración desde los emisores del compilador, empezando por E004/E115 y procedencia por unidad, con inventario completo antes de cambiar ese alcance. Integrar las causas en los adaptadores nativo/WASI/navegador bajo el contrato diagnóstico vigente.
- Completar el recorrido profesional únicamente cuando estén materializados la admisión de premisa y los verificadores exigidos; no volver a pedir a Juan Antonio que diseñe el mecanismo Rust ni deducir facultades de un nombre.
- Recibir la reproducción de otro proveedor con el encargo adjunto. No está ejecutada ni puede acreditarse mediante una captura local renombrada.
- Mantener las compuertas P3, P4 y P5 y sus presupuestos. La aprobación conceptual y las luces verdes de trabajo no sustituyen sus pruebas específicas. La fila 9 ya se abrió y se continúa según su sede; no se reinicia.
Responsabilidad de preparación y custodia de este corte: Watson. Aceptación final y autoridad de alcance: Juan Antonio. No se promueve esta cápsula a núcleo productivo ni se declara una nueva facultad de agente o dominio.