证据 · B9F593C · 2026-09-16
v0.5.0 实现了什么，又没有证明什么。
每项证据都有状态、范围和复核日期。
已发布的 v0.5.0 标签和审阅时的 main 均指向 b9f593c。确切标签发布 CI 成功，三个工具链包已发布。完整产品契约仍记录 55 项部分完成、0 项完全实现、0 项缺失。这是覆盖分类，不是完成百分比。
entity Semaprax
status 预 Alpha 研究
snapshot b9f593c
authority github.com/wavect/semaprax// STATUS
审计快照中的仓库状态
| 仓库快照 | b9f593c · 2026-09-16. 审阅时 main 提交与 v0.5.0 标签一致。该标签的 CI 已成功完成；独立分支 CI 被取消。这不构成全面的生产可用性或安全保证。 |
|---|---|
| 完整产品状态 | 55 部分 · 0 已实现 · 0 缺失 |
| 语义图与项目契约 | 图模式按功能选择并保留旧版契约。Project v1 为基础；所有权数据配置 v8、v9、v10 和 v11 各自具有独立的准入与支持边界。 |
| 已发布的预发布版 | v0.5.0 · 发布于 2026 年 9 月 16 日 09:43 UTC。提供 Linux x86-64、macOS Apple Silicon 和 Windows x86-64 三种压缩包及 SHA256SUMS。包内 semaprax 是完整工具链，并非独立的 Cargo CLI。 确切标签 CI. |
| 包与 API 预览 | 发布工具链并不等于发布其生成的 Rust/npm 包，也不会自动开放私有 API。Project v8-v11 支持决定、公共泛型所有权、更广的平台支持及原生/Wasm Agent 阶段执行仍是独立事项。 |
Semaprax 目前实现了什么？
已有可执行的语言、语义修改、迭代 Agent、生成消费端及宿主集成配置，包括 v0.5.0 的模型流式处理、记账、重试和任务新增内容。其存在不代表完整产品要求已完成。矩阵将旧 50 行仪表盘纠正为实际 55 项要求，未改变完成门槛；网站原先还是更旧的 49 行快照。部分仓库状态文字仍写 v0.4.0，因此最新发布身份以 v0.5.0 发布记录及确切标签工作流为准。
// 01
能力证据台账
| 当前状态 | 源代码状态 | 证据与来源 | 发布状态 | 支持范围 | 证据 |
|---|---|---|---|---|---|
规范源码与稳定身份stable-semantic-program-graph | 部分 | 存在于固定实现中；发布工作流所选检查成功。确切准入范围以所属契约为准。 | 有界 pre-alpha 源码/工具链配置 | 可读 `.spx` 仍是 Git 中的规范表示。显式 `@id` 在受支持的显示名称修改后继续标识同一声明。修订绑定规范源码和编译器隐式 prelude，而非偶然的源码位置或图传输格式。 | GitHub 仓库 |
受限上下文与紧凑投影bounded-agent-context | 部分 | 存在于固定实现中；发布工作流所选检查成功。确切准入范围以所属契约为准。 | 有界 pre-alpha 源码/工具链配置 | Context v1/v2 限制深度、节点和字节预算；v2 增加定向遍历。任务上下文与 text、binary、model-text 投影支持经过重放检查的聚焦交换。更小的序列化输出不自动意味着更少的计费 token 或更好的回答。 | GitHub 仓库 |
语义修改，而非任意重写revision-bound-semantic-patches | 部分 | 存在于固定实现中；发布工作流所选检查成功。确切准入范围以所属契约为准。 | 有界 pre-alpha 源码/工具链配置 | 检查上下文、派生候选、预览影响、审阅、重放检查，然后显式授权应用。操作家族已超出重命名，包含有边界的表达式替换、结构修改及指定的 rebase/merge 组合。各协议保留独立的修订、身份与操作限制。 | GitHub 仓库 |
受控发布是独立边界managed-workspace-semantic-operations | 部分 | 存在于固定实现中；发布工作流所选检查成功。确切准入范围以所属契约为准。 | 有界 pre-alpha 源码/工具链配置 | 受管工作区代、候选证据、Project 修订存储与 MCP 工作流保留显式写入和发布权限。多文件验证不等于任意原始路径、Git 或编辑器的原子更新。Rust 嵌入 API 提供输入上限、取消与不透明会话，并非无限制宿主访问。 | GitHub 仓库 |
可重放的语义证据semantic-evidence-capsules | 部分 | 存在于固定实现中；发布工作流所选检查成功。确切准入范围以所属契约为准。 | 有界 pre-alpha 源码/工具链配置 | 证据将已检查事实与候选修改绑定到源码和修订。回执可支持审阅或拒绝，但不会授予执行、修改或发布权限。 | GitHub 仓库 |
多模块项目与离线脚手架bounded-multi-file-project | 部分 | 存在于固定实现中；发布工作流所选检查成功。确切准入范围以所属契约为准。 | 有界 pre-alpha 源码/工具链配置 | Project 清单定义源码闭包、入口、测试及选定导出。内置计算器支持 check/test/run 和符合配置的构建。new 使用内置文件创建新项目，不初始化 Git，也不获取注册表。 | GitHub 仓库 |
解释器、原生与 Core Wasm 执行native-and-wasm-lowering | 部分 | 存在于固定实现中；发布工作流所选检查成功。确切准入范围以所属契约为准。 | 有界 pre-alpha 源码/工具链配置 | 符合配置的标量和拥有数据程序可通过解释器、C11/Clang 与 Core Wasm 执行。目标符合性按配置限定；普通库执行不代表源码 Agent 阶段也能原生/Wasm 执行。 | GitHub 仓库 |
有界标量 JavaScript/TypeScript 导出public-wasm-scalar-exports | 部分 | 存在于固定实现中；发布工作流所选检查成功。确切准入范围以所属契约为准。 | 有界 pre-alpha 源码/工具链配置 | 稳定 ID 标量导出具有独立公共 Wasm 配置和浏览器测试样例。拥有数据包、广泛浏览器支持、组件及泛型签名各有契约，不能继承这一支持声明。 | GitHub 仓库 |
类型化运行时智能体bounded-agent-runtime | 部分 | 存在于固定实现中；发布工作流所选检查成功。确切准入范围以所属契约为准。 | 有界 pre-alpha 源码/工具链配置 | 初始化、观察、提案、解码、授权、执行与归约。经检查的 reducer 选择 Continue、Complete、Suspend 或 Fail，每轮重新授权。编译得到的 Proposal 模式在副作用分派前约束流式解析与类型化解码。源码 Agent 阶段目前运行在保留的解释器中，不具备原生/Wasm 对等执行。 | GitHub 仓库 |
所有权与可重放清理ownership-inspired-memory-management | 部分 | 存在于固定实现中；发布工作流所选检查成功。确切准入范围以所属契约为准。 | 有界 pre-alpha 源码/工具链配置 | 已实现拥有与借用值、清理计划、借用事实和选定的资源/泛型组合。v0.5.0 增加直接拥有 String 的变体载荷，但泛型 String 替换及嵌套拥有记录的变体载荷仍受限。这不是完整的通用生命周期系统，也不表示兼容 Rust。 | GitHub 仓库 |
更广的日常编程能力everyday-language-and-collections | 部分 | 存在于固定实现中；发布工作流所选检查成功。确切准入范围以所属契约为准。 | 有界 pre-alpha 源码/工具链配置 | 获准配置涵盖记录、变体、类、继承、泛型、Option/Result、显式可变性、循环、集合、迭代器、函数值和有边界的闭包。文本、字节及内置库支持实用小程序。拥有捕获值的闭包、通用泛型约束和任意功能组合仍有限制。 | GitHub 仓库 |
预算、持久恢复与模型调用model-budgets-and-durable-recovery | 部分 | 存在于固定实现中；发布工作流所选检查成功。确切准入范围以所属契约为准。 | 有界 pre-alpha 源码/工具链配置 | 显式宿主适配器提供凭据、传输和存储。限制可涵盖调用、token、字节、截止时间和报价成本。持久配置先确认意图再分派，并拒绝不确定的重复派发。通用宿主配置支持有界重试/故障转移；绑定源码模型路线不会自动重试或切换服务商。观测用量不等于保证账单正确。 | GitHub 仓库 |
应用与经济智能体实验application-and-economic-agent-profiles | 实验性 | 存在于固定实现中；发布工作流所选检查成功。确切准入范围以所属契约为准。 | 有界 pre-alpha 源码/工具链配置 | 经检查的 HTTPS POST、Rust 宿主认证/会话及带检查点的任务属于独立集成配置，并非完整 Web 框架。经济智能体探索支付意图、模拟、审批和对账，钱包与签名由宿主提供。模型提案既不是支付权限，也不保证恰好一次结算。 | GitHub 仓库 |
生成边界仍按配置限定owned-data-package-previews | 开发者预览 | 存在于固定实现中；发布工作流所选检查成功。确切准入范围以所属契约为准。 | 生成/私有预览；发布与公共支持需分别决定 | Project v8 承载 Bytes 及选定 Option/Result 形式；v9 增加平面拥有记录，v10 增加拥有 UTF-8，v11 增加嵌套拥有记录。生成的 native/Rust、npm/Wasm 消费端、私有传输与公共泛型元数据各有契约。工具链发布、包发布与公共支持是不同决定。 | GitHub 仓库 |
广泛原生与应用支持broad-platform-support | 路线图 | 三种工具链包已发布，且存在有界浏览器/移动/桌面配置。跨浏览器引擎、物理设备、操作系统和安装流程的完整受支持应用平台仍属更广产品要求。 | 尚未建立完整支持 | 三种工具链包已发布，且存在有界浏览器/移动/桌面配置。跨浏览器引擎、物理设备、操作系统和安装流程的完整受支持应用平台仍属更广产品要求。 | GitHub 仓库 |
通用双向生态互操作bidirectional-ecosystem-interoperability | 路线图 | 通用所有权安全外部接口、稳定聚合/资源/组件/泛型 ABI、持续维护包发布及广泛宿主语言兼容仍未完成。元数据、生成代码和私有宿主样例不能完成此要求。 | 尚未建立完整支持 | 通用所有权安全外部接口、稳定聚合/资源/组件/泛型 ABI、持续维护包发布及广泛宿主语言兼容仍未完成。元数据、生成代码和私有宿主样例不能完成此要求。 | GitHub 仓库 |
// 02
本页明确不作出的声明
- 不保证生产可用、普遍内存安全或没有缺陷。
- 成功工作流只覆盖所选检查，不包括被忽略的测试或所有目标与功能组合。
- 内部所有权/泛型实现不构成稳定的公共泛型 ABI。
- 生成的 Rust/npm 包与 Project v8-v11 晋级仍独立于工具链发布。
- 源码 Agent 阶段使用保留的解释器；原生/Wasm 库执行不证明 Agent 阶段对等。
- 服务商传输、凭据、存储、认证与签名仍由宿主显式负责。
- 恢复记录不保证联网/支付恰好一次，也不证明服务商账单正确。
- 尚未证明相对其他语言普遍具有 token、延迟、质量或成本优势。
本页依据固定提交和 v0.5.0 发布记录审阅。版本化规范定义准入范围与权限；矩阵和路线图中保留的 v0.4 发布标题属于历史记录，不代表最新版本。 GitHub 仓库.
// REF
本页一手来源
本页依据固定提交和 v0.5.0 发布记录审阅。版本化规范定义准入范围与权限；矩阵和路线图中保留的 v0.4 发布标题属于历史记录，不代表最新版本。
// FAQ
不夸大的问答
已演示是什么意思？
某个明确命名的产物或执行路径，在已知限制下通过了专项验证。这不等于完整的语言、生态或平台支持。
CI 全绿能证明安全吗？
不能。它支持被测试的不变量和失败路径，不证明测试边界外不存在漏洞。
Wavect 研究项目: Wavect GmbH. 由 Wavect 创建的开源系统研究项目。