Contrato de consumo documental CYB y evaluación de soporte

RETP-107 · 09/09/2026 · candidata del Lenguaje, fila 9. Continuación autorizada por Juan Antonio Lloret Egea. Base examinada: 60bfdf44b2391d2a8bf85a4b37791a6dabd300c8, árbol fdea9fca8bb6c41064d2c5c90a0e6441c3859688, PR #87 sin integrar. Se conservan el relevo CYB 169af16d05ffc954454bb5528ec106e5752b7016, su constitución b3aa3f01c825bf6440e3f04aadc87cc7c7ee6d89 y los once originales de RETP-106. Se han consultado AGENTS, Pilares, perfiles, tabla rectora, RETP-105/106, LIG y los registros de laboratorio 018/020 en su corte identificado.

1. Problema que se resuelve

RETP-106 enlaza los datos mediante LIG, pero la definición OP es un literal sintético: no identifica la regla realmente aplicada por el observador. Esta candidata reemplaza ese literal por una definición comprobable de consumo documental y liga los bytes exactos del consumidor y de sus reglas. El banco D/AG sigue siendo sintético: este cambio no constituye el dominio, el agente ni una operación productiva OP-CYB-001.

La sede es contrato externo comprobado por el banco, con integridad y referencias LIG verificadas por el núcleo existente. La selección y aplicación de la regla se comprueban fuera del núcleo. No se añade una palabra de la DSL, tipo de IR, evaluador profesional en sv_core, permiso R1, transductor ni Frame. La ejecución externa queda identificada como tal y no se presenta como segunda semántica SV.

2. Contrato previo a la ejecución

tests/retorno_cyb/consumidores.json fijará identidad, versión, fuente, módulo de reglas y módulo consumidor por SHA-256, así como un inventario cerrado de selectores: P25…P32, las seis clases CT y los campos discriminantes SI. No contendrá identificadores de estados, respuestas esperadas por caso ni código recibido de una fuente viva. Los selectores se derivan de los datos de entrada y de la consulta del par, nunca de su respuesta esperada.

Cada artefacto OperationDefinition declarará el selector, la versión exacta, las referencias de los dos módulos y la variante de entrada. Sus bytes se conservarán en ValidatedBindings. Los módulos serán artefactos de prueba identificados; LIG custodia sus bytes sin ejecutarlos ni autenticar su autoridad.

El consumidor externo deberá:

1. Recibir una definición idéntica a la fijada por el contrato y comprobar los bytes de ambos módulos antes de cargar el módulo de reglas. Sólo se ejecutarán esos bytes capturados; no se evaluará una ruta o texto arbitrarios recibidos del informe.
2. Obtener la carga desde las referencias exactas del contrato validado, comprobando que la recuperación publicada coincide. F0 consume procedencia; HS consume exclusivamente S declarada. No buscará datos por identificador de caso en los originales.
3. Rechazar H para el consumo que exige la distinción suprimida con INFORMACION_INSUFICIENTE, antes de aplicar la regla. Éste es un resultado técnico del banco, no Tri.U ni un resultado de dominio.
4. Comprobar que parametro o clase coincide con el selector fijado, o que el campo SI consultado existe. La extracción SI sólo recupera ese campo; no interpreta el expediente entero ni certifica legitimidad.
5. Aplicar las reglas externas ya recibidas en RETP-106, sin cambiar sus decisiones. Sus cadenas de resultado mantienen el estatuto documental de los anexos; no son constructores de Tri, CheckResult, Permit ni consejo.

Toda entrada JSON usa el lector documental estricto, incluidos manifiesto, definición de operación, carga recuperada e informe. Las magnitudes exactas conservan sus cadenas y comparación sin coma flotante. El manifiesto y los módulos quedan fijados antes de utilizar la salida de Rust como evidencia. La huella prueba identidad de bytes; no prueba corrección científica de la prosa, autoridad institucional ni autenticidad remota del emisor.

3. Refutadores fijados y aceptación

Se conservan los 186 contratos, los 78 casos completos, los 18 pares y sus esperados originales. Se requieren 150 respuestas documentales coincidentes (78 más 36 F0 y 36 HS), 36 rechazos explícitos de H y conservación de la igualdad de los dos contratos H de cada par. Las cuatro entradas nativas conservan su prueba; esta campaña no se atribuirá a WASI/navegador.

