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
verified 2026-08-11
authority github.com/wavect/semaprax¿Qué plataformas y ecosistemas soporta Semaprax?
El repositorio v0.2 demuestra salida acotada C11/Clang y navegador/Wasm, con harnesses específicos para escritorio, iOS y Android. Estos gates todavía no equivalen a soporte general de aplicaciones ni a interoperabilidad completa.
Evidencia de plataformas objetivo
| Plataforma | Estado de evidencia | Artefacto verificado | Límite | Etapa del roadmap |
|---|---|---|---|---|
| Linux nativo | Demostrado | Ejecutables C11/Clang y gates Ubuntu de compilador, host, loader y sanitizers Evidencia | Subconjuntos acotados de lenguaje y ABI | vías de artefactos acotadas |
| macOS nativo | Experimental | Matriz macOS y harnesses de empaquetado de escritorio Evidencia | No prueba soporte general de aplicaciones macOS | contratos de ownership y plataforma |
| Windows nativo | Experimental | Matriz Windows, loader reforzado y harnesses de empaquetado Evidencia | Contratos acotados de loader y paquete | contratos de ownership y plataforma |
| Navegador y Wasm | Demostrado | Paquetes web y verificación real Node/Wasm Evidencia | Sin cobertura completa de Web APIs o UI | vías de artefactos acotadas |
| iOS | Experimental | Harnesses Swift, superficie estática y simulador arm64 Evidencia | Contratos privados acotados, no soporte general de apps | contratos de ownership y plataforma |
| Android | Experimental | Harnesses JNI y emulador Android Evidencia | Contratos de host acotados, no soporte general de apps | contratos de ownership y plataforma |
Evidencia de límites de ecosistema
| Límite de ecosistema | Estado de evidencia | Artefacto verificado | Límite | Etapa del roadmap |
|---|---|---|---|---|
| C11 y Clang | Demostrado | C11 determinista compilado y ejecutado a O0 y O2 para porciones admitidas Evidencia | No interoperabilidad arbitraria con headers o bibliotecas C | vías de artefactos acotadas |
| Host nativo Rust | Experimental | Crates host y loader con gates de autoridad, recibos, ownership y sanitizers Evidencia | Contratos privados, no API pública estable | contratos de ownership y plataforma |
| WebAssembly y componentes WIT | Experimental | Wasm core, runtime de componentes y fixtures WIT Evidencia | El mapeo público general sigue cerrado | contratos de ownership y plataforma |
| Swift y JNI | Experimental | Contratos acotados de ownership para Swift y JNI Evidencia | Sin interfaz foránea bidireccional general | contratos de ownership y plataforma |
| Ecosistemas de lenguajes existentes | Roadmap | Sin artefacto general Evidencia | La interoperabilidad total es un objetivo, no una capacidad actual | lenguaje y ecosistema generales |
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.