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 036cc69
authority github.com/wavect/semapraxEstado del repositorio en la instantánea auditada
| Instantánea del repositorio | 036cc69 · 2026-09-02. La documentación pasó, pero la ejecución de CI actual fue cancelada. El tag separado v0.2.0 superó sus 45 jobs. |
|---|---|
| Estado del producto completo | 49 Parcial · 0 Implementado · 0 Faltante |
| Contrato de grafo y proyecto | Graph ≤ v24 · Project v1 base · Project v8, v9, v10 vista previa |
| Base de promoción | 5f6fb965 · La prerelease v0.2.0 se publicó después de que los 45 jobs de la ejecución exacta del tag pasaran. |
| Vista previa de desarrollo en el código fuente | Project v8-v10 y las rutas de paquetes, borrowing, transporte y Revision Store obtuvieron cobertura de regresión alojada del tag exacto. Los paquetes siguen sin publicarse y los perfiles sin promoverse. |
¿Qué plataformas y ecosistemas soporta Semaprax?
Semaprax conserva vías acotadas de intérprete, C11/Clang, Core Wasm/Node y JavaScript/TypeScript escalar. Project v8 añade rutas npm/Core-Wasm y Rust seguro para Bytes, Option<Bytes> y Result<Bytes, i64>; v9 y v10 añaden records owned planos y UTF-8 owned. Estas superficies no están publicadas ni promovidas y no forman una ABI general estable.
Evidencia de plataformas objetivo
| Plataforma | Estado del código fuente | Evidencia del head exacto | Estado de publicación | Alcance admitido |
|---|---|---|---|---|
| Linux nativo | Demostrado | Ejecutables C11/Clang y gates Ubuntu de compilador, host, loader y sanitizers Evidencia | vías de artefactos acotadas | Subconjuntos acotados de lenguaje y ABI |
| macOS nativo | Experimental | Matriz macOS y harnesses de empaquetado de escritorio Evidencia | contratos de ownership y plataforma | No prueba soporte general de aplicaciones macOS |
| Windows nativo | Experimental | Matriz Windows, loader reforzado y harnesses de empaquetado Evidencia | contratos de ownership y plataforma | Contratos acotados de loader y paquete |
| Navegador y Wasm | Vista previa | El tag v0.2.0 ejecutó regresiones seleccionadas de Core Wasm/Node y paquetes npm/Core-Wasm de Project v8-v10 Evidencia | Base escalar acotada; v8-v10 sin publicar | v8 se limita a Bytes, Option y Result; records v9 y UTF-8 v10 siguen sin promoción. Sin soporte web o multinavegador general |
| iOS | Experimental | Harnesses Swift, superficie estática y simulador arm64 Evidencia | contratos de ownership y plataforma | Contratos privados acotados, no soporte general de apps |
| Android | Experimental | Harnesses JNI y emulador Android Evidencia | contratos de ownership y plataforma | Contratos de host acotados, no soporte general de apps |
Evidencia de límites de ecosistema
| Límite de ecosistema | Estado del código fuente | Evidencia del head exacto | Estado de publicación | Alcance admitido |
|---|---|---|---|---|
| C11 y Clang | Demostrado | C11 determinista compilado y ejecutado a O0 y O2 para porciones admitidas Evidencia | vías de artefactos acotadas | No interoperabilidad arbitraria con headers o bibliotecas C |
| Host nativo en Rust | Vista previa | Puente escalar privado anterior y ruta de paquete Rust segura para Project v8 en el código fuente Evidencia | Vista previa sin publicar | La ruta no está publicada ni promovida y se limita a Bytes, Option y Result. No es interoperabilidad general con Rust |
| WebAssembly y componentes WIT | Experimental | Wasm core, runtime de componentes y fixtures WIT Evidencia | contratos de ownership y plataforma | El mapeo público general sigue cerrado |
| Swift y JNI | Experimental | Contratos acotados de ownership para Swift y JNI Evidencia | contratos de ownership y plataforma | Sin interfaz foránea bidireccional general |
| Ecosistemas de lenguajes existentes | Roadmap | Sin artefacto general Evidencia | lenguaje y ecosistema generales | La interoperabilidad total es un objetivo, no una capacidad actual |
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.
Las especificaciones de GitHub son la fuente normativa. Esta página es un resumen de investigación fechado. Repositorio de GitHub.
Preguntas respondidas sin exageraciones
¿Semaprax soporta todos los targets nativos?
No. Hay evidencia acotada para nativo, Wasm, escritorio, iOS y Android. El soporte general sigue experimental o planificado.
¿Semaprax es totalmente interoperable?
No. La interoperabilidad bidireccional completa es un objetivo a largo plazo. La evidencia actual cubre límites más estrechos.