La interoperabilidad es una secuencia de límites verificados, no un porcentaje.
Empieza con una integración comprobada en tu tecnología actual.
Elige primero un archivo de host y después el límite de lenguaje necesario. v0.9.0 añade Linux arm64, macOS Intel, instaladores por usuario y selección por adaptadores. Rust, C11 y Wasm conservan sus límites de propiedad, destino y autoridad.
entity Semaprax
status beta
snapshot 933196b
authority github.com/wavect/semaprax¿Qué plataformas y ecosistemas soporta Semaprax?
Cinco archivos cubren GNU/Linux x86-64/arm64, macOS Apple Silicon/Intel y Windows x64. Los comandos nativos se distinguen del intérprete y Wasm. Rust, propietarios, callbacks y Futures en un hilo conservan alcance propio. Hay adaptadores Jev, Laya, Mini Jev y Clef, sin prueba en vivo ni cualificación aprendida registrada. API genérica y publicación de paquetes siguen siendo decisiones aparte.
Empieza con una integración comprobada en tu tecnología actual.
Evidencia de plataformas objetivo
.spxPrograma comprobadov0.9.0
Evidencia de plataformas objetivo
| Plataforma | Estado del código fuente | Evidencia y procedencia | Estado de publicación | Alcance admitido |
|---|---|---|---|---|
| Linux nativo | Parcial | Archivos v0.9.0 GNU/Linux x86-64 y arm64; ambos requieren glibc 2.35+. Evidencia | Perfil delimitado alfa de fuente/toolchain | Rechaza musl/Alpine y glibc antiguo. Compilar requiere Clang; instalar no amplía capacidades del lenguaje o host. |
| macOS nativo | Parcial | Archivos v0.9.0 Apple Silicon (macOS 11+) e Intel (macOS 10.12+). Evidencia | Perfil delimitado alfa de fuente/toolchain | Los archivos no están notarizados. El recorrido nativo no acredita una plataforma general de escritorio ni todas las integraciones macOS. |
| Windows nativo | Parcial | ZIP v0.9.0 x64 MSVC para Windows 10 1809+ / Server 2019+; el recorrido PowerShell 5.1/7 es requisito de publicación. Evidencia | Perfil delimitado alfa de fuente/toolchain | Las compilaciones nativas necesitan la cadena C11 adecuada. Los archivos para Windows ARM, el empaquetado general de escritorio y todos los perfiles de aislamiento específicos del anfitrión quedan fuera de este inventario de lanzamiento. |
| Navegador y Core WebAssembly | Vista previa | Exportaciones Wasm escalares públicas pasaron el job exacto Chromium. También se ejecutan perfiles privados de datos propios y un proveedor Wasm genérico generado por el compilador. Evidencia | Preview generado/privado; publicación y soporte público son decisiones separadas | El soporte de npm generado y genéricos públicos mantiene decisiones de publicación separadas. Cada perfil del lenguaje tiene sus límites de exportación, runtime y navegador; los anfitriones opcionales de etapas no establecen una plataforma general de Agents en navegador. |
| iOS / Swift | Parcial | Jobs privados del loader Swift/iOS y runtime de aplicación pasaron en la CI exacta de la etiqueta. Evidencia | Preview generado/privado; publicación y soporte público son decisiones separadas | No establecen todos los dispositivos físicos, distribución App Store ni una toolchain móvil pública con soporte. |
| Android / JNI | Parcial | Jobs privados Android JNI/Kotlin para arm64-v8a y x86_64 pasaron en la CI exacta de la etiqueta. Evidencia | Preview generado/privado; publicación y soporte público son decisiones separadas | No establecen dispositivos universales, empaquetado ni un framework Android público 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 alfa de fuente/toolchain | Requiere Clang compatible con C11; no implica interoperabilidad con cualquier cabecera/biblioteca C. |
| Host Rust y consumidores generados | Vista previa | Las importaciones indexadas seleccionadas y los propietarios, vistas prestadas y adaptadores de callbacks generados ejecutan aplicaciones reales Regex/Url, Serde/iteradores y reqwest/Tokio. Las rutas de Futures en un mismo hilo y yields seleccionados por Project utilizan ejecutores controlados por el llamador. Evidencia | Preview generado/privado; publicación y soporte público son decisiones separadas | Se seleccionan firmas, entradas Cargo, destinos y tiempos de vida exactos. Los paquetes generados siguen siendo preliminares; no se ha demostrado compatibilidad con crates arbitrarias, comportamiento asíncrono o entre hilos general ni interoperabilidad sin sobrecoste. |
| JavaScript / TypeScript / npm | Vista previa | Pasó el job exacto de Chromium para exportaciones escalares. Un proveedor Core Wasm genérico privado generado por el compilador y carrier TypeScript canónico ejecutan un endpoint validado. Evidencia | Preview generado/privado; publicación y soporte público son decisiones separadas | El paquete genérico no está publicado ni soportado. Faltan aceptación negativa/alojada más amplia, cobertura de navegadores y paridad de copy-out/combustible. |
| WIT y Component Model | Parcial | Pasó el job exacto del runtime Component privado en Wasmtime; Component v7 conserva la identidad WIT 0.5.0. Evidencia | Perfil delimitado alfa de fuente/toolchain | Un fixture Component privado no implica soporte público 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 alfa de fuente/toolchain | Sin compatibilidad bidireccional general de lenguaje/paquetes ni afirmación universal sobre dispositivos. |
| ABI genérica pública | Roadmap | Los jobs exactos del hito genérico pasaron en Linux, macOS y Windows. Límites privados Wasm/nativos generados por el compilador y liquidación de consumidores tienen evidencia delimitada. Evidencia | Perfil delimitado alfa de fuente/toolchain | PG-9 sigue sin soporte ni publicación. Quedan pendientes firma genérica pública completa, más endpoints y decisión para candidato de publicación. |
| Proveedores de modelos y servicios host | Experimental | Un núcleo de decisión sirve al desarrollo y a la ejecución. Las reglas son el valor predeterminado; los adaptadores recomiendan perfiles, herramientas o especialistas ya filtrados. La recomendación no otorga permisos ni sustituye la autorización. Evidencia | Perfil delimitado alfa de fuente/toolchain | El filtrado comprueba confidencialidad, herramientas, modalidades, contexto y presupuesto antes del router. Desarrollo y despliegues comparten motor, pero no claves de evidencia. Las reglas no llaman a un router; el registro fechado no acredita ningún adaptador aprendido en vivo o cualificado. |
Objetivo a largo plazo
Conserva propiedad, errores, identidades estables y requisitos comprobados al cruzar de un lenguaje a otro. La ruta actual selecciona una firma exacta, un destino, un conjunto de dependencias y una capacidad del anfitrión; las API y plataformas más amplias necesitan su propia evidencia de conformidad y soporte.
Estado del repositorio en la instantánea auditada
| Instantánea del repositorio | 933196b · 2026-10-15. La etiqueta v0.9.0 apunta al commit de código fijado. La CI exacta de la etiqueta terminó correctamente. 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 | El código canónico, los ID estables y las representaciones comprobadas del compilador conectan leyes, consultas semánticas, cambios y ejecución. Los esquemas de grafo y Project seleccionados por funcionalidad conservan sus propios contratos de admisión, compatibilidad y autoridad del anfitrión. |
| Versión beta publicada | v0.9.0 · Publicado el 11 de octubre de 2026 a las 15:07 UTC. Los 91 trabajos de la ejecución de publicación del tag exacto pasaron. Cinco archivos de herramientas y dos instaladores incluyen SHA256SUMS, cinco atestaciones y procedencia conjunta firmada y verificada independientemente. La publicación exige recorridos de instalación nativos. No hay notarización ni garantía de compilaciones reproducibles; verificar sin conexión no confirma revocaciones actuales. CI de la etiqueta exacta. |
| Previews de paquetes y API | La versión incluye perfiles útiles del lenguaje, leyes del programa, orquestación e integración con el sistema anfitrión. La publicación y el soporte de los paquetes Rust/npm generados, las ABI genéricas públicas y otras plataformas siguen requiriendo decisiones independientes. |
Revisado el 15 de octubre de 2026 contra el commit v0.9.0, sus archivos publicados y la ejecución de publicación. El manual de instalación y el registro de canales del tag aún muestran ejemplos v0.8.0; utiliza las descargas v0.9.0 fijadas aquí. Los encabezados antiguos de matriz y hoja de ruta son históricos. El manual web sigue main y puede describir trabajo posterior. GitHub repository.
Abre el manual de Semaprax
El manual en línea es la guía en inglés publicada desde main y puede incluir cambios posteriores a 0.9.0. Utiliza la copia fijada a la revisión al reproducir esta versión.
Manual en línea
La ruta de aprendizaje actual en inglés, publicada desde main.
Copia del manual de 0.9.0
Los archivos del manual en el commit exacto del lanzamiento revisado.
Crea tu primer proyecto
Guía actual en inglés del manifiesto, las comprobaciones, las pruebas y las compilaciones de la calculadora.
Aprende lo esencial del lenguaje
Introducción actual en inglés a valores, funciones y estructura del código.
Trabaja con un agente de programación
Guía actual en inglés de contexto semántico y flujos seguros de cambios.
Referencia de la CLI para 0.9.0
Comandos fijados a la revisión y límites entre la CLI independiente y la cadena completa.
Extensión de VS Code
Configuración, navegación semántica, revisión y controles de desarrollo fijados a la revisión.
Ejemplos ejecutables
Ejemplos fijados a la revisión para el lenguaje, proyectos, leyes, Agents e integraciones con el anfitrión.
Fuentes primarias de esta página
Revisado el 15 de octubre de 2026 contra el commit v0.9.0, sus archivos publicados y la ejecución de publicación. El manual de instalación y el registro de canales del tag aún muestran ejemplos v0.8.0; utiliza las descargas v0.9.0 fijadas aquí. Los encabezados antiguos de matriz y hoja de ruta son históricos. El manual web sigue main y puede describir trabajo posterior.
- Archivos publicados por plataforma
- Importaciones Rust nativas y vistas vinculadas al receptor
- Propietarios, registros y adaptadores de callbacks Rust ampliados
- Ciclo de vida de Futures Rust en un mismo hilo
- Conexión de Futures con código seleccionado por Project
- Aplicaciones Rust combinadas reales y mediciones
- Exportaciones escalares Wasm públicas
- Decisión sobre soporte genérico público
- Límites de destinos, paquetes y ejecución
- Registro de cambios e historial del tag
- Verificación del instalador y mínimos de plataforma
- Selección en ejecución, transferencias y autoridad
- Contrato nativo de comandos con salida de recursos
- Fórmula Homebrew: ambos archivos macOS v0.9.0
- Verificación de canales posterior a la publicación
- Solicitud WinGet: abierta al revisar
Preguntas y respuestas prácticas
¿Semaprax soporta todos los targets nativos?
Cinco archivos cubren GNU/Linux x86-64/arm64, macOS Apple Silicon/Intel y Windows x64. Los comandos nativos se distinguen del intérprete y Wasm. Rust, propietarios, callbacks y Futures en un hilo conservan alcance propio. Hay adaptadores Jev, Laya, Mini Jev y Clef, sin prueba en vivo ni cualificación aprendida registrada. API genérica y publicación de paquetes siguen siendo decisiones aparte.
¿Semaprax es totalmente interoperable?
La integración es específica por perfil. La versión 0.9.0 incluye exportaciones escalares y de datos con propiedad, importaciones Rust seleccionadas, propietarios y callbacks generados y Futures acotados en un mismo hilo. Las ABI generales estables de agregados, recursos, componentes y genéricos, el uso de crates arbitrarias y la publicación mantenida de paquetes siguen requiriendo decisiones propias de finalización.