维护已发布基础
在代码演进中保留源码身份、确定性检查、压缩包来源证明和负向路径。以当前的证明、源码和目标证据扩展定律覆盖及受保护实现体修复；较早发布的成功结果不能验证后续修改。
路线图 · 不承诺发布日期
关闭证据缺口，而不是扩大声明。
只有通过全部验证，里程碑才算完成。
0.8.0 建立了一个已发布的 Beta 基础。下一步需要决定哪些语言、证明、Rust、开发工具和运行时配置能够扩展支持范围，并为每项扩展提供可执行的验收与实测结果。
entity Semaprax
status Beta 测试版
snapshot 615e501
authority github.com/wavect/semaprax// STATUS
审计快照中的仓库状态
| 仓库快照 | 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 接下来做什么？
维护已发布源码与压缩包的保证，扩展定律和 Rust 配置，以真实任务质量和成本评估开发工具变更，并扩大跨宿主的经检查重载与智能体恢复能力。公共泛型 ABI、包发布和持续维护的应用平台，仍是独立里程碑。最大规模 catalog-normalizer 用例已通过其限定的解释器、原生和 Core Wasm 应用检查，不再是尚未执行的目标。目前未公布 v1.0 发布日期。
// 01
按证据状态划分的里程碑
明确批准包与 API 配置
扩大选定 Rust API、回调捕获和 Future 组合，同时记录每项外部假设与目标。为生成的 Rust/npm 包和公共泛型边界决定发布方式与兼容性支持；PG-9 仍不受支持，也未发布。
扩展所有权与日常编程能力
在现有记录、泛型、集合、不可变列表、所有权和有界闭包之上继续扩展。有计划地增加生命周期与载荷组合，并依据资源上限和后端行为测量真实程序。
扩展持久 Agent 与应用配置
扩展检查点恢复、失败处理和显式启用的阶段目标。将经检查的热重载带到更多宿主，并通过已接受任务与成本检查评估检索、技能和路由。已记录的付费试验未达到启用新默认配置的要求。
更广目标与持续维护的完整产品
为新增宿主平台、浏览器引擎、设备与包生态提供可重复的一致性、生命周期和维护承诺。完整应用平台与最终 1.0 验证产品仍是更广泛的工作，不代表任何交付日期。
// 02
路线图
本页依据 v0.8.0 标签及其固定源码提交审阅。版本化规范定义准入范围与权限；矩阵和路线图中的旧发布标题属于历史记录。 GitHub 仓库.
// DOCS
阅读 Semaprax 手册
在线手册是从 main 发布的英文指南，可能包含 0.8.0 之后的变更。复现本次发布时，请使用固定提交的手册快照。
// REF
本页一手来源
本页依据 v0.8.0 标签及其固定源码提交审阅。版本化规范定义准入范围与权限；矩阵和路线图中的旧发布标题属于历史记录。
// FAQ
常见问题与实用解答
Semaprax v1.0 何时发布？
目前未公布 v1.0 日期。0.8.0 于 2026 年 10 月 6 日发布。路线图描述工作方向与验收检查；旧编号标题不能可靠地代表仍待发布的版本清单。
路线图项目何时算已实现？
有界实现必须满足其所属契约，以及正向与不利路径检查。更广泛的支持还需要覆盖指定宿主、接口和维护范围。包发布与开发工具默认配置变更属于独立决策，各自需要发布证据或质量与成本证据。
Wavect 研究项目: Wavect GmbH. 由 Wavect 创建的开源系统研究项目。