互操作性是一系列经过验证的边界，不是一个百分比。
从现有技术栈中的一个经检查边界开始。
先选择已发布主机归档，再选择应用需要的语言边界。v0.9.0新增Linux arm64、Intel macOS、按用户安装脚本及适配器式模型、工具和专家选择。既有Rust、C11与Wasm配置仍保留独立所有权、目标和权限边界。
entity Semaprax
status Beta 测试版
snapshot 933196b
authority github.com/wavect/semapraxSemaprax 支持哪些平台和生态？
五份主机归档覆盖GNU/Linux x86-64/arm64、macOS Apple Silicon/Intel及Windows x64。原生命令配置独立于解释器和Wasm。选定Rust导入、所有者、回调与同线程Future仍有各自限制。路由适配器包括Jev、Laya、Mini Jev及Clef变体，但注明日期的支持矩阵中无学习型适配器通过实测或资格评定。公共泛型API与生成包发布仍需独立决策。
从现有技术栈中的一个经检查边界开始。
目标平台证据
| 平台 | 源代码状态 | 证据与来源 | 发布状态 | 支持范围 |
|---|---|---|---|---|
| Linux 原生 | 部分 | 已发布GNU/Linux x86-64与arm64 v0.9.0归档，均要求glibc 2.35+。 证据 | 有界 beta 源码/工具链配置 | 拒绝musl/Alpine及更旧glibc。原生编译需要Clang；安装归档不扩大语言或主机权限。 |
| macOS 原生 | 部分 | 已发布Apple Silicon（macOS 11+）与Intel（macOS 10.12+）v0.9.0归档。 证据 | 有界 beta 源码/工具链配置 | 归档未经公证。原生安装流程不能证明通用桌面平台支持或全部macOS主机集成。 |
| Windows 原生 | 部分 | 已发布适用于Windows 10 1809+ / Server 2019+的x64 MSVC v0.9.0 ZIP，PowerShell 5.1/7安装流程为发布门槛。 证据 | 有界 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 与平台需要独立的一致性和支持证据。
审计快照中的仓库状态
| 仓库快照 | 933196b · 2026-10-15. v0.9.0 标签指向固定的源码提交。该标签的确切 CI 已成功完成，但不构成全面的生产可用性或安全保证。 |
|---|---|
| 完整产品状态 | 55 部分 · 0 已实现 · 0 缺失 |
| 语义图与项目契约 | 规范源码、稳定 ID 和经过检查的编译器表示，将定律、语义查询、修改与执行连接起来。按功能选择的图模式和 Project 模式，各自保留独立的准入、兼容性和宿主权限契约。 |
| 已发布的 Beta 版本 | v0.9.0 · 2026年10月11日15:07 UTC发布，精确标签发布流水线的91项作业全部通过。五个平台归档和两个安装脚本附带SHA256SUMS、五份归档证明及经过独立验证的汇总签名来源记录。发布前必须通过各平台的原生安装流程。归档未经公证，也不承诺可复现构建；离线验证不能确认当前撤销状态。 确切标签 CI. |
| 包与 API 预览 | 此版本包含可用的语言、定律、开发工具和宿主集成配置。生成的 Rust/npm 包、公共泛型 ABI 及更广泛的平台支持，仍须分别决定其发布与支持范围。 |
于2026年10月15日核对v0.9.0提交、已发布文件和发布流水线。标签内的安装手册与渠道登记仍展示v0.8.0示例，请使用本页固定的v0.9.0下载。矩阵与路线图的旧版本标题属于历史记录。在线手册跟随main，可能描述更新的工作。 GitHub 仓库.
阅读 Semaprax 手册
在线手册是从 main 发布的英文指南，可能包含 0.9.0 之后的变更。复现本次发布时，请使用固定提交的手册快照。
本页一手来源
于2026年10月15日核对v0.9.0提交、已发布文件和发布流水线。标签内的安装手册与渠道登记仍展示v0.8.0示例，请使用本页固定的v0.9.0下载。矩阵与路线图的旧版本标题属于历史记录。在线手册跟随main，可能描述更新的工作。
常见问题与实用解答
Semaprax 支持所有原生目标吗？
五份主机归档覆盖GNU/Linux x86-64/arm64、macOS Apple Silicon/Intel及Windows x64。原生命令配置独立于解释器和Wasm。选定Rust导入、所有者、回调与同线程Future仍有各自限制。路由适配器包括Jev、Laya、Mini Jev及Clef变体，但注明日期的支持矩阵中无学习型适配器通过实测或资格评定。公共泛型API与生成包发布仍需独立决策。
Semaprax 已实现完全互操作吗？
集成取决于具体配置。0.9.0 包含标量与拥有所有权数据的导出、选定 Rust 导入、生成的所有权与回调，以及范围明确的同线程 Future。稳定的通用聚合/资源/组件/泛型 ABI、任意 crate 使用和持续维护的包发布，仍须各自完成并决定。