---
title: "Semaprax v0.2: Implementierte Funktionen und Grenzen"
canonical: https://wavect.io/de/semaprax/evidence/
language: de
description: "Ein datiertes Semaprax-v0.2-Register mit implementierten, demonstrierten, experimentellen und geplanten Funktionen, Repository-Evidenz und Grenzen."
image: "https://wavect.io/img/general/bak/open_graph_preview.jpg"
---

EVIDENZREGISTER · GEPRÜFT 2026-08-11

# Was der v0.2-Prototyp belegt, und was nicht.

Evidenz hat einen Status, einen Umfang und ein Prüfdatum.

Das Repository ist ein ausführbarer Architekturkeim. Ein erfolgreicher begrenzter Gate belegt nur den benannten Sprachumfang, das Artefakt, den Host und das Fehlerverhalten.

semaprax://evidence v0.2

```
entity     Semaprax
status     Pre-Alpha-Forschung
verified   2026-08-11
authority  github.com/wavect/semaprax
```

## Was implementiert Semaprax heute?

Semaprax v0.2 implementiert eine kleine typisierte Sprache, stabile Graphidentität, begrenzten Agentenkontext, revisionsgebundene Patch-Familien, fail-closed Verifikation sowie deterministisches natives und Browser/Wasm-Lowering für dokumentierte Teilmengen.

// 01

## Evidenzregister der Funktionen

