PRE-ALPHA-FORSCHUNG · APACHE-2.0

Die Systemsprache für Coding-Agenten, lesbar für Menschen.

Bedeutung rein. Verifizierter Maschinencode raus.

Der Quelltext bleibt eine klare menschliche Projektion. Coding-Agenten arbeiten mit typisierter Bedeutung, stabiler Identität, begrenztem Kontext und revisionsgebundenen Änderungen. Im geprüften Snapshot sind alle 49 Gesamtanforderungen Teilweise und keine Implementiert.

Den v0.2-Prototyp prüfen Belegte Funktionen ansehen

semaprax://v0.2Pre-Alpha-Forschung

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

// STATUS

Repository-Status zum geprüften Snapshot

Repository-Snapshot	`c16348f` · 2026-08-29. Die Dokumentation bestand, der Gesamt-Workflow schlug jedoch fehl. Dieser Head wird daher nicht als verifiziert bezeichnet.
Status des Gesamtprodukts	49 Teilweise · 0 Implementiert · 0 Fehlend
Graph- und Projektvertrag	Graph ≤ v24 · Project v1 Baseline · Project v8, v9, v10 Entwicklervorschau
Promotions-Baseline	Für diesen Snapshot wird kein exakter bestandener Promotions-Commit oder Workflow-Lauf behauptet.
Entwicklervorschau im Quellcode	Owned-Data-, Record- und UTF-8-Projektprofile, Paketanalyse, Borrowing-Erweiterungen, Project Agent Transport und Revision Store liegen im Quellcode vor, sind aber unveröffentlicht oder nicht promotet.

Was ist Semaprax?

Semaprax ist eine experimentelle agent-native Systemsprache mit funktionsabhängig ausgewählten semantischen Graphschemas bis v24. Der v0.2-Prototyp enthält begrenzte Interpreter-, C11/Clang-, Core-Wasm/Node-, Workspace-, Projekt-, Paket-, Ownership-, Borrowing-, Transport- und Revisionsspeicher-Pfade. Diese Pfade zeigen Fortschritt, aber kein fertiges Produkt und keine stabile allgemeine ABI.

// 01

Ein Programm, drei Arbeitsflächen

Menschenlesbarer Quelltext, agentenlesbare Bedeutung und Maschinenausgabe entstehen aus demselben versionierten semantischen Zustand. Jeder Pfeil ist eine Evidenzgrenze.

Menschenlesbarer QuelltextLesbare Syntax bleibt die Oberfläche für Autorschaft und Review.
Semantischer ProgrammgraphStabile IDs machen Bedeutung, Kontext, Diagnosen und Patch-Ziele abfragbar.
Verifizierter OutputZugelassene Teilmengen werden deterministisch zu Native- oder Browser/Wasm-Artefakten.

Semaprax semantic program graph: Semaprax überführt menschenlesbaren Quelltext in validiertes HIR und einen funktionsabhängig ausgewählten semantischen Graphen. Graph v22 ergänzt Fakten für besessene Records und Varianten, v23 den Shared Loan Plan und v24 Borrowing für projizierte besessene Byte-Felder. Project v1 bleibt die promotete Baseline. Project v8-v10 und ihre Paketpfade sind Entwicklervorschauen, keine unterstützten öffentlichen APIs.

// 02

Die Hypothese, nicht die Schlagzeile

Semaprax prüft, ob ein Programmiersystem den Kontextbedarf und die Reparaturmehrdeutigkeit von Coding-Agenten senken kann. Niedrigere Modellkosten sind eine Hypothese, noch kein durch Token-, Latenz-, Qualitäts- oder Repository-Evidenz belegtes Ergebnis.

UNBELEGTE HYPOTHESE Weniger Agentenkontext und niedrigere Kosten im Repository-Maßstab

// 03

Ein Forschungsindex mit genau einem Eigentümer pro Frage

Jede Seite beantwortet eine eigene Markenfrage, damit Such- und Antwortsysteme die autoritative Route eindeutig erkennen.

architecture

Architektur

Stabile IDs, Graph-Kontext und semantische Patches

evidence

Evidenz

Was v0.2 implementiert und wo es endet

benchmarks

Benchmarks

Kontextmessungen ohne Kostenversprechen

interoperability

Interoperabilität

Evidenzmatrix für Ziele und Ökosysteme

roadmap

Roadmap

Meilensteine, Ziele und offene Lücken

// 04

Evidenzregister der Funktionen

Aktueller Status	Evidenzstatus	Umfang	Evidenz
Funktionsabhängiger semantischer Graph	Teilweise	Legacy-Erhaltung, Owned-Record- und Variantenfakten, Shared Loan Plan und projiziertes Byte-Feld-Borrowing bis v24.	GitHub-Repository
Begrenzter Agentenkontext	Teilweise	Deterministische Byte-, Knoten-, Tiefen- und Frontier-Grenzen.	GitHub-Repository
Revisionsgebundene Patches	Teilweise	Exakte Revisionen, Stale-Ablehnung und ausgewählte semantische Delta-Prüfung.	GitHub-Repository
Mehrschichtige Workspace-Änderungen	Teilweise	Rename, Change, Replacement, Strukturableitung und authentifizierte Veröffentlichung ohne beliebige Tree- oder Git-Autorität.	GitHub-Repository
Evidenz und Revisionsspeicher	Teilweise	Review, Impact, Target, Patch, Workspace, unveränderliche Generationen und authentifizierte Revisionen.	GitHub-Repository
Project v1 und Vorschauen v8-v10	Teilweise	v8 Bytes, Option und Result; v9 flache Owned Records; v10 Owned UTF-8 bei v1-v7-Kompatibilität.	GitHub-Repository

// FAQ

Fragen, ohne Hype beantwortet

Ist Semaprax produktionsreif?

Nein. Semaprax ist Apache-2.0-Pre-Alpha-Forschung. Das Evidenzregister trennt begrenzte Implementierung von allgemeiner Fertigstellung.

Ist Semaprax nur für KI-Agenten?

Nein. Der Quelltext soll für Menschen lesbar bleiben. Agent-native beschreibt Graph, Kontext, Diagnosen und Patch-Schnittstelle für Coding-Agenten.

Braucht dein KI-Produkt Engineering mit diesem Evidenzniveau?

Wavects AI Engineering ansehen.

Von Wavect als Open-Source-Forschungsprojekt für Programmiersysteme entwickelt. GitHub-Repository. Die GitHub-Spezifikationen sind die normative Quelle. Diese Seite ist eine datierte Forschungszusammenfassung.