---
title: "Semaprax：面向智能体的原生系统编程语言"
canonical: https://wavect.io/zh/semaprax/
language: zh
description: "Semaprax 是面向编码智能体的实验性系统语言，围绕稳定语义程序图、语义补丁以及经过验证的原生与 Wasm 输出构建。"
image: "https://wavect.io/img/general/bak/open_graph_preview.jpg"
---

预 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

## 一个程序，三个工作界面

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

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

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

// 02

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

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

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

// 03

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

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

### [架构](/zh/semaprax/architecture/)

稳定 ID、图上下文与语义补丁

### [证据](/zh/semaprax/evidence/)

v0.2 已实现内容及其边界

### [基准](/zh/semaprax/benchmarks/)

不附带成本承诺的上下文测量

### [互操作性](/zh/semaprax/interoperability/)

目标平台与生态证据矩阵

### [路线图](/zh/semaprax/roadmap/)

里程碑、目标与未解决缺口

// 04

## 能力证据台账

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

// FAQ

## 不夸大的问答

### Semaprax 可以用于生产吗？

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

### Semaprax 只面向 AI 智能体吗？

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

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

由 Wavect 创建的开源系统研究项目。 [GitHub 仓库](https://github.com/wavect/semaprax). GitHub 规范是权威来源。本页是带日期的研究摘要。

## Structured Data

```json
{
  "@context": "https://schema.org",
  "@graph": [
    {
      "@id": "https://wavect.io/#organization",
      "@type": [
        "Organization",
        "ProfessionalService",
        "LocalBusiness"
      ],
      "employee": [
        {
          "@id": "https://wavect.io/team/kevin-riedl/#person",
          "@type": "Person",
          "jobTitle": "Managing Director",
          "name": "Kevin Riedl",
          "url": "https://wavect.io/team/kevin-riedl/",
          "worksFor": {
            "@id": "https://wavect.io/#organization",
            "@type": [
              "Organization",
              "ProfessionalService",
              "LocalBusiness"
            ]
          }
        },
        {
          "@id": "https://wavect.io/team/christof-jori/#person",
          "@type": "Person",
          "jobTitle": "Managing Director",
          "name": "Christof Jori",
          "url": "https://wavect.io/team/christof-jori/",
          "worksFor": {
            "@id": "https://wavect.io/#organization",
            "@type": [
              "Organization",
              "ProfessionalService",
              "LocalBusiness"
            ]
          }
        }
      ],
      "founder": [
        {
          "@id": "https://wavect.io/team/kevin-riedl/#person",
          "@type": "Person",
          "jobTitle": "Managing Director",
          "name": "Kevin Riedl",
          "url": "https://wavect.io/team/kevin-riedl/",
          "worksFor": {
            "@id": "https://wavect.io/#organization",
            "@type": [
              "Organization",
              "ProfessionalService",
              "LocalBusiness"
            ]
          }
        },
        {
          "@id": "https://wavect.io/team/christof-jori/#person",
          "@type": "Person",
          "jobTitle": "Managing Director",
          "name": "Christof Jori",
          "url": "https://wavect.io/team/christof-jori/",
          "worksFor": {
            "@id": "https://wavect.io/#organization",
            "@type": [
              "Organization",
              "ProfessionalService",
              "LocalBusiness"
            ]
          }
        }
      ],
      "legalRepresentative": [
        {
          "@id": "https://wavect.io/team/kevin-riedl/#person",
          "@type": "Person",
          "jobTitle": "Managing Director",
          "name": "Kevin Riedl",
          "url": "https://wavect.io/team/kevin-riedl/",
          "worksFor": {
            "@id": "https://wavect.io/#organization",
            "@type": [
              "Organization",
              "ProfessionalService",
              "LocalBusiness"
            ]
          }
        },
        {
          "@id": "https://wavect.io/team/christof-jori/#person",
          "@type": "Person",
          "jobTitle": "Managing Director",
          "name": "Christof Jori",
          "url": "https://wavect.io/team/christof-jori/",
          "worksFor": {
            "@id": "https://wavect.io/#organization",
            "@type": [
              "Organization",
              "ProfessionalService",
              "LocalBusiness"
            ]
          }
        }
      ],
      "name": "Wavect GmbH",
      "subjectOf": {
        "@id": "https://wavect.io/verified-claims.json#dataset",
        "@type": "Dataset",
        "creator": {
          "@id": "https://wavect.io/#organization",
          "@type": [
            "Organization",
            "ProfessionalService",
            "LocalBusiness"
          ]
        },
        "description": "A machine-readable registry of quantitative and qualitative claims published by Wavect, with review dates, localized page appearances and public third-party citations where available.",
        "inLanguage": "en",
        "isAccessibleForFree": true,
        "license": "https://creativecommons.org/licenses/by/4.0/",
        "name": "Wavect verified publication claims",
        "url": "https://wavect.io/verified-claims.json"
      },
      "url": "https://wavect.io/"
    },
    {
      "@id": "https://wavect.io/team/kevin-riedl/#person",
      "@type": "Person",
      "jobTitle": "Managing Director",
      "name": "Kevin Riedl",
      "sameAs": [
        "https://www.wikidata.org/wiki/Q139796365",
        "https://www.linkedin.com/in/wsdt",
        "https://github.com/wsdt"
      ],
      "url": "https://wavect.io/team/kevin-riedl/",
      "worksFor": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      }
    },
    {
      "@id": "https://wavect.io/team/christof-jori/#person",
      "@type": "Person",
      "jobTitle": "Managing Director",
      "name": "Christof Jori",
      "sameAs": [
        "https://www.wikidata.org/wiki/Q139796367",
        "https://www.linkedin.com/in/jocr77/",
        "https://github.com/jo-chris"
      ],
      "url": "https://wavect.io/team/christof-jori/",
      "worksFor": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      }
    },
    {
      "@id": "https://wavect.io/#website",
      "@type": "WebSite",
      "inLanguage": [
        "en",
        "de",
        "es",
        "zh"
      ],
      "name": "Wavect",
      "potentialAction": {
        "@type": "SearchAction",
        "query-input": "required name=search_term_string",
        "target": {
          "@type": "EntryPoint",
          "urlTemplate": "https://wavect.io/search/?q={search_term_string}"
        }
      },
      "publisher": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "url": "https://wavect.io/"
    },
    {
      "@id": "https://wavect.io/zh/semaprax/#webpage",
      "@type": "WebPage",
      "dateModified": "2026-08-11",
      "inLanguage": "zh",
      "isPartOf": {
        "@id": "https://wavect.io/#website",
        "@type": "WebSite"
      },
      "lastReviewed": "2026-08-11",
      "url": "https://wavect.io/zh/semaprax/"
    },
    {
      "@id": "https://wavect.io/verified-claims.json#semaprax-v02-semantic-graph-patches",
      "@type": "Claim",
      "appearance": {
        "@id": "https://wavect.io/zh/semaprax/#webpage",
        "@type": "WebPage",
        "inLanguage": "zh",
        "url": "https://wavect.io/zh/semaprax/"
      },
      "author": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "citation": {
        "@type": "WebPage",
        "url": "https://github.com/wavect/semaprax/blob/main/docs/SEMANTIC-PATCH-V2.md"
      },
      "dateModified": "2026-08-11",
      "identifier": "semaprax-v02-semantic-graph-patches",
      "inLanguage": "en",
      "text": "The Semaprax v0.2 prototype exposes a stable, queryable semantic program graph and revision-bound semantic patch operations for documented language subsets."
    },
    {
      "@id": "https://wavect.io/verified-claims.json#semaprax-v02-native-wasm-subsets",
      "@type": "Claim",
      "appearance": {
        "@id": "https://wavect.io/zh/semaprax/#webpage",
        "@type": "WebPage",
        "inLanguage": "zh",
        "url": "https://wavect.io/zh/semaprax/"
      },
      "author": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "citation": {
        "@type": "WebPage",
        "url": "https://github.com/wavect/semaprax/blob/main/docs/COMPLETION-MATRIX.md"
      },
      "dateModified": "2026-08-11",
      "identifier": "semaprax-v02-native-wasm-subsets",
      "inLanguage": "en",
      "text": "The Semaprax v0.2 repository demonstrates deterministic native C11/Clang and browser/Wasm execution for explicitly documented language subsets."
    }
  ]
}
```

```json
{
  "@context": "https://schema.org",
  "@graph": [
    {
      "@id": "https://wavect.io/zh/semaprax/#webpage",
      "@type": "WebPage",
      "creator": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "dateModified": "2026-08-11",
      "description": "Semaprax 是面向编码智能体的实验性系统语言，围绕稳定语义程序图、语义补丁以及经过验证的原生与 Wasm 输出构建。",
      "inLanguage": "zh",
      "mainEntity": {
        "@id": "https://wavect.io/semaprax/#software",
        "@type": "SoftwareSourceCode"
      },
      "name": "Semaprax：面向智能体的原生系统编程语言 | Wavect",
      "url": "https://wavect.io/zh/semaprax/"
    },
    {
      "@id": "https://wavect.io/semaprax/#software",
      "@type": "SoftwareSourceCode",
      "codeRepository": "https://github.com/wavect/semaprax",
      "creator": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "description": "Semaprax is an experimental agent-native systems programming language built around a stable semantic program graph. Its v0.2 prototype lets coding agents query typed meaning, submit revision-bound semantic patches, and lower a verified subset to native executables and browser/Wasm packages.",
      "license": "https://www.apache.org/licenses/LICENSE-2.0",
      "name": "Semaprax",
      "programmingLanguage": "Semaprax",
      "softwareVersion": "v0.2"
    },
    {
      "@id": "https://wavect.io/zh/semaprax/#faq",
      "@type": "FAQPage",
      "inLanguage": "zh",
      "mainEntity": [
        {
          "@type": "Question",
          "acceptedAnswer": {
            "@type": "Answer",
            "text": "不可以。Semaprax 是 Apache-2.0 预 Alpha 研究。证据台账区分受限实现与通用完成度。"
          },
          "name": "Semaprax 可以用于生产吗？"
        },
        {
          "@type": "Question",
          "acceptedAnswer": {
            "@type": "Answer",
            "text": "不是。源代码投影应保持人类可读。面向智能体描述的是提供给编码智能体的图、上下文、诊断和补丁接口。"
          },
          "name": "Semaprax 只面向 AI 智能体吗？"
        }
      ],
      "url": "https://wavect.io/zh/semaprax/"
    },
    {
      "@id": "https://wavect.io/verified-claims.json#semaprax-v02-semantic-graph-patches",
      "@type": "Claim",
      "appearance": {
        "@id": "https://wavect.io/zh/semaprax/#webpage",
        "@type": "WebPage",
        "inLanguage": "zh",
        "url": "https://wavect.io/zh/semaprax/"
      },
      "author": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "citation": {
        "@type": "WebPage",
        "url": "https://github.com/wavect/semaprax/blob/main/docs/SEMANTIC-PATCH-V2.md"
      },
      "dateModified": "2026-08-11",
      "identifier": "semaprax-v02-semantic-graph-patches",
      "inLanguage": "en",
      "text": "The Semaprax v0.2 prototype exposes a stable, queryable semantic program graph and revision-bound semantic patch operations for documented language subsets."
    },
    {
      "@id": "https://wavect.io/verified-claims.json#semaprax-v02-native-wasm-subsets",
      "@type": "Claim",
      "appearance": {
        "@id": "https://wavect.io/zh/semaprax/#webpage",
        "@type": "WebPage",
        "inLanguage": "zh",
        "url": "https://wavect.io/zh/semaprax/"
      },
      "author": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "citation": {
        "@type": "WebPage",
        "url": "https://github.com/wavect/semaprax/blob/main/docs/COMPLETION-MATRIX.md"
      },
      "dateModified": "2026-08-11",
      "identifier": "semaprax-v02-native-wasm-subsets",
      "inLanguage": "en",
      "text": "The Semaprax v0.2 repository demonstrates deterministic native C11/Clang and browser/Wasm execution for explicitly documented language subsets."
    }
  ]
}
```

```json
{
  "@context": "https://schema.org",
  "@type": "BreadcrumbList",
  "itemListElement": [
    {
      "@type": "ListItem",
      "item": "https://wavect.io/zh/",
      "name": "首页",
      "position": 1
    },
    {
      "@type": "ListItem",
      "item": "https://wavect.io/zh/semaprax/",
      "name": "Semaprax",
      "position": 2
    }
  ]
}
```