EVIDENCIA · B9F593C · 2026-09-16

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

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

La etiqueta v0.5.0 y main revisado apuntan a b9f593c. La CI exacta de publicación terminó correctamente y se publicaron tres archivos de toolchain. El contrato global mantiene 55 requisitos Parciales, 0 Implementados y 0 Ausentes. Es una clasificación de cobertura, no un porcentaje de finalización.

semaprax://evidencev0.5.0

entity     Semaprax
status     investigación pre-alfa
snapshot   b9f593c
authority  github.com/wavect/semaprax

// STATUS

Estado del repositorio en la instantánea auditada

Instantánea del repositorio	`b9f593c` · 2026-09-16. El commit de main revisado coincide con la etiqueta v0.5.0. La CI de esa etiqueta terminó correctamente; la CI independiente de la rama fue cancelada. 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	Los esquemas del grafo se seleccionan por función y preservan contratos anteriores. Project v1 es la base; los perfiles de datos con ownership v8, v9, v10 y v11 tienen límites propios.
Versión preliminar publicada	`v0.5.0` · Publicada el 16 de septiembre de 2026 a las 09:43 UTC. Tres archivos: Linux x86-64, macOS Apple Silicon y Windows x86-64, con SHA256SUMS. El binario semaprax incluido es la toolchain completa, no la CLI independiente de Cargo. CI de la etiqueta exacta.
Previews de paquetes y API	Publicar la toolchain no publica sus paquetes Rust/npm generados ni promueve APIs privadas. Las decisiones sobre Project v8-v11, ownership genérico público, más plataformas y etapas Agent nativas/Wasm siguen siendo independientes.

¿Qué implementa Semaprax hoy?

Existen perfiles ejecutables de lenguaje, cambios semánticos, agentes iterativos, consumidores e integración host, incluidas las novedades de v0.5.0 en streaming, contabilidad, retries y jobs. No completan los requisitos generales. La matriz corrige el panel anterior de 50 filas a 55 requisitos reales sin cambiar umbrales; la web mostraba aún 49. Algunos textos del repositorio siguen citando v0.4.0; la versión actual se establece mediante el registro v0.5.0 y su CI exacta.

// 01

