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 · GRAPH V10-V14
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
verified 2026-08-11
authority github.com/wavect/semaprax¿Cómo funciona Semaprax?
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.
// 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 ligados a revisión
Las operaciones apuntan a identidades semánticas y a una revisión exacta. Las revisiones obsoletas fallan de forma cerrada y las familias actuales son deliberadamente limitadas.
Evidencia antes de publicar
Las rutas de review, impacto, target y workspace producen artefactos deterministas con no-afirmaciones explícitas. No conceden aprobación ni sustituyen pruebas del proyecto.
// 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 esquemas actuales admiten operaciones acotadas y rechazan revisiones obsoletas, selectores inválidos y ampliaciones semánticas.
Proyecto de investigación de Wavect: Wavect GmbH. Creado por Wavect como proyecto de investigación de sistemas de código abierto.