路线图 · 不承诺发布日期

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

只有完整执行门禁,里程碑才算完成。

Semaprax 采用证据优先路线图。设计文档记录意图,完成则需要指定的实现、负面测试、产物检查和支持主机门禁。

semaprax://roadmapv0.2
entity     Semaprax
status     预 Alpha 研究
verified   2026-08-11
authority  github.com/wavect/semaprax

Semaprax 接下来做什么?

路线图从 v0.2 语义核心扩展到更广泛的所有权、Callable 与 Component 边界、公开平台一致性、仓库规模智能体工作流和更广的生态互操作性。

// 01

按证据状态划分的里程碑

已实现

v0.2 语义核心

类型化语义、持久身份、语义图、受限上下文、确定性诊断和修订版补丁。

已演示

受限产物路径

在明确限制下运行的原生、Wasm、Host、Loader、打包、Review 与证据路径。

实验性

所有权与平台契约

更广资源语义、公开 ABI、移动生命周期和应用平台一致性。

路线图

通用语言与生态

仓库经济性、完整目标覆盖、成熟工具、分发和双向互操作性。

// 02

路线图

路线图

广泛原生平台支持

超越当前受限 Host 与打包门禁的 macOS、Windows、Linux、Web、iOS 和 Android 通用支持。

GitHub 仓库
路线图

双向生态互操作性

面向现有语言与软件包生态的类型化、所有权安全边界长期目标。不作百分比声明。

GitHub 仓库

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

// FAQ

不夸大的问答

Semaprax v1.0 何时发布?

尚未公布日期。发布应以可复现安装、绿色 CI 和对应范围的完整门禁为前提。

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

其完成门禁要求的实现、负面案例、产物、支持主机检查和文档全部通过时。

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