Alcance. Esta página describe propiedades verificadas de la realización bilingüe publicada; no amplía las garantías más allá de la evidencia indicada.

1. Identidad computacional

SVP-ES y SVP-EN son dos perfiles fuente explícitos de una misma realización. Las grafías constitutivas se resuelven antes del análisis sintáctico y convergen en las mismas identidades canónicas, el mismo analizador, la misma IR y la misma semántica.

2. Cobertura de los perfiles fuente

154/154identidades canónicas del catálogo cubiertas
297grafías distintas en la unión ES/EN
11formas compartidas por ambos perfiles
12/12fuentes EN de cruce rechazadas bajo ES
12/12fuentes ES de cruce rechazadas bajo EN

Las formas compartidas conservan una única identidad canónica. Las grafías exclusivas de un perfil no se reinterpretan como la forma constitutiva equivalente bajo el otro perfil.

3. Ensamblaje multifuente

La realización publicada admite dos unidades .svp con perfiles fuente independientes. Cada unidad se analiza bajo su propio perfil; no se concatenan textos ni secuencias léxicas. Las representaciones canónicas se integran y la bienformación global se valida después de la unión.

Las combinaciones EN+EN, EN+ES, ES+EN y ES+ES fueron admitidas en la batería positiva; perfil incorrecto, identificador global duplicado y sintaxis partida entre archivos fueron rechazados.

4. Regresión de la realización

El corpus diferencial vigente contiene 79 casos: 12 válidos y 67 inválidos. La regresión B2 preservó la equivalencia diferencial de R0 sobre esos casos y la paridad nativa/WASI/navegador. Los diez criterios técnicos comprobados de R1 conservaron sus resultados dentro del alcance ensayado. Tras el cierre correctivo de DFL-007, R1 quedó revalidado sobre la base R0 corregida y R2 recuperó su estado abierto; esta situación no constituye cierre de R2.

La identidad del WebAssembly de navegador se fija por tamaño y SHA-256 en el manifiesto de construcción de esta distribución.

5. Límites

Acta de Calidad de cierre correctivo B2 y restauración de continuidad.