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 la instantánea auditada, los 49 requisitos del producto completo son Parciales y ninguno está Implementado.
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 | c16348f · 2026-08-29. La documentación pasó, pero el workflow general falló. Por eso este head no se etiqueta como verificado. |
|---|---|
| Estado del producto completo | 49 Parcial · 0 Implementado · 0 Faltante |
| Contrato de grafo y proyecto | Graph ≤ v24 · Project v1 base · Project v8, v9, v10 vista previa |
| Base de promoción | Esta instantánea no afirma ningún commit ni ejecución de workflow de promoción exactos y correctos. |
| Vista previa de desarrollo en el código fuente | Los perfiles de proyecto de datos owned, records y UTF-8, el análisis de paquetes, las ampliaciones de borrowing, Project Agent Transport y Revision Store existen en el código fuente, pero no están publicados o promovidos. |
¿Qué es Semaprax?
Semaprax es un lenguaje de sistemas experimental y nativo para agentes, con esquemas de grafo semántico seleccionados por las funciones usadas hasta v24. El prototipo v0.2 contiene vías acotadas para intérprete, C11/Clang, Core Wasm/Node, workspace, proyectos, paquetes, ownership, borrowing, transporte y revisiones. Son avances parciales, no un producto completo ni una ABI general estable.
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 seleccionado por las funciones usadas. Graph v22 añade hechos de records y variantes owned, v23 Shared Loan Plan y v24 borrowing de campos de bytes owned proyectados. Project v1 sigue siendo la base promovida; Project v8-v10 y sus rutas de paquete son vistas previas, no APIs públicas compatibles.
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 seleccionado por funciones | Parcial | Preservación legacy, records y variantes owned, Shared Loan Plan y borrowing proyectado hasta v24. | Repositorio de GitHub |
| Contexto acotado para agentes | Parcial | Límites deterministas de bytes, nodos, profundidad y fronteras. | Repositorio de GitHub |
| Parches ligados a revisión | Parcial | Revisión exacta, rechazo obsoleto y validación selectiva del delta. | Repositorio de GitHub |
| Cambios de workspace por capas | Parcial | Rename, Change, Replacement, derivación estructural y publicación autenticada sin autoridad general sobre árbol o Git. | Repositorio de GitHub |
| Evidencia y almacenamiento de revisiones | Parcial | Review, Impact, Target, Patch, Workspace, generaciones inmutables y revisiones autenticadas. | Repositorio de GitHub |
| Project v1 y vistas previas v8-v10 | Parcial | v8 Bytes, Option y Result; v9 records owned planos; v10 UTF-8 owned, preservando v1-v7. | 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.