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 036cc69 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 036cc69
authority github.com/wavect/semapraxEstado del repositorio en la instantánea auditada
| Instantánea del repositorio | 036cc69 · 2026-09-02. La documentación pasó, pero la ejecución de CI actual fue cancelada. El tag separado v0.2.0 superó sus 45 jobs. |
|---|---|
| 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 | 5f6fb965 · La prerelease v0.2.0 se publicó después de que los 45 jobs de la ejecución exacta del tag pasaran. |
| Vista previa de desarrollo en el código fuente | Project v8-v10 y las rutas de paquetes, borrowing, transporte y Revision Store obtuvieron cobertura de regresión alojada del tag exacto. Los paquetes siguen sin publicarse y los perfiles sin promoverse. |
¿Qué implementa Semaprax hoy?
En el producto completo, Semaprax v0.2.0 tiene 49 requisitos parciales y ninguno implementado o faltante. La prerelease superó los 45 jobs en el commit exacto del tag 5f6fb965. Project v8-v10 y las rutas más nuevas de ownership, borrowing, paquetes, transporte y Revision Store obtuvieron evidencia de regresión acotada, pero siguen siendo vistas previas sin promover.
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 | Las regresiones Graph v21-v24 se ejecutaron en el inventario del tag v0.2.0; el requisito completo sigue Parcial. | 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 es la base promovida; v8-v10 obtuvieron cobertura de regresión alojada del tag exacto, pero siguen sin promover. | 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 | El tag v0.2.0 ejecutó regresiones seleccionadas de intérprete, nativo, Core Wasm/Node, navegador y paquetes; el soporte completo sigue abierto. | 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 | Informes, locks offline, compatibilidad, resolver, cápsulas de fuente y builds Wasm acotados se ejecutaron en el inventario v0.2.0; la promoción sigue abierta. | 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 |
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.