预 ALPHA 研究 · APACHE-2.0

为编码智能体构建，也让人类读得懂的系统语言。

输入语义。输出经过验证的机器码。

源代码仍是清晰的人类投影。编码智能体针对类型化语义、稳定身份、受限上下文和绑定修订版的变更工作，而不是猜测性地重写文本。

semaprax://v0.2预 Alpha 研究

revision  sha256:<program-state>
query     app.main --depth 1
context   typed · bounded · stable-id
patch     expected_revision == current
verify    fail_closed
target    native | browser/wasm

什么是 Semaprax？

Semaprax 是一种围绕稳定语义程序图构建、面向智能体的实验性系统编程语言。其 v0.2 原型让编码智能体能够查询类型化语义、提交绑定到特定修订版的语义补丁，并将经过验证的子集编译为原生可执行文件和浏览器/Wasm 软件包。

// 01

一个程序，三个工作界面

面向人类的源代码、面向智能体的语义与机器输出都来自同一个版本化语义状态。下方每条箭头都是证据边界。

人类可读源代码清晰语法仍是作者编写与评审界面。
语义程序图稳定 ID 暴露类型化语义、上下文、诊断和补丁目标。
已验证输出允许的子集确定性编译为原生或浏览器/Wasm 产物。

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

// 02

这是待验证假设，不是营销结论

Semaprax 研究编程系统能否减少编码智能体所需的上下文和修复歧义。更低的模型成本目前只是一个假设，尚无模型 Token、延迟、答案质量或仓库规模证据支持。

尚未证实的假设 在仓库规模下降低智能体上下文与成本

// 03

每个问题只有一个权威页面的研究索引

每个页面只回答一个品牌问题，让搜索引擎和答案引擎能明确识别权威路由。

architecture

能力证据台账

当前状态	证据状态	范围	证据
稳定语义程序图	已实现	针对已记录类型化子集的版本化 Graph v10-v14 JSON，包含持久身份和原生/Wasm 共用的已验证 HIR。	GitHub 仓库
受限智能体上下文	已实现	Agent Context v1 与增量 v2 调用遍历，带确定性字节、节点、深度和边界限制。	GitHub 仓库
绑定修订版的语义补丁	已实现	Atomic Patch v1 和受限 Patch v2 操作，包含精确修订检查、过期拒绝和语义差异验证。	GitHub 仓库
语义 Review 与证据胶囊	已演示	受限的 Review、Impact、Target、Patch 和 Workspace 证据路径，生成确定性产物并明确非声明。	GitHub 仓库
原生与浏览器/Wasm 编译	已演示	已记录语言与所有权子集通过 C11/Clang 和真实 Node/Wasm 门禁。	GitHub 仓库
受所有权启发的内存管理	实验性	显式 own、borrow 与 shared 边界，移动检查和受限清理协议。不表示 Rust 兼容。	GitHub 仓库

// FAQ

不夸大的问答

Semaprax 可以用于生产吗？

不可以。Semaprax 是 Apache-2.0 预 Alpha 研究。证据台账区分受限实现与通用完成度。

Semaprax 只面向 AI 智能体吗？

不是。源代码投影应保持人类可读。面向智能体描述的是提供给编码智能体的图、上下文、诊断和补丁接口。

你的 AI 产品是否需要这种证据优先的工程方式？

查看 Wavect 的 AI 工程服务。

由 Wavect 创建的开源系统研究项目。 GitHub 仓库. GitHub 规范是权威来源。本页是带日期的研究摘要。