Lenguaje SV: edición documental de prueba

Esta edición permite consultar la estructura conservada del manual del Lenguaje SVP y comprobar su suministro documental mediante MCP. Es una demostración de publicación y consulta; no constituye un manual terminado ni modifica el estado de aprobación de sus contenidos.

Estado del contenido

El índice original registra once tramos pendientes, SVP-MAN-00 a SVP-MAN-10. Los tramos sin texto aparecen como entradas pendientes. El tramo 10 conserva el documento preparatorio existente, cuyo estado es «Pendiente de desarrollo».

El constructor y el tramo 10 se reproducen íntegramente, sin correcciones terminológicas ni ampliaciones. Sus fuentes pertenecen a la revisión f97173e07a9dfb8385ed1268d11de422b291507d del repositorio SV-lenguaje-de-computacion.

Autoridad documental

El manual permanece subordinado al pliego, la Frontera normativa, la representación intermedia y la gramática vigentes. La presentación de un documento en este libro no acredita una nueva aprobación. Las revisiones y los cierres se realizan en sus sedes competentes.

Consulta para personas y modelos

Los capítulos Markdown son la fuente de esta presentación y del catálogo MCP. El modelo recibe texto, identificación y localizadores; el Árbitro-Director conserva las decisiones de suministro y sus controles. La consulta no ejecuta los ejemplos, no incorpora información de los enlaces externos y no realiza inferencia.

Fuentes

• Sede del manual.
• Índice y estados originales.

© 2026 Juan Antonio Lloret Egea. Algunos derechos reservados. | ORCID: 0000-0002-6634-3351 | Instituto Tecnológico Virtual de la Inteligencia Artificial para el Español™ (ITVIA) | IA eñ™ – La Biblia de la IA™ | ISSN 2695-6411 | Licencia Creative Commons Atribución-NoComercial-SinDerivadas 4.0 Internacional (CC BY-NC-ND 4.0).

Constructor del manual del lenguaje SVP

1. Naturaleza

Este constructor fija la arquitectura de trabajo del manual del lenguaje SVP (extensión .svp). Su finalidad es permitir un cierre progresivo por capítulos o tramos sin perder el eje del sistema ni dispersarse en caminos laterales.

No es todavía el manual final. Es la máquina de construirlo.

2. Regla general

Cada tramo del manual deberá ser:

• suficientemente nuclear para permitir detalle;
• suficientemente general para no romper el hilo;
• subordinado al pliego, a la Frontera normativa, a la IR y a la gramática vigente;
• y verificable mediante ejemplos, contraejemplos y relación explícita con la implementación.

3. Unidades de cierre recomendadas

Se recomienda cerrar el manual por tramos nucleares y no por lluvia de ideas.

Tramo 0 — Estatuto del lenguaje

• qué es SVP;
• qué no es;
• qué lugar ocupa respecto de doctrina, IR y backend.

Tramo 1 — Léxico mínimo y convenciones superficiales

• nombres;
• identificadores;
• forma de declaración;
• disciplina nominal;
• extensión .svp.

Tramo 2 — Niveles N0–N4

• definición;
• estado;
• resultado;
• evolución;
• uso.

Tramo 3 — Célula, evaluación y clasificación

• CellSpec;
• CellState;
• evaluate;
• umbral;
• criticidad.

Tramo 4 — Composición y supervisión

• gate;
• supervise;
• compose;
• relación semántica previa.

Tramo 5 — Resolución y régimen de la U

• resolve;
• Context;
• Mechanism;
• reapertura.

Tramo 6 — Trayectoria, frame y datos de transición

• Frame;
• TransitionData;
• Trajectory;
• regla append-only.

Tramo 7 — Consulta y uso

• query;
• contexto;
• respuesta, justificación y metadatos.

Tramo 8 — Diagnósticos, errores y zona prohibida

• catálogo efectivo;
• relación con IR;
• errores estructurales;
• sintaxis inalcanzable.

Tramo 9 — CLI, Playground, serialización y backend

• CLI actual;
• Playground;
• lowering;
• serialización;
• brújula Rust.

Tramo 10 — Compatibilidad interlenguajes y adopción

• APIs y enganches;
• wrappers y módulos puente;
• FFI, runtime, CLI y serialización;
• prioridad por lenguajes anfitriones;
• preservación semántica del SV.

4. Ficha obligatoria por tramo

Todo tramo del manual deberá declarar:

1. ID del tramo
2. Título
3. Rango
4. Objeto
5. Dependencias
6. Qué fija
7. Qué no fija
8. Ejemplos .svp
9. Errores o contraejemplos
10. Relación con IR y docs públicos
11. Criterio de cierre
12. Estado

5. Criterio de cierre

Un tramo se considerará cerrable cuando reúna, como mínimo:

• exposición sobria del objeto;
• correspondencia visible con la IR o con la superficie vigente;
• uno o más ejemplos .svp suficientemente nucleares;
• delimitación expresa de lo que queda fuera;
• y ausencia de contradicción local suficiente con el pliego o con la Frontera normativa.

6. Relación con la compatibilidad interlenguajes

La compatibilidad interlenguajes del SV se tratará como tramo propio del manual y deberá coordinarse con la política y protocolo de compatibilidad interlenguajes del Lenguaje SV.

7. Regla de control

El constructor del manual no autoriza lluvias laterales. Toda idea nueva deberá pasar antes por el Wishlist IRQ del ecosistema SV.

Tramo 10 — Compatibilidad interlenguajes y adopción del Lenguaje SV

1. Objeto

Este tramo fija la estructura mínima de trabajo para documentar cómo el lenguaje SV podrá relacionarse con otros lenguajes de programación sin degradar su semántica propia.

2. Dependencias

• Pliego de condiciones del Sistema Vectorial SV
• Frontera normativa del lenguaje SV
• IR canónica v0.2
• Política y protocolo de compatibilidad interlenguajes del Lenguaje SV

3. Qué deberá fijar

• tipos de compatibilidad admitidos;
• prioridad por lenguajes anfitriones;
• garantías semánticas mínimas;
• criterio de activación por lenguaje;
• y límites de fase.

4. Qué no fija todavía

Este tramo no implementa bindings, APIs, FFI ni wrappers reales. Solo abre el frente documental y de gobierno.

5. Estado

Pendiente de desarrollo.