目标矩阵 · 快照 C16348F · 2026-08-29
互操作性是一系列经过验证的边界，不是一个百分比。
一次验证一个产物。
长期目标是双向生态互操作性和广泛目标支持。当前仓库证明的是更窄的编译器、Host、Loader、ABI 与打包切片。
entity Semaprax
status 预 Alpha 研究
snapshot c16348f
authority github.com/wavect/semaprax// STATUS
审计快照中的仓库状态
| 仓库快照 | c16348f · 2026-08-29. 文档工作流通过，但总体工作流失败，因此本页不把该 head 标为已验证。 |
|---|---|
| 完整产品状态 | 49 部分 · 0 已实现 · 0 缺失 |
| 语义图与项目契约 | Graph ≤ v24 · Project v1 基线 · Project v8, v9, v10 开发者预览 |
| 提升基线 | 本快照不声称存在精确且已通过的提升提交或工作流运行。 |
| 源代码中的开发者预览 | Owned 数据、record 与 UTF-8 项目配置，以及软件包分析、借用扩展、Project Agent Transport 与 Revision Store 已存在于源代码中，但尚未发布或提升。 |
Semaprax 支持哪些平台和生态？
Semaprax 保留范围受限的解释器、C11/Clang、Core Wasm/Node 与标量 JavaScript/TypeScript 路径。Project v8 为 Bytes、Option<Bytes> 和 Result<Bytes, i64> 加入 npm/Core-Wasm 与安全 Rust 路径；v9、v10 加入平坦 owned record 与 owned UTF-8。这些表面尚未发布或提升，也不构成稳定通用 ABI。
// 01
目标平台证据
| 平台 | 源代码状态 | 精确 head 证据 | 发布状态 | 支持范围 |
|---|---|---|---|---|
| Linux 原生 | 已演示 | C11/Clang 可执行文件，以及针对 Ubuntu 编译器、Host、Loader 和 Sanitizer 的验证 证据 | 受限产物路径 | 仅覆盖受限语言与 ABI 子集 |
| macOS 原生 | 实验性 | macOS CI 矩阵和桌面打包测试 证据 | 所有权与平台契约 | 不证明通用 macOS 应用支持 |
| Windows 原生 | 实验性 | Windows 矩阵、加固 Loader 检查和桌面打包测试 证据 | 所有权与平台契约 | 受限 Loader 与打包契约 |
| 浏览器与 Wasm | 开发者预览 | 较早标量 Core Wasm/Node 证据，以及 c16348f 源代码中的 Project v8-v10 npm/Core-Wasm 路径 证据 | 标量基线受限；v8-v10 未发布 | v8 仅限 Bytes、Option 与 Result；v9 record 和 v10 UTF-8 未提升。没有通用 Web 或跨浏览器支持 |
| iOS | 实验性 | Swift 所有权、静态表面和 arm64 模拟器测试 证据 | 所有权与平台契约 | 私有受限契约，不是通用应用支持 |
| Android | 实验性 | JNI 所有权和 Android 模拟器测试 证据 | 所有权与平台契约 | 受限 Host 契约，不是通用应用支持 |
// 02
生态边界证据
| 生态边界 | 源代码状态 | 精确 head 证据 | 发布状态 | 支持范围 |
|---|---|---|---|---|
| C11 与 Clang | 已演示 | 针对允许子集在 O0 与 O2 编译并执行的确定性 C11 证据 | 受限产物路径 | 不表示任意 C 头文件或库互操作 |
| Rust 原生 Host | 开发者预览 | 较早私有标量桥，以及源代码中的 Project v8 安全 Rust 软件包路径 证据 | 未发布开发者预览 | 该路径未发布、未提升且仅限 Bytes、Option 与 Result，不是通用 Rust 互操作 |
| 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 创建的开源系统研究项目。