EVIDENCIA · 933196B · 2026-10-15

Qué implementa v0.9.0 y qué no demuestra.

La evidencia tiene estado, alcance y fecha de revisión.

La versión 0.9.0 corresponde al commit 933196b y se publicó el 11 de octubre de 2026 tras 91 trabajos exitosos. La revisión del 15 de octubre cubre instaladores, cinco destinos, selección, diagnósticos y adiciones con alcance propio. El registro distingue perfiles ejecutables, mediciones locales y gates pendientes.

semaprax://evidencev0.9.0

entity     Semaprax
status     beta
snapshot   933196b
authority  github.com/wavect/semaprax

¿Qué implementa Semaprax hoy?

La beta publica cinco archivos nativos y recorridos de instalación verificados. El tag incluye cambios semánticos, leyes, Agents tipados, límites Rust/Wasm, selección por políticas y perfiles acotados. La matriz sigue en 55 Partial, 0 Implemented, 0 Missing. La selección aprendida no está cualificada, los tests Project nativos conservan un gate pendiente y la API genérica pública sigue sin soporte ni publicación.

Registro de evidencia de capacidades

Estado del producto completo 55 Parcial · 0 Implementado · 0 Faltante

ParcialCódigo canónico e identidad estable
ParcialContexto limitado y proyecciones compactas
ParcialCambios semánticos, no reescrituras arbitrarias
ParcialLa publicación controlada es un límite independiente
ParcialEvidencia semántica reproducible
ParcialProyectos multimódulo y plantillas offline
ParcialEjecución interpretada, nativa y Core Wasm
ParcialExportaciones escalares JavaScript/TypeScript delimitadas
ParcialAgentes de ejecución tipados
ParcialOwnership y limpieza reproducible
ParcialUn lenguaje más completo para tareas cotidianas
ParcialPresupuestos, recuperación duradera y llamadas al modelo
ExperimentalExperimentos de aplicaciones y agentes económicos
Vista previaInterfaces generadas específicas por perfil
RoadmapSoporte amplio nativo y de aplicaciones
RoadmapInteroperabilidad bidireccional general
DemostradoProcedencia firmada de la publicación
Vista previaLímite genérico compilado
Vista previaEtapas opcionales de Agents nativas y Wasm
ExperimentalYields acotados y continuaciones persistentes
ExperimentalConfianza local en Registry-v3 firmado
DemostradoPrueba Lean y gate de obligaciones fijados
ParcialLeyes del código y pruebas comprobadas de nuevo
Vista previaIntegración nativa ampliada con Rust
Vista previaFutures Rust en un mismo hilo
ExperimentalEntorno de desarrollo conectado al compilador
Vista previaRecarga en caliente comprobada para desarrollo
ParcialContabilidad de contexto, tokens y coste por tarea
ParcialInstala sin clonar
ExperimentalExplica la elección de modelos y herramientas
ParcialCambia entre turnos confirmados
ParcialIndicaciones de reparación más precisas
ParcialPerfiles acotados de comandos y datos
DemostradoConserva resultados adversos de pruebas
ParcialRefuerza los límites del harness
ParcialJSON estricto y patrones ASCII acotados
Vista previaGate de tests Project nativos pendiente

