Alcance. Esta página documenta controles observables de Beta B2. No constituye una certificación general de seguridad ni implica su incorporación a la versión estable.
1. Identidad y ejecución
| Beta | B2 · experimental · no incorporada a la versión estable |
|---|---|
| Versión de referencia | f6b704e819e7d08589f00e9e3f9550deab21d0b1 |
| Gramática | 0.2 |
| IR | 0.3 |
| WebAssembly esperado | 03a958e5c24a23aebfab6d68aaa24e40d83085127b7a2bc7d23fd27a27ac6e03 · 377812 bytes |
La compilación y el ensamblaje se ejecutan localmente en el navegador mediante WebAssembly. Antes de instanciar el módulo, la interfaz calcula su SHA-256 y comprueba también el tamaño declarado; una discrepancia impide su inicialización.
2. Perfil fuente y separación lingüística
- La selección de perfil es explícita:
esoen. - No existe autodetección de idioma.
- Cambiar el idioma de la interfaz no puede modificar la fuente ni los perfiles activos.
- Cambiar el perfil fuente no traduce ni altera los bytes del programa.
- SVP-ES y SVP-EN se interpretan antes del análisis sintáctico común y utilizan las mismas identidades internas.
3. Controles de la interfaz
- La política de seguridad de contenido restringe scripts, estilos, conexiones, imágenes y fuentes al propio origen, salvo las excepciones expresamente necesarias para WebAssembly y datos embebidos.
- La fuente admitida por la interfaz está limitada a 1 MiB por unidad.
- La decodificación de resultados UTF-8 se realiza en modo fatal: una secuencia inválida no se sustituye silenciosamente.
- La interfaz calcula SHA-256 de la fuente actual y contrasta, cuando existe, el
source_sha256devuelto por la compilación. - La descarga de una fuente conserva su texto; no ejecuta traducción ni transformación automática.
4. Ensamblaje de archivos
B2 mantiene dos unidades fuente con perfiles independientes. No concatena textos ni secuencias léxicas entre archivos. Cada unidad se analiza bajo su propio perfil y la validación conjunta se realiza después de integrar ambas representaciones en una única IR.
5. Límites conocidos
- B2 sigue siendo una versión experimental pública y no una versión estable.
- La seguridad del navegador, del alojamiento estático y de la cadena de entrega externa queda fuera de la semántica del compilador.
- La seguridad visual Unicode en cadenas, comentarios y otras formas de presentación no se declara resuelta.
- La existencia de dos unidades en la interfaz B2 no acredita todavía una infraestructura general de proyectos o un número arbitrario de módulos.
- Los controles aquí documentados no sustituyen una revisión de seguridad previa a cualquier incorporación a la versión estable.