架构 · GRAPH V10-V14

让智能体直接查询程序模型，无需从文本重新推断语义。

先稳定身份，再修改源代码。

Semaprax 语义程序图在内容派生的修订版下记录类型化声明、效果、契约、所有权事实、调用关系和编译身份。

semaprax://architecturev0.2

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

Semaprax 如何工作？

Semaprax 将人类可读源代码解析为已验证的 HIR 和版本化语义图。智能体按稳定 ID 请求受限上下文，针对精确修订版预览或提交补丁，并在原生或 Wasm 编译前获得确定性诊断或证据。

// 01

先稳定身份，再修改源代码。

稳定语义身份

作者定义的 @id 与编译器身份会在源代码、HIR、图序列化、诊断和生成符号之间保持一致。包含 NUL 的身份在机器输出前被拒绝。

受限智能体上下文

Agent Context v1 与 v2 返回受依赖关系约束的图切片，并明确限制节点、字节、深度与遍历方向。

绑定修订版的语义补丁

补丁操作面向语义身份和精确图修订版。过期修订版会以 fail-closed 方式失败，当前操作族保持刻意受限。

发布前证据

Review、Impact、Target 与 Workspace 证据路径生成带明确非声明的确定性产物。它们不授予批准，也不替代项目测试。

// 02

源代码投影保持可读

module examples.meaning;

@id("math.add")
fn add(left: i64, right: i64) -> i64
    requires left >= 0
    ensures result == left + right
{
    left + right
}

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

// FAQ

不夸大的问答

语义图是知识图谱或 RAG 系统吗？

不是。它是编译器的类型化版本化程序表示，不是通用文档或向量集合。

智能体能通过语义补丁编辑任意程序吗？

还不能。当前模式只允许受限操作，并拒绝过期修订版、无效选择器和语义扩大。

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