---
title: "Interoperabilidad y plataformas objetivo de Semaprax"
canonical: https://wavect.io/es/semaprax/interoperability/
language: es
description: "Destinos e integración Rust de Semaprax 0.8.0: importaciones indexadas, propietarios y callbacks generados, Futures en un hilo, enlaces WebAssembly y límites de las versiones preliminares."
image: "https://wavect.io/img/general/bak/open_graph_preview.jpg"
---

PLATAFORMAS · V0.8.0 · 2026-10-06

# 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.

semaprax://interoperability v0.8.0

```
entity     Semaprax
status     beta
snapshot   615e501
authority  github.com/wavect/semaprax
```

// STATUS

## Estado del repositorio en la instantánea auditada

| Instantánea del repositorio | [`615e501`](https://github.com/wavect/semaprax/commit/615e501612895a52b3fdd72a03baf875a8f0df1b) · 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`](https://github.com/wavect/semaprax/releases/tag/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](https://github.com/wavect/semaprax/actions/runs/37403651320). |
| 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.

// 01

## 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](https://github.com/wavect/semaprax/releases/tag/v0.8.0) | 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](https://github.com/wavect/semaprax/releases/tag/v0.8.0) | 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](https://github.com/wavect/semaprax/releases/tag/v0.8.0) | 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](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/COMPLETION-MATRIX.md) | 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](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/COMPLETION-MATRIX.md) | 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](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/COMPLETION-MATRIX.md) | Preview generado/privado; publicación y soporte público son decisiones separadas | No establecen dispositivos universales, empaquetado ni un framework Android público mantenido. |

// 02

## 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](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/INSTALL.md) | 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](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/NATIVE-RUST-RICH-INTEROP-V1.md) | 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](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/COMPLETION-MATRIX.md) | 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](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/COMPLETION-MATRIX.md) | 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](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/COMPLETION-MATRIX.md) | 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](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/PUBLIC-GENERIC-OWNERSHIP-MILESTONE-V1.md) | 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](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/HARNESS-PROVIDER-V1.md) | 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](https://github.com/wavect/semaprax).

// DOCS

## 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](https://wavect.github.io/semaprax/)

La ruta de aprendizaje actual en inglés, publicada desde main.

### [Copia del manual de 0.8.0](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/handbook/README.md)

Los archivos del manual en el commit exacto del lanzamiento revisado.

### [Crea tu primer proyecto](https://wavect.github.io/semaprax/getting-started/first-project.html)

Guía actual en inglés del manifiesto, las comprobaciones, las pruebas y las compilaciones de la calculadora.

### [Aprende lo esencial del lenguaje](https://wavect.github.io/semaprax/language/essentials.html)

Introducción actual en inglés a valores, funciones y estructura del código.

### [Trabaja con un agente de programación](https://wavect.github.io/semaprax/practices/agents.html)

Guía actual en inglés de contexto semántico y flujos seguros de cambios.

### [Referencia de la CLI para 0.8.0](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/CLI-GUIDE.md)

Comandos fijados a la revisión y límites entre la CLI independiente y la cadena completa.

### [Extensión de VS Code](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/editors/vscode/README.md)

Configuración, navegación semántica, revisión y controles de desarrollo fijados a la revisión.

### [Ejemplos ejecutables](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/examples/README.md)

Ejemplos fijados a la revisión para el lenguaje, proyectos, leyes, Agents e integraciones con el anfitrión.

// REF

## 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.

1. [Archivos publicados por plataforma](https://github.com/wavect/semaprax/releases/tag/v0.8.0)
2. [Importaciones Rust nativas y vistas vinculadas al receptor](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/NATIVE-RUST-INTEROP-V1.md)
3. [Propietarios, registros y adaptadores de callbacks Rust ampliados](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/NATIVE-RUST-RICH-INTEROP-V1.md)
4. [Ciclo de vida de Futures Rust en un mismo hilo](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/NATIVE-RUST-LOCAL-FUTURE-BRIDGE-V1.md)
5. [Conexión de Futures con código seleccionado por Project](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/PROJECT-SOURCE-LOCAL-FUTURE-V1.md)
6. [Aplicaciones Rust combinadas reales y mediciones](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/examples/ri13-combined-app/README.md)
7. [Exportaciones escalares Wasm públicas](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/WASM-SCALAR-EXPORTS-V1.md)
8. [Decisión sobre soporte genérico público](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/PUBLIC-GENERIC-OWNERSHIP-MILESTONE-V1.md)
9. [Límites de destinos, paquetes y ejecución](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/COMPLETION-MATRIX.md)

// FAQ

## 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.

Proyecto de investigación de Wavect: [Wavect GmbH](/es/). Creado por Wavect como proyecto de investigación de sistemas de código abierto.

## Structured Data

```json
{
  "@context": "https://schema.org",
  "@graph": [
    {
      "@id": "https://wavect.io/#organization",
      "@type": [
        "Organization",
        "ProfessionalService",
        "LocalBusiness"
      ],
      "employee": [
        {
          "@id": "https://wavect.io/team/kevin-riedl/#person",
          "@type": "Person",
          "jobTitle": "Managing Director",
          "name": "Kevin Riedl",
          "url": "https://wavect.io/team/kevin-riedl/",
          "worksFor": {
            "@id": "https://wavect.io/#organization",
            "@type": [
              "Organization",
              "ProfessionalService",
              "LocalBusiness"
            ]
          }
        },
        {
          "@id": "https://wavect.io/team/christof-jori/#person",
          "@type": "Person",
          "jobTitle": "Managing Director",
          "name": "Christof Jori",
          "url": "https://wavect.io/team/christof-jori/",
          "worksFor": {
            "@id": "https://wavect.io/#organization",
            "@type": [
              "Organization",
              "ProfessionalService",
              "LocalBusiness"
            ]
          }
        }
      ],
      "founder": [
        {
          "@id": "https://wavect.io/team/kevin-riedl/#person",
          "@type": "Person",
          "jobTitle": "Managing Director",
          "name": "Kevin Riedl",
          "url": "https://wavect.io/team/kevin-riedl/",
          "worksFor": {
            "@id": "https://wavect.io/#organization",
            "@type": [
              "Organization",
              "ProfessionalService",
              "LocalBusiness"
            ]
          }
        },
        {
          "@id": "https://wavect.io/team/christof-jori/#person",
          "@type": "Person",
          "jobTitle": "Managing Director",
          "name": "Christof Jori",
          "url": "https://wavect.io/team/christof-jori/",
          "worksFor": {
            "@id": "https://wavect.io/#organization",
            "@type": [
              "Organization",
              "ProfessionalService",
              "LocalBusiness"
            ]
          }
        }
      ],
      "legalRepresentative": [
        {
          "@id": "https://wavect.io/team/kevin-riedl/#person",
          "@type": "Person",
          "jobTitle": "Managing Director",
          "name": "Kevin Riedl",
          "url": "https://wavect.io/team/kevin-riedl/",
          "worksFor": {
            "@id": "https://wavect.io/#organization",
            "@type": [
              "Organization",
              "ProfessionalService",
              "LocalBusiness"
            ]
          }
        },
        {
          "@id": "https://wavect.io/team/christof-jori/#person",
          "@type": "Person",
          "jobTitle": "Managing Director",
          "name": "Christof Jori",
          "url": "https://wavect.io/team/christof-jori/",
          "worksFor": {
            "@id": "https://wavect.io/#organization",
            "@type": [
              "Organization",
              "ProfessionalService",
              "LocalBusiness"
            ]
          }
        }
      ],
      "name": "Wavect GmbH",
      "subjectOf": {
        "@id": "https://wavect.io/verified-claims.json#dataset",
        "@type": "Dataset",
        "creator": {
          "@id": "https://wavect.io/#organization",
          "@type": [
            "Organization",
            "ProfessionalService",
            "LocalBusiness"
          ]
        },
        "description": "A machine-readable registry of quantitative and qualitative claims published by Wavect, with review dates, localized page appearances and public third-party citations where available.",
        "inLanguage": "en",
        "isAccessibleForFree": true,
        "license": "https://creativecommons.org/licenses/by/4.0/",
        "name": "Wavect verified publication claims",
        "url": "https://wavect.io/verified-claims.json"
      },
      "url": "https://wavect.io/"
    },
    {
      "@id": "https://wavect.io/team/kevin-riedl/#person",
      "@type": "Person",
      "jobTitle": "Managing Director",
      "name": "Kevin Riedl",
      "sameAs": [
        "https://www.wikidata.org/wiki/Q139796365",
        "https://www.linkedin.com/in/wsdt",
        "https://github.com/wsdt"
      ],
      "url": "https://wavect.io/team/kevin-riedl/",
      "worksFor": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      }
    },
    {
      "@id": "https://wavect.io/team/christof-jori/#person",
      "@type": "Person",
      "jobTitle": "Managing Director",
      "name": "Christof Jori",
      "sameAs": [
        "https://www.wikidata.org/wiki/Q139796367",
        "https://www.linkedin.com/in/jocr77/",
        "https://github.com/jo-chris"
      ],
      "url": "https://wavect.io/team/christof-jori/",
      "worksFor": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      }
    },
    {
      "@id": "https://wavect.io/#website",
      "@type": "WebSite",
      "inLanguage": [
        "en",
        "de",
        "es",
        "zh"
      ],
      "name": "Wavect",
      "potentialAction": {
        "@type": "SearchAction",
        "query-input": "required name=search_term_string",
        "target": {
          "@type": "EntryPoint",
          "urlTemplate": "https://wavect.io/search/?q={search_term_string}"
        }
      },
      "publisher": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "url": "https://wavect.io/"
    },
    {
      "@id": "https://wavect.io/verified-claims.json#semaprax-v02-native-wasm-subsets",
      "@type": "Claim",
      "appearance": {
        "@id": "https://wavect.io/es/semaprax/interoperability/#webpage",
        "@type": "WebPage",
        "inLanguage": "es",
        "url": "https://wavect.io/es/semaprax/interoperability/"
      },
      "author": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "citation": {
        "@type": "WebPage",
        "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/COMPLETION-MATRIX.md"
      },
      "dateModified": "2026-10-06",
      "identifier": "semaprax-v02-native-wasm-subsets",
      "inLanguage": "en",
      "text": "Semaprax v0.8.0 provides bounded interpreter, C11/Clang and Core-Wasm language execution profiles and three published toolchain archives. Source Agents use interpreter-first routes with explicit native/Wasm library profiles and local parity evidence; target support remains specific to each profile."
    },
    {
      "@id": "https://wavect.io/verified-claims.json#semaprax-v060-generic-provider-boundary",
      "@type": "Claim",
      "appearance": {
        "@id": "https://wavect.io/es/semaprax/interoperability/#webpage",
        "@type": "WebPage",
        "inLanguage": "es",
        "url": "https://wavect.io/es/semaprax/interoperability/"
      },
      "author": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "citation": {
        "@type": "WebPage",
        "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/PUBLIC-GENERIC-WASM-PROVIDER-TARGET-V1.md"
      },
      "dateModified": "2026-10-06",
      "identifier": "semaprax-v060-generic-provider-boundary",
      "inLanguage": "en",
      "text": "Semaprax v0.8.0 has a compiler-owned generic Core Wasm provider and a canonical TypeScript carrier for a bounded endpoint; the public generic ABI remains unsupported."
    }
  ]
}
```

```json
{
  "@context": "https://schema.org",
  "@graph": [
    {
      "@id": "https://wavect.io/es/semaprax/interoperability/#webpage",
      "@type": "WebPage",
      "citation": [
        {
          "@type": "CreativeWork",
          "name": "Archivos publicados por plataforma",
          "url": "https://github.com/wavect/semaprax/releases/tag/v0.8.0"
        },
        {
          "@type": "CreativeWork",
          "name": "Importaciones Rust nativas y vistas vinculadas al receptor",
          "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/NATIVE-RUST-INTEROP-V1.md"
        },
        {
          "@type": "CreativeWork",
          "name": "Propietarios, registros y adaptadores de callbacks Rust ampliados",
          "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/NATIVE-RUST-RICH-INTEROP-V1.md"
        },
        {
          "@type": "CreativeWork",
          "name": "Ciclo de vida de Futures Rust en un mismo hilo",
          "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/NATIVE-RUST-LOCAL-FUTURE-BRIDGE-V1.md"
        },
        {
          "@type": "CreativeWork",
          "name": "Conexión de Futures con código seleccionado por Project",
          "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/PROJECT-SOURCE-LOCAL-FUTURE-V1.md"
        },
        {
          "@type": "CreativeWork",
          "name": "Aplicaciones Rust combinadas reales y mediciones",
          "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/examples/ri13-combined-app/README.md"
        },
        {
          "@type": "CreativeWork",
          "name": "Exportaciones escalares Wasm públicas",
          "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/WASM-SCALAR-EXPORTS-V1.md"
        },
        {
          "@type": "CreativeWork",
          "name": "Decisión sobre soporte genérico público",
          "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/PUBLIC-GENERIC-OWNERSHIP-MILESTONE-V1.md"
        },
        {
          "@type": "CreativeWork",
          "name": "Límites de destinos, paquetes y ejecución",
          "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/COMPLETION-MATRIX.md"
        }
      ],
      "creator": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "dateModified": "2026-10-06",
      "description": "Destinos e integración Rust de Semaprax 0.8.0: importaciones indexadas, propietarios y callbacks generados, Futures en un hilo, enlaces WebAssembly y límites de las versiones preliminares.",
      "inLanguage": "es",
      "mainEntity": {
        "@id": "https://wavect.io/es/semaprax/interoperability/#article",
        "@type": "TechArticle"
      },
      "name": "Interoperabilidad y plataformas objetivo de Semaprax | Wavect",
      "url": "https://wavect.io/es/semaprax/interoperability/"
    },
    {
      "@id": "https://wavect.io/es/semaprax/interoperability/#article",
      "@type": "TechArticle",
      "about": {
        "@id": "https://wavect.io/semaprax/#software",
        "@type": "SoftwareSourceCode"
      },
      "author": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "citation": [
        {
          "@type": "CreativeWork",
          "name": "Archivos publicados por plataforma",
          "url": "https://github.com/wavect/semaprax/releases/tag/v0.8.0"
        },
        {
          "@type": "CreativeWork",
          "name": "Importaciones Rust nativas y vistas vinculadas al receptor",
          "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/NATIVE-RUST-INTEROP-V1.md"
        },
        {
          "@type": "CreativeWork",
          "name": "Propietarios, registros y adaptadores de callbacks Rust ampliados",
          "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/NATIVE-RUST-RICH-INTEROP-V1.md"
        },
        {
          "@type": "CreativeWork",
          "name": "Ciclo de vida de Futures Rust en un mismo hilo",
          "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/NATIVE-RUST-LOCAL-FUTURE-BRIDGE-V1.md"
        },
        {
          "@type": "CreativeWork",
          "name": "Conexión de Futures con código seleccionado por Project",
          "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/PROJECT-SOURCE-LOCAL-FUTURE-V1.md"
        },
        {
          "@type": "CreativeWork",
          "name": "Aplicaciones Rust combinadas reales y mediciones",
          "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/examples/ri13-combined-app/README.md"
        },
        {
          "@type": "CreativeWork",
          "name": "Exportaciones escalares Wasm públicas",
          "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/WASM-SCALAR-EXPORTS-V1.md"
        },
        {
          "@type": "CreativeWork",
          "name": "Decisión sobre soporte genérico público",
          "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/PUBLIC-GENERIC-OWNERSHIP-MILESTONE-V1.md"
        },
        {
          "@type": "CreativeWork",
          "name": "Límites de destinos, paquetes y ejecución",
          "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/COMPLETION-MATRIX.md"
        }
      ],
      "dateModified": "2026-10-06",
      "datePublished": "2026-08-11",
      "description": "Destinos e integración Rust de Semaprax 0.8.0: importaciones indexadas, propietarios y callbacks generados, Futures en un hilo, enlaces WebAssembly y límites de las versiones preliminares.",
      "headline": "La interoperabilidad es una secuencia de límites verificados, no un porcentaje.",
      "inLanguage": "es",
      "isPartOf": {
        "@id": "https://wavect.io/semaprax/#webpage",
        "@type": "WebPage"
      },
      "mainEntityOfPage": {
        "@id": "https://wavect.io/es/semaprax/interoperability/#webpage"
      },
      "publisher": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "url": "https://wavect.io/es/semaprax/interoperability/"
    },
    {
      "@id": "https://wavect.io/semaprax/#software",
      "@type": "SoftwareSourceCode"
    },
    {
      "@id": "https://wavect.io/es/semaprax/interoperability/#faq",
      "@type": "FAQPage",
      "inLanguage": "es",
      "mainEntity": [
        {
          "@type": "Question",
          "acceptedAnswer": {
            "@type": "Answer",
            "text": "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."
          },
          "name": "¿Semaprax soporta todos los targets nativos?"
        },
        {
          "@type": "Question",
          "acceptedAnswer": {
            "@type": "Answer",
            "text": "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."
          },
          "name": "¿Semaprax es totalmente interoperable?"
        }
      ],
      "url": "https://wavect.io/es/semaprax/interoperability/"
    },
    {
      "@id": "https://wavect.io/verified-claims.json#semaprax-v02-native-wasm-subsets",
      "@type": "Claim",
      "appearance": {
        "@id": "https://wavect.io/es/semaprax/interoperability/#webpage",
        "@type": "WebPage",
        "inLanguage": "es",
        "url": "https://wavect.io/es/semaprax/interoperability/"
      },
      "author": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "citation": {
        "@type": "WebPage",
        "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/COMPLETION-MATRIX.md"
      },
      "dateModified": "2026-10-06",
      "identifier": "semaprax-v02-native-wasm-subsets",
      "inLanguage": "en",
      "text": "Semaprax v0.8.0 provides bounded interpreter, C11/Clang and Core-Wasm language execution profiles and three published toolchain archives. Source Agents use interpreter-first routes with explicit native/Wasm library profiles and local parity evidence; target support remains specific to each profile."
    },
    {
      "@id": "https://wavect.io/verified-claims.json#semaprax-v060-generic-provider-boundary",
      "@type": "Claim",
      "appearance": {
        "@id": "https://wavect.io/es/semaprax/interoperability/#webpage",
        "@type": "WebPage",
        "inLanguage": "es",
        "url": "https://wavect.io/es/semaprax/interoperability/"
      },
      "author": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "citation": {
        "@type": "WebPage",
        "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/PUBLIC-GENERIC-WASM-PROVIDER-TARGET-V1.md"
      },
      "dateModified": "2026-10-06",
      "identifier": "semaprax-v060-generic-provider-boundary",
      "inLanguage": "en",
      "text": "Semaprax v0.8.0 has a compiler-owned generic Core Wasm provider and a canonical TypeScript carrier for a bounded endpoint; the public generic ABI remains unsupported."
    }
  ]
}
```

```json
{
  "@context": "https://schema.org",
  "@type": "BreadcrumbList",
  "itemListElement": [
    {
      "@type": "ListItem",
      "item": "https://wavect.io/es/",
      "name": "Inicio",
      "position": 1
    },
    {
      "@type": "ListItem",
      "item": "https://wavect.io/es/semaprax/",
      "name": "Semaprax",
      "position": 2
    },
    {
      "@type": "ListItem",
      "item": "https://wavect.io/es/semaprax/interoperability/",
      "name": "La interoperabilidad es una secuencia de límites verificados, no un porcentaje.",
      "position": 3
    }
  ]
}
```