| Aktueller Status | Evidenzstatus | Umfang | Geprüft | Evidenz |
| --- | --- | --- | --- | --- |
| **Stabiler semantischer Programmgraph** `stable-semantic-program-graph` | Implementiert | Versioniertes Graph-v10-v14-JSON für die dokumentierte typisierte Teilmenge, mit persistenten Identitäten und gemeinsamem validiertem HIR. | 2026-08-11 | [GitHub-Repository](https://github.com/wavect/semaprax/blob/main/docs/ARCHITECTURE.md) |
| **Begrenzter Agentenkontext** `bounded-agent-context` | Implementiert | Agent Context v1 plus v2-Aufruftraversierung mit deterministischen Byte-, Knoten-, Tiefen- und Frontier-Grenzen. | 2026-08-11 | [GitHub-Repository](https://github.com/wavect/semaprax/blob/main/docs/AGENT-CONTEXT-V2.md) |
| **Revisionsgebundene semantische Patches** `revision-bound-semantic-patches` | Implementiert | Atomic Patch v1 und begrenzte Patch-v2-Operationen mit exakten Revisionen, Stale-Ablehnung und semantischer Deltaprüfung. | 2026-08-11 | [GitHub-Repository](https://github.com/wavect/semaprax/blob/main/docs/SEMANTIC-PATCH-V2.md) |
| **Semantische Reviews und Evidenzkapseln** `semantic-evidence-capsules` | Demonstriert | Begrenzte Review-, Impact-, Target-, Patch- und Workspace-Evidenzwege mit deterministischen Artefakten und Nichtaussagen. | 2026-08-11 | [GitHub-Repository](https://github.com/wavect/semaprax/blob/main/docs/SEMANTIC-PATCH-EVIDENCE-V2.md) |
| **Native- und Browser/Wasm-Lowering** `native-and-wasm-lowering` | Demonstriert | Dokumentierte Sprach- und Ownership-Teilmengen durch C11/Clang und reale Node/Wasm-Gates. | 2026-08-11 | [GitHub-Repository](https://github.com/wavect/semaprax/blob/main/docs/COMPLETION-MATRIX.md) |
| **Ownership-inspiriertes Speichermanagement** `ownership-inspired-memory-management` | Experimentell | Explizite own-, borrow- und shared-Grenzen, Move-Prüfung und begrenzte Cleanup-Protokolle. Keine Rust-Kompatibilität. | 2026-08-11 | [GitHub-Repository](https://github.com/wavect/semaprax/blob/main/docs/OWNED-RESOURCE-VERTICAL-V1.md) |
| **Breite native Plattformunterstützung** `broad-platform-support` | Roadmap | Allgemeiner Support für macOS, Windows, Linux, Web, iOS und Android jenseits heutiger begrenzter Gates. | 2026-08-11 | [GitHub-Repository](https://github.com/wavect/semaprax/blob/main/docs/ROADMAP.md) |
| **Bidirektionale Ökosystem-Interoperabilität** `bidirectional-ecosystem-interoperability` | Roadmap | Langfristiges Ziel für typisierte, ownership-sichere Grenzen zu bestehenden Sprachen und Paketen. Keine Prozentangabe. | 2026-08-11 | [GitHub-Repository](https://github.com/wavect/semaprax/blob/main/docs/ROADMAP.md) |

// 02

## Aussagen, die diese Seite bewusst nicht macht

- Semaprax wird nicht als produktionsreif bezeichnet.
- Ein Plattform-Harness ist kein vollständiger Anwendungssupport.
- Ein erzeugtes Artefakt gilt ohne eigenen Gate nicht als erfolgreich geladen oder ausgeführt.
- Ownership-inspirierte Semantik ist weder Rust-Kompatibilität noch ein vollständiger Borrow Checker.

Die GitHub-Spezifikationen sind die normative Quelle. Diese Seite ist eine datierte Forschungszusammenfassung. [GitHub-Repository](https://github.com/wavect/semaprax).

// FAQ

## Fragen, ohne Hype beantwortet

### Was bedeutet Demonstriert?

Ein benanntes Artefakt oder ein Ausführungspfad bestand seinen Gate unter klaren Einschränkungen. Das ist kein vollständiger Sprach- oder Plattformstatus.

### Beweist grüne CI Sicherheit?

Nein. Sie stützt die geprüften Invarianten und Fehlerpfade, nicht die Abwesenheit aller Schwachstellen.

Forschungsprojekt von Wavect: [Wavect GmbH](/de/). Von Wavect als Open-Source-Forschungsprojekt für Programmiersysteme entwickelt.

## 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/de/semaprax/evidence/#webpage",
      "@type": "WebPage",
      "dateModified": "2026-08-11",
      "inLanguage": "de",
      "isPartOf": {
        "@id": "https://wavect.io/#website",
        "@type": "WebSite"
      },
      "lastReviewed": "2026-08-11",
      "url": "https://wavect.io/de/semaprax/evidence/"
    },
    {
      "@id": "https://wavect.io/verified-claims.json#semaprax-v02-semantic-graph-patches",
      "@type": "Claim",
      "appearance": {
        "@id": "https://wavect.io/de/semaprax/evidence/#webpage",
        "@type": "WebPage",
        "inLanguage": "de",
        "url": "https://wavect.io/de/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/de/semaprax/evidence/#webpage",
        "@type": "WebPage",
        "inLanguage": "de",
        "url": "https://wavect.io/de/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/de/semaprax/evidence/#webpage",
      "@type": "WebPage",
      "creator": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "dateModified": "2026-08-11",
      "description": "Ein datiertes Semaprax-v0.2-Register mit implementierten, demonstrierten, experimentellen und geplanten Funktionen, Repository-Evidenz und Grenzen.",
      "inLanguage": "de",
      "mainEntity": {
        "@id": "https://wavect.io/de/semaprax/evidence/#article",
        "@type": "TechArticle"
      },
      "name": "Semaprax v0.2: Implementierte Funktionen und Grenzen | Wavect",
      "url": "https://wavect.io/de/semaprax/evidence/"
    },
    {
      "@id": "https://wavect.io/de/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": "Ein datiertes Semaprax-v0.2-Register mit implementierten, demonstrierten, experimentellen und geplanten Funktionen, Repository-Evidenz und Grenzen.",
      "headline": "Was der v0.2-Prototyp belegt, und was nicht.",
      "inLanguage": "de",
      "isPartOf": {
        "@id": "https://wavect.io/semaprax/#webpage",
        "@type": "WebPage"
      },
      "mainEntityOfPage": {
        "@id": "https://wavect.io/de/semaprax/evidence/#webpage"
      },
      "publisher": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "url": "https://wavect.io/de/semaprax/evidence/"
    },
    {
      "@id": "https://wavect.io/semaprax/#software",
      "@type": "SoftwareSourceCode"
    },
    {
      "@id": "https://wavect.io/de/semaprax/evidence/#faq",
      "@type": "FAQPage",
      "inLanguage": "de",
      "mainEntity": [
        {
          "@type": "Question",
          "acceptedAnswer": {
            "@type": "Answer",
            "text": "Ein benanntes Artefakt oder ein Ausführungspfad bestand seinen Gate unter klaren Einschränkungen. Das ist kein vollständiger Sprach- oder Plattformstatus."
          },
          "name": "Was bedeutet Demonstriert?"
        },
        {
          "@type": "Question",
          "acceptedAnswer": {
            "@type": "Answer",
            "text": "Nein. Sie stützt die geprüften Invarianten und Fehlerpfade, nicht die Abwesenheit aller Schwachstellen."
          },
          "name": "Beweist grüne CI Sicherheit?"
        }
      ],
      "url": "https://wavect.io/de/semaprax/evidence/"
    },
    {
      "@id": "https://wavect.io/verified-claims.json#semaprax-v02-semantic-graph-patches",
      "@type": "Claim",
      "appearance": {
        "@id": "https://wavect.io/de/semaprax/evidence/#webpage",
        "@type": "WebPage",
        "inLanguage": "de",
        "url": "https://wavect.io/de/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/de/semaprax/evidence/#webpage",
        "@type": "WebPage",
        "inLanguage": "de",
        "url": "https://wavect.io/de/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/de/",
      "name": "Startseite",
      "position": 1
    },
    {
      "@type": "ListItem",
      "item": "https://wavect.io/de/semaprax/",
      "name": "Semaprax",
      "position": 2
    },
    {
      "@type": "ListItem",
      "item": "https://wavect.io/de/semaprax/evidence/",
      "name": "Was der v0.2-Prototyp belegt, und was nicht.",
      "position": 3
    }
  ]
}
```