02 / VENTURE SYNAPTIC FOUNDRY
Foundry — Del prototipo a herramientas confiables
Foundry transforma prototipos de investigación y conceptos de ingeniería en herramientas modulares, probables y documentadas que terceros pueden inspeccionar y evaluar.
§ 01 — PIPELINE
Flujo de maduración tecnológica
Cómo evoluciona un prototipo exploratorio hacia infraestructura de desarrollo utilizable.
Interfaz y Contratos
Definición de contratos CLI estables y esquemas JSON canónicos (como efch-evidencia/1.0) desacoplados de scripts internos.
Implementaciones Tipadas
Construcción de adaptadores fuertemente tipados y servidores de lenguaje sin duplicar el parser semántico ni el motor SMT.
Verificación y Pruebas Automatizadas
Validación mediante pruebas unitarias, vectores diferenciales y entornos de solucionador deterministas.
Empaquetado y Aislamiento
Ejecución segura de procesos sin shell (execFile), control explícito de tiempos límite (timeout), AbortSignal y wheels fijados por hash.
Documentación y Límites
Declaración explícita de las restricciones del dominio, versiones soportadas y fronteras no verificadas antes de la distribución.
Distribución y Retroalimentación
Entrega mediante CLI, SDKs, servidor LSP y extensión de editor, devolviendo diagnósticos reales hacia Labs y Foundry.
EFCH Lang y Ecosistema de Herramientas
“EFCH Lang es un lenguaje de programación y cadena de herramientas experimental que explora contratos explícitos y comportamiento verificable, inicialmente dentro de dominios de programas acotados.”
Líneas de versión y estado real de publicación
Incluye el núcleo compilador/verificador EFCH 0.1.0a1 en Python + Z3 5.1.0.0, exportación canónica de evidencias (efch-evidencia/1.0), SDK en TypeScript, SDK para .NET 8, servidor LSP v3.17 y extensión de VS Code (v0.1.2).
Explora nuevas capacidades semánticas y mejoras de expresividad. La versión 0.2 está en desarrollo interno y no se presenta como una versión publicada.
[FRONTERA DE LAS GARANTÍAS FORMALES]
Alcance de la verificación formal: Demostrar obligaciones formales en el núcleo tipado de EFCH y en los dominios acotados especificados prueba propiedades matemáticas del modelo en Z3; no equivale a demostrar formalmente todo el traductor en Python, el código C generado ni el binario final compilado.
§ 03 — STANDARDS
Estándares de calidad e ingeniería
01Invocación segura de procesos
Los SDKs invocan el compilador mediante ejecución directa (execFile) sin interpolación de shell, previniendo inyecciones y aplicando límites de buffer y tiempo.
02Fidelidad a los estados formales
Las herramientas conservan estrictamente los estados emitidos por el verificador SMT (probado, refutado con contraejemplos JSON concretos, o desconocido/timeout).
03Fijación reproducible del solucionador
Los flujos de verificación fijan la versión exacta de Z3 (5.1.0.0) y de las herramientas comparadoras mediante scripts con hash SHA-256 comprobado.
04Cero duplicación semántica
Las extensiones de editor y los SDKs consumen el CLI canónico y sus esquemas JSON en lugar de reimplementar analizadores paralelos.
§ 04 — DISTRIBUTION
Canales de entrega
Cómo se estructuran EFCH Lang y las herramientas de Foundry para su evaluación técnica.
CLI del Compilador y Verificador (python3 -m efch)
Disponible en los paquetes públicos P2/P1 (0.1.0a1)Interfaz de línea de órdenes para check, eval, verify, build (emisión de C), synth y gestión de almacén semántico.
SDK en TypeScript (efch-lang-sdk-ts)
Alpha 0.1.x · Repositorio privado pendiente de apertura públicaAdaptador fuertemente tipado para Node.js/TypeScript con descubrimiento automático del compilador (.venv, EFCH_PATH, PATH) y diagnósticos estructurados.
SDK para .NET 8 (efch-lang-sdk-dotnet / EfchLang.Sdk)
Alpha 0.1.x · Repositorio privado pendiente de apertura públicaSDK no invasivo para .NET 8 que integra los contratos efch-evidencia/1.0 en suites de prueba C# / xUnit y canalizaciones CI/CD.
Servidor LSP (efch-lang-lsp) y Extensión de VS Code
Alpha 0.1.x (v0.1.2) · Repositorio privado pendiente de apertura públicaServidor LSP estándar (v3.17) sobre stdio con diagnósticos en tiempo real, contraejemplos, ir a la definición e información contextual para .efl y .efch.
§ 05 — REPOSITORY INDEX
Estado de repositorios y acceso público
Distinguimos con transparencia entre los paquetes de código ya públicos y los repositorios de herramientas en la organización venture-synaptic cuya apertura pública está pendiente de autorización.
venture-synaptic/efch-artifacts-p2-lang-binary-decoding
Python 3.10+, Z3 5.1.0.0, C (gcc) · v1.0-lang (EFCH 0.1.0a1)
Archivo público con la implementación del núcleo EFCH 0.1 y EFCH Lang, 178 pruebas unitarias y scripts reproducibles para EXP-004 a EXP-015.
venture-synaptic/efch-lang-sdk-ts
TypeScript, Node.js (execFile) · 0.1.x Alpha
SDK oficial en TypeScript para interactuar con el compilador, verificador formal y diagnósticos CLI de EFCH 0.1.x.
venture-synaptic/efch-lang-sdk-dotnet
C#, .NET 8, xUnit · 0.1.x Alpha
SDK en .NET 8 (EfchLang.Sdk) basado en el esquema canónico efch-evidencia/1.0 para integración en pruebas C# / xUnit.
venture-synaptic/efch-lang-lsp
TypeScript, LSP v3.17 (stdio) · 0.1.x Alpha
Servidor Language Server Protocol (v3.17) para archivos .efl y especificaciones .efch construido sobre efch-lang-sdk-ts.
venture-synaptic/efch-lang-vscode
TypeScript, VS Code Extension API · v0.1.2 Alpha
Extensión de VS Code para resaltado sintáctico, comandos de verificación formal e integración LSP en archivos .efl y .efch.