---
title: "Semaprax: Agent-Native Systems Programming Language"
canonical: https://wavect.io/semaprax/
language: en
description: "Semaprax is an experimental systems language for coding agents, built around a stable semantic program graph, semantic patches, and verified native and Wasm output."
image: "https://wavect.io/img/general/bak/open_graph_preview.jpg"
---

PRE-ALPHA RESEARCH · APACHE-2.0

# The systems language built for coding agents, and readable by humans.

Meaning in. Verified machine code out.

Source remains a clear human projection. Coding agents work against typed meaning, stable identity, bounded context, and revision-bound changes instead of rewriting text by guesswork.

semaprax://v0.2 pre-alpha research

```
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
```

## What is Semaprax?

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.

// 01

## One program, three working surfaces

Human source, agent-facing meaning, and machine output are derived from one versioned semantic state. Every arrow below is an evidence boundary, not a promise of universal language support.

1. **Human source** Readable syntax remains the review and authorship surface.
2. **Semantic program graph** Stable IDs expose typed meaning, context, diagnostics, and patch targets.
3. **Verified output** Admitted subsets lower deterministically to native or browser/Wasm artifacts.

[Semaprax semantic program graph](/semaprax/architecture/): Semaprax parses human-readable source into validated HIR and a versioned semantic graph. Agents request bounded context by stable ID, preview or submit a patch against an exact revision, and receive deterministic diagnostics or evidence before native or Wasm lowering.

// 02

## The hypothesis, not the headline

Semaprax tests whether a programming system can reduce the context and repair ambiguity faced by coding agents. Lower model cost is a hypothesis. It is not yet supported by model-token, latency, answer-quality, or repository-scale evidence.

**UNPROVEN HYPOTHESIS** Less agent context and lower cost at repository scale

// 03

## A research index with one owner per question

Each page answers one branded question so search engines and answer engines do not have to guess which route is authoritative.

### [Architecture](/semaprax/architecture/)

Stable IDs, graph context, and semantic patches

### [Evidence](/semaprax/evidence/)

What v0.2 implements and where it stops

### [Benchmarks](/semaprax/benchmarks/)

Context measurements without cost promises

### [Interoperability](/semaprax/interoperability/)

Target and ecosystem evidence matrix

### [Roadmap](/semaprax/roadmap/)

Milestones, objectives, and open gaps

// 04

## Capability evidence ledger

| Current status | Evidence state | Scope | Evidence |
| --- | --- | --- | --- |
| **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. | [GitHub repository](https://github.com/wavect/semaprax/blob/main/docs/ARCHITECTURE.md) |
| **Bounded agent context** | Implemented | Agent Context v1 plus additive v2 call traversal, with deterministic byte, node, depth, and frontier limits. | [GitHub repository](https://github.com/wavect/semaprax/blob/main/docs/AGENT-CONTEXT-V2.md) |
| **Revision-bound semantic patches** | Implemented | Atomic Patch v1 and bounded Patch v2 operations, with exact revision checks, stale rejection, and selective semantic delta validation. | [GitHub repository](https://github.com/wavect/semaprax/blob/main/docs/SEMANTIC-PATCH-V2.md) |
| **Semantic review and evidence capsules** | Demonstrated | Bounded review, impact, target, patch, and workspace evidence routes with deterministic artifacts and explicit nonclaims. | [GitHub repository](https://github.com/wavect/semaprax/blob/main/docs/SEMANTIC-PATCH-EVIDENCE-V2.md) |
| **Native and browser/Wasm lowering** | Demonstrated | Documented scalar, control-flow, record, variant, generic, contract, and bounded ownership slices through C11/Clang and real Node/Wasm gates. | [GitHub repository](https://github.com/wavect/semaprax/blob/main/docs/COMPLETION-MATRIX.md) |
| **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. | [GitHub repository](https://github.com/wavect/semaprax/blob/main/docs/OWNED-RESOURCE-VERTICAL-V1.md) |

// FAQ

## Questions, answered without the hype

### Is Semaprax production-ready?

No. Semaprax is Apache-2.0 pre-alpha research. The repository calls itself an executable architectural seed, and the evidence ledger separates bounded implementation from general completion.

### Is Semaprax only for AI agents?

No. The source projection is designed to stay readable by humans. Agent-native describes the stable semantic graph, bounded context, diagnostics, and patch interface available to coding agents.

Need this level of evidence-first engineering in your AI product?

Created by Wavect as an open-source systems research project. [GitHub repository](https://github.com/wavect/semaprax). GitHub specifications are the normative source. This page is a dated research summary.

## 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/#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/"
    },
    {
      "@id": "https://wavect.io/verified-claims.json#semaprax-v02-semantic-graph-patches",
      "@type": "Claim",
      "appearance": {
        "@id": "https://wavect.io/semaprax/#webpage",
        "@type": "WebPage",
        "inLanguage": "en",
        "url": "https://wavect.io/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/semaprax/#webpage",
        "@type": "WebPage",
        "inLanguage": "en",
        "url": "https://wavect.io/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/semaprax/#webpage",
      "@type": "WebPage",
      "creator": {
        "@id": "https://wavect.io/#organization",
        "@type": [
          "Organization",
          "ProfessionalService",
          "LocalBusiness"
        ]
      },
      "dateModified": "2026-08-11",
      "description": "Semaprax is an experimental systems language for coding agents, built around a stable semantic program graph, semantic patches, and verified native and Wasm output.",
      "inLanguage": "en",
      "mainEntity": {
        "@id": "https://wavect.io/semaprax/#software",
        "@type": "SoftwareSourceCode"
      },
      "name": "Semaprax: Agent-Native Systems Programming Language | Wavect",
      "url": "https://wavect.io/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/semaprax/#faq",
      "@type": "FAQPage",
      "inLanguage": "en",
      "mainEntity": [
        {
          "@type": "Question",
          "acceptedAnswer": {
            "@type": "Answer",
            "text": "No. Semaprax is Apache-2.0 pre-alpha research. The repository calls itself an executable architectural seed, and the evidence ledger separates bounded implementation from general completion."
          },
          "name": "Is Semaprax production-ready?"
        },
        {
          "@type": "Question",
          "acceptedAnswer": {
            "@type": "Answer",
            "text": "No. The source projection is designed to stay readable by humans. Agent-native describes the stable semantic graph, bounded context, diagnostics, and patch interface available to coding agents."
          },
          "name": "Is Semaprax only for AI agents?"
        }
      ],
      "url": "https://wavect.io/semaprax/"
    },
    {
      "@id": "https://wavect.io/verified-claims.json#semaprax-v02-semantic-graph-patches",
      "@type": "Claim",
      "appearance": {
        "@id": "https://wavect.io/semaprax/#webpage",
        "@type": "WebPage",
        "inLanguage": "en",
        "url": "https://wavect.io/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/semaprax/#webpage",
        "@type": "WebPage",
        "inLanguage": "en",
        "url": "https://wavect.io/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/",
      "name": "Home",
      "position": 1
    },
    {
      "@type": "ListItem",
      "item": "https://wavect.io/semaprax/",
      "name": "Semaprax",
      "position": 2
    }
  ]
}
```