无需克隆即可安装
Shell与PowerShell脚本按用户安装，核对所选归档和清单，试运行后原子激活。发布者验证与校验和验证分别报告。
证据V0.9.0 BETA · APACHE-2.0
为编码智能体构建，也让人类读得懂的系统语言。
源码可读，语义可查，修改可验证。
无需克隆源码即可安装Beta，创建受检查的项目，并为编码智能体提供精确编译器反馈。Semaprax 0.9.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什么是 Semaprax？
Semaprax是一门开源、面向智能体的系统编程语言，目前处于Beta阶段。可读的.spx源码保留在Git中，编码智能体可以查询带类型的程序语义、检查源码定律，并提出绑定特定修订的修改。0.9.0在类型化运行时Agent、编译器连接的开发工具和受限的原生、Rust、WebAssembly配置之上，新增预编译安装脚本、策略优先的模型路由及更明确的修复提示。
// v0.9.0
v0.9.0 的重要变化
安装、路由、修复与证据的八项更新。标签源码中的新增配置各自保留验证范围。
五种原生平台下载
新增Linux arm64与Intel macOS归档。Linux要求glibc 2.35+，macOS和Windows最低版本按归档列出。每个目标都须先通过安装后完整流程，才能发布。
证据解释模型与工具选择
开发与运行时共享决策核心，默认使用规则。适配器只能推荐已筛选的模型配置、工具或专家；建议不能授予能力，也不能替代授权。
证据仅在已确认回合之间切换
主机批准的部署配置只能在持久确认的回合边界切换。交接保留摘要和有界状态；模型调用或外部效果状态不明时，流程停止并等待核对，不会换模型重试。
证据更精确的修复指导
诊断给出精确导入、字面量后缀、所有权修复和效果声明。内置语言主题及项目AGENTS.md指导小步编辑检查；VS Code支持选择并探测编译器。
证据受限命令与数据配置
标签源码包含仅原生执行的Project v26/v28命令、严格JSON扫描及有界ASCII模式匹配。各配置保留独立准入和证据；原生测试代码仍待当前提交的执行门槛验证。
证据保留不利的证明结果
独立LAW16 Claude实验完成20次试验，费用为USD 0.291235。其中19次通过独立候选与攻击回放，一个Bend候选失败，完整通过的配对为九组。不能据此给语言或成本作通用排名。
证据加固开发工具边界
并发更新保留撤销记录，取消进入终态，桥接队列有界，空闲协议违规保持隔离。Graft输出遵守请求预算，Graphify结果绑定当前请求。
证据// v0.9.0
选择v0.9.0平台归档
五种完整工具链归档：GNU/Linux x86-64与arm64（glibc 2.35+）、Apple Silicon macOS 11+、Intel macOS 10.12+、Windows x64 10 1809+ / Server 2019+。不提供musl/Alpine或Windows ARM归档。均包含semaprax和semapraxd。以已发布清单为准，标签内手册的旧下载表属于历史示例。
- 下载对应平台归档，并检查SHA256SUMS中该文件的精确条目。GitHub的Source code下载是源码快照，不是可执行程序。
- 发布者验证使用gh attestation verify，配合对应
release-attestation-<target>.json、wavect/semaprax仓库和精确标签。校验和本身不是签名。 - 解压到固定目录并加入PATH，然后执行下方首个项目命令。依赖安装凭据进行升级、降级或卸载时，遵循安装脚本约定，区分不同包管理器的文件归属。
- Homebrew：
brew install wavect/tap/semaprax可在Apple Silicon及Intel macOS安装v0.9.0。已于10月15日核对固定配方及发布后成功的渠道流水线。WinGet提交#447495仍开放，不声称已通过WinGet发布。标签手册中的v0.8.0示例属于历史记录。源码构建应检出933196b9ef3cb611343f1401e9eb0b08fa404d0a，并区分独立包与semaprax-toolchain。
SHA256SUMS · 校验和与签名来源证明 · 发布清单 · 发布记录
安装完整工具链：macOS与GNU/Linux
固定v0.9.0的按用户安装，无需Rust、Cargo、源码仓库或模型账户。脚本选择单个平台归档，检查校验和及清单，试运行并记录激活凭据。有GitHub CLI时还会验证发布者证明，否则凭据明确标记仅校验和验证。添加--require-publisher-verification可拒绝降级。安装后打开新终端。
curl -fsSL https://github.com/wavect/semaprax/releases/download/v0.9.0/install.sh | sh -s -- --version v0.9.0Windows PowerShell与首个项目
Windows使用下列固定命令，支持PowerShell 5.1和7，然后打开新终端。macOS/Linux用户运行Shell安装后，继续执行semaprax命令。请选择尚不存在的目标目录。内置计算器包含源码、清单、测试和AGENTS.md，最终输出42。仅在选择原生编译时才需要Clang。
powershell -ExecutionPolicy Bypass -c "& ([scriptblock]::Create((irm https://github.com/wavect/semaprax/releases/download/v0.9.0/install.ps1))) -Version v0.9.0"
semaprax --version
semaprax new first-semaprax
semaprax check first-semaprax/semaprax.toml
semaprax test first-semaprax/semaprax.toml
semaprax run first-semaprax/semaprax.toml为编码智能体提供明确的起点
进入生成的first-semaprax目录，先读AGENTS.md和所需的单个语言主题。直接阅读小型源码文件；针对具体问题请求有界语义上下文，并检查截断。完整图可能远大于源码。可选开发harness与源码定义的运行时Agent属于不同接口。
cd first-semaprax
semaprax help language lists
semaprax query --capabilities
semaprax check .
semaprax test .
semaprax help diagnostic SPX-T208一个程序，三个相连的工作界面
开发者编辑可读源码，工具查询经过检查的语义，受支持的目标执行已获准的程序。每种目标和集成都明确说明其接受的语言功能。
- 可读源码规范 .spx 文件、稳定声明 ID、契约、定律与显式所有权。普通 check 和 run 命令无需模型账户。
- 供工具使用的已检查语义编译器生成的上下文、影响分析、候选修改审阅与证明义务。开发工具可在这一语义核心之外，接入选定的检索、技能和模型提供方。
- 受控执行解释器、已获准的 C11/Clang 与 Core Wasm 配置，以及类型化运行时智能体。智能体的模型提案须先通过确定性的授权检查，才能执行副作用。
Semaprax 语义程序图: Semaprax 检查可读的 .spx 源码，并将其解析为 HIR，即带有类型信息的编译器表示。源码身份与语义身份将查询、定律义务、候选修改和执行绑定到被检查的程序。编码智能体可以使用这一核心周围的开发工具；运行时智能体则在显式提供的宿主能力下，分别解码提案、授权副作用并归约状态。
让每次修改提案都更容易检查
稳定身份让智能体准确定位声明，范围明确的上下文解释其作用。契约和单独选定的定律约束实现，候选修改审阅与重放检查则在应用前验证修改。开发工具记录实际用量和任务结果，让效率主张接受证据检验。
衡量实际结果
减少修复歧义，分别检查任务成本与正确性
按你需要解决的问题深入了解
手册提供操作步骤，架构页解释编程模型，证据页记录已实现配置，基准页展示测量结果，互操作性页说明如何接入现有技术栈。
// STATUS
审计快照中的仓库状态
| 仓库快照 | 933196b · 2026-10-15. v0.9.0 标签指向固定的源码提交。该标签的确切 CI 已成功完成，但不构成全面的生产可用性或安全保证。 |
|---|---|
| 完整产品状态 | 55 部分 · 0 已实现 · 0 缺失 |
| 语义图与项目契约 | 规范源码、稳定 ID 和经过检查的编译器表示，将定律、语义查询、修改与执行连接起来。按功能选择的图模式和 Project 模式，各自保留独立的准入、兼容性和宿主权限契约。 |
| 已发布的 Beta 版本 | v0.9.0 · 2026年10月11日15:07 UTC发布，精确标签发布流水线的91项作业全部通过。五个平台归档和两个安装脚本附带SHA256SUMS、五份归档证明及经过独立验证的汇总签名来源记录。发布前必须通过各平台的原生安装流程。归档未经公证，也不承诺可复现构建；离线验证不能确认当前撤销状态。 确切标签 CI. |
| 包与 API 预览 | 此版本包含可用的语言、定律、开发工具和宿主集成配置。生成的 Rust/npm 包、公共泛型 ABI 及更广泛的平台支持，仍须分别决定其发布与支持范围。 |
能力证据台账
| 当前状态 | 证据状态 | 范围 | 证据 |
|---|---|---|---|
| 规范源码与稳定身份 | 部分 | 可读 `.spx` 仍是 Git 中的规范表示。显式 `@id` 在受支持的显示名称修改后继续标识同一声明。修订绑定规范源码和编译器隐式 prelude，而非偶然的源码位置或图传输格式。 | GitHub 仓库 |
| 受限上下文与紧凑投影 | 部分 | 选择确切的图或任务上下文，并限制深度、方向、节点数和字节数。model-text v2 在部分大型输入上减少 token，在小型输入上则会增加；报告保留分词器与比较边界。 | GitHub 仓库 |
| 语义修改，而非任意重写 | 部分 | 检查上下文、派生候选、预览影响、审阅、重放检查，然后显式授权应用。操作家族已超出重命名，包含有边界的表达式替换、结构修改及指定的 rebase/merge 组合。各协议保留独立的修订、身份与操作限制。 | GitHub 仓库 |
| 受控发布是独立边界 | 部分 | 受管工作区代、候选证据、Project 修订存储与 MCP 工作流保留显式写入和发布权限。多文件验证不等于任意原始路径、Git 或编辑器的原子更新。Rust 嵌入 API 提供输入上限、取消与不透明会话，并非无限制宿主访问。 | GitHub 仓库 |
| 可重放的语义证据 | 部分 | 证据将已检查事实与候选修改绑定到源码和修订。回执可支持审阅或拒绝，但不会授予执行、修改或发布权限。 | GitHub 仓库 |
| 多模块项目与离线脚手架 | 部分 | 清单定义声明的源码、入口、测试与导出。内置计算器、库和服务模板各有其配置。new 使用编译进工具的文件创建全新项目；源码检查、解释执行测试与目标构建遵循选定清单的契约。 | GitHub 仓库 |
// DOCS
阅读 Semaprax 手册
在线手册是从 main 发布的英文指南，可能包含 0.9.0 之后的变更。复现本次发布时，请使用固定提交的手册快照。
// REF
本页一手来源
于2026年10月15日核对v0.9.0提交、已发布文件和发布流水线。标签内的安装手册与渠道登记仍展示v0.8.0示例，请使用本页固定的v0.9.0下载。矩阵与路线图的旧版本标题属于历史记录。在线手册跟随main，可能描述更新的工作。
// FAQ
常见问题与实用解答
Semaprax 可以用于生产吗？
v0.9.0是2026年10月11日发布的Apache-2.0 Beta，91项发布作业全部通过，并提供五份归档。完整矩阵仍有55项Partial要求，发布成功不等同于普遍生产保障。
Semaprax 只面向 AI 智能体吗？
无需 AI 模型或账户，也可以编写、检查和运行普通 .spx 程序。编码智能体通过工具使用语义上下文和受支持的修改；源码定义的运行时智能体，则是独立的类型化编程抽象。英文手册分别介绍这两种用途。
你的 AI 产品是否需要这种证据优先的工程方式？
查看 Wavect 的 AI 工程服务。由 Wavect 创建的开源系统研究项目。 GitHub 仓库. 于2026年10月15日核对v0.9.0提交、已发布文件和发布流水线。标签内的安装手册与渠道登记仍展示v0.8.0示例，请使用本页固定的v0.9.0下载。矩阵与路线图的旧版本标题属于历史记录。在线手册跟随main，可能描述更新的工作。