Además de las guardas anteriores, deberán rechazarse con causa diferenciada: definición de operación distinta con sus huellas recalculadas; regla distinta con referencias coherentemente actualizadas; consumidor distinto; selector incompatible con la carga; definición sin versión; H ofrecida como suficiente; HS sin información lateral; petición de una regla no constituida. Cada ataque tendrá un control intacto que vuelva a admitirse. Los ataques a la semántica del enlace deben superar la integridad criptográfica y llegar al comprobador pertinente.

Un módulo de reglas alternativo debe ser rechazado antes de ejecutarse; la prueba utilizará un efecto centinela local inocuo para distinguir rechazo temprano de ejecución seguida de error. La repetición de los 22 mutantes documentales previos conserva su alcance. No se declarará cobertura exhaustiva por contar mutantes.

4. Consumidores profesionales: qué queda decidido y qué falta

La vía pública R1 existente (decide_permit_traced, mediate_traced_permit, execute_traced_mediated, bajo ProtectedDecisionContinuity) conserva su cierre intraproceso. Este expediente no ha constituido la conversión del catálogo CYB a sus autoridades, requisitos, reglas de resolución y efectos. Utilizar cadenas parecidas o un CheckResult fabricado sería una ligadura falsa. La futura correspondencia debe recibir esos objetos de sus sedes competentes y probar su recorrido completo.

5. Cotejo IMM/CYB y DFL-009 en fila 9

PT03/PT04/PT12/PT14 se aplican sin sumar permisos ni garantías. IMM conserva Q0, cuatro salidas y doce SP integradas pendientes; CYB conserva sus resultados y el régimen documental aprobado. Ambos exigen identidad, regla recibida, información lateral declarada y separación entre fallo y resultado. Esa coincidencia justifica reutilizar LIG y el método de prueba; no justifica una regla clínica o profesional común. F0/HS suficientes para recuperación no habilitan ambos consumidores productivos.

La evaluación DFL-009 recibe el registro 018 y el registro 020. Se han leído sus registros; no se ha repetido la campaña ni descargado y revalidado sus paquetes brutos en este incremento. Se mantiene su custodia y acceso originales.

Resultado de evaluación: no hay soporte remoto admitido ni evidencia que obligue a elegir plataforma para este consumo documental. DFL-009 sigue abierta por servicio y garantías materiales; deja de estar meramente diferida: sus alternativas, evidencia reutilizable y brechas quedan examinadas. Los ensayos nuevos, si proceden, se realizarán y documentarán en el laboratorio antes de promover soporte. La fila 9 no se cierra mediante este dictamen.

6. Continuidad y estado previo

Estado de esta primera confirmación: CONTRATO_FIJADO · IMPLEMENTACION_Y_PRUEBAS_PENDIENTES. El siguiente cambio material implementará exclusivamente el enlace de consumo definido aquí y registrará sus resultados sobre la cabeza exacta. No fusiona #87, no constituye otro universo, no modifica README, actas históricas ni el español. DFL-011/012/013 mantienen identidad; Ciberseguridad sigue en pausa. El cierre de este enlace documental no cerrará los consumidores profesionales enumerados en §4, la fila 9 ni el núcleo.

7. Resultado material y sucesión RETP-107

El contrato previo se publicó en c1b75e41f481b7a2c448452512db95530fd1eb25, árbol 03fe3a3cfbcf0f8fdad9e05d6a143eec5b85627c, antes del código. El enlace se realizó en e2140fa717018b4e5e08d93e60ba1b3f9cc9707d; la comprobación local posterior identificó que la sensibilidad aún importaba el módulo por ruta. Se unificó también esa carga con los bytes comprobados en f5a43131c8743867ee039bfe52f1048a52314058, árbol 7f6b333b88ed2da685289cf1cc33494ba181a558. Ésta es la cabeza material final ensayada, PR #88. La cola registral sólo modifica Calidad.

La comprobación preliminar local utilizó un informe sintético derivado del informe anterior; no se cuenta como ejecución nueva de Rust. La evidencia siguiente procede del emisor compilado por Actions sobre la cabeza final y descargado después para repetirlo localmente.

Los ocho ataques al enlace pasan la recomputación de sus huellas para alcanzar el juicio externo, pero no se presentan como ocho nuevas ejecuciones de validate_bindings ni como diagnósticos de sv_core. Los tres ataques nativos a artefactos sí ejercen ArtifactIntegrity. La campaña WASI/navegador mantiene sus sondas anteriores; no ejecuta estos nuevos consumidores CYB.

