Un hito termina solo cuando se ejecuta todo su gate.
La versión 0.8.0 establece una beta publicada sobre la que avanzar. Las próximas decisiones determinarán qué perfiles del lenguaje, pruebas, Rust, orquestación y ejecución pueden ampliar su soporte, con aceptación ejecutable y resultados medidos para cada incorporación.
entity Semaprax
status beta
snapshot 615e501
authority github.com/wavect/semaprax| Instantánea del repositorio | 615e501 · 2026-10-06. La etiqueta v0.8.0 apunta al commit de código fijado. La CI exacta de la etiqueta terminó correctamente. Esto no garantiza aptitud para producción ni seguridad general. |
|---|---|
| Estado del producto completo | 55 Parcial · 0 Implementado · 0 Faltante |
| Contrato de grafo y proyecto | El código canónico, los ID estables y las representaciones comprobadas del compilador conectan leyes, consultas semánticas, cambios y ejecución. Los esquemas de grafo y Project seleccionados por funcionalidad conservan sus propios contratos de admisión, compatibilidad y autoridad del anfitrión. |
| Versión beta publicada | v0.8.0 · Publicada el 6 de octubre de 2026 a las 07:37 UTC. Los 82 trabajos de CI de la etiqueta exacta finalizaron correctamente. Se publicaron tres archivos de la cadena de herramientas, SHA256SUMS, atestaciones por archivo y procedencia agregada firmada. El trabajo de lanzamiento verificó de forma independiente el conjunto firmado antes de publicarlo. Los archivos no están notarizados ni se afirma que las compilaciones sean reproducibles; la verificación sin conexión no acredita el estado actual de revocación. CI de la etiqueta exacta. |
| Previews de paquetes y API | La versión incluye perfiles útiles del lenguaje, leyes del programa, orquestación e integración con el sistema anfitrión. La publicación y el soporte de los paquetes Rust/npm generados, las ABI genéricas públicas y otras plataformas siguen requiriendo decisiones independientes. |
Mantener las garantías del código y los archivos publicados, ampliar los perfiles de leyes y Rust, evaluar cambios de orquestación frente a calidad y coste reales por tarea, y extender la recarga comprobada y la recuperación de Agents a otros anfitriones. Las ABI genéricas públicas, la publicación de paquetes y una plataforma de aplicaciones mantenida siguen siendo hitos independientes. El caso máximo de catalog-normalizer ha superado su comprobación acotada de aplicación con intérprete, código nativo y Core Wasm; ya no es un objetivo sin ejecutar. No se anuncia una fecha para v1.0.
Conserva la identidad del código, las comprobaciones deterministas, la procedencia de los archivos y las rutas de rechazo conforme evoluciona la implementación. Amplía la cobertura de leyes y la reparación protegida de cuerpos con evidencia actual de pruebas, código y destinos; una versión anterior correcta no valida un cambio posterior.
Amplía las API Rust seleccionadas, las capturas de callbacks y la composición de Futures, registrando cada suposición externa y destino. Decide la publicación y compatibilidad admitida de paquetes Rust/npm generados y fronteras genéricas públicas; PG-9 sigue sin soporte y sin publicación.
Parte de los registros, genéricos, colecciones, listas inmutables, propiedad y closures acotados ya existentes. Amplía de forma deliberada los tiempos de vida y la composición de datos, y mide programas realistas frente a límites de recursos y comportamiento de los backends.
Amplía la restauración de checkpoints, la resolución de fallos y los destinos opcionales de etapas. Lleva la recarga comprobada a más anfitriones y evalúa recuperación de información, skills y selección de modelos mediante criterios de tareas aceptadas y coste. La campaña de pago registrada no justificó un nuevo valor predeterminado.
Añade plataformas anfitrionas, motores de navegador, dispositivos y ecosistemas de paquetes con compromisos propios y repetibles de conformidad, ciclo de vida y mantenimiento. Una plataforma de aplicaciones completa y el producto final de validación 1.0 siguen siendo trabajo de mayor alcance; no se implica una fecha de entrega.
Hay tres archivos de toolchain publicados y perfiles delimitados de navegador/móvil/escritorio. Una plataforma de aplicaciones completa entre motores, dispositivos físicos, sistemas y flujos instalados sigue siendo un requisito más amplio.
GitHub repositorySiguen pendientes interfaces externas generales seguras para ownership, ABI estables de agregados/recursos/componentes/genéricos, publicación mantenida y compatibilidad amplia. Metadatos, código generado y fixtures privados no completan el requisito.
GitHub repositoryRevisado frente a la etiqueta v0.8.0 y su commit de código fijado. Las especificaciones versionadas definen admisión y autoridad; los títulos de versiones anteriores en la matriz y el roadmap son históricos. GitHub repository.
El manual en línea es la guía en inglés publicada desde main y puede incluir cambios posteriores a 0.8.0. Utiliza la copia fijada a la revisión al reproducir esta versión.
La ruta de aprendizaje actual en inglés, publicada desde main.
Los archivos del manual en el commit exacto del lanzamiento revisado.
Guía actual en inglés del manifiesto, las comprobaciones, las pruebas y las compilaciones de la calculadora.
Introducción actual en inglés a valores, funciones y estructura del código.
Guía actual en inglés de contexto semántico y flujos seguros de cambios.
Comandos fijados a la revisión y límites entre la CLI independiente y la cadena completa.
Configuración, navegación semántica, revisión y controles de desarrollo fijados a la revisión.
Ejemplos fijados a la revisión para el lenguaje, proyectos, leyes, Agents e integraciones con el anfitrión.
Revisado frente a la etiqueta v0.8.0 y su commit de código fijado. Las especificaciones versionadas definen admisión y autoridad; los títulos de versiones anteriores en la matriz y el roadmap son históricos.
No se ha anunciado una fecha para v1.0. La versión 0.8.0 se publicó el 6 de octubre de 2026. La hoja de ruta describe líneas de trabajo y criterios de aceptación; los encabezados numerados antiguos no son una lista fiable de versiones aún pendientes de publicar.
Una implementación acotada debe cumplir su contrato y sus comprobaciones de éxito y adversas. Un soporte más amplio necesita además los anfitriones, interfaces y alcance de mantenimiento indicados. Publicar paquetes y cambiar los valores predeterminados de orquestación son decisiones independientes, con evidencia propia de lanzamiento o de calidad y coste.