---
title: "Semaprax Interoperability and Target Support"
canonical: https://wavect.io/semaprax/interoperability/
language: en
description: "Semaprax 0.8.0 targets and Rust integration: indexed imports, generated owners and callbacks, same-thread Futures, WebAssembly bindings and explicit preview limits."
image: "https://wavect.io/img/general/bak/open_graph_preview.jpg"
---

TARGETS · V0.8.0 · 2026-10-06

# Interoperability is a sequence of gated boundaries, not a percentage.

Start with one checked boundary in your existing stack.

Keep your application’s UI and infrastructure in its existing language, and introduce Semaprax for a selected kernel, validator, source law or typed Agent workflow. Version 0.8.0 adds richer Rust imports, generated owner and callback adapters, and real application examples alongside native and WebAssembly execution.

semaprax://interoperability v0.8.0

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

// STATUS

## Repository status at the audited snapshot

| Repository snapshot | [`615e501`](https://github.com/wavect/semaprax/commit/615e501612895a52b3fdd72a03baf875a8f0df1b) · 2026-10-06. The v0.8.0 tag resolves to the pinned source commit. Its exact-tag CI completed successfully. This does not establish blanket production or security assurance. |
| --- | --- |
| Full product status | 55 Partial · 0 Implemented · 0 Missing |
| Graph and project contract | Canonical source, stable IDs and checked compiler representations connect laws, semantic queries, edits and execution. Feature-selected graph and Project schemas preserve their own admission, compatibility and host-authority contracts. |
| Published beta release | [`v0.8.0`](https://github.com/wavect/semaprax/releases/tag/v0.8.0) · Published 6 October 2026 at 07:37 UTC. All 82 exact-tag jobs succeeded. Three toolchain archives, SHA256SUMS, per-archive attestations and signed aggregate provenance were published. The release job independently verified the signed set before publication. The archives are not notarized or claimed reproducible; offline verification does not establish current revocation state. [Exact-tag CI](https://github.com/wavect/semaprax/actions/runs/37403651320). |
| Package and API previews | The release includes useful language, law, harness and host-integration profiles. Generated Rust/npm packages, public generic ABIs and broader platform support retain separate publication and support decisions. |

## Which platforms and ecosystems does Semaprax support?

The release ships Linux x86-64 GNU, Apple Silicon macOS and Windows x86-64 MSVC tools. Supported profiles include native C11/Clang, scalar JavaScript/TypeScript Wasm exports and generated owned-data consumers. Selected Rust integrations cover Regex/Url views, Serde records and iterators, bounded FnOnce/FnMut callbacks and same-thread Tokio/reqwest Future examples. Public generic APIs and generated package publication remain separate preview decisions. Opt-in Agent stage targets retain their own narrower contracts.

// 01

## Target support evidence

| Platform | Source state | Evidence and provenance | Publication state | Supported scope |
| --- | --- | --- | --- | --- |
| **Linux native** | Partial | Published v0.8.0 x86-64 GNU/Linux full-toolchain archive with SHA-256 checksum. [Evidence](https://github.com/wavect/semaprax/releases/tag/v0.8.0) | Bounded beta source/toolchain profile | Native compilation requires Clang; individual language, loader and host profiles remain bounded. |
| **macOS native** | Partial | Published v0.8.0 Apple Silicon full-toolchain archive with SHA-256 checksum. [Evidence](https://github.com/wavect/semaprax/releases/tag/v0.8.0) | Bounded beta source/toolchain profile | This release has no Intel macOS archive. Source builds and private desktop profiles are separate from a general macOS application platform. |
| **Windows native** | Partial | Published v0.8.0 x86-64 MSVC toolchain ZIP; the exact-tag Windows build, Project and private desktop jobs passed. [Evidence](https://github.com/wavect/semaprax/releases/tag/v0.8.0) | Bounded beta source/toolchain profile | Native builds require the appropriate C11 toolchain. ARM Windows archives, general desktop packaging and every host-specific isolation profile are outside this release inventory. |
| **Browser and Core WebAssembly** | Developer preview | Public scalar Wasm exports passed the exact-tag Chromium job. Private generated owned-data and compiler-owned generic Wasm provider profiles also execute. [Evidence](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/COMPLETION-MATRIX.md) | Generated/private preview; publication and public support are separate decisions | Generated npm and public generic support remain separate publication decisions. Every language profile has its own export, runtime and browser limits; opt-in Agent stage hosts do not establish a general browser Agent platform. |
| **iOS / Swift** | Partial | Private Swift/iOS loader and application-runtime jobs passed in exact-tag CI. [Evidence](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/COMPLETION-MATRIX.md) | Generated/private preview; publication and public support are separate decisions | These jobs do not establish every physical device, App Store deployment or a supported public mobile toolchain. |
| **Android / JNI** | Partial | Private Android JNI/Kotlin runtime jobs for arm64-v8a and x86_64 passed in exact-tag CI. [Evidence](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/COMPLETION-MATRIX.md) | Generated/private preview; publication and public support are separate decisions | These jobs do not establish universal devices, packaging or a maintained public Android framework. |

// 02

## Ecosystem boundary evidence

| Ecosystem boundary | Source state | Evidence and provenance | Publication state | Supported scope |
| --- | --- | --- | --- | --- |
| **C11 and Clang** | Partial | Generated native backend for admitted checked programs. [Evidence](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/INSTALL.md) | Bounded beta source/toolchain profile | Requires a C11-capable Clang driver; not arbitrary C header/library interoperability. |
| **Rust host and generated consumers** | Developer preview | Selected indexed imports and generated owners, borrowed views and callback adapters execute real Regex/Url, Serde/iterator and reqwest/Tokio applications. Same-thread Future and Project-selected source-yield routes use caller-owned executors. [Evidence](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/NATIVE-RUST-RICH-INTEROP-V1.md) | Generated/private preview; publication and public support are separate decisions | Exact signatures, Cargo inputs, targets and lifetimes are selected. Generated packages remain previews; arbitrary crates, general async/cross-thread behavior and zero-overhead interoperability are not established. |
| **JavaScript / TypeScript / npm** | Developer preview | The exact-tag Chromium scalar-export job passed. A private compiler-owned generic Core Wasm provider and canonical TypeScript carrier execute one checked endpoint. [Evidence](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/COMPLETION-MATRIX.md) | Generated/private preview; publication and public support are separate decisions | The generic package is unpublished and unsupported. Broader hostile/hosted endpoint acceptance, browser coverage and copy-out/fuel parity remain open. |
| **WIT and Component Model** | Partial | The exact-tag private Wasmtime Component runtime job passed; Component v7 keeps its frozen WIT identity at 0.5.0. [Evidence](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/COMPLETION-MATRIX.md) | Bounded beta source/toolchain profile | A private Component fixture is not public Component Model support, stable resource ABI or arbitrary composition. |
| **Swift and JNI** | Partial | Private ownership, loader and host-application integration profiles. [Evidence](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/COMPLETION-MATRIX.md) | Bounded beta source/toolchain profile | No general bidirectional host-language/package compatibility or universal physical-device claim. |
| **Public generic ABI** | Roadmap | The exact-tag generic milestone jobs passed on Linux, macOS and Windows. Private compiler-owned Wasm/native boundaries and consumer settlement have bounded evidence. [Evidence](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/PUBLIC-GENERIC-OWNERSHIP-MILESTONE-V1.md) | Bounded beta source/toolchain profile | PG-9 remains unsupported and unpublished. A full public generic signature, broader checked endpoint shapes and release-candidate support decision remain open. |
| **Model providers and host services** | Experimental | The development harness supports explicit provider descriptors, project locks/trust, endpoint adoption and model-routing policies. Runtime Agent providers retain separate typed authorization, budgets and durable model/effect journals. [Evidence](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/HARNESS-PROVIDER-V1.md) | Bounded beta source/toolchain profile | Explicit credentials, runtime, storage and transport setup. Receipts distinguish observed usage and reported cost from reservations/estimates; unknown billing remains unknown. Learned routing and automatic defaults require qualification. |

## Long-term objective

Preserve ownership, errors, stable identities and checked requirements as code crosses a language boundary. The current integration route selects an exact signature, target, dependency set and host capability; broader APIs and platforms need their own conformance and support evidence.

Reviewed against the v0.8.0 tag and its pinned source commit. Versioned specifications define admission and authority; older release headings in the matrix and roadmap are historical. [GitHub repository](https://github.com/wavect/semaprax).

// DOCS

## Open the Semaprax handbook

The online handbook is the English guide published from main and may cover changes after 0.8.0. Use the pinned snapshot when reproducing this release.

### [Live handbook](https://wavect.github.io/semaprax/)

The current English learning path, published from main.

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

The handbook files at the exact reviewed release commit.

### [Build your first project](https://wavect.github.io/semaprax/getting-started/first-project.html)

Current English guide to the calculator manifest, checks, tests and builds.

### [Learn the language essentials](https://wavect.github.io/semaprax/language/essentials.html)

Current English introduction to values, functions and source structure.

### [Work with a coding agent](https://wavect.github.io/semaprax/practices/agents.html)

Current English guide to semantic context and safe change workflows.

### [CLI reference for 0.8.0](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/CLI-GUIDE.md)

Pinned command forms and the standalone/full-toolchain boundary.

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

Pinned setup, semantic navigation, review and development controls.

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

Pinned examples for the language, projects, laws, Agents and host integrations.

// REF

## Primary sources for this page

Reviewed against the v0.8.0 tag and its pinned source commit. Versioned specifications define admission and authority; older release headings in the matrix and roadmap are historical.

1. [Published platform archives](https://github.com/wavect/semaprax/releases/tag/v0.8.0)
2. [Native Rust imports and receiver-tied views](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/NATIVE-RUST-INTEROP-V1.md)
3. [Rich Rust owners, records and callback adapters](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/NATIVE-RUST-RICH-INTEROP-V1.md)
4. [Same-thread Rust Future lifecycle](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/NATIVE-RUST-LOCAL-FUTURE-BRIDGE-V1.md)
5. [Project-selected source Future bridge](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/PROJECT-SOURCE-LOCAL-FUTURE-V1.md)
6. [Real combined Rust applications and measurements](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/examples/ri13-combined-app/README.md)
7. [Public scalar Wasm exports](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/WASM-SCALAR-EXPORTS-V1.md)
8. [Public generic support decision](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/PUBLIC-GENERIC-OWNERSHIP-MILESTONE-V1.md)
9. [Target, package and execution limits](https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/COMPLETION-MATRIX.md)

// FAQ

## Questions and practical answers

### Does Semaprax support every native target?

The release provides Linux x86-64 GNU, Apple Silicon macOS and Windows x86-64 MSVC archives. Native/Wasm language profiles and opt-in Agent stage hosts have separate admission and evidence. There is no Intel macOS, Linux arm64 or Windows arm64 binary in the 0.8.0 release asset set.

### Is Semaprax 100 percent interoperable with other languages?

Integration is profile-specific. Version 0.8.0 includes scalar and owned-data exports, selected Rust imports, generated owners and callbacks, and bounded same-thread Futures. Stable general aggregate/resource/component/generic ABIs, arbitrary crate use and maintained package publication still require their own completion decisions.

Research project by Wavect: [Wavect GmbH](/). Created by Wavect as an open-source systems research project.

## 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/semaprax/interoperability/#webpage",
        "@type": "WebPage",
        "inLanguage": "en",
        "url": "https://wavect.io/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/semaprax/interoperability/#webpage",
        "@type": "WebPage",
        "inLanguage": "en",
        "url": "https://wavect.io/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/semaprax/interoperability/#webpage",
      "@type": "WebPage",
      "citation": [
        {
          "@type": "CreativeWork",
          "name": "Published platform archives",
          "url": "https://github.com/wavect/semaprax/releases/tag/v0.8.0"
        },
        {
          "@type": "CreativeWork",
          "name": "Native Rust imports and receiver-tied views",
          "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/NATIVE-RUST-INTEROP-V1.md"
        },
        {
          "@type": "CreativeWork",
          "name": "Rich Rust owners, records and callback adapters",
          "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/NATIVE-RUST-RICH-INTEROP-V1.md"
        },
        {
          "@type": "CreativeWork",
          "name": "Same-thread Rust Future lifecycle",
          "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/NATIVE-RUST-LOCAL-FUTURE-BRIDGE-V1.md"
        },
        {
          "@type": "CreativeWork",
          "name": "Project-selected source Future bridge",
          "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/PROJECT-SOURCE-LOCAL-FUTURE-V1.md"
        },
        {
          "@type": "CreativeWork",
          "name": "Real combined Rust applications and measurements",
          "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/examples/ri13-combined-app/README.md"
        },
        {
          "@type": "CreativeWork",
          "name": "Public scalar Wasm exports",
          "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/WASM-SCALAR-EXPORTS-V1.md"
        },
        {
          "@type": "CreativeWork",
          "name": "Public generic support decision",
          "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/PUBLIC-GENERIC-OWNERSHIP-MILESTONE-V1.md"
        },
        {
          "@type": "CreativeWork",
          "name": "Target, package and execution limits",
          "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": "Semaprax 0.8.0 targets and Rust integration: indexed imports, generated owners and callbacks, same-thread Futures, WebAssembly bindings and explicit preview limits.",
      "inLanguage": "en",
      "mainEntity": {
        "@id": "https://wavect.io/semaprax/interoperability/#article",
        "@type": "TechArticle"
      },
      "name": "Semaprax Interoperability and Target Support | Wavect",
      "url": "https://wavect.io/semaprax/interoperability/"
    },
    {
      "@id": "https://wavect.io/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": "Published platform archives",
          "url": "https://github.com/wavect/semaprax/releases/tag/v0.8.0"
        },
        {
          "@type": "CreativeWork",
          "name": "Native Rust imports and receiver-tied views",
          "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/NATIVE-RUST-INTEROP-V1.md"
        },
        {
          "@type": "CreativeWork",
          "name": "Rich Rust owners, records and callback adapters",
          "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/NATIVE-RUST-RICH-INTEROP-V1.md"
        },
        {
          "@type": "CreativeWork",
          "name": "Same-thread Rust Future lifecycle",
          "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/NATIVE-RUST-LOCAL-FUTURE-BRIDGE-V1.md"
        },
        {
          "@type": "CreativeWork",
          "name": "Project-selected source Future bridge",
          "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/PROJECT-SOURCE-LOCAL-FUTURE-V1.md"
        },
        {
          "@type": "CreativeWork",
          "name": "Real combined Rust applications and measurements",
          "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/examples/ri13-combined-app/README.md"
        },
        {
          "@type": "CreativeWork",
          "name": "Public scalar Wasm exports",
          "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/WASM-SCALAR-EXPORTS-V1.md"
        },
        {
          "@type": "CreativeWork",
          "name": "Public generic support decision",
          "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/PUBLIC-GENERIC-OWNERSHIP-MILESTONE-V1.md"
        },
        {
          "@type": "CreativeWork",
          "name": "Target, package and execution limits",
          "url": "https://github.com/wavect/semaprax/blob/615e501612895a52b3fdd72a03baf875a8f0df1b/docs/COMPLETION-MATRIX.md"
        }
      ],
      "dateModified": "2026-10-06",
      "datePublished": "2026-08-11",
      "description": "Semaprax 0.8.0 targets and Rust integration: indexed imports, generated owners and callbacks, same-thread Futures, WebAssembly bindings and explicit preview limits.",
      "headline": "Interoperability is a sequence of gated boundaries, not a percentage.",
      "inLanguage": "en",
      "isPartOf": {
        "@id": "https://wavect.io/semaprax/#webpage",
        "@type": "WebPage"
      },
      "mainEntityOfPage": {
        "@id": "https://wavect.io/semaprax/interoperability/#webpage"
      },
      "publisher": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "url": "https://wavect.io/semaprax/interoperability/"
    },
    {
      "@id": "https://wavect.io/semaprax/#software",
      "@type": "SoftwareSourceCode"
    },
    {
      "@id": "https://wavect.io/semaprax/interoperability/#faq",
      "@type": "FAQPage",
      "inLanguage": "en",
      "mainEntity": [
        {
          "@type": "Question",
          "acceptedAnswer": {
            "@type": "Answer",
            "text": "The release provides Linux x86-64 GNU, Apple Silicon macOS and Windows x86-64 MSVC archives. Native/Wasm language profiles and opt-in Agent stage hosts have separate admission and evidence. There is no Intel macOS, Linux arm64 or Windows arm64 binary in the 0.8.0 release asset set."
          },
          "name": "Does Semaprax support every native target?"
        },
        {
          "@type": "Question",
          "acceptedAnswer": {
            "@type": "Answer",
            "text": "Integration is profile-specific. Version 0.8.0 includes scalar and owned-data exports, selected Rust imports, generated owners and callbacks, and bounded same-thread Futures. Stable general aggregate/resource/component/generic ABIs, arbitrary crate use and maintained package publication still require their own completion decisions."
          },
          "name": "Is Semaprax 100 percent interoperable with other languages?"
        }
      ],
      "url": "https://wavect.io/semaprax/interoperability/"
    },
    {
      "@id": "https://wavect.io/verified-claims.json#semaprax-v02-native-wasm-subsets",
      "@type": "Claim",
      "appearance": {
        "@id": "https://wavect.io/semaprax/interoperability/#webpage",
        "@type": "WebPage",
        "inLanguage": "en",
        "url": "https://wavect.io/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/semaprax/interoperability/#webpage",
        "@type": "WebPage",
        "inLanguage": "en",
        "url": "https://wavect.io/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/",
      "name": "Home",
      "position": 1
    },
    {
      "@type": "ListItem",
      "item": "https://wavect.io/semaprax/",
      "name": "Semaprax",
      "position": 2
    },
    {
      "@type": "ListItem",
      "item": "https://wavect.io/semaprax/interoperability/",
      "name": "Interoperability is a sequence of gated boundaries, not a percentage.",
      "position": 3
    }
  ]
}
```