El lenguaje de sistemas creado para agentes de código y legible por personas.
Significado dentro. Cambios validados fuera.
Ofrece a los agentes contexto tipado del programa, no una pila de archivos. Conserva código legible en Git, rechaza cambios obsoletos y crea agentes cuyas propuestas deban superar una autorización determinista. v0.5.0 sirve para experimentos y prototipos, no para producción.
revision sha256:<program-state>
query app.main --depth 1
context typed · bounded · stable-id
patch expected_revision == current
verify fail_closed
target native | browser/wasmEstado del repositorio en la instantánea auditada
| Instantánea del repositorio | b9f593c · 2026-09-16. El commit de main revisado coincide con la etiqueta v0.5.0. La CI de esa etiqueta terminó correctamente; la CI independiente de la rama fue cancelada. Esto no garantiza aptitud para producción ni seguridad general. |
|---|---|
| Estado del producto completo | 55 Parcial · 0 Implementado · 0 Faltante |
| Contrato de grafo y proyecto | Los esquemas del grafo se seleccionan por función y preservan contratos anteriores. Project v1 es la base; los perfiles de datos con ownership v8, v9, v10 y v11 tienen límites propios. |
| Versión preliminar publicada | v0.5.0 · Publicada el 16 de septiembre de 2026 a las 09:43 UTC. Tres archivos: Linux x86-64, macOS Apple Silicon y Windows x86-64, con SHA256SUMS. El binario semaprax incluido es la toolchain completa, no la CLI independiente de Cargo. CI de la etiqueta exacta. |
| Previews de paquetes y API | Publicar la toolchain no publica sus paquetes Rust/npm generados ni promueve APIs privadas. Las decisiones sobre Project v8-v11, ownership genérico público, más plataformas y etapas Agent nativas/Wasm siguen siendo independientes. |
¿Qué es Semaprax?
Semaprax es un lenguaje de sistemas experimental nativo para agentes. El código .spx legible sigue siendo la fuente canónica; los agentes consultan significado tipado y proponen cambios ligados a una revisión. La versión preliminar v0.5.0 incluye agentes de ejecución tipados e integraciones delimitadas nativas y WebAssembly.
Ejecuta tu primer programa validado
Ruta desde código fijada al commit revisado. Requiere Git y Rust/Cargo 1.88+. Cargo puede descargar dependencias al comenzar. Estos comandos check/run no necesitan Clang, Node.js ni proveedor de IA; el programa devuelve 42.
git clone https://github.com/wavect/semaprax.git
cd semaprax
git checkout --detach b9f593c5334bc18c9d3a201ddaf135d716733af5
cargo run --locked -p semaprax -- check examples/meaning.spx
cargo run --locked -p semaprax -- run examples/meaning.spxUn 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 legibleCódigo .spx canónico en Git, programas normales, contratos y ownership explícito. El primer ejemplo no requiere modelo ni clave API.
- Significado tipado para herramientasIDs estables, contexto limitado, diferencias de candidatos y evidencia reproducible. Inspeccionar no autoriza escribir ni publicar.
- Ejecución validadaIntérprete, perfiles admitidos C11/Clang y Core-Wasm, y agentes tipados con capacidades del host suministradas explícitamente.
Grafo semántico del programa de Semaprax: Semaprax transforma código .spx canónico en HIR validado, una representación del significado tipado. Las identidades estables conectan consultas, candidatos, ejecución y evidencia. Los cambios admitidos deben coincidir con su revisión; las propuestas Agent pasan decodificación tipada y autorización determinista. Ni grafos ni recibos conceden por sí solos permiso para publicar, usar la red o pagar.
La hipótesis, no el titular
¿Pueden las identidades estables, el contexto compacto y los cambios reproducibles reducir la ambigüedad y el trabajo del modelo? Semaprax incluye medición offline de tokens, instrumentación y tareas entre lenguajes. Nada de ello demuestra ahorro general, entregas más rápidas o mayor precisión.
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.5.0 y cuáles son sus límites
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 |
|---|---|---|---|
| Código canónico e identidad estable | Parcial | El código `.spx` legible sigue siendo canónico en Git. Los valores `@id` identifican declaraciones independientemente de cambios de nombre admitidos. La revisión vincula código canónico y prelude implícito del compilador, no posiciones accidentales ni el formato serializado del grafo. | Repositorio de GitHub |
| Contexto limitado y proyecciones compactas | Parcial | Context v1/v2 limita profundidad, nodos y bytes; v2 añade recorrido direccional. El contexto por tarea y las proyecciones text, binary y model-text permiten intercambios enfocados con comprobación por replay. Menos bytes no implica menos tokens facturados ni mejores respuestas. | Repositorio de GitHub |
| Cambios semánticos, no reescrituras arbitrarias | Parcial | Inspeccionar contexto, derivar candidato, revisar impacto, reproducir comprobaciones y autorizar la aplicación explícitamente. Además de renombrar hay reemplazo limitado de expresiones, cambios estructurales y composición rebase/merge definida. Cada protocolo conserva sus límites de revisión, identidad y operación. | Repositorio de GitHub |
| La publicación controlada es un límite independiente | Parcial | Las generaciones de workspace, evidencia de candidatos, almacén de revisiones y flujos MCP mantienen autoridad explícita de escritura y publicación. Validar varios archivos no actualiza atómicamente rutas arbitrarias, Git o editores. La API de integración Rust ofrece límites, cancelación y sesiones opacas, no acceso libre al host. | Repositorio de GitHub |
| Evidencia semántica reproducible | Parcial | La evidencia liga hechos validados y cambios candidatos a fuentes y revisiones. Un recibo apoya revisión o rechazo, pero no otorga autoridad para ejecutar, modificar o publicar. | Repositorio de GitHub |
| Proyectos multimódulo y plantillas offline | Parcial | Los manifests definen cierre de fuentes, entradas, tests y exportaciones. La calculadora incluida admite check/test/run y builds delimitados. new crea un proyecto nuevo con archivos incluidos, sin inicializar Git ni consultar un registro. | Repositorio de GitHub |
Fuentes primarias de esta página
Revisado contra el commit fijado y el registro de v0.5.0. Las especificaciones versionadas delimitan admisión y autoridad; los encabezados antiguos de v0.4 en la matriz y el roadmap no identifican la última versión.
Preguntas respondidas sin exageraciones
¿Semaprax está listo para producción?
No. v0.5.0 es software de investigación prealfa Apache-2.0. Perfiles útiles y un workflow correcto no completan los 55 requisitos parciales ni establecen aptitud para producción.
¿Semaprax es solo para agentes de IA?
No. El código .spx canónico sigue siendo legible y revisable. Los agentes de programación consultan hechos y proponen cambios; los agentes de ejecución son otra abstracción tipada. Ninguno elimina revisión humana ni autoridad del host.
¿Tu producto de IA necesita ingeniería con este nivel de evidencia?
Ver el trabajo de ingeniería de IA de Wavect.