路线图 · 不承诺发布日期

关闭证据缺口,而不是扩大声明。

只有通过全部验证,里程碑才算完成。

Semaprax 采用证据优先的路线图。设计文档用于记录意图;要达到完成状态,则必须交付指定实现,并通过负面测试、产物检查和受支持 Host 上的验证。

semaprax://roadmapv0.2
entity     Semaprax
status     预 Alpha 研究
snapshot   c16348f
authority  github.com/wavect/semaprax
// STATUS

审计快照中的仓库状态

仓库快照c16348f · 2026-08-29. 文档工作流通过,但总体工作流失败,因此本页不把该 head 标为已验证。
完整产品状态49 部分 · 0 已实现 · 0 缺失
语义图与项目契约Graph ≤ v24 · Project v1 基线 · Project v8, v9, v10 开发者预览
提升基线本快照不声称存在精确且已通过的提升提交或工作流运行。
源代码中的开发者预览Owned 数据、record 与 UTF-8 项目配置,以及软件包分析、借用扩展、Project Agent Transport 与 Revision Store 已存在于源代码中,但尚未发布或提升。

Semaprax 接下来做什么?

近期优先事项是完成 v0.2 发布退出并建立精确通过的 head,然后在保持 Project v1-v7 兼容的前提下,让 Project v8 同时通过 npm、浏览器、Rust、原生、恶意输入和兼容性验证。后续顺序是 0.3 所有权与开发速度、0.4 Component、软件包与互操作性、0.5 并发与应用,以及 1.0 持续端到端验证。

// 01

按证据状态划分的里程碑

部分

当前:v0.2 发布退出

建立精确通过的 head,并且只在所有指定验证通过后提升 Project v8。

开发者预览

开发者预览

Project v8-v10、Agent Transport v5、Revision Store v1、借用与软件包分析工作已存在但未提升。

路线图

0.3:所有权与开发循环

在不削弱证据要求的前提下推进通用所有权并加快开发。

路线图

0.4:Component、软件包与互操作性

将预览转化为受支持、已发布且经过一致性验证的边界。

路线图

0.5:并发与应用

在可靠的底层契约之上构建并发与应用能力。

路线图

1.0:端到端验证

持续维护完整承诺产品边界的可复现验证。

// 02

路线图

路线图

广泛平台支持

macOS、Windows、Linux、Web、iOS 和 Android 的通用支持。

GitHub 仓库
路线图

双向生态互操作性

面向现有语言和软件包的类型化、所有权安全边界。

GitHub 仓库

GitHub 规范是权威来源。本页是带日期的研究摘要。 GitHub 仓库.

// FAQ

不夸大的问答

Semaprax v1.0 何时发布?

尚未公布日期。发布前必须确保安装可复现、CI 全部通过,并完成对应范围的全部验证。

路线图项目何时算已实现?

只有当完成标准要求的实现、负面测试、产物、受支持 Host 检查和文档全部通过后,才算实现。

Wavect 研究项目: Wavect GmbH. 由 Wavect 创建的开源系统研究项目。