Un hito termina solo cuando se ejecuta todo su gate.
v0.9.0 ya está publicada con cinco archivos e instalación verificada. Los siguientes gates cubren perfiles más amplios, tests nativos, selección cualificada y evidencia de leyes a escala de proyecto. Separa resultados locales, publicación alojada y decisiones de soporte.
entity Semaprax
status beta
snapshot 933196b
authority github.com/wavect/semapraxLas cinco descargas ya existen. Más dispositivos, navegadores, genéricos y paquetes requieren aceptación y mantenimiento explícitos. Cualifica selección por dominio, conserva fallos LAW16 y cierra AC1/#392. No hay fecha v1.0.
Linux arm64 y macOS Intel se suman a los destinos existentes. Linux exige glibc 2.35+; cada archivo indica los mínimos de macOS y Windows. Todos los destinos pasan su recorrido de distribución instalada antes de publicarse.
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.
Solo un turno liquidado y aceptado abre otra ruta. La transferencia lleva hasta 16 KiB de estado, resúmenes y referencias, sin transcripción. Delegar reserva presupuesto del padre y hereda su plazo. Herramientas y especialistas se reautorizan contra permisos y esquemas actuales; la incertidumbre exige reconciliación.
Las cinco descargas ya existen. Más dispositivos, navegadores, genéricos y paquetes requieren aceptación y mantenimiento explícitos. Cualifica selección por dominio, conserva fallos LAW16 y cierra AC1/#392. No hay fecha v1.0.
Hay cinco 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 repository| Instantánea del repositorio | 933196b · 2026-10-15. La etiqueta v0.9.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.9.0 · Publicado el 11 de octubre de 2026 a las 15:07 UTC. Los 91 trabajos de la ejecución de publicación del tag exacto pasaron. Cinco archivos de herramientas y dos instaladores incluyen SHA256SUMS, cinco atestaciones y procedencia conjunta firmada y verificada independientemente. La publicación exige recorridos de instalación nativos. No hay notarización ni garantía de compilaciones reproducibles; verificar sin conexión no confirma revocaciones actuales. 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. |
Revisado el 15 de octubre de 2026 contra el commit v0.9.0, sus archivos publicados y la ejecución de publicación. El manual de instalación y el registro de canales del tag aún muestran ejemplos v0.8.0; utiliza las descargas v0.9.0 fijadas aquí. Los encabezados antiguos de matriz y hoja de ruta son históricos. El manual web sigue main y puede describir trabajo posterior. GitHub repository.
El manual en línea es la guía en inglés publicada desde main y puede incluir cambios posteriores a 0.9.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 el 15 de octubre de 2026 contra el commit v0.9.0, sus archivos publicados y la ejecución de publicación. El manual de instalación y el registro de canales del tag aún muestran ejemplos v0.8.0; utiliza las descargas v0.9.0 fijadas aquí. Los encabezados antiguos de matriz y hoja de ruta son históricos. El manual web sigue main y puede describir trabajo posterior.
Las cinco descargas ya existen. Más dispositivos, navegadores, genéricos y paquetes requieren aceptación y mantenimiento explícitos. Cualifica selección por dominio, conserva fallos LAW16 y cierra AC1/#392. No hay fecha v1.0.
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.