7.1. Ejecuciones y custodia

Los seis flujos de f5a43131… son conformes: retorno CYB 34350555281, construcción aislada 34350555323, R0 Rust 34350555291, conformidad 34350555329, nativo 34350555311 y paridad anterior 34350555414. Entorno: Rust 1.98.0, Cargo 1.98.0, Ubuntu 24.04, Node 22.23.2 y GNU Coreutils 9.4. No se atribuye a este corte la identidad de un despliegue productivo.

Artefacto descargado 10103518809, ZIP de 678732 bytes, SHA-256 7e8f7dff2e5a34c6cf468a8f54b373a17586087cc98f31909aacc219b05e4293. Se verificaron huella, CRC, rutas y corte; se conserva la retención de Actions de 90 días y la evidencia seleccionada en evidencias/RETP-107/.

El paquete de fuentes contiene 245 archivos Git y dos objetos de inventario. Incluye de forma visible reglas_documentales.mjs y consumir.mjs, como bytes de prueba incorporados por include_bytes!; Rust no interpreta JavaScript. La lista de admisión añade exclusivamente esas dos rutas, no cualquier .mjs. La guía de construcción declara este contenido. El consumidor externo continúa requiriendo Node; sv-native y sv_core/src no reciben esos módulos. Permanecen los 17 archivos Python previos; no se añade ninguno ni se declara su retirada global.

Reproducción desde la raíz del corte identificado:

node tests/retorno_cyb/verificar.mjs --fuentes
cargo +1.98.0 test --manifest-path rust/Cargo.toml -p sv_core --test cyb_reception --offline
cargo +1.98.0 run --manifest-path rust/Cargo.toml -p sv_core --example cyb_reception_probe --release --offline > transporte.json
node tests/retorno_cyb/verificar.mjs transporte.json --autoprueba > verificacion.json
node tests/retorno_cyb/ataques_consumo.mjs transporte.json > ataques-consumo.json

7.2. Dictamen y próximo objeto

ENLACE_DE_CONSUMO_DOCUMENTAL_VERIFICADO_EN_CANDIDATA. Queda subsanada la definición nominal OP del banco: la carga, la regla, el selector y el consumidor están identificados y comprobados en la misma cadena de prueba. La selección no usa resultados esperados ni añade una distinción oculta a H. El emisor produce contratos; el módulo externo consume documentos. La custodia de ejecución sigue confiando en el entorno identificado, no protege frente a un anfitrión comprometido.

Los campos ConstitucionD, AutorD, Phi y Regla siguen siendo sintéticos. En particular, la definición de consumo documental aquí enlazada no completa la constitución de autoridad, captura/admisión profesional ni el contrato de agente. El próximo incremento debe resolver la correspondencia operacional necesaria entre los objetos aprobados CYB y los contratos recibidos por las API disponibles, empezando por identidad/competencia/alcance y su ligadura al consumidor; si requiere una decisión constitutiva ausente, deberá formular exactamente esa pregunta. No se debe copiar la regla profesional al núcleo para fingir que esa correspondencia existe.

DFL-009 queda EVALUADA_DOCUMENTALMENTE_CON_BRECHAS_MATERIALES_ABIERTAS conforme a §5. Su realización no se considera realizada ni dispensada. La integración de #87 y #88 sigue siendo un acto distinto de estas pruebas; ambas candidatas y la fila 9 permanecen abiertas. No se declara completado el regreso técnico total al Lenguaje ni se anticipa la puerta algebraica, K2, la frontera final o el cierre nuclear.

8. RETP-108: frontera entre declaración documental y autoridad

Contrato previo a las sondas, 09/09/2026. Base del Lenguaje e18a794926db07a6ec86d0ae38e6619f41db74eb, árbol b3327d968fe3822dc37e5b67d68ccec18120a66a; PR #88, sin integrar. Se conservan el universo aprobado b3aa3f01c825bf6440e3f04aadc87cc7c7ee6d89 y su relevo 169af16d05ffc954454bb5528ec106e5752b7016. Rigen Pilares, acta de perfiles, tabla rectora y RETP-105–107.

8.1. Correspondencia y límite identificado

