La interoperabilidad es una secuencia de límites verificados, no un porcentaje.
Un artefacto verificado cada vez.
El objetivo a largo plazo es interoperabilidad bidireccional y soporte amplio. El repositorio actual demuestra límites más estrechos de compilador, host, loader, ABI y empaquetado.
entity Semaprax
status investigación pre-alfa
snapshot b9f593c
authority github.com/wavect/semapraxEstado 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é plataformas y ecosistemas soporta Semaprax?
Las toolchains v0.5.0 publicadas cubren Linux x86-64, macOS Apple Silicon y Windows x86-64. Los programas admitidos se ejecutan en el intérprete, mediante C11/Clang o Core WebAssembly. Project v8-v11 amplían interfaces de datos propios desde Bytes hasta records planos, UTF-8 y records anidados. Los paquetes preview y perfiles privados móviles/componentes no constituyen ABI general estable ni soporte universal. Las etapas Agent siguen en el intérprete.
Evidencia de plataformas objetivo
| Plataforma | Estado del código fuente | Evidencia y procedencia | Estado de publicación | Alcance admitido |
|---|---|---|---|---|
| Linux nativo | Parcial | Archivo publicado v0.5.0 de toolchain completa x86-64 GNU/Linux con SHA-256. Evidencia | Perfil delimitado prealfa de fuente/toolchain | La compilación nativa requiere Clang; lenguaje, cargador y perfiles host siguen delimitados. |
| macOS nativo | Parcial | Archivo publicado v0.5.0 de toolchain completa Apple Silicon con SHA-256. Evidencia | Perfil delimitado prealfa de fuente/toolchain | Esta publicación no incluye archivo para Intel macOS. Builds de fuente y perfiles privados no equivalen a plataforma general de aplicaciones macOS. |
| Windows nativo | Parcial | ZIP publicado v0.5.0 de toolchain completa x86-64 MSVC con SHA-256. Evidencia | Perfil delimitado prealfa de fuente/toolchain | Los gates Windows seleccionados fueron correctos. Contratos de cargador, paquetes y ejecución no equivalen a soporte general de apps Windows. |
| Navegador y Core WebAssembly | Vista previa | Exportaciones escalares y consumidores npm/Wasm de datos propios, incluidos Project v8-v11. Evidencia | Preview generado/privado; publicación y soporte público son decisiones separadas | Los paquetes generados siguen sin promoción/publicación; no implica todos los navegadores, API web arbitrarias ni etapas Agent. |
| iOS / Swift | Parcial | Perfiles privados delimitados de ownership Swift, cargador estático y ejecución de aplicaciones. Evidencia | Preview generado/privado; publicación y soporte público son decisiones separadas | La evidencia de simulador/host no cubre todos los dispositivos físicos, App Store ni una toolchain móvil pública completa. |
| Android / JNI | Parcial | Perfiles privados de aplicaciones JNI/Kotlin, ownership y ejecución en emulador. Evidencia | Preview generado/privado; publicación y soporte público son decisiones separadas | Evidencia de emulador y ABI concretas no implica compatibilidad universal ni un framework Android mantenido. |
Evidencia de límites de ecosistema
| Límite de ecosistema | Estado del código fuente | Evidencia y procedencia | Estado de publicación | Alcance admitido |
|---|---|---|---|---|
| C11 y Clang | Parcial | Backend nativo generado para programas validados admitidos. Evidencia | Perfil delimitado prealfa de fuente/toolchain | Requiere Clang compatible con C11; no implica interoperabilidad con cualquier cabecera/biblioteca C. |
| Host Rust y consumidores generados | Vista previa | 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. Evidencia | Preview generado/privado; publicación y soporte público son decisiones separadas | Embedding y SDK generados son rutas separadas. Crates privadas y paquetes generados no se convierten en API estables ni publicadas en registro por esta versión. |
| JavaScript / TypeScript / npm | Vista previa | Exportaciones escalares y paquetes Core-Wasm de datos propios para Project v8-v11. Evidencia | Preview generado/privado; publicación y soporte público son decisiones separadas | El soporte escalar no promueve paquetes de datos propios. Navegadores, reglas de copia/lifetime y soporte dependen del perfil. |
| WIT y Component Model | Parcial | Existen fixtures aislados de runtime de componentes y fronteras WIT. Evidencia | Perfil delimitado prealfa de fuente/toolchain | Core Wasm no implica publicación general de Component Model, ABI estable de recursos ni composición arbitraria. |
| Swift y JNI | Parcial | Perfiles privados de ownership, cargador e integración de aplicaciones host. Evidencia | Perfil delimitado prealfa de fuente/toolchain | Sin compatibilidad bidireccional general de lenguaje/paquetes ni afirmación universal sobre dispositivos. |
| ABI genérica pública | Roadmap | Genéricos internos y gates previos de metadatos/compatibilidad están implementados en perfiles delimitados. Evidencia | Perfil delimitado prealfa de fuente/toolchain | Aún se requieren descriptor/carrier genéricos públicos, gates restantes y decisión explícita de soporte. Los prerrequisitos solos no dan soporte a firmas genéricas públicas. |
| Proveedores de modelos y servicios host | Experimental | 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. Evidencia | Perfil delimitado prealfa de fuente/toolchain | Configuración explícita de adaptador, credenciales, almacenamiento y transporte; no garantiza facturación independiente del proveedor ni autoridad automática. |
Objetivo a largo plazo
Un programa debería cruzar límites nativos, web, móviles, de escritorio y de lenguajes existentes sin perder ownership, errores o identidad semántica. Sigue siendo roadmap hasta que cada límite público tenga evidencia reproducible.
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.
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.
Preguntas respondidas sin exageraciones
¿Semaprax soporta todos los targets nativos?
No. La publicación ofrece toolchains Linux x86-64, macOS Apple Silicon y Windows x86-64. Los perfiles Core Wasm/navegador y móviles/escritorio privados tienen contratos más estrechos. No se establece soporte universal ni etapas Agent nativas/Wasm.
¿Semaprax es totalmente interoperable?
No. Existen rutas específicas escalares y de datos propios, incluidos consumidores Project v8-v11. ABI generales estables de agregados/recursos/componentes/genéricos y soporte mantenido requieren decisiones propias de finalización y publicación.