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 c16348f
authority github.com/wavect/semapraxEstado del repositorio en la instantánea auditada
| Instantánea del repositorio | c16348f · 2026-08-29. La documentación pasó, pero el workflow general falló. Por eso este head no se etiqueta como verificado. |
|---|---|
| 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 | Esta instantánea no afirma ningún commit ni ejecución de workflow de promoción exactos y correctos. |
| Vista previa de desarrollo en el código fuente | Los perfiles de proyecto de datos owned, records y UTF-8, el análisis de paquetes, las ampliaciones de borrowing, Project Agent Transport y Revision Store existen en el código fuente, pero no están publicados o promovidos. |
¿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 | Evidencia escalar anterior de Core Wasm/Node y rutas npm/Core-Wasm de Project v8-v10 en el código de c16348f 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.