Estado actual	Estado del código fuente	Evidencia y procedencia	Estado de publicación	Alcance admitido	Evidencia
Código canónico e identidad estable `stable-semantic-program-graph`	Parcial	Los jobs exactos de Project y Rust pasaron los contratos admitidos del grafo; el objetivo semántico completo sigue Parcial.	Perfil delimitado alfa de fuente/toolchain	El código `.spx` legible sigue siendo canónico en Git. Los valores `@id` identifican declaraciones independientemente de cambios de nombre admitidos. La revisión vincula código canónico y prelude implícito del compilador, no posiciones accidentales ni el formato serializado del grafo.	GitHub repository
Contexto limitado y proyecciones compactas `bounded-agent-context`	Parcial	Están implementados el contexto tipado acotado, la comprobación de proyecciones compactas y las comparaciones locales de tokenizadores guardadas en el repositorio.	Perfil delimitado alfa de fuente/toolchain	Selecciona el contexto exacto del grafo o de la tarea con límites de profundidad, dirección, nodos y bytes. Model-text v2 reduce tokens en algunas entradas grandes y los aumenta en las pequeñas; los informes conservan el tokenizador y el límite de comparación.	GitHub repository
Cambios semánticos, no reescrituras arbitrarias `revision-bound-semantic-patches`	Parcial	Jobs exactos de reparación y Project pasaron cambios delimitados; reescrituras arbitrarias del repositorio quedan fuera.	Perfil delimitado alfa de fuente/toolchain	Inspeccionar contexto, derivar candidato, revisar impacto, reproducir comprobaciones y autorizar la aplicación explícitamente. Además de renombrar hay reemplazo limitado de expresiones, cambios estructurales y composición rebase/merge definida. Cada protocolo conserva sus límites de revisión, identidad y operación.	GitHub repository
La publicación controlada es un límite independiente `managed-workspace-semantic-operations`	Parcial	Project Product Acceptance pasó en Linux, macOS y Windows; publicar aún exige autoridad explícita.	Perfil delimitado alfa de fuente/toolchain	Las generaciones de workspace, evidencia de candidatos, almacén de revisiones y flujos MCP mantienen autoridad explícita de escritura y publicación. Validar varios archivos no actualiza atómicamente rutas arbitrarias, Git o editores. La API de integración Rust ofrece límites, cancelación y sesiones opacas, no acceso libre al host.	GitHub repository
Evidencia semántica reproducible `semantic-evidence-capsules`	Parcial	La evidencia ligada a revisión está implementada y pasó la conciliación de claims; un recibo no autoriza cambios.	Perfil delimitado alfa de fuente/toolchain	La evidencia liga hechos validados y cambios candidatos a fuentes y revisiones. Un recibo apoya revisión o rechazo, pero no otorga autoridad para ejecutar, modificar o publicar.	GitHub repository
Proyectos multimódulo y plantillas offline `bounded-multi-file-project`	Parcial	Pasaron Project Manifest, Product Acceptance y la jornada de toolchain instalada; los hosts de servicio tienen alcance propio.	Perfil delimitado alfa de fuente/toolchain	Los manifiestos definen el código, las entradas, las pruebas y las exportaciones declaradas. Las plantillas incluidas de calculadora, biblioteca y servicio tienen sus propios perfiles. new crea un proyecto nuevo a partir de archivos integrados; las comprobaciones del código, las pruebas interpretadas y las compilaciones siguen el contrato del manifiesto seleccionado.	GitHub repository
Ejecución interpretada, nativa y Core Wasm `native-and-wasm-lowering`	Parcial	Pasaron cinco archivos y gates nativos/Wasm seleccionados; cada perfil conserva admisión independiente.	Perfil delimitado alfa de fuente/toolchain	Los perfiles admitidos de escalares, datos con propiedad, genéricos, colecciones y listas inmutables se ejecutan mediante el intérprete, C11/Clang nativo y Core Wasm con conformidad específica por perfil. Los anfitriones opcionales de etapas de Agents se vinculan por separado; los yields habituales siguen sin admitir emisión nativa/Wasm.	GitHub repository
Exportaciones escalares JavaScript/TypeScript delimitadas `public-wasm-scalar-exports`	Parcial	Pasó el job exacto de exportaciones escalares en Chromium; otros navegadores y paquetes propios son independientes.	Perfil delimitado alfa de fuente/toolchain	Las exportaciones escalares con ID estable tienen perfil público Wasm y fixture de navegador propios. Paquetes de datos propios, soporte amplio de navegadores, componentes y firmas genéricas no heredan ese soporte.	GitHub repository
Agentes de ejecución tipados `bounded-agent-runtime`	Parcial	Los trabajos AGENT-06 de ciclo de vida y clientes se superaron en Linux, macOS y Windows. Las rutas predeterminadas mantienen el intérprete; los anfitriones de destinos retenidos opcionales tienen evidencia acotada independiente.	Perfil delimitado alfa de fuente/toolchain	Los roles tipados del código dirigen inicialización, observación, propuestas del modelo, autorización, efectos y reducción. Los esquemas Proposal vinculados limitan la decodificación. Las rutas predeterminadas usan el intérprete; ciertas rutas de biblioteca permiten aportar anfitriones retenidos de etapas C11 nativas/Core Wasm bajo sus propias comprobaciones locales de equivalencia y recuperación.	GitHub repository
Ownership y limpieza reproducible `ownership-inspired-memory-management`	Parcial	GEN-05B y Rust pasaron perfiles de ownership admitidos; la seguridad general de lifetimes sigue abierta.	Perfil delimitado alfa de fuente/toolchain	Son ejecutables los valores con propietario y prestados, los planes de liberación, ciertos registros/variantes y las composiciones de recursos. Los callbacks acotados de Bytes con propietario, copias escalares, estado mutable transaccional y texto prestado síncrono incluyen controles de movimiento, escape y liberación. Siguen pendientes los tiempos de vida generales, las capturas arbitrarias y las ABI públicas de préstamos.	GitHub repository
Un lenguaje más completo para tareas cotidianas `everyday-language-and-collections`	Parcial	Pasó el job exacto STD-08; la biblioteca Everyday completa y los proveedores físicos siguen pendientes.	Perfil delimitado alfa de fuente/toolchain	Registros, variantes, clases, herencia, inferencia genérica acotada, Option/Result, mutación, bucles, vectores, iteradores, valores de función y closures acotados permiten crear programas útiles. List<i64> inmutable añade constructores persistentes y ejemplos de leyes vinculadas al código; las restricciones más amplias y las combinaciones de características mantienen sus límites.	GitHub repository
Presupuestos, recuperación duradera y llamadas al modelo `model-budgets-and-durable-recovery`	Parcial	AGENT-06 pasó rutas limitadas de ciclo y contabilidad; facturas del proveedor y políticas del host siguen externas.	Perfil delimitado alfa de fuente/toolchain	Los adaptadores explícitos aportan credenciales, transporte y almacenamiento. Los límites cubren llamadas, tokens, bytes, plazos y costes cotizados. Los perfiles duraderos confirman intención antes de enviar y rechazan reenvíos inciertos. El host genérico admite retry/failover limitado; la ruta source-model ligada no reintenta ni cambia proveedor automáticamente. Uso observado no equivale a facturación garantizada.	GitHub repository
Experimentos de aplicaciones y agentes económicos `application-and-economic-agent-profiles`	Experimental	El anfitrión acotado de instantáneas de referencia dispone de evidencia local empaquetada y de pruebas seleccionadas en Linux/Podman alojado; la autoridad de los agentes económicos sigue suministrándose explícitamente.	Perfil delimitado alfa de fuente/toolchain	Las rutas del servicio de referencia combinan decisiones comprobadas de sesiones, tareas y trabajos con persistencia por instantáneas y telemetría seleccionada de eventos JSON u OTLP. Se rechazan adaptadores SQL. Los agentes económicos conservan responsabilidades explícitas de cartera, simulación, aprobación, firma y conciliación; no se deriva una garantía externa de ejecución exactamente una vez.	GitHub repository
Interfaces generadas específicas por perfil `owned-data-package-previews`	Vista previa	Project Product Acceptance y SDK Rust nativo pasaron en tres hosts; la publicación de paquetes generados sigue abierta.	Preview generado/privado; publicación y soporte público son decisiones separadas	Project v8 transporta Bytes y formas concretas de Option/Result; v9 añade records propios planos, v10 UTF-8 propio y v11 records propios anidados. Consumidores native/Rust y npm/Wasm, transportes privados y metadatos genéricos tienen contratos separados. Publicar toolchain, paquetes y soporte público son decisiones distintas.	GitHub repository
Soporte amplio nativo y de aplicaciones `broad-platform-support`	Roadmap	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.	Soporte completo no establecido	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 repository
Interoperabilidad bidireccional general `bidirectional-ecosystem-interoperability`	Roadmap	Siguen 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.	Soporte completo no establecido	Siguen 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
Procedencia firmada de la publicación `release-provenance`	Demostrado	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.	Toolchain alfa y assets de procedencia publicados	Se publican cinco archivos, dos instaladores, checksums y cinco atestaciones. El trabajo verifica procedencia firmada e igualdad del candidato tras instalar; no acredita notarización ni reproducibilidad.	GitHub repository
Límite genérico compilado `public-generic-compiled-boundaries`	Vista previa	El gate genérico exacto pasó en Linux, macOS y Windows; ejecuta un proveedor Core Wasm privado validado, carrier TypeScript y corpus de liquidación nativa.	Perfil privado sin publicar; PG-9 sigue sin soporte	Son reales un endpoint genérico admitido y casos limitados de consumidores y liquidación. Quedan abiertas más formas, ABI pública y publicación de paquetes.	GitHub repository
Etapas opcionales de Agents nativas y Wasm `source-agent-target-parity`	Vista previa	Las etapas acotadas de Agents del código se ejecutan por rutas selladas del intérprete, C11 nativo y Core Wasm, con comprobaciones locales seleccionadas de equivalencia, recuperación y migración.	Selectores explícitos de destino en biblioteca; las rutas predeterminadas mantienen el intérprete	El anfitrión aporta explícitamente el runtime nativo o Wasm retenido. Esto no establece medición general de instrucciones, equivalencia irrestricta de liberación o finalizadores, todos los perfiles de código ni soporte amplio de Agents desplegados o alojados.	GitHub repository
Yields acotados y continuaciones persistentes `bounded-resumable-effects`	Experimental	Los perfiles del intérprete admiten yields secuenciales y dependientes del control, conservación selectiva de Bytes con propietario y recuperación persistente autenticada. Un perfil público de Agents con propiedad tiene comprobaciones de dos turnos y de ciertos reinicios de proceso.	Sin ABI pública de continuación nativa/Wasm	Cada perfil limita los puntos de suspensión, el estado con propietario y las fases de restauración. Los emisores nativos/Wasm habituales siguen rechazando funciones con yields. Quedan pendientes planificación general, continuaciones con propiedad arbitrarias, migración universal y una ABI pública estable de continuaciones.	GitHub repository
Confianza local en Registry-v3 firmado `signed-registry-local-trust`	Experimental	Raíces y hojas vinculadas al productor, metadatos firmados, generaciones retenidas, lecturas ligadas al lock y puente de caché tienen gates locales.	Sin registro alojado ni distribución pública	La evidencia local firmada no concede permisos implícitos de fetch, ejecución ni publicación. Raíces de producción, transporte y soporte son independientes.	GitHub repository
Prueba Lean y gate de obligaciones fijados `lean-kernel-obligation-gate`	Demostrado	El job Lean exacto pasó la prueba Kernel-0, auditoría de axiomas, exportación de obligaciones y corpus diferencial.	Prueba de investigación delimitada, no certificado de seguridad general	La prueba cubre solo su subconjunto Kernel-0 formal, no todo el lenguaje, todos los backends ni ausencia de vulnerabilidades.	GitHub repository
Leyes del código y pruebas comprobadas de nuevo `source-laws-and-proofs`	Parcial	La sintaxis nativa de leyes, los inventarios seleccionados, la reparación protegida y los perfiles acotados instalados de Lean/Z3 tienen evidencia ejecutable de éxito, mutación y rechazo.	Perfiles acotados del código y las herramientas de prueba	Las leyes contractuales, relacionales, escalares modulares, estructuradas finitas, de protocolo y de listas inmutables conservan identidades exactas de código y prueba. Los objetivos no admitidos quedan pendientes o se rechazan; la transformación de compilación, el código externo interno y sus efectos quedan fuera de una prueba general.	GitHub repository
Integración nativa ampliada con Rust `native-rust-rich-interop`	Vista previa	Existen importaciones seleccionadas, propietarios/vistas/callbacks generados y pruebas de aplicaciones reales con Regex/Url, Serde/iteradores y reqwest/Tokio.	Versiones preliminares generadas para desarrolladores; firmas nativas seleccionadas	Las vistas vinculadas al propietario y las capturas acotadas FnOnce, FnMutI64 y de texto prestado síncrono conservan sus contratos específicos de tiempo de vida y reversión. Los registros de aplicaciones incluyen rendimiento adverso y límites del anfitrión invitado; siguen sin demostrarse compatibilidad con crates o ABI arbitrarias y ausencia de sobrecoste.	GitHub repository
Futures Rust en un mismo hilo `local-rust-futures`	Vista previa	Los manejadores locales Future generados, el yield seleccionado del código, los ejecutores controlados por el llamador y los controles reales de HTTP, cancelación y cierre disponen de evidencia local.	Perfiles locales acotados, generados y seleccionados por Project	El anfitrión aporta el ejecutor y el runtime. Una suspensión admitida y una revisión exacta de Project quedan vinculadas al adaptador generado; los streams, la ejecución entre hilos, el estado persistente arbitrario de Futures y las importaciones asíncronas universales siguen siendo ámbitos separados.	GitHub repository
Entorno de desarrollo conectado al compilador `compiler-assisted-harness`	Experimental	Las respuestas de tareas, planes y reparaciones, los bloqueos y confianza de proveedores, la recuperación de información, las skills oficiales, la selección de modelos y las conexiones/MCP tienen evidencia local y seleccionada en Linux alojado.	Orquestación de la cadena completa y anfitrión independiente; configuración explícita del proyecto	Graft/Graphify seleccionados por proyecto, las vistas RTK y las skills Ponytail/Caveman apoyan flujos acotados. La evolución WikiSkill y la evaluación de selección de modelos son comprobaciones explícitas. Windows, resultados más amplios entre modelos/plataformas y cambios automáticos de valores predeterminados requieren evidencia adicional.	GitHub repository
Recarga en caliente comprobada para desarrollo `checked-hot-reload`	Vista previa	Las sesiones de intérprete retenidas y los controles de VS Code superan comprobaciones seleccionadas de activación, rechazo, puntos seguros y ciclo de vida en macOS arm64.	Sesión dev local acotada; la migración de Agents del código es una ruta aparte	Los candidatos se comprueban antes de activarse y los cambios inválidos dejan utilizable la revisión activa. La recarga del pequeño caso registrado es más lenta que reiniciar. Otros sistemas operativos, la sustitución de estado nativo/Wasm y el despliegue en producción quedan fuera de este resultado.	GitHub repository
Contabilidad de contexto, tokens y coste por tarea `task-token-accounting`	Parcial	Están implementados los informes locales exactos de tokenizadores, la agregación por sesión y los registros normalizados del proveedor; la campaña de pago registrada no justificó cambiar los valores predeterminados.	Medición local y perfiles explícitos de contabilidad del proveedor	Mantén separados los datos seleccionados comparables, las huellas de tokenizadores, las reservas, el uso observado y el dinero declarado o estimado. El uso ausente sigue sin estar disponible y las llamadas fallidas permanecen contabilizadas. El mejor ahorro registrado no alcanzó el umbral declarado.	GitHub repository
Instala sin clonar `verified-installers`	Parcial	Los instaladores de shell y PowerShell verifican archivo y manifiesto, prueban el binario y lo activan de forma atómica por usuario. La verificación del editor se distingue de las sumas de comprobación.	Implementación beta acotada; cualificación por perfil	Los instaladores de shell y PowerShell verifican archivo y manifiesto, prueban el binario y lo activan de forma atómica por usuario. La verificación del editor se distingue de las sumas de comprobación.	GitHub repository
Explica la elección de modelos y herramientas `shared-model-routing`	Experimental	Un núcleo de decisión sirve al desarrollo y a la ejecución. Las reglas son el valor predeterminado; los adaptadores recomiendan perfiles, herramientas o especialistas ya filtrados. La recomendación no otorga permisos ni sustituye la autorización.	Implementación beta acotada; cualificación por perfil	Un núcleo de decisión sirve al desarrollo y a la ejecución. Las reglas son el valor predeterminado; los adaptadores recomiendan perfiles, herramientas o especialistas ya filtrados. La recomendación no otorga permisos ni sustituye la autorización.	GitHub repository
Cambia entre turnos confirmados `durable-turn-routing`	Parcial	Los despliegues aprobados por el host cambian solo entre turnos aceptados de forma duradera. Las transferencias conservan resúmenes y estado acotado; una llamada o efecto incierto detiene el proceso para reconciliarlo.	Implementación beta acotada; cualificación por perfil	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.	GitHub repository
Indicaciones de reparación más precisas `agent-repair-guidance`	Parcial	Los diagnósticos indican importaciones exactas, sufijos, reparaciones de propiedad y declaraciones de efectos. Los temas instalados y AGENTS.md guían pasos pequeños; VS Code permite elegir y comprobar el compilador.	Implementación beta acotada; cualificación por perfil	Los diagnósticos indican importaciones exactas, sufijos, reparaciones de propiedad y declaraciones de efectos. Los temas instalados y AGENTS.md guían pasos pequeños; VS Code permite elegir y comprobar el compilador.	GitHub repository
Perfiles acotados de comandos y datos `native-command-resource-output`	Parcial	El código del tag incluye comandos nativos Project v26/v28, validación JSON estricta y patrones ASCII acotados. Cada perfil tiene admisión y evidencia propias; los tests nativos aún tienen pendiente su gate del commit actual.	Implementación beta acotada; cualificación por perfil	Los comandos Project v26/v28 son solo nativos. v28 admite 1 MiB por String y 1 MiB de salida conjunta preparada con append acotado; conserva límites de lectura y capacidades. std.data.json.scan valida JSON UTF-8 completo con política explícita de claves duplicadas; std.pattern compara bytes ASCII acotados. No amplía todos los perfiles del intérprete, Wasm o API pública.	GitHub repository
Conserva resultados adversos de pruebas `law16-retained-campaigns`	Demostrado	Una campaña LAW16 con Claude completó 20 ensayos por USD 0.291235: 19 pasaron la repetición independiente y un candidato Bend falló. Nueve pares completos pasaron; no establece una clasificación general de lenguajes o costes.	Implementación beta acotada; cualificación por perfil	Una campaña LAW16 con Claude completó 20 ensayos por USD 0.291235: 19 pasaron la repetición independiente y un candidato Bend falló. Nueve pares completos pasaron; no establece una clasificación general de lenguajes o costes.	GitHub repository
Refuerza los límites del harness `harness-protocol-hardening`	Parcial	Las actualizaciones conservan revocaciones con escrituras concurrentes; la cancelación es terminal, las colas son acotadas y las infracciones permanecen aisladas. Graft respeta el presupuesto y Graphify vincula resultados a cada solicitud.	Implementación beta acotada; cualificación por perfil	Las actualizaciones conservan revocaciones con escrituras concurrentes; la cancelación es terminal, las colas son acotadas y las infracciones permanecen aisladas. Graft respeta el presupuesto y Graphify vincula resultados a cada solicitud.	GitHub repository
JSON estricto y patrones ASCII acotados `strict-json-and-ascii-patterns`	Parcial	JSON estricto tiene controles locales de intérprete, nativo, Core Wasm e integración; el catálogo registra un paquete de patrones acotado.	Paquetes aditivos; sin API universal de regex u objetos JSON	std.data.json.scan valida documentos UTF-8 prestados completos con profundidad acotada y política de duplicados decodificados. std.pattern compara bytes ASCII con capturas planas y límite de trabajo; no son regex generales ni semántica de caracteres Unicode.	GitHub repository
Gate de tests Project nativos pendiente `native-project-tests-pending`	Vista previa	La especificación marca pendiente el gate ejecutable actual. Código escrito no equivale a resultado aprobado.	Perfil opcional escrito, sin promoción de soporte	semaprax test <project> --target native elige raíces v26/v28 autenticadas, con 10 segundos y 65.536 bytes por raíz. Compilar queda fuera del timeout. Mantiene el intérprete y sus rechazos; sin cualificación alojada o de dispositivos.	GitHub repository