Registro de evidencia de capacidades

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	Presente en la implementación fijada; el workflow fue correcto en sus gates seleccionados. El contrato específico define la admisión exacta.	Perfil delimitado prealfa 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.	Repositorio de GitHub
Contexto limitado y proyecciones compactas `bounded-agent-context`	Parcial	Presente en la implementación fijada; el workflow fue correcto en sus gates seleccionados. El contrato específico define la admisión exacta.	Perfil delimitado prealfa de fuente/toolchain	Context v1/v2 limita profundidad, nodos y bytes; v2 añade recorrido direccional. El contexto por tarea y las proyecciones text, binary y model-text permiten intercambios enfocados con comprobación por replay. Menos bytes no implica menos tokens facturados ni mejores respuestas.	Repositorio de GitHub
Cambios semánticos, no reescrituras arbitrarias `revision-bound-semantic-patches`	Parcial	Presente en la implementación fijada; el workflow fue correcto en sus gates seleccionados. El contrato específico define la admisión exacta.	Perfil delimitado prealfa 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.	Repositorio de GitHub
La publicación controlada es un límite independiente `managed-workspace-semantic-operations`	Parcial	Presente en la implementación fijada; el workflow fue correcto en sus gates seleccionados. El contrato específico define la admisión exacta.	Perfil delimitado prealfa 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.	Repositorio de GitHub
Evidencia semántica reproducible `semantic-evidence-capsules`	Parcial	Presente en la implementación fijada; el workflow fue correcto en sus gates seleccionados. El contrato específico define la admisión exacta.	Perfil delimitado prealfa 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.	Repositorio de GitHub
Proyectos multimódulo y plantillas offline `bounded-multi-file-project`	Parcial	Presente en la implementación fijada; el workflow fue correcto en sus gates seleccionados. El contrato específico define la admisión exacta.	Perfil delimitado prealfa de fuente/toolchain	Los manifests definen cierre de fuentes, entradas, tests y exportaciones. La calculadora incluida admite check/test/run y builds delimitados. new crea un proyecto nuevo con archivos incluidos, sin inicializar Git ni consultar un registro.	Repositorio de GitHub
Ejecución interpretada, nativa y Core Wasm `native-and-wasm-lowering`	Parcial	Presente en la implementación fijada; el workflow fue correcto en sus gates seleccionados. El contrato específico define la admisión exacta.	Perfil delimitado prealfa de fuente/toolchain	Los perfiles escalares y de datos propios admitidos se ejecutan en intérprete, C11/Clang y Core Wasm. La conformidad depende del perfil; ejecutar bibliotecas no implica etapas Agent nativas/Wasm.	Repositorio de GitHub
Exportaciones escalares JavaScript/TypeScript delimitadas `public-wasm-scalar-exports`	Parcial	Presente en la implementación fijada; el workflow fue correcto en sus gates seleccionados. El contrato específico define la admisión exacta.	Perfil delimitado prealfa 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.	Repositorio de GitHub
Agentes de ejecución tipados `bounded-agent-runtime`	Parcial	Presente en la implementación fijada; el workflow fue correcto en sus gates seleccionados. El contrato específico define la admisión exacta.	Perfil delimitado prealfa de fuente/toolchain	Inicializar, observar, proponer, decodificar, autorizar, ejecutar y reducir. El reducer validado decide Continue, Complete, Suspend o Fail; se autoriza de nuevo en cada turno. Los esquemas Proposal compilados limitan streaming y decodificación antes de efectos. Las etapas Agent de código se ejecutan en el intérprete retenido, sin paridad nativa/Wasm.	Repositorio de GitHub
Ownership y limpieza reproducible `ownership-inspired-memory-management`	Parcial	Presente en la implementación fijada; el workflow fue correcto en sus gates seleccionados. El contrato específico define la admisión exacta.	Perfil delimitado prealfa de fuente/toolchain	Se implementan valores propios y prestados, planes de limpieza, hechos de préstamos y composiciones seleccionadas de recursos/genéricos. v0.5.0 añade String propio como carga directa de variantes; las sustituciones genéricas String y records propios anidados siguen restringidos. No es un sistema general completo de lifetimes ni compatibilidad Rust.	Repositorio de GitHub
Un lenguaje más completo para tareas cotidianas `everyday-language-and-collections`	Parcial	Presente en la implementación fijada; el workflow fue correcto en sus gates seleccionados. El contrato específico define la admisión exacta.	Perfil delimitado prealfa de fuente/toolchain	Los perfiles admiten records, variantes, clases, herencia, genéricos, Option/Result, mutación explícita, bucles, colecciones, iteradores, valores de función y closures limitados. Texto, bytes y biblioteca incluida permiten programas útiles. Capturas propietarias, restricciones genéricas generales y combinaciones arbitrarias siguen limitadas.	Repositorio de GitHub
Presupuestos, recuperación duradera y llamadas al modelo `model-budgets-and-durable-recovery`	Parcial	Presente en la implementación fijada; el workflow fue correcto en sus gates seleccionados. El contrato específico define la admisión exacta.	Perfil delimitado prealfa 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.	Repositorio de GitHub
Experimentos de aplicaciones y agentes económicos `application-and-economic-agent-profiles`	Experimental	Presente en la implementación fijada; el workflow fue correcto en sus gates seleccionados. El contrato específico define la admisión exacta.	Perfil delimitado prealfa de fuente/toolchain	HTTPS POST validado, autenticación/sesiones del host Rust y jobs con checkpoints son perfiles separados, no un framework web completo. Los agentes económicos exploran intenciones de pago, simulación, aprobación y conciliación con wallets y firma del host. Una propuesta no autoriza pagos ni garantiza liquidación exactamente una vez.	Repositorio de GitHub
Interfaces generadas específicas por perfil `owned-data-package-previews`	Vista previa	Presente en la implementación fijada; el workflow fue correcto en sus gates seleccionados. El contrato específico define la admisión exacta.	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.	Repositorio de GitHub
Soporte amplio nativo y de aplicaciones `broad-platform-support`	Roadmap	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.	Soporte completo no establecido	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.	Repositorio de GitHub
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.	Repositorio de GitHub

// 02

Afirmaciones que esta página no hace

Sin garantía de producción, seguridad de memoria universal ni ausencia de errores.
Un workflow correcto cubre sus gates seleccionados, no pruebas ignoradas ni todas las combinaciones.
La implementación interna de ownership/genéricos no establece una ABI genérica pública estable.
Los paquetes Rust/npm generados y la promoción de Project v8-v11 siguen separados de la toolchain.
Las etapas Agent usan el intérprete retenido; ejecutar bibliotecas nativas/Wasm no demuestra paridad de etapas Agent.
Transporte, credenciales, almacenamiento, autenticación y firma son responsabilidades explícitas del host.
Los registros de recuperación no garantizan red/pagos exactamente una vez ni prueban facturas del proveedor.
No se demuestra ventaja general en tokens, latencia, calidad o coste frente a otros lenguajes.

Revisado contra el commit fijado y el registro de v0.5.0. Las especificaciones versionadas delimitan admisión y autoridad; los encabezados antiguos de v0.4 en la matriz y el roadmap no identifican la última versión. Repositorio de GitHub.

// REF

Fuentes primarias de esta página

// 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.