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 repositoriob9f593c · 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 completo55 Parcial · 0 Implementado · 0 Faltante
Contrato de grafo y proyectoLos 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 publicadav0.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 APIPublicar 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 actualEstado del código fuenteEvidencia y procedenciaEstado de publicaciónAlcance admitidoEvidencia
Código canónico e identidad estable
stable-semantic-program-graph
ParcialPresente 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/toolchainEl 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
ParcialPresente 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/toolchainContext 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
ParcialPresente 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/toolchainInspeccionar 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
ParcialPresente 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/toolchainLas 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
ParcialPresente 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/toolchainLa 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
ParcialPresente 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/toolchainLos 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
ParcialPresente 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/toolchainLos 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
ParcialPresente 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/toolchainLas 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
ParcialPresente 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/toolchainInicializar, 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
ParcialPresente 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/toolchainSe 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
ParcialPresente 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/toolchainLos 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
ParcialPresente 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/toolchainLos 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
ExperimentalPresente 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/toolchainHTTPS 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 previaPresente 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 separadasProject 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
RoadmapHay 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 establecidoHay 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
RoadmapSiguen 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 establecidoSiguen 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

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.

  1. Publicación v0.5.0 y archivos disponibles
  2. Workflow de publicación de la etiqueta exacta
  3. Matriz completa: 55 requisitos parciales
  4. Hito de ownership genérico público y gate de soporte
  5. README: lenguaje y límites del host
// 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.