El lenguaje de sistemas creado para agentes de código y legible por personas.
Entra significado. Sale código máquina verificado.
El código fuente sigue siendo una proyección clara para personas. Los agentes trabajan con significado tipado, identidad estable, contexto acotado y cambios ligados a una revisión, en vez de reescribir texto a ciegas.
revision sha256:<program-state>
query app.main --depth 1
context typed · bounded · stable-id
patch expected_revision == current
verify fail_closed
target native | browser/wasm¿Qué es Semaprax?
Semaprax es un lenguaje de programación de sistemas experimental y nativo para agentes, construido alrededor de un grafo semántico estable del programa. Su prototipo v0.2 permite a los agentes de código consultar significado tipado, enviar parches semánticos ligados a una revisión y compilar un subconjunto verificado como ejecutables nativos y paquetes para navegador/Wasm.
Un programa, tres superficies de trabajo
El código para personas, el significado para agentes y la salida de máquina proceden del mismo estado semántico versionado. Cada flecha es un límite de evidencia.
- Código para personasLa sintaxis legible sigue siendo la superficie de autoría y revisión.
- Grafo semántico del programaLos IDs estables exponen significado, contexto, diagnósticos y objetivos de parche.
- Salida verificadaLos subconjuntos admitidos se compilan de forma determinista a artefactos nativos o navegador/Wasm.
Semaprax semantic program graph: Semaprax transforma código legible en HIR validado y un grafo semántico versionado. Los agentes solicitan contexto acotado por ID estable, previsualizan o envían un parche contra una revisión exacta y reciben diagnósticos o evidencia deterministas antes de la salida nativa o Wasm.
La hipótesis, no el titular
Semaprax prueba si un sistema de programación puede reducir el contexto y la ambigüedad de reparación para agentes de código. Un menor coste de modelo es una hipótesis, no un resultado demostrado con tokens, latencia, calidad o escala de repositorio.
Un índice de investigación con un propietario por pregunta
Cada página responde una sola pregunta de marca para que buscadores y motores de respuesta reconozcan la ruta autoritativa.
Arquitectura
IDs estables, contexto de grafo y parches semánticos
evidenceEvidencia
Qué implementa v0.2 y dónde termina
benchmarksBenchmarks
Mediciones de contexto sin promesas de coste
interoperabilityInteroperabilidad
Matriz de objetivos y ecosistemas
roadmapRoadmap
Hitos, objetivos y brechas abiertas
Registro de evidencia de capacidades
| Estado actual | Estado de evidencia | Alcance | Evidencia |
|---|---|---|---|
| Grafo semántico estable del programa | Implementado | JSON Graph v10-v14 versionado para el subconjunto tipado documentado, con identidades persistentes y HIR validado compartido. | Repositorio de GitHub |
| Contexto acotado para agentes | Implementado | Agent Context v1 y recorrido de llamadas v2 con límites deterministas de bytes, nodos, profundidad y fronteras. | Repositorio de GitHub |
| Parches semánticos ligados a revisión | Implementado | Atomic Patch v1 y operaciones Patch v2 acotadas con revisión exacta, rechazo obsoleto y validación del delta. | Repositorio de GitHub |
| Reviews y cápsulas de evidencia semántica | Demostrado | Rutas acotadas de review, impacto, target, patch y workspace con artefactos deterministas y no-afirmaciones. | Repositorio de GitHub |
| Compilación nativa y navegador/Wasm | Demostrado | Subconjuntos documentados de lenguaje y ownership mediante C11/Clang y gates reales de Node/Wasm. | Repositorio de GitHub |
| Gestión de memoria inspirada en ownership | Experimental | Límites own, borrow y shared, comprobación de movimientos y limpieza acotada. No es compatibilidad con Rust. | Repositorio de GitHub |
Preguntas respondidas sin exageraciones
¿Semaprax está listo para producción?
No. Es investigación pre-alfa Apache-2.0. El registro separa implementación acotada de finalización general.
¿Semaprax es solo para agentes de IA?
No. La fuente debe seguir legible para personas. Nativo para agentes describe el grafo, contexto, diagnósticos y parches disponibles para agentes de código.
¿Tu producto de IA necesita ingeniería con este nivel de evidencia?
Ver el trabajo de ingeniería de IA de Wavect.