Programas de ejemplo
Fecha y Versión: V.1 del conjunto
Fecha: 4 de abril de 2026
Versión del conjunto: V.1 del conjunto
Autor del corpus: Juan Antonio Lloret Egea
ORCID: 0000-0002-6634-3351
Institución: ITVIA — IA eñ™
ISSN: 2695-6411
Licencia: CC BY-NC-ND 4.0
Titularidad y autoría: © Juan Antonio Lloret Egea, 2026. Este conjunto se distribuye con atribución explícita de autoría y bajo la licencia indicada, sin autorización para apropiación de la paternidad intelectual del Sistema Vectorial SV.
Ejemplos canónicos mínimos de programas escritos en el lenguaje del SV.
Estado
Activo con dos piezas mínimas verificables.
Ejemplos publicados
| Archivo | Qué muestra | Estatuto |
|---|---|---|
celula_basica_con_evaluacion.svp |
célula mínima con cellstate y evaluate |
ejemplo canónico básico |
consulta_framecomparison.svp |
consulta con query_spec de tipo FrameComparison y contexto FrameComparison(F1, F2) |
ejemplo canónico de verificabilidad superficial |
Alcance
Estos ejemplos no pretenden cubrir todavía toda la expresividad del lenguaje ni sustituir la suite de conformidad. Su función es ofrecer una superficie pública mínima y ejecutable para terceros.
Las piezas diseñadas como sondas de contraste adversarial se alojan aparte en tests/adversarial/documentados/, para no confundir ejemplos canónicos con materiales de tensión técnica.