Keyboard shortcuts

Press ← or → to navigate between chapters

Press ? to show this help

Press Esc to hide this help

Idiomas / Languages

Original en español. El selector de la matriz editorial estará disponible cuando responda el servicio de presentación.

Ver original en español / Spanish original

La traducción automática facilita la lectura. Contraste términos, fórmulas y sentido con el original.

7. Arquitectura y entornos de ejecución

El Lenguaje SV mantiene sus reglas en Rust. Los entornos nativo y WebAssembly ofrecen vías de acceso a las funciones de una distribución; la interfaz utilizada no determina una semántica diferente. El gobierno de una operación y la elección de sus recursos se describen mediante contratos propios del Árbitro - Director, el Selector y el Explorador Tensorial.

7.1. Del archivo SVP a su representación

Un archivo SVP se interpreta conforme a su perfil lingüístico y a la versión de la gramática. El análisis y las comprobaciones producen una representación estructurada o un diagnóstico. La admisión del archivo acredita ese recorrido; la ejecución posterior de sus operaciones depende de las capacidades implementadas y recibidas para la versión correspondiente.

Componente RustFunción
sv_coreAnálisis del lenguaje, comprobaciones y representación estructurada, con los contratos implementados en esa revisión.
sv_nativeAcceso nativo al comprobador y presentación de sus resultados.
sv_wasmAcceso a las funciones del lenguaje expuestas al entorno WebAssembly.

La organización de los componentes Rust permite localizar su implementación. El capítulo de desarrollo y validación del núcleo precisa el alcance de las capacidades y sus comprobaciones.

7.2. Ejecución nativa, navegador y WASI

EntornoFunción en el Lenguaje SVCondición de uso
NativoEjecutar los programas Rust y los comprobadores compilados para el sistema de destino.Distribución compatible con el sistema operativo, las bibliotecas y los recursos disponibles.
Navegador con WebAssemblyUtilizar las funciones Rust expuestas por el adaptador del Playground.Versión identificada del módulo y de su interfaz; JavaScript transporta entradas y presenta resultados.
WebAssembly con WASIComprobar la ejecución fuera del navegador y su paridad con el destino nativo.Entorno compatible con las interfaces requeridas y capacidades concedidas de forma explícita.

Linux es uno de los sistemas utilizados para compilar y comprobar el lenguaje. El sistema operativo, la arquitectura y las herramientas forman parte de la identificación del entorno; su nombre por sí solo no acredita compatibilidad con todos los destinos.

WebAssembly es un formato de instrucciones que permite distribuir módulos compilados. WASI define interfaces para su relación con el entorno. Wasmtime es un entorno de ejecución que puede utilizarse en equipos locales y servidores, como programa autónomo o como biblioteca. Una ejecución nativa no necesita Wasmtime por el hecho de realizarse en un PC.

El Lenguaje SV utiliza WASI y Wasmtime en comprobaciones documentadas del núcleo, incluidas las pruebas de recepción integrada. Su alcance es distinto del de un motor de inferencia: comprobar el núcleo con WebAssembly no acredita que un modelo de IA pueda ejecutarse en ese entorno.

7.3. Gobierno de la ejecución y recursos

ComponenteResponsabilidadResultado esperado
Árbitro - DirectorComprobar las condiciones de la operación, sus permisos, entradas y límites; gobernar su recorrido.Decisión trazable de admisión, ejecución y recepción, dentro del alcance implementado.
Selector CPU/GPU/TPU/NPUElegir un destino compatible y autorizado según la carga y las medidas disponibles.Selección fundamentada o ausencia explícita de destino admisible.
Explorador TensorialIdentificar recursos y capacidades observables para informar al Selector.Inventario con procedencia, disponibilidad y límites de observación.
Adaptador de ejecuciónRealizar la operación en el destino elegido y devolver sus resultados y medidas.Evidencia del dispositivo efectivamente utilizado.

El Director gobierna la operación; el Selector consulta las capacidades que aporta el Explorador antes de elegir el destino. La disponibilidad de un acelerador no le concede prioridad automática. El capítulo de hardware de aceleración tensorial presenta las realizaciones comprobadas y sus condiciones.

7.4. Aplicaciones y condiciones de integración

Las aplicaciones relacionadas con el Lenguaje conservan identidad, revisión, procedencia y alcance autorizado en las entradas que preparan y los resultados que reciben. El contrato de integración delimita operaciones, tipos admitidos, permisos y recursos; la interfaz de una aplicación no puede ampliar esas facultades. La autorización institucional y la admisibilidad de una entrada son comprobaciones distintas y deben cumplirse conjuntamente cuando la operación las exige.

El Gestor del Sistema Vectorial SV es una aplicación desarrollada en Rust para la administración de dominios, documentos, modelos, accesos y actuaciones. Su configuración institucional se explica en el apéndice de integración. Esa configuración identifica decisiones y condiciones de uso; las construcciones del lenguaje y su representación intermedia conservan las definiciones de sus capítulos propios.

Cada integración declara las capacidades efectivamente habilitadas. La existencia de una ficha de configuración, un transporte o una interfaz de funciones no acredita la ejecución de una operación nuclear. El capítulo de desarrollo y validación delimita las capacidades recibidas y pendientes del Lenguaje.

7.5. Fronteras y observación

La interfaz visual transporta datos y presenta resultados. No modifica las reglas del núcleo, la terna, los permisos ni los dictámenes. Los contratos de frontera deben validar los datos antes de incorporarlos al recorrido que les corresponda. La construcción de un módulo WebAssembly no sustituye esas comprobaciones.

La observabilidad relaciona actuaciones y medidas en los puntos instrumentados. Cuando el cálculo pertenece a un servicio externo, la observación queda limitada al recorrido controlado por el SV y a los datos que proporciona ese servicio. El Director no selecciona el hardware interno de un proveedor externo.


© 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).