Historial Beta del Lenguaje SV

1. Regla de registro

Cada Beta pública significativa conserva una identidad independiente de los números de Gramática e IR. La serie B1, B2, B3… identifica versiones experimentales y no sustituye el versionado normativo del Lenguaje.

Una Beta puede estar desplegada y ser técnicamente funcional sin estar integrada. Sólo una incorporación documentada puede relacionar una Beta concreta con una versión estable de producción.

2. Beta B1

Evidencia material de B1

• 154/154 identidades del catálogo cubiertas.
• 19 pares de fuentes válidas ES/EN con carga semántica equivalente y procedencia distinta.
• Rechazo cruzado 12/12 EN→ES y 12/12 ES→EN.
• Selección cerrada de perfil, sin autodetección.
• 0 incremento medido de memoria dinámica al añadir el segundo perfil en el contraste declarado.
• WebAssembly identificado por hash y tamaño exactos.

3. Beta B2

Capacidades disponibles en B2

• Dos unidades fuente visibles en el navegador, cada una con selección independiente SVP-ES/SVP-EN.
• Ensamblaje posterior al análisis de cada unidad; la interfaz no concatena fuentes ni secuencias léxicas para fabricar un tercer programa.
• Integración en una única IR 0.3 y comprobación global de bienformación después de reunir ambas representaciones internas.
• Editor y resultado en paneles paralelos en pantallas anchas, con desplazamiento interno de la salida; disposición apilada en anchos reducidos.
• Acciones principales situadas antes del contenido tanto en el editor como en el ensamblador.
• Biblioteca de seis ejemplos con variantes ES y EN. Un ejemplo intacto cambia a su variante homóloga cuando se cambia el perfil; el código propio o modificado se conserva sin transformación.
• Marcador de modificación de fuente para distinguir el ejemplo intacto del contenido editado.
• Navegación documental bilingüe para Seguridad, Diagnósticos, Características, Historial Beta y Metodología y métricas, con conservación explícita del idioma de interfaz al regresar al entorno de trabajo.
• Selección explícita de perfil y ausencia de autodetección lingüística.

Límites actuales de B2

• B2 no ofrece todavía un sistema general de proyectos o módulos ni un número arbitrario de unidades.
• No define punto de entrada, programa principal ni semántica de importación.
• No fabrica una fuente .svp única a partir de unidades escritas en formas lingüísticas diferentes.
• La documentación de Seguridad no constituye una certificación general ni sustituye la revisión de seguridad exigible antes de una incorporación estable.
• SVP-ES y el ensamblaje de archivos siguen siendo experimentales y no forman parte todavía de la versión estable del repositorio principal del Lenguaje.

4. Condiciones para incorporar una Beta a la versión estable

Beta Bn identificada
   ↓
versión exacta + evidencia reproducible
   ↓
regresión completa
   ↓
identidad de artefactos y WebAssembly verificada
   ↓
revisión e informe de seguridad de la Beta
   ↓
límites y divergencias conocidas documentados
   ↓
comparación con main del repositorio principal
   ↓
documentación pública sincronizada
   ↓
integración revisada
   ↓
despliegue estable
   ↓
entrada trazable en el historial de la versión estable

La presencia pública de B2 no la convierte en versión vigente. Una incorporación futura deberá conservar como mínimo la Beta de origen, la versión exacta de la evidencia, el informe de seguridad aplicable y el commit finalmente integrado en el repositorio principal.

5. Propuestas y trabajo pendiente para Betas posteriores

Las entradas siguientes conservan trabajo futuro identificado sin convertirlo en compromiso automático de implementación. Cuando B2 ha realizado sólo una parte de una propuesta, el alcance restante queda expresamente visible.

• LAB-P001 · Entorno integrado de desarrollo

  Estado: PROPUESTA

  B2 reserva visualmente un espacio para la evolución hacia proyectos, varios archivos, pestañas, símbolos, diagnósticos, IR y trazas, pero no ofrece todavía esas capacidades. El futuro entorno deberá reutilizar el compilador de referencia y no introducir un segundo analizador sintáctico.

