La interoperabilidad es una secuencia de límites verificados, no un porcentaje.
Empieza con una integración comprobada en tu tecnología actual.
Conserva la interfaz y la infraestructura de tu aplicación en su lenguaje actual e introduce Semaprax para un núcleo de cálculo, validador, ley del código o flujo de Agent tipado concreto. La versión 0.8.0 añade importaciones Rust más completas, adaptadores generados de propiedad y callbacks, y ejemplos de aplicaciones reales junto a la ejecución nativa y WebAssembly.
entity Semaprax
status beta
snapshot 615e501
authority github.com/wavect/semapraxEstado del repositorio en la instantánea auditada
| Instantánea del repositorio | 615e501 · 2026-10-06. La etiqueta v0.8.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.8.0 · Publicada el 6 de octubre de 2026 a las 07:37 UTC. Los 82 trabajos de CI de la etiqueta exacta finalizaron correctamente. Se publicaron tres archivos de la cadena de herramientas, SHA256SUMS, atestaciones por archivo y procedencia agregada firmada. El trabajo de lanzamiento verificó de forma independiente el conjunto firmado antes de publicarlo. Los archivos no están notarizados ni se afirma que las compilaciones sean reproducibles; la verificación sin conexión no acredita el estado actual de revocación. 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. |
¿Qué plataformas y ecosistemas soporta Semaprax?
La versión incluye herramientas para Linux x86-64 GNU, macOS con Apple Silicon y Windows x86-64 MSVC. Los perfiles admitidos incluyen C11/Clang nativo, exportaciones escalares Wasm para JavaScript/TypeScript y consumidores generados de datos con propiedad. Las integraciones Rust seleccionadas cubren vistas Regex/Url, registros e iteradores Serde, callbacks FnOnce/FnMut acotados y ejemplos de Futures Tokio/reqwest en un mismo hilo. Las API genéricas públicas y la publicación de paquetes generados siguen siendo decisiones separadas de versiones preliminares. Los destinos opcionales de etapas de Agents conservan sus contratos más acotados.
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.8.0 de toolchain completa x86-64 GNU/Linux con SHA-256. Evidencia | Perfil delimitado alfa de fuente/toolchain | La compilación nativa requiere Clang; lenguaje, cargador y perfiles host siguen delimitados. |
| macOS nativo | Parcial | Archivo publicado v0.8.0 de toolchain completa Apple Silicon con SHA-256. Evidencia | Perfil delimitado alfa 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 de toolchain v0.8.0 x86-64 MSVC publicado; pasaron los jobs exactos de build, Project y escritorio privado en Windows. 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 | La orquestación de desarrollo admite descriptores explícitos de proveedores, bloqueos y confianza por proyecto, adopción de endpoints y políticas de selección de modelos. Los proveedores de Agents en ejecución mantienen por separado autorización tipada, presupuestos y diarios persistentes de modelos y efectos. Evidencia | Perfil delimitado alfa de fuente/toolchain | Configuración explícita de credenciales, runtime, almacenamiento y transporte. Los registros distinguen el uso observado y el coste declarado de las reservas y estimaciones; la facturación desconocida sigue siendo desconocida. La selección de modelos aprendida y los valores predeterminados automáticos requieren evaluación. |
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.
Revisado frente a la etiqueta v0.8.0 y su commit de código fijado. Las especificaciones versionadas definen admisión y autoridad; los títulos de versiones anteriores en la matriz y el roadmap son históricos. 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.8.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.8.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.8.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 frente a la etiqueta v0.8.0 y su commit de código fijado. Las especificaciones versionadas definen admisión y autoridad; los títulos de versiones anteriores en la matriz y el roadmap son históricos.
- 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
Preguntas y respuestas prácticas
¿Semaprax soporta todos los targets nativos?
La versión ofrece archivos para Linux x86-64 GNU, macOS con Apple Silicon y Windows x86-64 MSVC. Los perfiles nativos/Wasm del lenguaje y los anfitriones opcionales de etapas de Agents tienen admisión y evidencia propias. El conjunto 0.8.0 no incluye binarios para macOS Intel, Linux arm64 ni Windows arm64.
¿Semaprax es totalmente interoperable?
La integración es específica por perfil. La versión 0.8.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.