---
title: "Semaprax v0.2：已实现能力与限制"
canonical: https://wavect.io/zh/semaprax/evidence/
language: zh
description: "带日期的 Semaprax v0.2 能力台账，区分已实现、已演示、实验性与路线图工作，并列出仓库证据和限制。"
image: "https://wavect.io/img/general/bak/open_graph_preview.jpg"
---

证据台账 · 核验于 2026-08-11

# v0.2 原型证明了什么，又没有证明什么。

每项证据都有状态、范围和复核日期。

该仓库是一颗可执行的架构种子。某个受限门禁通过，只证明该门禁点名的语言切片、产物、主机和失败行为。

semaprax://evidence v0.2

```
entity     Semaprax
status     预 Alpha 研究
verified   2026-08-11
authority  github.com/wavect/semaprax
```

## Semaprax 目前实现了什么？

Semaprax v0.2 实现了小型类型化语言、稳定图身份、受限智能体上下文、绑定修订版的补丁族、fail-closed 验证，以及针对已记录子集的确定性原生与浏览器/Wasm 编译。

// 01

## 能力证据台账

| 当前状态 | 证据状态 | 范围 | 核验日期 | 证据 |
| --- | --- | --- | --- | --- |
| **稳定语义程序图** `stable-semantic-program-graph` | 已实现 | 针对已记录类型化子集的版本化 Graph v10-v14 JSON，包含持久身份和原生/Wasm 共用的已验证 HIR。 | 2026-08-11 | [GitHub 仓库](https://github.com/wavect/semaprax/blob/main/docs/ARCHITECTURE.md) |
| **受限智能体上下文** `bounded-agent-context` | 已实现 | Agent Context v1 与增量 v2 调用遍历，带确定性字节、节点、深度和边界限制。 | 2026-08-11 | [GitHub 仓库](https://github.com/wavect/semaprax/blob/main/docs/AGENT-CONTEXT-V2.md) |
| **绑定修订版的语义补丁** `revision-bound-semantic-patches` | 已实现 | Atomic Patch v1 和受限 Patch v2 操作，包含精确修订检查、过期拒绝和语义差异验证。 | 2026-08-11 | [GitHub 仓库](https://github.com/wavect/semaprax/blob/main/docs/SEMANTIC-PATCH-V2.md) |
| **语义 Review 与证据胶囊** `semantic-evidence-capsules` | 已演示 | 受限的 Review、Impact、Target、Patch 和 Workspace 证据路径，生成确定性产物并明确非声明。 | 2026-08-11 | [GitHub 仓库](https://github.com/wavect/semaprax/blob/main/docs/SEMANTIC-PATCH-EVIDENCE-V2.md) |
| **原生与浏览器/Wasm 编译** `native-and-wasm-lowering` | 已演示 | 已记录语言与所有权子集通过 C11/Clang 和真实 Node/Wasm 门禁。 | 2026-08-11 | [GitHub 仓库](https://github.com/wavect/semaprax/blob/main/docs/COMPLETION-MATRIX.md) |
| **受所有权启发的内存管理** `ownership-inspired-memory-management` | 实验性 | 显式 own、borrow 与 shared 边界，移动检查和受限清理协议。不表示 Rust 兼容。 | 2026-08-11 | [GitHub 仓库](https://github.com/wavect/semaprax/blob/main/docs/OWNED-RESOURCE-VERTICAL-V1.md) |
| **广泛原生平台支持** `broad-platform-support` | 路线图 | 超越当前受限 Host 与打包门禁的 macOS、Windows、Linux、Web、iOS 和 Android 通用支持。 | 2026-08-11 | [GitHub 仓库](https://github.com/wavect/semaprax/blob/main/docs/ROADMAP.md) |
| **双向生态互操作性** `bidirectional-ecosystem-interoperability` | 路线图 | 面向现有语言与软件包生态的类型化、所有权安全边界长期目标。不作百分比声明。 | 2026-08-11 | [GitHub 仓库](https://github.com/wavect/semaprax/blob/main/docs/ROADMAP.md) |

// 02

## 本页明确不作出的声明

- 不把 Semaprax 描述为可用于生产。
- 平台测试工具不等同于完整应用平台支持。
- 若没有专门门禁，生成产物不视为已成功加载或执行。
- 受所有权启发的语义不等于 Rust 兼容或完整借用检查器。

GitHub 规范是权威来源。本页是带日期的研究摘要。 [GitHub 仓库](https://github.com/wavect/semaprax).

// FAQ

## 不夸大的问答

### 已演示是什么意思？

某个命名产物或执行路径在明确限制下通过专用门禁。它不等于完整语言、生态或平台支持。

### CI 全绿能证明安全吗？

不能。它支持被测试的不变量和失败路径，不证明测试边界外不存在漏洞。

Wavect 研究项目: [Wavect GmbH](/zh/). 由 Wavect 创建的开源系统研究项目。

## 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/evidence/#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/evidence/"
    },
    {
      "@id": "https://wavect.io/verified-claims.json#semaprax-v02-semantic-graph-patches",
      "@type": "Claim",
      "appearance": {
        "@id": "https://wavect.io/zh/semaprax/evidence/#webpage",
        "@type": "WebPage",
        "inLanguage": "zh",
        "url": "https://wavect.io/zh/semaprax/evidence/"
      },
      "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/evidence/#webpage",
        "@type": "WebPage",
        "inLanguage": "zh",
        "url": "https://wavect.io/zh/semaprax/evidence/"
      },
      "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/evidence/#webpage",
      "@type": "WebPage",
      "creator": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "dateModified": "2026-08-11",
      "description": "带日期的 Semaprax v0.2 能力台账，区分已实现、已演示、实验性与路线图工作，并列出仓库证据和限制。",
      "inLanguage": "zh",
      "mainEntity": {
        "@id": "https://wavect.io/zh/semaprax/evidence/#article",
        "@type": "TechArticle"
      },
      "name": "Semaprax v0.2：已实现能力与限制 | Wavect",
      "url": "https://wavect.io/zh/semaprax/evidence/"
    },
    {
      "@id": "https://wavect.io/zh/semaprax/evidence/#article",
      "@type": "TechArticle",
      "about": {
        "@id": "https://wavect.io/semaprax/#software",
        "@type": "SoftwareSourceCode"
      },
      "author": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "dateModified": "2026-08-11",
      "datePublished": "2026-08-11",
      "description": "带日期的 Semaprax v0.2 能力台账，区分已实现、已演示、实验性与路线图工作，并列出仓库证据和限制。",
      "headline": "v0.2 原型证明了什么，又没有证明什么。",
      "inLanguage": "zh",
      "isPartOf": {
        "@id": "https://wavect.io/semaprax/#webpage",
        "@type": "WebPage"
      },
      "mainEntityOfPage": {
        "@id": "https://wavect.io/zh/semaprax/evidence/#webpage"
      },
      "publisher": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "url": "https://wavect.io/zh/semaprax/evidence/"
    },
    {
      "@id": "https://wavect.io/semaprax/#software",
      "@type": "SoftwareSourceCode"
    },
    {
      "@id": "https://wavect.io/zh/semaprax/evidence/#faq",
      "@type": "FAQPage",
      "inLanguage": "zh",
      "mainEntity": [
        {
          "@type": "Question",
          "acceptedAnswer": {
            "@type": "Answer",
            "text": "某个命名产物或执行路径在明确限制下通过专用门禁。它不等于完整语言、生态或平台支持。"
          },
          "name": "已演示是什么意思？"
        },
        {
          "@type": "Question",
          "acceptedAnswer": {
            "@type": "Answer",
            "text": "不能。它支持被测试的不变量和失败路径，不证明测试边界外不存在漏洞。"
          },
          "name": "CI 全绿能证明安全吗？"
        }
      ],
      "url": "https://wavect.io/zh/semaprax/evidence/"
    },
    {
      "@id": "https://wavect.io/verified-claims.json#semaprax-v02-semantic-graph-patches",
      "@type": "Claim",
      "appearance": {
        "@id": "https://wavect.io/zh/semaprax/evidence/#webpage",
        "@type": "WebPage",
        "inLanguage": "zh",
        "url": "https://wavect.io/zh/semaprax/evidence/"
      },
      "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/evidence/#webpage",
        "@type": "WebPage",
        "inLanguage": "zh",
        "url": "https://wavect.io/zh/semaprax/evidence/"
      },
      "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
    },
    {
      "@type": "ListItem",
      "item": "https://wavect.io/zh/semaprax/evidence/",
      "name": "v0.2 原型证明了什么，又没有证明什么。",
      "position": 3
    }
  ]
}
```