Identidad semántica estable
Los valores @id y las identidades del compilador persisten entre fuente, HIR, grafo, diagnósticos y símbolos generados. Se rechazan identidades con NUL antes de la salida.
ARQUITECTURA · ESQUEMAS DE GRAFO HASTA V24
Un modelo de programa que los agentes consultan sin reconstruir el significado desde texto.
Primero identidad estable. Después cambios de fuente.
El grafo semántico de Semaprax registra declaraciones tipadas, efectos, contratos, datos de ownership, llamadas e identidades de compilación bajo una revisión derivada del contenido.
entity Semaprax
status investigación pre-alfa
snapshot c16348f
authority github.com/wavect/semaprax// STATUS
Estado 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. |
¿Cómo funciona Semaprax?
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.
// 01
Primero identidad estable. Después cambios de fuente.
Contexto acotado para agentes
Agent Context v1 y v2 devuelven cortes del grafo limitados por dependencias, bytes, nodos, profundidad y dirección de recorrido.
Parches semánticos vinculados a una revisión
Las operaciones apuntan a identidades semánticas y a una revisión exacta. Cualquier revisión obsoleta se rechaza de forma segura, y las familias de operaciones disponibles siguen estando limitadas deliberadamente.
Evidencia antes de publicar
Las rutas de revisión, impacto, plataformas y workspace producen artefactos deterministas y dejan claro qué no demuestran. Workspace Operations v1 solo admite renombrar declaraciones y alias de importación dentro de límites estrictos. Antes de publicar, la evidencia debe volver a generarse.
Planes de cleanup y préstamos
CleanupPlan y Shared Loan Plan separan los hechos de ownership y borrowing del lowering. Graph v24 añade préstamos de campos de bytes proyectados. No es un borrow checker completo compatible con Rust.
Capas de workspace, proyecto y paquetes
Workspace Operations v1 sigue siendo un protocolo estrecho de renombrado junto a capas separadas de cambio, reemplazo, estructura y publicación. Project v8-v10, Agent Transport v5, Revision Store v1, informes, locks offline y evidencia de compatibilidad siguen sin promoción.
// 02
La proyección de código sigue siendo legible
module examples.meaning;
@id("math.add")
fn add(left: i64, right: i64) -> i64
requires left >= 0
ensures result == left + right
{
left + right
}Las especificaciones de GitHub son la fuente normativa. Esta página es un resumen de investigación fechado. Repositorio de GitHub.
// FAQ
Preguntas respondidas sin exageraciones
¿El grafo semántico es un knowledge graph o RAG?
No. Es la representación tipada y versionada del compilador, no una colección de documentos o embeddings.
¿Un agente puede editar cualquier programa con parches semánticos?
Todavía no. Los parches sobre un único archivo siguen estando muy limitados. Workspace Operations v1 solo añade renombrados respaldados por evidencia en rutas gestionadas ya existentes. No ofrece acceso general al árbol de código fuente ni atomicidad para todo el repositorio Git.
Proyecto de investigación de Wavect: Wavect GmbH. Creado por Wavect como proyecto de investigación de sistemas de código abierto.