La ampliación atómica CYB 0.3, P25–P32 y C11, distingue acto/sesión/principal, emisor/facultad institucional, alcance, tiempo, revocación, separación de titulares y plan. El acta de relevo, §§3, 6 y 10, adopta esas definiciones y declara pendientes la autenticación y autoridad institucional reales. La aprobación del conocimiento no concede permisos materiales a un futuro agente. Tampoco corresponde rechazar evidencia admisible porque describa un acto no autorizado.

La constitución lógica de autoridad existe en T-0; no se confunde esta existencia con una ruta pública de incorporación profesional. AuthorityContinuity::uninhabited() sólo crea una continuidad lógica vacía. El constructor local ConstitutedAuthority::constitute de authority.rs está limitado a pruebas; apply_genesis constituye dentro del núcleo bajo su premisa. Este análisis no afirma que R1 carezca de toda operación ni que un grafo vacío constituya arquitectura CYB.

8.2. Sondas discriminantes comprometidas

Se compilarán clientes externos contra la biblioteca que Cargo haya construido, sin cfg(test) en esa biblioteca. Los clientes usan Rust seguro y la interfaz pública; no insertan código en SVP. Dos controles deben compilar y ejecutarse: datos nominales/documentales con continuidad vacía, y una macro que sólo construye esos datos. Siete intentos deben fallar por la causa indicada:

Cada negativo exigirá exactamente un diagnóstico con código, además del identificador o los tipos pertinentes. Un fallo de herramientas, enlace o importación no satisface la expectativa. Los positivos impiden acreditar una frontera que simplemente rechace todos los clientes. Los errores de las sondas son diagnósticos de Rust, no diagnósticos SVP ni nuevas operaciones del núcleo.

8.3. Alcance y siguiente decisión

Este incremento comprueba barreras existentes: no crea un autenticador, adaptador de autoridad, API remota, dependencia, gramática, IR ni facultad CYB. No cambia requires_destination, BindingContract o los constructores opacos. Las macros de las sondas no requieren una excepción productiva ni justifican prohibir todas las macros. Las pruebas no acreditan confinamiento de cualquier programa Rust, integridad de un núcleo modificado ni seguridad frente a un host comprometido.

La pregunta constitutiva queda delimitada para un futuro enlace productivo: ¿qué objeto aprobado fija la raíz de confianza, los titulares, las facultades y el alcance del agente consumidor, y qué procedimiento admite su evidencia para producir las referencias protegidas y la premisa externa exigidas por R1? La organización competente constituye las facultades; la sede del Lenguaje debe especificar y probar su recepción técnica. No se solicita otra aprobación del universo ni una elección de células. No es necesario resolver un despliegue real para continuar los contrastes documentales.

Hasta que exista ese contrato de recepción, los nombres sintéticos del banco conservan su estatuto y no autorizan actuaciones. La correspondencia de §8.1 precisa el pendiente de §7.2; no lo declara resuelto ni bloquea por extensión toda la fila 9. La anotación sobre campos no declarados del observador G/H ya está incorporada en e18a7949, dentro de DFL-001; no se reabre ni duplica.

Estado inicial: expectativas comprometidas; sondas todavía no ejecutadas. Los resultados se añadirán por sucesión, con corte y ejecución propios.

8.4. Resultado material y custodia

El contrato previo quedó comprometido en a0f04807c10cfa7ac56886039ba8a38f9943c88f. La realización comprobada es 6899f58be5d37f5cb130b71ab65d33b5c06f5229, árbol 541d0871affb964e63e3715ea0f437f884b8e6d1. Añade únicamente rust/sv_core/tests/cyb_authority_boundary.rs y su ejecución explícita en el flujo CYB; no cambia sv_core/src, gramática, IR ni biblioteca de producción.

Las nueve sondas superan el trabajo 102569797088: dos clientes ordinarios compilan y se ejecutan; los siete intentos se rechazan por los códigos y sujetos comprometidos en §8.2. Son siete casos y cuatro códigos diferentes, no siete causas nominales distintas. Las macros de datos están admitidas; las dos macros que intentan construir referencias o premisas privadas no evitan la barrera.

