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

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

一次验证一个产物。

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

semaprax://interoperabilityv0.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 门禁证据	仅覆盖受限语言与 ABI 子集	受限产物路径
macOS 原生	实验性	macOS CI 矩阵和桌面打包测试证据	不证明通用 macOS 应用支持	所有权与平台契约
Windows 原生	实验性	Windows 矩阵、加固 Loader 检查和桌面打包测试证据	受限 Loader 与打包契约	所有权与平台契约
浏览器与 Wasm	已演示	浏览器软件包和真实 Node/Wasm 验证证据	不覆盖完整 Web API 或 UI 生态	受限产物路径
iOS	实验性	Swift 所有权、静态表面和 arm64 模拟器测试证据	私有受限契约，不是通用应用支持	所有权与平台契约
Android	实验性	JNI 所有权和 Android 模拟器测试证据	受限 Host 契约，不是通用应用支持	所有权与平台契约

// 02

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

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

GitHub 规范是权威来源。本页是带日期的研究摘要。 GitHub 仓库.

// FAQ

Semaprax 支持所有原生目标吗？

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

Semaprax 已实现完全互操作吗？

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

Wavect 研究项目: Wavect GmbH. 由 Wavect 创建的开源系统研究项目。