Lo que demuestra el prototipo v0.2 y lo que no.
La evidencia tiene estado, alcance y fecha de revisión.
El repositorio es una semilla arquitectónica ejecutable. Un gate acotado solo demuestra la porción de lenguaje, el artefacto, el host y el comportamiento de fallo que nombra.
entity Semaprax
status investigación pre-alfa
verified 2026-08-11
authority github.com/wavect/semaprax¿Qué implementa Semaprax hoy?
Semaprax v0.2 implementa un lenguaje tipado pequeño, identidad estable de grafo, contexto acotado, familias de parches ligados a revisión, verificación fail-closed y compilación nativa y navegador/Wasm determinista para subconjuntos documentados.
Registro de evidencia de capacidades
| Estado actual | Estado de evidencia | Alcance | Verificado | Evidencia |
|---|---|---|---|---|
Grafo semántico estable del programastable-semantic-program-graph | Implementado | JSON Graph v10-v14 versionado para el subconjunto tipado documentado, con identidades persistentes y HIR validado compartido. | 2026-08-11 | Repositorio de GitHub |
Contexto acotado para agentesbounded-agent-context | Implementado | Agent Context v1 y recorrido de llamadas v2 con límites deterministas de bytes, nodos, profundidad y fronteras. | 2026-08-11 | Repositorio de GitHub |
Parches semánticos ligados a revisiónrevision-bound-semantic-patches | Implementado | Atomic Patch v1 y operaciones Patch v2 acotadas con revisión exacta, rechazo obsoleto y validación del delta. | 2026-08-11 | Repositorio de GitHub |
Reviews y cápsulas de evidencia semánticasemantic-evidence-capsules | Demostrado | Rutas acotadas de review, impacto, target, patch y workspace con artefactos deterministas y no-afirmaciones. | 2026-08-11 | Repositorio de GitHub |
Compilación nativa y navegador/Wasmnative-and-wasm-lowering | Demostrado | Subconjuntos documentados de lenguaje y ownership mediante C11/Clang y gates reales de Node/Wasm. | 2026-08-11 | Repositorio de GitHub |
Gestión de memoria inspirada en ownershipownership-inspired-memory-management | Experimental | Límites own, borrow y shared, comprobación de movimientos y limpieza acotada. No es compatibilidad con Rust. | 2026-08-11 | Repositorio de GitHub |
Soporte amplio de plataformas nativasbroad-platform-support | Roadmap | Soporte general para macOS, Windows, Linux, web, iOS y Android más allá de los gates actuales. | 2026-08-11 | Repositorio de GitHub |
Interoperabilidad bidireccional de ecosistemabidirectional-ecosystem-interoperability | Roadmap | Objetivo a largo plazo para límites tipados y seguros con ownership. No se afirma un porcentaje. | 2026-08-11 | Repositorio de GitHub |
Afirmaciones que esta página no hace
- Semaprax no se presenta como listo para producción.
- Un harness de plataforma no equivale a soporte completo de aplicaciones.
- Un artefacto generado no cuenta como cargado o ejecutado sin su gate específico.
- La gestión inspirada en ownership no es compatibilidad con Rust ni un borrow checker completo.
Las especificaciones de GitHub son la fuente normativa. Esta página es un resumen de investigación fechado. Repositorio de GitHub.
Preguntas respondidas sin exageraciones
¿Qué significa Demostrado?
Un artefacto o ruta nombrada superó su gate bajo restricciones concretas. No implica soporte completo de lenguaje o plataforma.
¿CI verde demuestra seguridad?
No. Respalda invariantes y fallos probados, no la ausencia de vulnerabilidades fuera del límite.