目标平台 · V0.5.0 · 2026-09-16
互操作性是一系列经过验证的边界，不是一个百分比。
一次验证一个产物。
长期目标是双向生态互操作性和广泛目标支持。当前仓库证明的是更窄的编译器、Host、Loader、ABI 与打包切片。
entity Semaprax
status 预 Alpha 研究
snapshot b9f593c
authority github.com/wavect/semaprax// STATUS
审计快照中的仓库状态
| 仓库快照 | b9f593c · 2026-09-16. 审阅时 main 提交与 v0.5.0 标签一致。该标签的 CI 已成功完成；独立分支 CI 被取消。这不构成全面的生产可用性或安全保证。 |
|---|---|
| 完整产品状态 | 55 部分 · 0 已实现 · 0 缺失 |
| 语义图与项目契约 | 图模式按功能选择并保留旧版契约。Project v1 为基础；所有权数据配置 v8、v9、v10 和 v11 各自具有独立的准入与支持边界。 |
| 已发布的预发布版 | v0.5.0 · 发布于 2026 年 9 月 16 日 09:43 UTC。提供 Linux x86-64、macOS Apple Silicon 和 Windows x86-64 三种压缩包及 SHA256SUMS。包内 semaprax 是完整工具链，并非独立的 Cargo CLI。 确切标签 CI. |
| 包与 API 预览 | 发布工具链并不等于发布其生成的 Rust/npm 包，也不会自动开放私有 API。Project v8-v11 支持决定、公共泛型所有权、更广的平台支持及原生/Wasm Agent 阶段执行仍是独立事项。 |
Semaprax 支持哪些平台和生态？
已发布的 v0.5.0 工具链覆盖 Linux x86-64、macOS Apple Silicon 和 Windows x86-64。符合配置的程序可运行于解释器、C11/Clang 或 Core WebAssembly。Project v8-v11 将生成的拥有数据边界从 Bytes 扩展到平面记录、UTF-8 和嵌套记录。预览包及私有移动/组件配置不构成稳定通用 ABI 或普遍应用支持。源码 Agent 阶段仍基于解释器。
// 01
目标平台证据
| 平台 | 源代码状态 | 证据与来源 | 发布状态 | 支持范围 |
|---|---|---|---|---|
| Linux 原生 | 部分 | 已发布 v0.5.0 x86-64 GNU/Linux 完整工具链包及 SHA-256 校验和。 证据 | 有界 pre-alpha 源码/工具链配置 | 原生编译需要 Clang；语言、加载器和宿主配置仍有范围限制。 |
| macOS 原生 | 部分 | 已发布 v0.5.0 Apple Silicon 完整工具链包及 SHA-256 校验和。 证据 | 有界 pre-alpha 源码/工具链配置 | 此发布没有 Intel macOS 包。源码构建和私有桌面配置不等于通用 macOS 应用平台。 |
| Windows 原生 | 部分 | 已发布 v0.5.0 x86-64 MSVC 完整工具链 ZIP 及 SHA-256 校验和。 证据 | 有界 pre-alpha 源码/工具链配置 | 所选 Windows 发布检查成功。加载器、包及原生执行契约不等于通用 Windows 应用支持。 |
| 浏览器与 Core WebAssembly | 开发者预览 | 标量导出与生成的 npm/Wasm 拥有数据消费配置，包括 Project v8-v11。 证据 | 生成/私有预览；发布与公共支持需分别决定 | 生成包仍未晋级/发布；不能推断覆盖所有浏览器、任意 Web API 或源码 Agent 阶段执行。 |
| iOS / Swift | 部分 | 私有有界 Swift 所有权、静态加载器与应用运行时配置。 证据 | 生成/私有预览；发布与公共支持需分别决定 | 模拟器/宿主证据不覆盖所有物理设备、App Store 部署或完整公共移动工具链。 |
| Android / JNI | 部分 | 私有 JNI/Kotlin 应用、所有权与模拟器运行时配置。 证据 | 生成/私有预览；发布与公共支持需分别决定 | 模拟器及选定 ABI 证据不代表通用设备兼容或持续维护的 Android 应用框架。 |
// 02
生态边界证据
| 生态边界 | 源代码状态 | 证据与来源 | 发布状态 | 支持范围 |
|---|---|---|---|---|
| C11 与 Clang | 部分 | 面向符合配置的已检查程序的生成原生后端。 证据 | 有界 pre-alpha 源码/工具链配置 | 需要支持 C11 的 Clang；不代表可互操作任意 C 头文件或库。 |
| Rust 宿主与生成消费端 | 开发者预览 | Project v8 承载 Bytes 及选定 Option/Result 形式；v9 增加平面拥有记录，v10 增加拥有 UTF-8，v11 增加嵌套拥有记录。生成的 native/Rust、npm/Wasm 消费端、私有传输与公共泛型元数据各有契约。工具链发布、包发布与公共支持是不同决定。 证据 | 生成/私有预览；发布与公共支持需分别决定 | 嵌入与生成 SDK 是独立路线。工作区私有 crate 和生成包不会随此发布自动变为注册表已发布包或稳定 API。 |
| JavaScript / TypeScript / npm | 开发者预览 | 有界标量导出及 Project v8-v11 生成 Core-Wasm 拥有数据包。 证据 | 生成/私有预览；发布与公共支持需分别决定 | 标量支持不代表拥有数据包已晋级。浏览器覆盖、复制输出/生命周期规则与包支持仍按配置限定。 |
| WIT 与 Component Model | 部分 | 存在独立组件运行时及 WIT 边界样例。 证据 | 有界 pre-alpha 源码/工具链配置 | Core Wasm 支持不是通用 Component Model 发布、稳定资源 ABI 或任意组件组合。 |
| Swift 与 JNI | 部分 | 私有所有权、加载器和宿主应用集成配置。 证据 | 有界 pre-alpha 源码/工具链配置 | 不宣称通用双向宿主语言/包兼容或所有物理设备覆盖。 |
| 公共泛型 ABI | 路线图 | 内部泛型及先决元数据/兼容性检查已在有界配置中实现。 证据 | 有界 pre-alpha 源码/工具链配置 | 仍需要公共泛型描述符和载体、剩余里程碑检查及明确支持决定。仅先决条件不支持公共泛型签名。 |
| 模型服务商与宿主服务 | 实验性 | 显式宿主适配器提供凭据、传输和存储。限制可涵盖调用、token、字节、截止时间和报价成本。持久配置先确认意图再分派，并拒绝不确定的重复派发。通用宿主配置支持有界重试/故障转移；绑定源码模型路线不会自动重试或切换服务商。观测用量不等于保证账单正确。 证据 | 有界 pre-alpha 源码/工具链配置 | 须显式配置适配器、凭据、存储和传输；不保证跨服务商账单正确，也不自动授予权限。 |
长期目标
程序应在原生、浏览器、移动、桌面和现有语言边界间移动，同时保留所有权、错误和语义身份事实。在每个公开边界拥有可复现一致性证据前，这仍是路线图工作。
本页依据固定提交和 v0.5.0 发布记录审阅。版本化规范定义准入范围与权限；矩阵和路线图中保留的 v0.4 发布标题属于历史记录，不代表最新版本。 GitHub 仓库.
// REF
本页一手来源
本页依据固定提交和 v0.5.0 发布记录审阅。版本化规范定义准入范围与权限；矩阵和路线图中保留的 v0.4 发布标题属于历史记录，不代表最新版本。
// FAQ
不夸大的问答
Semaprax 支持所有原生目标吗？
不。发布提供 Linux x86-64、Apple Silicon macOS 和 Windows x86-64 工具链。Core Wasm/浏览器及私有移动/桌面配置契约更窄。尚未确立通用平台支持或原生/Wasm 源码 Agent 阶段。
Semaprax 已实现完全互操作吗？
不。已有按配置限定的标量及拥有数据路线，包括 Project v8-v11 生成消费端。稳定通用聚合/资源/组件/泛型 ABI 和持续包支持仍需各自完成与发布决定。
Wavect 研究项目: Wavect GmbH. 由 Wavect 创建的开源系统研究项目。