证据台账 · 快照 C16348F · 2026-08-29
v0.2 原型证明了什么，又没有证明什么。
每项证据都有状态、范围和复核日期。
c16348f 的完成度矩阵将 49 项要求标记为部分完成，0 项已实现，0 项缺失。部分完成表示至少存在一个范围受限的可执行切片，并不表示产品接近完成。
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 目前实现了什么？
在完整产品层面，Semaprax 有 49 项部分要求，没有任何已实现或缺失要求。较早的提升证据覆盖受限语义、原生、Wasm、工作区与 Project v1 路径。Project v8-v10、新所有权与借用计划、软件包分析、Agent Transport v5 和 Revision Store v1 是开发者预览。本快照总体工作流失败，因此不能称为验证。
// 01
能力证据台账
| 当前状态 | 源代码状态 | 精确 head 证据 | 发布状态 | 支持范围 | 证据 |
|---|---|---|---|---|---|
按功能选择的语义图stable-semantic-program-graph | 部分 | 较早受限证据加上源代码中的 Graph v21-v24；c16348f 总体工作流失败。 | 旧模式已提升，v21-v24 未提升 | 保留旧图字节，并覆盖 owned record、variant、Shared Loan Plan 与最高到 v24 的投影借用。 | GitHub 仓库 |
受限智能体上下文bounded-agent-context | 部分 | v1/v2 可执行切片存在；仓库规模成本验证仍开放。 | 受限公开研究表面 | 确定性字节、节点、深度和边界限制。 | GitHub 仓库 |
绑定修订版的补丁revision-bound-semantic-patches | 部分 | 受限补丁族存在；完整验证仍开放。 | 受限公开研究表面 | 精确修订版、过期拒绝和选择性语义差异验证。 | GitHub 仓库 |
分层工作区变更managed-workspace-semantic-operations | 部分 | 重命名与替换切片有证据；结构和发布是独立层。 | Workspace Operations v1 范围狭窄 | Rename、Change、Replacement、结构推导与认证发布均不提供任意源码树或 Git 权限。 | GitHub 仓库 |
证据与修订存储semantic-evidence-capsules | 部分 | 确定性证据存在；Revision Store v1 未提升。 | 混合状态，Revision Store 未发布 | Review、Impact、Target、Patch、Workspace、不可变世代与认证修订。 | GitHub 仓库 |
Project v1 与 v8-v10 预览bounded-multi-file-project | 部分 | Project v1 已提升；v8-v10 在快照中未运行或未提升。 | v1 已提升，v8-v10 未发布 | v8 Bytes、Option 与 Result；v9 平坦 owned record；v10 owned UTF-8，并保留 v1-v7 兼容。 | GitHub 仓库 |
解释器、原生与 Core Wasmnative-and-wasm-lowering | 部分 | 较早受限执行证据存在；c16348f 总体工作流失败。 | 受限研究产物 | 参考解释器、C11/Clang、Core Wasm/Node 与 frame payload 语料。 | GitHub 仓库 |
软件包与兼容性分析public-wasm-scalar-exports | 部分 | Package Report v2、Offline Locks v1/v2 与 Compatibility Evidence v1 已编写；部分验证未运行。 | 未发布开发者预览 | Project v8 的 npm/Core-Wasm 与安全 Rust 路径，不是通用包管理器或稳定 ABI。 | GitHub 仓库 |
智能体运行时与项目传输bounded-agent-runtime | 部分 | 较早 fake-host 证据存在；Agent Transport v5 未提升。 | 运行时受限，传输为预览 | Agent Context、注入 Host 与独立项目传输，不提供通用写入、支付或签名权限。 | GitHub 仓库 |
所有权、清理与借用ownership-inspired-memory-management | 部分 | 受限 owned 切片存在；新 loan 与字段借用工作已编写。 | 较新工作未提升 | own、borrow、shared、CleanupPlan、Shared Loan Plan 与投影借用，不是完整 Rust 借用检查器。 | GitHub 仓库 |
广泛平台支持broad-platform-support | 路线图 | 受限 harness 存在，完整验证仍开放。 | 没有通用平台发布 | macOS、Windows、Linux、Web、iOS 和 Android 的通用支持。 | GitHub 仓库 |
双向生态互操作性bidirectional-ecosystem-interoperability | 路线图 | 受限生成与 Host 专用路径存在；通用验证仍开放。 | 没有稳定通用公开 ABI | 面向现有语言和软件包的类型化、所有权安全边界。 | GitHub 仓库 |
// 02
本页明确不作出的声明
- 不把 Semaprax 描述为可用于生产。
- 平台测试工具不等同于完整应用平台支持。
- 若没有通过对应的专项验证，生成产物不视为已成功加载或执行。
- 受所有权启发的语义不等于 Rust 兼容或完整借用检查器。
GitHub 规范是权威来源。本页是带日期的研究摘要。 GitHub 仓库.
// FAQ
不夸大的问答
已演示是什么意思？
某个明确命名的产物或执行路径，在已知限制下通过了专项验证。这不等于完整的语言、生态或平台支持。
CI 全绿能证明安全吗？
不能。它支持被测试的不变量和失败路径，不证明测试边界外不存在漏洞。
Wavect 研究项目: Wavect GmbH. 由 Wavect 创建的开源系统研究项目。