为编码智能体构建，也让人类读得懂的系统语言。
输入语义。输出经过验证的机器码。
源代码仍是清晰的人类投影。编码智能体针对类型化语义、稳定身份、受限上下文和绑定修订版的变更工作。在审计快照中，完整产品的 49 项要求全部为部分完成，没有任何一项达到已实现。
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审计快照中的仓库状态
| 仓库快照 | 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 是一种面向智能体的实验性系统编程语言，按程序所需功能选择最高到 v24 的语义图模式。v0.2 原型包含范围受限的解释器、C11/Clang、Core Wasm/Node、工作区、项目、软件包、所有权、借用、传输与修订存储路径。这些是部分进展，不代表完整产品或稳定通用 ABI。
一个程序，三个工作界面
面向人类的源代码、面向智能体的语义与机器输出都来自同一个版本化语义状态。下方每条箭头都是证据边界。
- 人类可读源代码清晰语法仍是作者编写与评审界面。
- 语义程序图稳定 ID 暴露类型化语义、上下文、诊断和补丁目标。
- 已验证输出允许的子集确定性编译为原生或浏览器/Wasm 产物。
Semaprax semantic program graph: Semaprax 将人类可读源代码解析为经过验证的 HIR，并按功能选择语义图模式。Graph v22 加入 owned record 与 variant 事实，v23 加入 Shared Loan Plan，v24 加入投影 owned 字节字段借用。Project v1 仍是已提升基线；Project v8-v10 及其软件包路径只是开发者预览，并非受支持的公开 API。
这是待验证假设，不是营销结论
Semaprax 研究编程系统能否减少编码智能体所需的上下文和修复歧义。更低的模型成本目前只是一个假设，尚无模型 Token、延迟、答案质量或仓库规模证据支持。
每个问题只有一个权威页面的研究索引
每个页面只回答一个品牌问题，让搜索引擎和答案引擎能明确识别权威路由。
能力证据台账
| 当前状态 | 证据状态 | 范围 | 证据 |
|---|---|---|---|
| 按功能选择的语义图 | 部分 | 保留旧图字节，并覆盖 owned record、variant、Shared Loan Plan 与最高到 v24 的投影借用。 | GitHub 仓库 |
| 受限智能体上下文 | 部分 | 确定性字节、节点、深度和边界限制。 | GitHub 仓库 |
| 绑定修订版的补丁 | 部分 | 精确修订版、过期拒绝和选择性语义差异验证。 | GitHub 仓库 |
| 分层工作区变更 | 部分 | Rename、Change、Replacement、结构推导与认证发布均不提供任意源码树或 Git 权限。 | GitHub 仓库 |
| 证据与修订存储 | 部分 | Review、Impact、Target、Patch、Workspace、不可变世代与认证修订。 | GitHub 仓库 |
| Project v1 与 v8-v10 预览 | 部分 | v8 Bytes、Option 与 Result；v9 平坦 owned record；v10 owned UTF-8，并保留 v1-v7 兼容。 | GitHub 仓库 |
不夸大的问答
Semaprax 可以用于生产吗？
不可以。Semaprax 是 Apache-2.0 预 Alpha 研究。证据台账区分受限实现与通用完成度。
Semaprax 只面向 AI 智能体吗？
不是。源代码投影应保持人类可读。面向智能体描述的是提供给编码智能体的图、上下文、诊断和补丁接口。
你的 AI 产品是否需要这种证据优先的工程方式？
查看 Wavect 的 AI 工程服务。