证据台账 · 核验于 2026-08-11
v0.2 原型证明了什么，又没有证明什么。
每项证据都有状态、范围和复核日期。
该仓库是一颗可执行的架构种子。某个受限门禁通过，只证明该门禁点名的语言切片、产物、主机和失败行为。
entity Semaprax
status 预 Alpha 研究
verified 2026-08-11
authority github.com/wavect/semapraxSemaprax 目前实现了什么？
Semaprax v0.2 实现了小型类型化语言、稳定图身份、受限智能体上下文、绑定修订版的补丁族、fail-closed 验证，以及针对已记录子集的确定性原生与浏览器/Wasm 编译。
// 01
能力证据台账
| 当前状态 | 证据状态 | 范围 | 核验日期 | 证据 |
|---|---|---|---|---|
稳定语义程序图stable-semantic-program-graph | 已实现 | 针对已记录类型化子集的版本化 Graph v10-v14 JSON，包含持久身份和原生/Wasm 共用的已验证 HIR。 | 2026-08-11 | GitHub 仓库 |
受限智能体上下文bounded-agent-context | 已实现 | Agent Context v1 与增量 v2 调用遍历，带确定性字节、节点、深度和边界限制。 | 2026-08-11 | GitHub 仓库 |
绑定修订版的语义补丁revision-bound-semantic-patches | 已实现 | Atomic Patch v1 和受限 Patch v2 操作，包含精确修订检查、过期拒绝和语义差异验证。 | 2026-08-11 | GitHub 仓库 |
语义 Review 与证据胶囊semantic-evidence-capsules | 已演示 | 受限的 Review、Impact、Target、Patch 和 Workspace 证据路径，生成确定性产物并明确非声明。 | 2026-08-11 | GitHub 仓库 |
原生与浏览器/Wasm 编译native-and-wasm-lowering | 已演示 | 已记录语言与所有权子集通过 C11/Clang 和真实 Node/Wasm 门禁。 | 2026-08-11 | GitHub 仓库 |
受所有权启发的内存管理ownership-inspired-memory-management | 实验性 | 显式 own、borrow 与 shared 边界，移动检查和受限清理协议。不表示 Rust 兼容。 | 2026-08-11 | GitHub 仓库 |
广泛原生平台支持broad-platform-support | 路线图 | 超越当前受限 Host 与打包门禁的 macOS、Windows、Linux、Web、iOS 和 Android 通用支持。 | 2026-08-11 | GitHub 仓库 |
双向生态互操作性bidirectional-ecosystem-interoperability | 路线图 | 面向现有语言与软件包生态的类型化、所有权安全边界长期目标。不作百分比声明。 | 2026-08-11 | GitHub 仓库 |
// 02
本页明确不作出的声明
- 不把 Semaprax 描述为可用于生产。
- 平台测试工具不等同于完整应用平台支持。
- 若没有专门门禁，生成产物不视为已成功加载或执行。
- 受所有权启发的语义不等于 Rust 兼容或完整借用检查器。
GitHub 规范是权威来源。本页是带日期的研究摘要。 GitHub 仓库.
// FAQ
不夸大的问答
已演示是什么意思？
某个命名产物或执行路径在明确限制下通过专用门禁。它不等于完整语言、生态或平台支持。
CI 全绿能证明安全吗？
不能。它支持被测试的不变量和失败路径，不证明测试边界外不存在漏洞。
Wavect 研究项目: Wavect GmbH. 由 Wavect 创建的开源系统研究项目。