Límites que siguen pendientes

La evidencia de la versión beta no demuestra preparación para producción, seguridad de memoria universal ni ausencia de errores.
Un flujo correcto cubre las comprobaciones que ejecutó. Las pruebas ignoradas, los anfitriones sin preparar y las combinaciones de destinos adicionales requieren evidencia independiente.
Las pruebas de leyes nativas cubren la semántica y las suposiciones seleccionadas. No prueban código Rust interno arbitrario, todas las transformaciones de compilación ni la liquidación externa.
La publicación de paquetes Rust/npm generados, el soporte de ABI genéricas públicas y la promoción de perfiles Project más amplios siguen siendo decisiones independientes.
Las rutas predeterminadas de Agents usan el intérprete. Las rutas opcionales de etapas nativas/Wasm retenidas por el llamador tienen evidencia acotada, no equivalencia irrestricta entre backends.
Los proveedores de modelos, credenciales, almacenamiento, firma de carteras y autoridad externa siguen siendo responsabilidades configuradas explícitamente por el anfitrión.
La recuperación persistente conserva la incertidumbre; no garantiza efectos de red o pagos exactamente una vez ni la facturación del proveedor.
Las reducciones de contexto compacto y las pruebas de pago no demuestran una ventaja general en tokens, latencia, calidad o coste por tarea.

