---
title: "Interoperabilidad y plataformas objetivo de Semaprax"
canonical: https://wavect.io/es/semaprax/interoperability/
language: es
description: "Matriz fechada de evidencia Semaprax para nativo, Wasm, escritorio, iOS, Android, C11, host Rust, WIT, Swift y JNI con límites explícitos."
image: "https://wavect.io/img/general/bak/open_graph_preview.jpg"
---

MATRIZ DE TARGETS · VERIFICADO 2026-08-11

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

semaprax://interoperability v0.2

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

// 01

## 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](https://github.com/wavect/semaprax/blob/main/docs/COMPLETION-MATRIX.md) | Subconjuntos acotados de lenguaje y ABI | vías de artefactos acotadas |
| **macOS nativo** | Experimental | Matriz macOS y harnesses de empaquetado de escritorio [Evidencia](https://github.com/wavect/semaprax/tree/main/platform-tests/desktop-native) | No prueba soporte general de aplicaciones macOS | contratos de ownership y plataforma |
| **Windows nativo** | Experimental | Matriz Windows, loader reforzado y harnesses de empaquetado [Evidencia](https://github.com/wavect/semaprax/tree/main/platform-tests/desktop-native) | Contratos acotados de loader y paquete | contratos de ownership y plataforma |
| **Navegador y Wasm** | Demostrado | Paquetes web y verificación real Node/Wasm [Evidencia](https://github.com/wavect/semaprax/blob/main/scripts/verify-web.mjs) | Sin cobertura completa de Web APIs o UI | vías de artefactos acotadas |
| **iOS** | Experimental | Harnesses Swift, superficie estática y simulador arm64 [Evidencia](https://github.com/wavect/semaprax/tree/main/platform-tests/ios-swift) | Contratos privados acotados, no soporte general de apps | contratos de ownership y plataforma |
| **Android** | Experimental | Harnesses JNI y emulador Android [Evidencia](https://github.com/wavect/semaprax/tree/main/platform-tests/android-jni) | Contratos de host acotados, no soporte general de apps | contratos de ownership y plataforma |

// 02

## 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](https://github.com/wavect/semaprax/blob/main/README.md) | 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](https://github.com/wavect/semaprax/tree/main/crates/semaprax-native-host) | 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](https://github.com/wavect/semaprax/tree/main/platform-tests/component-runtime) | 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](https://github.com/wavect/semaprax/tree/main/platform-tests) | Sin interfaz foránea bidireccional general | contratos de ownership y plataforma |
| **Ecosistemas de lenguajes existentes** | Roadmap | Sin artefacto general [Evidencia](https://github.com/wavect/semaprax/blob/main/docs/ROADMAP.md) | 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](https://github.com/wavect/semaprax).

// FAQ

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

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/es/semaprax/interoperability/#webpage",
      "@type": "WebPage",
      "dateModified": "2026-08-11",
      "inLanguage": "es",
      "isPartOf": {
        "@id": "https://wavect.io/#website",
        "@type": "WebSite"
      },
      "lastReviewed": "2026-08-11",
      "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/main/docs/COMPLETION-MATRIX.md"
      },
      "dateModified": "2026-08-11",
      "identifier": "semaprax-v02-native-wasm-subsets",
      "inLanguage": "en",
      "text": "The Semaprax v0.2 repository demonstrates deterministic native C11/Clang and browser/Wasm execution for explicitly documented language subsets."
    }
  ]
}
```

```json
{
  "@context": "https://schema.org",
  "@graph": [
    {
      "@id": "https://wavect.io/es/semaprax/interoperability/#webpage",
      "@type": "WebPage",
      "creator": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "dateModified": "2026-08-11",
      "description": "Matriz fechada de evidencia Semaprax para nativo, Wasm, escritorio, iOS, Android, C11, host Rust, WIT, Swift y JNI con límites explícitos.",
      "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"
        ]
      },
      "dateModified": "2026-08-11",
      "datePublished": "2026-08-11",
      "description": "Matriz fechada de evidencia Semaprax para nativo, Wasm, escritorio, iOS, Android, C11, host Rust, WIT, Swift y JNI con límites explícitos.",
      "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": "No. Hay evidencia acotada para nativo, Wasm, escritorio, iOS y Android. El soporte general sigue experimental o planificado."
          },
          "name": "¿Semaprax soporta todos los targets nativos?"
        },
        {
          "@type": "Question",
          "acceptedAnswer": {
            "@type": "Answer",
            "text": "No. La interoperabilidad bidireccional completa es un objetivo a largo plazo. La evidencia actual cubre límites más estrechos."
          },
          "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/main/docs/COMPLETION-MATRIX.md"
      },
      "dateModified": "2026-08-11",
      "identifier": "semaprax-v02-native-wasm-subsets",
      "inLanguage": "en",
      "text": "The Semaprax v0.2 repository demonstrates deterministic native C11/Clang and browser/Wasm execution for explicitly documented language subsets."
    }
  ]
}
```

```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
    }
  ]
}
```