---
title: "Semaprax v0.2 Evidence: Implemented Capabilities and Limits"
canonical: https://wavect.io/semaprax/evidence/
language: en
description: "A dated Semaprax v0.2 capability ledger separating implemented, demonstrated, experimental, and roadmap work with repository evidence and limitations."
image: "https://wavect.io/img/general/bak/open_graph_preview.jpg"
---

EVIDENCE LEDGER · VERIFIED 2026-08-11

# What the v0.2 prototype proves, and what it does not.

Evidence has a state, a scope, and an expiry date.

The repository is an executable architectural seed. A passing bounded gate proves only the exact language slice, artifact, host, and failure behavior named by that gate.

semaprax://evidence v0.2

```
entity     Semaprax
status     pre-alpha research
verified   2026-08-11
authority  github.com/wavect/semaprax
```

## What does Semaprax implement today?

Semaprax v0.2 implements a small typed language, stable graph identity, bounded agent context, revision-bound semantic patch families, fail-closed verification, and deterministic native and browser/Wasm lowering for documented subsets. General language, ownership, platform, and ecosystem coverage remains partial or planned.

// 01

## Capability evidence ledger

| Current status | Evidence state | Scope | Verified | Evidence |
| --- | --- | --- | --- | --- |
| **Stable semantic program graph** `stable-semantic-program-graph` | Implemented | Versioned Graph v10-v14 JSON for the documented typed subset, with persistent identities and validated HIR shared by native and Wasm lowering. | 2026-08-11 | [GitHub repository](https://github.com/wavect/semaprax/blob/main/docs/ARCHITECTURE.md) |
| **Bounded agent context** `bounded-agent-context` | Implemented | Agent Context v1 plus additive v2 call traversal, with deterministic byte, node, depth, and frontier limits. | 2026-08-11 | [GitHub repository](https://github.com/wavect/semaprax/blob/main/docs/AGENT-CONTEXT-V2.md) |
| **Revision-bound semantic patches** `revision-bound-semantic-patches` | Implemented | Atomic Patch v1 and bounded Patch v2 operations, with exact revision checks, stale rejection, and selective semantic delta validation. | 2026-08-11 | [GitHub repository](https://github.com/wavect/semaprax/blob/main/docs/SEMANTIC-PATCH-V2.md) |
| **Semantic review and evidence capsules** `semantic-evidence-capsules` | Demonstrated | Bounded review, impact, target, patch, and workspace evidence routes with deterministic artifacts and explicit nonclaims. | 2026-08-11 | [GitHub repository](https://github.com/wavect/semaprax/blob/main/docs/SEMANTIC-PATCH-EVIDENCE-V2.md) |
| **Native and browser/Wasm lowering** `native-and-wasm-lowering` | Demonstrated | Documented scalar, control-flow, record, variant, generic, contract, and bounded ownership slices through C11/Clang and real Node/Wasm gates. | 2026-08-11 | [GitHub repository](https://github.com/wavect/semaprax/blob/main/docs/COMPLETION-MATRIX.md) |
| **Ownership-inspired memory management** `ownership-inspired-memory-management` | Experimental | Explicit own, borrow, and shared boundaries plus move checking and bounded resource cleanup protocols. This is not Rust compatibility or a complete borrow checker. | 2026-08-11 | [GitHub repository](https://github.com/wavect/semaprax/blob/main/docs/OWNED-RESOURCE-VERTICAL-V1.md) |
| **Broad native platform support** `broad-platform-support` | Roadmap | General macOS, Windows, Linux, web, iOS, and Android application support beyond the current bounded host and package gates. | 2026-08-11 | [GitHub repository](https://github.com/wavect/semaprax/blob/main/docs/ROADMAP.md) |
| **Bidirectional ecosystem interoperability** `bidirectional-ecosystem-interoperability` | Roadmap | A long-term objective for typed, ownership-safe boundaries with existing languages and package ecosystems. No percentage claim is made. | 2026-08-11 | [GitHub repository](https://github.com/wavect/semaprax/blob/main/docs/ROADMAP.md) |

// 02

## Claims this page intentionally does not make

- Semaprax is not described as production-ready.
- A platform harness is not treated as complete application-platform support.
- A generated artifact is not treated as successful loading or execution unless its dedicated gate says so.
- Ownership-inspired semantics are not presented as Rust compatibility or a complete borrow checker.

GitHub specifications are the normative source. This page is a dated research summary. [GitHub repository](https://github.com/wavect/semaprax).

// FAQ

## Questions, answered without the hype

### What does Demonstrated mean?

A named artifact or execution path passed its dedicated gate under stated constraints. It does not imply complete language, ecosystem, or platform support.

### Does a green CI run prove security?

No. It supports the tested invariants and failure paths. It does not prove the absence of vulnerabilities or general safety outside the tested boundary.

Research project by Wavect: [Wavect GmbH](/). Created by Wavect as an open-source systems research project.

## 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/semaprax/evidence/#webpage",
      "@type": "WebPage",
      "dateModified": "2026-08-11",
      "inLanguage": "en",
      "isPartOf": {
        "@id": "https://wavect.io/#website",
        "@type": "WebSite"
      },
      "lastReviewed": "2026-08-11",
      "url": "https://wavect.io/semaprax/evidence/"
    },
    {
      "@id": "https://wavect.io/verified-claims.json#semaprax-v02-semantic-graph-patches",
      "@type": "Claim",
      "appearance": {
        "@id": "https://wavect.io/semaprax/evidence/#webpage",
        "@type": "WebPage",
        "inLanguage": "en",
        "url": "https://wavect.io/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/semaprax/evidence/#webpage",
        "@type": "WebPage",
        "inLanguage": "en",
        "url": "https://wavect.io/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/semaprax/evidence/#webpage",
      "@type": "WebPage",
      "creator": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "dateModified": "2026-08-11",
      "description": "A dated Semaprax v0.2 capability ledger separating implemented, demonstrated, experimental, and roadmap work with repository evidence and limitations.",
      "inLanguage": "en",
      "mainEntity": {
        "@id": "https://wavect.io/semaprax/evidence/#article",
        "@type": "TechArticle"
      },
      "name": "Semaprax v0.2 Evidence: Implemented Capabilities and Limits | Wavect",
      "url": "https://wavect.io/semaprax/evidence/"
    },
    {
      "@id": "https://wavect.io/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": "A dated Semaprax v0.2 capability ledger separating implemented, demonstrated, experimental, and roadmap work with repository evidence and limitations.",
      "headline": "What the v0.2 prototype proves, and what it does not.",
      "inLanguage": "en",
      "isPartOf": {
        "@id": "https://wavect.io/semaprax/#webpage",
        "@type": "WebPage"
      },
      "mainEntityOfPage": {
        "@id": "https://wavect.io/semaprax/evidence/#webpage"
      },
      "publisher": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "url": "https://wavect.io/semaprax/evidence/"
    },
    {
      "@id": "https://wavect.io/semaprax/#software",
      "@type": "SoftwareSourceCode"
    },
    {
      "@id": "https://wavect.io/semaprax/evidence/#faq",
      "@type": "FAQPage",
      "inLanguage": "en",
      "mainEntity": [
        {
          "@type": "Question",
          "acceptedAnswer": {
            "@type": "Answer",
            "text": "A named artifact or execution path passed its dedicated gate under stated constraints. It does not imply complete language, ecosystem, or platform support."
          },
          "name": "What does Demonstrated mean?"
        },
        {
          "@type": "Question",
          "acceptedAnswer": {
            "@type": "Answer",
            "text": "No. It supports the tested invariants and failure paths. It does not prove the absence of vulnerabilities or general safety outside the tested boundary."
          },
          "name": "Does a green CI run prove security?"
        }
      ],
      "url": "https://wavect.io/semaprax/evidence/"
    },
    {
      "@id": "https://wavect.io/verified-claims.json#semaprax-v02-semantic-graph-patches",
      "@type": "Claim",
      "appearance": {
        "@id": "https://wavect.io/semaprax/evidence/#webpage",
        "@type": "WebPage",
        "inLanguage": "en",
        "url": "https://wavect.io/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/semaprax/evidence/#webpage",
        "@type": "WebPage",
        "inLanguage": "en",
        "url": "https://wavect.io/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/",
      "name": "Home",
      "position": 1
    },
    {
      "@type": "ListItem",
      "item": "https://wavect.io/semaprax/",
      "name": "Semaprax",
      "position": 2
    },
    {
      "@type": "ListItem",
      "item": "https://wavect.io/semaprax/evidence/",
      "name": "What the v0.2 prototype proves, and what it does not.",
      "position": 3
    }
  ]
}
```