// STATUS

Estado del repositorio en la instantánea auditada

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.

// DOCS

Abre el manual de Semaprax

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.

Manual en línea

La ruta de aprendizaje actual en inglés, publicada desde main.

Copia del manual de 0.9.0

Los archivos del manual en el commit exacto del lanzamiento revisado.

Crea tu primer proyecto

Guía actual en inglés del manifiesto, las comprobaciones, las pruebas y las compilaciones de la calculadora.

Aprende lo esencial del lenguaje

Introducción actual en inglés a valores, funciones y estructura del código.

Trabaja con un agente de programación

Guía actual en inglés de contexto semántico y flujos seguros de cambios.

Referencia de la CLI para 0.9.0

Comandos fijados a la revisión y límites entre la CLI independiente y la cadena completa.

Extensión de VS Code

Configuración, navegación semántica, revisión y controles de desarrollo fijados a la revisión.

Ejemplos ejecutables

Ejemplos fijados a la revisión para el lenguaje, proyectos, leyes, Agents e integraciones con el anfitrión.

// REF

Fuentes primarias de esta página

// FAQ

Preguntas y respuestas prácticas

¿Qué significa Demostrado?

Un artefacto o ruta de ejecución concreto superó su comprobación específica bajo las restricciones indicadas de código, anfitrión y funcionalidad. El registro también identifica perfiles Parciales, Preliminares para desarrolladores y Experimentales. Una parte demostrada no acredita soporte completo del lenguaje o de una plataforma.

¿CI verde demuestra seguridad?

Aporta evidencia sobre las comprobaciones que realmente se ejecutaron, incluidas rutas de éxito y adversas. La versión 0.9.0 también tiene procedencia firmada y atestaciones de archivos. Estas comprobaciones no demuestran ausencia de vulnerabilidades, no cubren todas las pruebas ignoradas o con preparación específica ni convierten una prueba acotada en corrección de todo el lenguaje.

Proyecto de investigación de Wavect: Wavect GmbH. Creado por Wavect como proyecto de investigación de sistemas de código abierto.