为编码智能体构建，也让人类读得懂的系统语言。
输入语义，输出经检查的修改。
为编码智能体提供类型化程序上下文，而不只是大量文件。将可读源码保留在 Git 中，拒绝过期修改，并构建必须通过确定性授权检查的运行时智能体。v0.5.0 可用于实验和原型，不适用于生产工作负载。
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审计快照中的仓库状态
| 仓库快照 | b9f593c · 2026-09-16. 审阅时 main 提交与 v0.5.0 标签一致。该标签的 CI 已成功完成；独立分支 CI 被取消。这不构成全面的生产可用性或安全保证。 |
|---|---|
| 完整产品状态 | 55 部分 · 0 已实现 · 0 缺失 |
| 语义图与项目契约 | 图模式按功能选择并保留旧版契约。Project v1 为基础；所有权数据配置 v8、v9、v10 和 v11 各自具有独立的准入与支持边界。 |
| 已发布的预发布版 | v0.5.0 · 发布于 2026 年 9 月 16 日 09:43 UTC。提供 Linux x86-64、macOS Apple Silicon 和 Windows x86-64 三种压缩包及 SHA256SUMS。包内 semaprax 是完整工具链，并非独立的 Cargo CLI。 确切标签 CI. |
| 包与 API 预览 | 发布工具链并不等于发布其生成的 Rust/npm 包，也不会自动开放私有 API。Project v8-v11 支持决定、公共泛型所有权、更广的平台支持及原生/Wasm Agent 阶段执行仍是独立事项。 |
什么是 Semaprax？
Semaprax 是一种面向智能体的实验性系统编程语言。可读的 .spx 源码仍是规范来源，编码智能体可查询类型化的程序语义，并针对确切修订提出修改。v0.5.0 预发布版还包含类型化运行时智能体，以及范围明确的原生和 WebAssembly 集成。
运行第一个经检查的程序
此源码方式固定到已审阅提交，需要 Git 和 Rust/Cargo 1.88+。Cargo 首次运行可能下载依赖。这两个 check/run 命令无需 Clang、Node.js 或 AI 服务商；程序返回 42。
git clone https://github.com/wavect/semaprax.git
cd semaprax
git checkout --detach b9f593c5334bc18c9d3a201ddaf135d716733af5
cargo run --locked -p semaprax -- check examples/meaning.spx
cargo run --locked -p semaprax -- run examples/meaning.spx一个程序，三个工作界面
面向人类的源代码、面向智能体的语义与机器输出都来自同一个版本化语义状态。下方每条箭头都是证据边界。
- 人类可读源码Git 中的规范 .spx 源码、普通程序、契约与显式所有权。检查和运行首个示例无需模型或 API 密钥。
- 供工具使用的类型化语义稳定 ID、受限上下文、候选差异与可重放证据。只读检查不授予写入或发布权限。
- 经检查的执行解释器、获准的 C11/Clang 与 Core-Wasm 配置，以及由宿主显式提供能力的类型化运行时智能体。
Semaprax 语义程序图: Semaprax 将规范 .spx 源码解析为经过检查的 HIR，即表示类型化程序语义的编译器结构。稳定身份连接图查询、候选修改、执行和证据。受支持的修改必须匹配源码修订；运行时 Agent 提案必须通过类型化解码和确定性授权。图与回执本身绝不授予发布、联网或支付权限。
这是待验证假设，不是营销结论
稳定身份、紧凑上下文与可重放修改能否减少修复歧义和模型工作量？Semaprax 已加入离线分词测量、工作流测量工具和跨语言任务框架，但尚未证明普遍的 token 节省、更快交付或更高模型准确率。
每个问题只有一个权威页面的研究索引
每个页面只回答一个品牌问题，让搜索引擎和答案引擎能明确识别权威路由。
能力证据台账
| 当前状态 | 证据状态 | 范围 | 证据 |
|---|---|---|---|
| 规范源码与稳定身份 | 部分 | 可读 `.spx` 仍是 Git 中的规范表示。显式 `@id` 在受支持的显示名称修改后继续标识同一声明。修订绑定规范源码和编译器隐式 prelude，而非偶然的源码位置或图传输格式。 | GitHub 仓库 |
| 受限上下文与紧凑投影 | 部分 | Context v1/v2 限制深度、节点和字节预算；v2 增加定向遍历。任务上下文与 text、binary、model-text 投影支持经过重放检查的聚焦交换。更小的序列化输出不自动意味着更少的计费 token 或更好的回答。 | GitHub 仓库 |
| 语义修改，而非任意重写 | 部分 | 检查上下文、派生候选、预览影响、审阅、重放检查，然后显式授权应用。操作家族已超出重命名，包含有边界的表达式替换、结构修改及指定的 rebase/merge 组合。各协议保留独立的修订、身份与操作限制。 | GitHub 仓库 |
| 受控发布是独立边界 | 部分 | 受管工作区代、候选证据、Project 修订存储与 MCP 工作流保留显式写入和发布权限。多文件验证不等于任意原始路径、Git 或编辑器的原子更新。Rust 嵌入 API 提供输入上限、取消与不透明会话，并非无限制宿主访问。 | GitHub 仓库 |
| 可重放的语义证据 | 部分 | 证据将已检查事实与候选修改绑定到源码和修订。回执可支持审阅或拒绝，但不会授予执行、修改或发布权限。 | GitHub 仓库 |
| 多模块项目与离线脚手架 | 部分 | Project 清单定义源码闭包、入口、测试及选定导出。内置计算器支持 check/test/run 和符合配置的构建。new 使用内置文件创建新项目，不初始化 Git，也不获取注册表。 | GitHub 仓库 |
本页一手来源
本页依据固定提交和 v0.5.0 发布记录审阅。版本化规范定义准入范围与权限；矩阵和路线图中保留的 v0.4 发布标题属于历史记录，不代表最新版本。
不夸大的问答
Semaprax 可以用于生产吗？
不。v0.5.0 是 Apache-2.0 pre-alpha 研究软件。有用的实现配置和成功发布工作流不代表 55 项部分完成要求已全部完成，也不证明生产可用。
Semaprax 只面向 AI 智能体吗？
不。规范 .spx 源码仍供人类阅读和审阅。编码智能体查询语义事实并提出修改；运行时 Agent 则是另一种类型化执行抽象。两者都不取消人类审阅或宿主控制权限。
你的 AI 产品是否需要这种证据优先的工程方式？
查看 Wavect 的 AI 工程服务。