El trabajo aislado 102569801311 repite esas nueve sondas dentro de 369 pruebas Rust correctas y cero fallos, con Rust/Cargo 1.98.0, Cargo offline y el contenedor sin red, Python ni Node. Los extractos conservados identifican sus límites; no son el registro completo. El SHA-256 del paquete de fuentes consignado por ese trabajo es 5d5d3a64fc4ce46eb248777f26240e1c93791d567eabee81b3531f447d905886; esta huella procede del registro remoto y no se presenta como recálculo local del paquete.

Correcciones del banco conservadas. El primer intento, 581145dc… / ejecución 34381953464, falló por E0463 al no localizar la biblioteca; no acreditó ningún rechazo. El segundo, b9058ffe…, superó las nueve sondas en el trabajo CYB, pero su ejecución aislada 34382100072 tuvo siete negativos correctos y dos controles positivos que compilaron sin poder ejecutarse en /tmp. El corte material final fija la ruta de una única biblioteca ordinaria y conserva los binarios de prueba en la salida de Cargo. No se modificaron las expectativas, la privacidad, la premisa ni las restricciones del contenedor para conseguir el resultado.

Custodia descargada. Artefacto CYB 10116340925, ZIP de 681213 bytes, SHA-256 recalculado e92a54a45fa623414a3928b4252e9a1315a51ffc5d88b95723f48f0b4c935e70, CRC de once entradas correcto y commit/árbol coincidentes con el corte material. El registro íntegro de las sondas, herramientas, extracto aislado, metadatos y huellas están en evidencias/RETP-108/. El binario emisor (7037714f…), el transporte (0c3aff2b…) y su informe (f3da8ae7…) mantienen las huellas completas de RETP-107: 186 contratos y recálculos, 150 respuestas y 36 insuficiencias H. No se han vuelto a interpretar las reglas CYB ni se ha producido un permiso.

Reproducción desde la raíz, con la herramienta declarada:

cargo +1.98.0 test --manifest-path rust/Cargo.toml -p sv_core --test cyb_authority_boundary --offline

La prueba externa usa la biblioteca de Cargo sin cfg(test) y clientes con forbid(unsafe_code). La búsqueda de biblioteca rechaza ausencia o ambigüedad. No se atribuye esta política de los clientes a todos los archivos del repositorio ni se presenta como confinamiento material. Esta ejecución Rust se ha realizado en Actions; la inspección local comprobó los artefactos y sus huellas, sin afirmar una compilación Rust local independiente.

Dictamen acotado: FRONTERA_PUBLICA_DE_AUTORIDAD_VERIFICADA_EN_CANDIDATA. Se acreditan las barreras examinadas; sigue pendiente el contrato de recepción profesional de §8.3. La integración, la fila 9 y el cierre nuclear permanecen abiertos.

Comprobaciones de candidata: seis flujos conformes para el corte material: CYB 34382276159, aislado 34382276114, Rust 34382276118, conformidad 34382276131, nativo 34382276172 y paridad 34382276135. La paridad utilizó la fusión de prueba cb1d947b9eaa5db8060856276eda4616ba268c17, cuyo árbol se cotejó con el material y es idéntico. Su primer trabajo 102569797162 falló al recoger PENDIENTE en el navegador LIG; el segundo 102570777159 superó la campaña sin cambios de commit ni aserciones. Se conserva la incidencia y no se declara corregido en general el mecanismo de espera del navegador. La paridad conserva su corpus anterior: no se atribuye ejecución WASI/navegador a las nuevas sondas de compilación Rust ni al consumo CYB externo.

9. RETP-109 — Precedencia del contrato diagnóstico ES/EN

El Director ha situado la revisión diagnóstica antes de vincular la recepción profesional con las referencias protegidas de R1 y antes de aprobar la candidata. El contrato de diagnóstico estructurado, procedencia y presentación ES/EN fija ese alcance: identidad y causa invariantes, explicaciones según perfil y ambas en ensamblaje mixto, contexto ligado a los bytes originales y ninguna autoridad derivada de la prosa.

La caracterización de trece casos y 26 ejecuciones sobre los binarios identificados de 26ebc9f demuestra la carencia actual; no realiza su corrección ni repite las sondas de §8. DG01–DG14 y la migración versionada de los oráculos permanecen pendientes. La pregunta de recepción profesional de §8.3 conserva su sede y contenido. El siguiente incremento concreta los emisores y realiza la estructura, procedencia y presentación antes de retomar ese enlace. Fila 9 y PR #88 siguen abiertas; este asiento no modifica R1 ni autoriza actuaciones.