REGISTRO DE EVIDENCIA · SNAPSHOT C16348F · 2026-08-29
Lo que demuestra el prototipo v0.2 y lo que no.
La evidencia tiene estado, alcance y fecha de revisión.
La matriz de finalización en c16348f clasifica 49 requisitos como Parciales, 0 como Implementados y 0 como Faltantes. Parcial significa que existe al menos una vía ejecutable acotada, no que el producto esté casi terminado.
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. |
¿Qué implementa Semaprax hoy?
En el producto completo, Semaprax tiene 49 requisitos parciales y ninguno implementado o faltante. La promoción anterior cubre vías acotadas de semántica, nativo, Wasm, workspace y Project v1. Project v8-v10, los nuevos planes de ownership y borrowing, el análisis de paquetes, Agent Transport v5 y Revision Store v1 son vistas previas. El fallo del workflow general en esta instantánea no es verificación.
// 01
Registro de evidencia de capacidades
| Estado actual | Estado del código fuente | Evidencia del head exacto | Estado de publicación | Alcance admitido | Evidencia |
|---|---|---|---|---|---|
Grafo semántico seleccionado por funcionesstable-semantic-program-graph | Parcial | Evidencia acotada anterior y Graph v21-v24 en fuente; falló el workflow general de c16348f. | Esquemas anteriores promovidos, v21-v24 sin promover | Preservación legacy, records y variantes owned, Shared Loan Plan y borrowing proyectado hasta v24. | Repositorio de GitHub |
Contexto acotado para agentesbounded-agent-context | Parcial | Porciones v1/v2 ejecutables; gate de coste a escala de repositorio abierto. | Superficie pública de investigación acotada | Límites deterministas de bytes, nodos, profundidad y fronteras. | Repositorio de GitHub |
Parches ligados a revisiónrevision-bound-semantic-patches | Parcial | Familias acotadas presentes; gate completo abierto. | Superficie pública de investigación acotada | Revisión exacta, rechazo obsoleto y validación selectiva del delta. | Repositorio de GitHub |
Cambios de workspace por capasmanaged-workspace-semantic-operations | Parcial | Renombrados y reemplazos acotados; estructura y publicación son capas separadas. | Workspace Operations v1 estrecho | Rename, Change, Replacement, derivación estructural y publicación autenticada sin autoridad general sobre árbol o Git. | Repositorio de GitHub |
Evidencia y almacenamiento de revisionessemantic-evidence-capsules | Parcial | Evidencia determinista presente; Revision Store v1 sin promover. | Mixto, Revision Store sin publicar | Review, Impact, Target, Patch, Workspace, generaciones inmutables y revisiones autenticadas. | Repositorio de GitHub |
Project v1 y vistas previas v8-v10bounded-multi-file-project | Parcial | Project v1 promovido; v8-v10 sin ejecutar o promover en el snapshot. | v1 promovido, v8-v10 sin publicar | v8 Bytes, Option y Result; v9 records owned planos; v10 UTF-8 owned, preservando v1-v7. | Repositorio de GitHub |
Intérprete, nativo y Core Wasmnative-and-wasm-lowering | Parcial | Ejecución acotada anterior; workflow general c16348f fallido. | Artefactos de investigación acotados | Intérprete de referencia, C11/Clang, Core Wasm/Node y corpus de frame payload. | Repositorio de GitHub |
Paquetes y análisis de compatibilidadpublic-wasm-scalar-exports | Parcial | Package Report v2, Offline Locks v1/v2 y Compatibility Evidence v1 authored; algunos gates no ejecutados. | Vista previa sin publicar | npm/Core-Wasm y ruta Rust segura para Project v8, sin gestor general ni ABI estable. | Repositorio de GitHub |
Runtime y transporte de proyectobounded-agent-runtime | Parcial | Evidencia fake-host anterior; Agent Transport v5 sin promover. | Runtime acotado, transporte en vista previa | Agent Context, host inyectado y transporte separado sin autoridad general de escritura, pagos o firmas. | Repositorio de GitHub |
Ownership, cleanup y borrowingownership-inspired-memory-management | Parcial | Porciones owned acotadas; nuevos loans y borrowing de campos authored. | Trabajo nuevo sin promover | own, borrow, shared, CleanupPlan, Shared Loan Plan y borrows proyectados; no borrow checker completo de Rust. | Repositorio de GitHub |
Soporte amplio de plataformasbroad-platform-support | Roadmap | Harnesses acotados, gate completo abierto. | Sin lanzamiento general de plataformas | Soporte general para macOS, Windows, Linux, web, iOS y Android. | Repositorio de GitHub |
Interoperabilidad bidireccionalbidirectional-ecosystem-interoperability | Roadmap | Vías generadas y específicas de host acotadas; gate general abierto. | Sin ABI pública general estable | Límites tipados y seguros con ownership para lenguajes y paquetes existentes. | Repositorio de GitHub |
// 02
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.
// FAQ
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.
Proyecto de investigación de Wavect: Wavect GmbH. Creado por Wavect como proyecto de investigación de sistemas de código abierto.