---
title: "Semaprax 互操作性与目标平台支持"
canonical: https://wavect.io/zh/semaprax/interoperability/
language: zh
description: "带日期的 Semaprax 原生、Wasm、桌面、iOS、Android、C11、Rust Host、WIT、Swift 与 JNI 证据矩阵及其限制。"
image: "https://wavect.io/img/general/bak/open_graph_preview.jpg"
---

目标矩阵 · 核验于 2026-08-11

# 互操作性是一系列经过验证的边界，不是一个百分比。

一次验证一个产物。

长期目标是双向生态互操作性和广泛目标支持。当前仓库证明的是更窄的编译器、Host、Loader、ABI 与打包切片。

semaprax://interoperability v0.2

```
entity     Semaprax
status     预 Alpha 研究
verified   2026-08-11
authority  github.com/wavect/semaprax
```

## Semaprax 支持哪些平台和生态？

v0.2 仓库演示了受限的原生 C11/Clang 与浏览器/Wasm 输出，并提供桌面、iOS 和 Android 的平台特定 Host 与打包测试。它们尚不构成通用应用支持或百分之百双向互操作性。

// 01

## 目标平台证据

| 平台 | 证据状态 | 已验证产物 | 限制 | 路线图阶段 |
| --- | --- | --- | --- | --- |
| **Linux 原生** | 已演示 | C11/Clang 可执行文件及 Ubuntu 编译器、Host、Loader 和 Sanitizer 门禁 [证据](https://github.com/wavect/semaprax/blob/main/docs/COMPLETION-MATRIX.md) | 仅覆盖受限语言与 ABI 子集 | 受限产物路径 |
| **macOS 原生** | 实验性 | macOS CI 矩阵和桌面打包测试 [证据](https://github.com/wavect/semaprax/tree/main/platform-tests/desktop-native) | 不证明通用 macOS 应用支持 | 所有权与平台契约 |
| **Windows 原生** | 实验性 | Windows 矩阵、加固 Loader 检查和桌面打包测试 [证据](https://github.com/wavect/semaprax/tree/main/platform-tests/desktop-native) | 受限 Loader 与打包契约 | 所有权与平台契约 |
| **浏览器与 Wasm** | 已演示 | 浏览器软件包和真实 Node/Wasm 验证 [证据](https://github.com/wavect/semaprax/blob/main/scripts/verify-web.mjs) | 不覆盖完整 Web API 或 UI 生态 | 受限产物路径 |
| **iOS** | 实验性 | Swift 所有权、静态表面和 arm64 模拟器测试 [证据](https://github.com/wavect/semaprax/tree/main/platform-tests/ios-swift) | 私有受限契约，不是通用应用支持 | 所有权与平台契约 |
| **Android** | 实验性 | JNI 所有权和 Android 模拟器测试 [证据](https://github.com/wavect/semaprax/tree/main/platform-tests/android-jni) | 受限 Host 契约，不是通用应用支持 | 所有权与平台契约 |

// 02

## 生态边界证据

| 生态边界 | 证据状态 | 已验证产物 | 限制 | 路线图阶段 |
| --- | --- | --- | --- | --- |
| **C11 与 Clang** | 已演示 | 针对允许子集在 O0 与 O2 编译并执行的确定性 C11 [证据](https://github.com/wavect/semaprax/blob/main/README.md) | 不表示任意 C 头文件或库互操作 | 受限产物路径 |
| **Rust 原生 Host** | 实验性 | 带 Authority、Receipt、Ownership 与 Sanitizer 门禁的 Host 和 Loader Crate [证据](https://github.com/wavect/semaprax/tree/main/crates/semaprax-native-host) | 私有 Host 契约，不是稳定公开 Rust API | 所有权与平台契约 |
| **WebAssembly 与 WIT Component** | 实验性 | Core Wasm、Component Runtime 和 WIT Fixture [证据](https://github.com/wavect/semaprax/tree/main/platform-tests/component-runtime) | 通用公开 Component 映射仍未开放 | 所有权与平台契约 |
| **Swift 与 JNI** | 实验性 | 受限 Apple Swift 与 Android JNI 所有权契约 [证据](https://github.com/wavect/semaprax/tree/main/platform-tests) | 没有通用双向外部函数接口 | 所有权与平台契约 |
| **现有语言生态** | 路线图 | 暂无通用产物 [证据](https://github.com/wavect/semaprax/blob/main/docs/ROADMAP.md) | 百分之百互操作性是目标，不是当前能力 | 通用语言与生态 |

## 长期目标

程序应在原生、浏览器、移动、桌面和现有语言边界间移动，同时保留所有权、错误和语义身份事实。在每个公开边界拥有可复现一致性证据前，这仍是路线图工作。

GitHub 规范是权威来源。本页是带日期的研究摘要。 [GitHub 仓库](https://github.com/wavect/semaprax).

// FAQ

## 不夸大的问答

### Semaprax 支持所有原生目标吗？

不支持。目前只有原生、Wasm、桌面、iOS 和 Android 的受限证据，通用支持仍是实验性或路线图工作。

### Semaprax 已实现完全互操作吗？

没有。完整双向生态互操作性是长期目标，当前证据只覆盖较窄边界。

Wavect 研究项目: [Wavect GmbH](/zh/). 由 Wavect 创建的开源系统研究项目。

## 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/zh/semaprax/interoperability/#webpage",
      "@type": "WebPage",
      "dateModified": "2026-08-11",
      "inLanguage": "zh",
      "isPartOf": {
        "@id": "https://wavect.io/#website",
        "@type": "WebSite"
      },
      "lastReviewed": "2026-08-11",
      "url": "https://wavect.io/zh/semaprax/interoperability/"
    },
    {
      "@id": "https://wavect.io/verified-claims.json#semaprax-v02-native-wasm-subsets",
      "@type": "Claim",
      "appearance": {
        "@id": "https://wavect.io/zh/semaprax/interoperability/#webpage",
        "@type": "WebPage",
        "inLanguage": "zh",
        "url": "https://wavect.io/zh/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/zh/semaprax/interoperability/#webpage",
      "@type": "WebPage",
      "creator": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "dateModified": "2026-08-11",
      "description": "带日期的 Semaprax 原生、Wasm、桌面、iOS、Android、C11、Rust Host、WIT、Swift 与 JNI 证据矩阵及其限制。",
      "inLanguage": "zh",
      "mainEntity": {
        "@id": "https://wavect.io/zh/semaprax/interoperability/#article",
        "@type": "TechArticle"
      },
      "name": "Semaprax 互操作性与目标平台支持 | Wavect",
      "url": "https://wavect.io/zh/semaprax/interoperability/"
    },
    {
      "@id": "https://wavect.io/zh/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": "带日期的 Semaprax 原生、Wasm、桌面、iOS、Android、C11、Rust Host、WIT、Swift 与 JNI 证据矩阵及其限制。",
      "headline": "互操作性是一系列经过验证的边界，不是一个百分比。",
      "inLanguage": "zh",
      "isPartOf": {
        "@id": "https://wavect.io/semaprax/#webpage",
        "@type": "WebPage"
      },
      "mainEntityOfPage": {
        "@id": "https://wavect.io/zh/semaprax/interoperability/#webpage"
      },
      "publisher": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "url": "https://wavect.io/zh/semaprax/interoperability/"
    },
    {
      "@id": "https://wavect.io/semaprax/#software",
      "@type": "SoftwareSourceCode"
    },
    {
      "@id": "https://wavect.io/zh/semaprax/interoperability/#faq",
      "@type": "FAQPage",
      "inLanguage": "zh",
      "mainEntity": [
        {
          "@type": "Question",
          "acceptedAnswer": {
            "@type": "Answer",
            "text": "不支持。目前只有原生、Wasm、桌面、iOS 和 Android 的受限证据，通用支持仍是实验性或路线图工作。"
          },
          "name": "Semaprax 支持所有原生目标吗？"
        },
        {
          "@type": "Question",
          "acceptedAnswer": {
            "@type": "Answer",
            "text": "没有。完整双向生态互操作性是长期目标，当前证据只覆盖较窄边界。"
          },
          "name": "Semaprax 已实现完全互操作吗？"
        }
      ],
      "url": "https://wavect.io/zh/semaprax/interoperability/"
    },
    {
      "@id": "https://wavect.io/verified-claims.json#semaprax-v02-native-wasm-subsets",
      "@type": "Claim",
      "appearance": {
        "@id": "https://wavect.io/zh/semaprax/interoperability/#webpage",
        "@type": "WebPage",
        "inLanguage": "zh",
        "url": "https://wavect.io/zh/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/zh/",
      "name": "首页",
      "position": 1
    },
    {
      "@type": "ListItem",
      "item": "https://wavect.io/zh/semaprax/",
      "name": "Semaprax",
      "position": 2
    },
    {
      "@type": "ListItem",
      "item": "https://wavect.io/zh/semaprax/interoperability/",
      "name": "互操作性是一系列经过验证的边界，不是一个百分比。",
      "position": 3
    }
  ]
}
```