• LAB-P002 · Estado de edición y archivo modificado

  Estado: EN BETA

  B2 distingue los ejemplos intactos de biblioteca del contenido modificado y muestra un marcador de modificación. La integración en un modelo completo de proyecto o entorno de desarrollo queda pendiente.

• LAB-P003 · Diagnósticos estructurados y presentación localizable

  Estado: PROPUESTA

  La existencia de páginas bilingües de Diagnósticos no equivale todavía a diagnósticos estructurados. Sigue pendiente separar código, posición o intervalo, argumentos y texto de presentación sin alterar la identidad del error ni el perfil fuente.

• LAB-P004 · Procedencia persistente del perfil de fuente

  Estado: EN BETA

  B2 conserva por unidad el perfil activo y la huella SHA-256 de la fuente en la interfaz de ensamblaje. Sigue pendiente registrar una procedencia completa y persistente que incluya versión del perfil, catálogo y gramática sin adulterar source_sha256.

• LAB-P005 · Infraestructura de varios archivos, proyectos y módulos

  Estado: EN BETA

  B2 realiza el caso experimental de dos unidades con perfiles independientes y validación global. Siguen abiertos el modelo general de proyecto, un número arbitrario de unidades, compatibilidad versionada, dependencias, eventual punto de entrada y la posible exportación de una IR o manifiesto de ensamblaje. B2 no fabrica una fuente fusionada.

• LAB-P006 · Herramientas de edición derivadas del catálogo de referencia

  Estado: PROPUESTA

  Resaltado sintáctico, completado y navegación deberán derivarse del catálogo de referencia o de artefactos generados a partir de él, evitando vocabularios paralelos que puedan divergir del compilador.

• LAB-P007 · Evolución versionada a perfiles lingüísticos adicionales

  Estado: EN ESTUDIO

  Se conserva la posibilidad de estudiar nuevas formas lingüísticas sin reservar retroactivamente palabras que rompan programas anteriores. No existe en B2 un tercer perfil disponible ni un orden de implementación comprometido.

• LAB-P008 · Estrategia de tamaño al crecer los perfiles

  Estado: EN ESTUDIO

  Si el crecimiento de tablas vuelve material el tamaño de WebAssembly, deberán compararse estrategias de distribución o carga sin trasladar decisiones semánticas a traducción remota, bases de datos activas o servicios externos.

• LAB-P009 · Seguridad visual Unicode

  Estado: PROPUESTA

  Sigue pendiente estudiar y definir expresamente el tratamiento de controles Unicode invisibles o direccionales y los riesgos de presentación en código, cadenas y comentarios antes de formular garantías de seguridad visual para la experiencia ES/EN.

• LAB-P010 · Revisión específica de paridad trajectory/Trajectory

  Estado: COMPROBACIÓN PENDIENTE

  Se conserva como comprobación específica hasta que exista evidencia reproducible suficiente para cerrarla o descartarla. Esta entrada no declara por sí sola un defecto vigente.

• LAB-P011 · Manual estable del Lenguaje mediante GitHub Wiki

  Estado: PROPUESTA

  Se propone iniciar el manual de usuario y programación en el entorno estable, comenzando por el entorno de trabajo cuando las capacidades correspondientes formen parte de la versión estable. El manual no forma parte de Beta B2.

• LAB-P012 · Expediente de seguridad por Beta e incorporación

  Estado: EN BETA

  B2 dispone de una página específica de Seguridad en español e inglés para sus controles observables y límites. Antes de cualquier incorporación a la versión estable deberá existir una revisión de seguridad completa, versionada y trazable, conservada junto con la identidad exacta de la Beta y de los artefactos evaluados.

6. Regla de continuidad de propuestas

Una propuesta que sobreviva a varias Betas conserva su identificador y estado. Los estados operativos de este registro son PROPUESTA, EN ESTUDIO, APTA PARA PROTOTIPO, EN BETA, DESCARTADA e INCORPORADA. Una propuesta descartada debe conservar su razón técnica; una incorporada debe enlazar la evidencia correspondiente.

La marca EN BETA significa únicamente que existe una versión experimental dentro del alcance declarado; no equivale a su incorporación a la versión estable.