维护已发布基础
新增Linux arm64与Intel macOS归档。Linux要求glibc 2.35+，macOS和Windows最低版本按归档列出。每个目标都须先通过安装后完整流程，才能发布。
路线图 · 不承诺发布日期
关闭证据缺口，而不是扩大声明。
只有通过全部验证，里程碑才算完成。
v0.9.0已经发布，五份主机归档及安装流程属于当前能力。后续门槛涉及更广目标与配置验收、原生测试验证、路由资格和项目规模定律证据。局部源码结果、托管发布门槛与公共支持决策应分别记录。
entity Semaprax
status Beta 测试版
snapshot 933196b
authority github.com/wavect/semapraxSemaprax 接下来做什么？
五种主机下载已经发布。更广设备、浏览器、公共泛型与包支持仍需独立验收及维护决策。学习型路由须按领域取得资格，LAW16须保留失败并完成AC1/#392余下门槛。未公布v1.0日期。
按证据状态划分的里程碑
部分 开发者预览 明确批准包与 API 配置
扩大选定 Rust API、回调捕获和 Future 组合，同时记录每项外部假设与目标。为生成的 Rust/npm 包和公共泛型边界决定发布方式与兼容性支持；PG-9 仍不受支持，也未发布。
部分 扩展所有权与日常编程能力
在现有记录、泛型、集合、不可变列表、所有权和有界闭包之上继续扩展。有计划地增加生命周期与载荷组合，并依据资源上限和后端行为测量真实程序。
部分 扩展持久 Agent 与应用配置
只有已结算并接受的回合才能开启新路由。交接最多携带16 KiB状态、已接受输出的摘要与结果引用，不复制对话。委派从父预算预留额度并继承截止时间。工具或专家选择须依据当前授权和参数模式重新授权；状态不明时停止核对。
路线图 更广目标与持续维护的完整产品
五种主机下载已经发布。更广设备、浏览器、公共泛型与包支持仍需独立验收及维护决策。学习型路由须按领域取得资格，LAW16须保留失败并完成AC1/#392余下门槛。未公布v1.0日期。
路线图
// STATUS
审计快照中的仓库状态
| 仓库快照 | 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 仓库.
// DOCS
阅读 Semaprax 手册
在线手册是从 main 发布的英文指南，可能包含 0.9.0 之后的变更。复现本次发布时，请使用固定提交的手册快照。
// REF
本页一手来源
于2026年10月15日核对v0.9.0提交、已发布文件和发布流水线。标签内的安装手册与渠道登记仍展示v0.8.0示例，请使用本页固定的v0.9.0下载。矩阵与路线图的旧版本标题属于历史记录。在线手册跟随main，可能描述更新的工作。
// FAQ
常见问题与实用解答
Semaprax v1.0 何时发布？
五种主机下载已经发布。更广设备、浏览器、公共泛型与包支持仍需独立验收及维护决策。学习型路由须按领域取得资格，LAW16须保留失败并完成AC1/#392余下门槛。未公布v1.0日期。
路线图项目何时算已实现？
有界实现必须满足其所属契约，以及正向与不利路径检查。更广泛的支持还需要覆盖指定宿主、接口和维护范围。包发布与开发工具默认配置变更属于独立决策，各自需要发布证据或质量与成本证据。
Wavect 研究项目: Wavect GmbH. 由 Wavect 创建的开源系统研究项目。