互操作性是一系列经过验证的边界，不是一个百分比。
从现有技术栈中的一个经检查边界开始。
保留应用界面与基础设施原有的语言，将 Semaprax 引入选定的计算核心、验证器、源码定律或类型化智能体工作流。0.8.0 在原生和 WebAssembly 执行之外，增加了更丰富的 Rust 导入、生成的所有权与回调适配器，以及真实应用示例。
entity Semaprax
status Beta 测试版
snapshot 615e501
authority github.com/wavect/semaprax审计快照中的仓库状态
| 仓库快照 | 615e501 · 2026-10-06. v0.8.0 标签指向固定的源码提交。该标签的确切 CI 已成功完成，但不构成全面的生产可用性或安全保证。 |
|---|---|
| 完整产品状态 | 55 部分 · 0 已实现 · 0 缺失 |
| 语义图与项目契约 | 规范源码、稳定 ID 和经过检查的编译器表示，将定律、语义查询、修改与执行连接起来。按功能选择的图模式和 Project 模式，各自保留独立的准入、兼容性和宿主权限契约。 |
| 已发布的 Beta 版本 | v0.8.0 · 发布于 2026 年 10 月 6 日 07:37 UTC。确切标签的 82 个作业全部成功。已发布三个工具链包、SHA256SUMS、各包的构建证明和签名汇总来源证明。发布作业在发布前独立验证了签名文件集。工具链包未经过公证，也不声称构建可复现；离线验证不能确认当前的撤销状态。 确切标签 CI. |
| 包与 API 预览 | 此版本包含可用的语言、定律、开发工具和宿主集成配置。生成的 Rust/npm 包、公共泛型 ABI 及更广泛的平台支持，仍须分别决定其发布与支持范围。 |
Semaprax 支持哪些平台和生态？
此版本提供 Linux x86-64 GNU、Apple Silicon macOS 和 Windows x86-64 MSVC 工具。受支持的配置包括原生 C11/Clang、标量 JavaScript/TypeScript Wasm 导出，以及生成的拥有所有权数据的使用方。选定 Rust 集成覆盖 Regex/Url 视图、Serde 记录与迭代器、范围明确的 FnOnce/FnMut 回调，以及同线程 Tokio/reqwest Future 示例。公共泛型 API 与生成包的发布仍属于独立预览决策。显式启用的智能体阶段目标保留更窄的独立契约。
目标平台证据
| 平台 | 源代码状态 | 证据与来源 | 发布状态 | 支持范围 |
|---|---|---|---|---|
| Linux 原生 | 部分 | 已发布 v0.8.0 x86-64 GNU/Linux 完整工具链包及 SHA-256 校验和。 证据 | 有界 beta 源码/工具链配置 | 原生编译需要 Clang；语言、加载器和宿主配置仍有范围限制。 |
| macOS 原生 | 部分 | 已发布 v0.8.0 Apple Silicon 完整工具链包及 SHA-256 校验和。 证据 | 有界 beta 源码/工具链配置 | 此发布没有 Intel macOS 包。源码构建和私有桌面配置不等于通用 macOS 应用平台。 |
| Windows 原生 | 部分 | 已发布 v0.8.0 x86-64 MSVC 工具链 ZIP；确切标签的 Windows 构建、Project 与私有桌面作业通过。 证据 | 有界 beta 源码/工具链配置 | 原生构建需要适当的 C11 工具链。ARM Windows 压缩包、通用桌面打包，以及所有宿主特定隔离配置，不在本次发布清单内。 |
| 浏览器与 Core WebAssembly | 开发者预览 | 公共标量 Wasm 导出通过确切标签的 Chromium 作业。私有生成拥有数据配置及编译器生成的泛型 Wasm 提供端也可执行。 证据 | 生成/私有预览；发布与公共支持需分别决定 | 生成的 npm 包和公共泛型支持仍须分别决定是否发布。每种语言配置都有自己的导出、运行时和浏览器限制；显式启用的智能体阶段宿主不构成通用浏览器智能体平台。 |
| iOS / Swift | 部分 | 私有 Swift/iOS 加载器与应用运行时作业在确切标签 CI 中通过。 证据 | 生成/私有预览；发布与公共支持需分别决定 | 这不证明所有物理设备、App Store 发布或受支持的公共移动工具链。 |
| Android / JNI | 部分 | 私有 Android JNI/Kotlin 的 arm64-v8a 与 x86_64 运行时作业在确切标签 CI 中通过。 证据 | 生成/私有预览；发布与公共支持需分别决定 | 这不证明所有设备、打包流程或持续维护的公共 Android 框架。 |
生态边界证据
| 生态边界 | 源代码状态 | 证据与来源 | 发布状态 | 支持范围 |
|---|---|---|---|---|
| C11 与 Clang | 部分 | 面向符合配置的已检查程序的生成原生后端。 证据 | 有界 beta 源码/工具链配置 | 需要支持 C11 的 Clang；不代表可互操作任意 C 头文件或库。 |
| Rust 宿主与生成消费端 | 开发者预览 | 选定的索引化导入，以及生成的所有权、借用视图和回调适配器，可执行真实的 Regex/Url、Serde/迭代器和 reqwest/Tokio 应用。同线程 Future 与按 Project 选择的源码 yield 路径，使用调用方拥有的执行器。 证据 | 生成/私有预览；发布与公共支持需分别决定 | 只选择确切的签名、Cargo 输入、目标和生命周期。生成的包仍处于预览阶段；尚未证明任意 crate、通用异步/跨线程行为或零开销互操作性。 |
| JavaScript / TypeScript / npm | 开发者预览 | 确切标签的 Chromium 标量导出作业通过。私有编译器生成的泛型 Core Wasm 提供端与规范 TypeScript 载体运行一个已检查端点。 证据 | 生成/私有预览；发布与公共支持需分别决定 | 泛型包尚未发布或获得支持。更广负面/托管验收、浏览器覆盖及 copy-out/燃料一致性仍待完成。 |
| WIT 与 Component Model | 部分 | 确切标签的私有 Wasmtime Component 运行时作业通过；Component v7 保持冻结的 WIT 身份 0.5.0。 证据 | 有界 beta 源码/工具链配置 | 私有 Component 样例不等于公共 Component Model 支持、稳定资源 ABI 或任意组件组合。 |
| Swift 与 JNI | 部分 | 私有所有权、加载器和宿主应用集成配置。 证据 | 有界 beta 源码/工具链配置 | 不宣称通用双向宿主语言/包兼容或所有物理设备覆盖。 |
| 公共泛型 ABI | 路线图 | 确切标签的泛型里程碑作业在 Linux、macOS、Windows 通过。私有编译器生成的 Wasm/原生边界及消费端结算有有界证据。 证据 | 有界 beta 源码/工具链配置 | PG-9 仍不支持且未发布。完整公共泛型签名、更广已检查端点和候选发布支持决定仍待完成。 |
| 模型服务商与宿主服务 | 实验性 | 开发工具支持显式提供方描述、项目锁定与信任、端点接入和模型路由策略。运行时智能体提供方保留独立的类型化授权、预算，以及持久化模型/副作用日志。 证据 | 有界 beta 源码/工具链配置 | 需要显式配置凭据、运行时、存储和传输。回执区分观察用量与报告成本，以及预留量与估算值；未知计费仍保持未知。学习型路由和自动默认配置必须通过资格评测。 |
长期目标
让代码跨越语言边界时，仍保留所有权、错误、稳定身份与经过检查的要求。当前集成路径选择确切签名、目标、依赖集和宿主能力；更广泛的 API 与平台需要独立的一致性和支持证据。
本页依据 v0.8.0 标签及其固定源码提交审阅。版本化规范定义准入范围与权限；矩阵和路线图中的旧发布标题属于历史记录。 GitHub 仓库.
阅读 Semaprax 手册
在线手册是从 main 发布的英文指南，可能包含 0.8.0 之后的变更。复现本次发布时，请使用固定提交的手册快照。
本页一手来源
本页依据 v0.8.0 标签及其固定源码提交审阅。版本化规范定义准入范围与权限；矩阵和路线图中的旧发布标题属于历史记录。
常见问题与实用解答
Semaprax 支持所有原生目标吗？
此版本提供 Linux x86-64 GNU、Apple Silicon macOS 和 Windows x86-64 MSVC 压缩包。原生/Wasm 语言配置和显式启用的智能体阶段宿主，各有独立准入与证据。0.8.0 发布文件集中没有 Intel macOS、Linux arm64 或 Windows arm64 二进制包。
Semaprax 已实现完全互操作吗？
集成取决于具体配置。0.8.0 包含标量与拥有所有权数据的导出、选定 Rust 导入、生成的所有权与回调，以及范围明确的同线程 Future。稳定的通用聚合/资源/组件/泛型 ABI、任意 crate 使用和持续维护的包发布，仍须各自完成并决定。