Die Systemsprache für Coding-Agenten, lesbar für Menschen.
Bedeutung rein. Geprüfte Änderungen raus.
Gib Coding-Agenten typisierten Programmkontext statt eines Stapels Dateien. Behalte lesbaren Quelltext in Git, lehne veraltete Änderungen ab und baue Laufzeit-Agenten, deren Vorschläge deterministische Autorisierung bestehen müssen. v0.5.0 ist für Experimente und Prototypen verfügbar, nicht für Produktion.
revision sha256:<program-state>
query app.main --depth 1
context typed · bounded · stable-id
patch expected_revision == current
verify fail_closed
target native | browser/wasmRepository-Status zum geprüften Snapshot
| Repository-Snapshot | b9f593c · 2026-09-16. Der geprüfte main-Commit entspricht dem Tag v0.5.0. Dessen exakte Tag-CI war erfolgreich; die separate Branch-CI wurde abgebrochen. Daraus folgt keine allgemeine Produktions- oder Sicherheitsgarantie. |
|---|---|
| Status des Gesamtprodukts | 55 Teilweise · 0 Implementiert · 0 Fehlend |
| Graph- und Projektvertrag | Funktionsabhängige Graphschemas erhalten frühere Verträge. Project v1 ist die Baseline; die Owned-Data-Profile v8, v9, v10 und v11 haben eigene Zulassungs- und Supportgrenzen. |
| Veröffentlichtes Prerelease | v0.5.0 · Veröffentlicht am 16. September 2026 um 09:43 UTC. Drei Archive: Linux x86-64, macOS Apple Silicon und Windows x86-64, mit SHA256SUMS. Das enthaltene semaprax ist die vollständige Toolchain, nicht die eigenständige Cargo-CLI. Exakte Tag-CI. |
| Paket- und API-Vorschau | Eine veröffentlichte Toolchain veröffentlicht weder ihre generierten Rust/npm-Pakete noch private APIs. Supportentscheidungen für Project v8-v11, öffentliche generische Ownership, weitere Plattformen und native/Wasm-Ausführung von Agent-Stufen bleiben separat. |
Was ist Semaprax?
Semaprax ist eine experimentelle agent-native Systemsprache. Lesbarer .spx-Quelltext bleibt maßgeblich, während Coding-Agenten typisierte Programmbedeutung abfragen und revisionsgebundene Änderungen vorschlagen. Das Prerelease v0.5.0 enthält zudem typisierte Laufzeit-Agenten sowie begrenzte Native- und WebAssembly-Integrationen.
Das erste geprüfte Programm starten
Quellcode-Installation mit festgehaltenem Commit. Benötigt Git und Rust/Cargo 1.88+. Der erste Cargo-Lauf kann Abhängigkeiten laden. Diese check/run-Befehle brauchen weder Clang noch Node.js oder einen KI-Anbieter; das Programm liefert 42.
git clone https://github.com/wavect/semaprax.git
cd semaprax
git checkout --detach b9f593c5334bc18c9d3a201ddaf135d716733af5
cargo run --locked -p semaprax -- check examples/meaning.spx
cargo run --locked -p semaprax -- run examples/meaning.spxEin Programm, drei Arbeitsflächen
Menschenlesbarer Quelltext, agentenlesbare Bedeutung und Maschinenausgabe entstehen aus demselben versionierten semantischen Zustand. Jeder Pfeil ist eine Evidenzgrenze.
- Menschenlesbarer QuelltextMaßgeblicher .spx-Quelltext in Git, normale Programme, Verträge und explizite Ownership. Das erste Beispiel lässt sich ohne Modell oder API-Schlüssel prüfen und ausführen.
- Typisierte Bedeutung für ToolsStabile IDs, begrenzter Kontext, Kandidaten-Diffs und reproduzierbare Evidenz. Lesender Zugriff erlaubt kein Schreiben oder Veröffentlichen.
- Geprüfte AusführungInterpreter, zugelassene C11/Clang- und Core-Wasm-Profile sowie typisierte Laufzeit-Agenten mit expliziten Host-Befugnissen.
Semantischer Programmgraph von Semaprax: Semaprax überführt maßgeblichen .spx-Quelltext in geprüftes HIR, eine Compiler-Darstellung typisierter Programmbedeutung. Stabile Identitäten verbinden Graphabfragen, Änderungskandidaten, Ausführung und Evidenz. Unterstützte Änderungen müssen zur Quellrevision passen; Laufzeit-Agentenvorschläge durchlaufen typisierte Dekodierung und deterministische Autorisierung. Graphen und Belege erteilen selbst keine Veröffentlichungs-, Netzwerk- oder Zahlungsbefugnis.
Die Hypothese, nicht die Schlagzeile
Können stabile Identitäten, kompakter Kontext und nachvollziehbare Änderungen Reparaturen eindeutiger machen und Modellarbeit senken? Semaprax enthält inzwischen Offline-Tokenmessung, Workflow-Instrumentierung und sprachübergreifende Testaufgaben. Allgemeine Tokenersparnis, schnellere Lieferung oder höhere Modellgenauigkeit sind damit nicht belegt.
Ein Forschungsindex mit genau einem Eigentümer pro Frage
Jede Seite beantwortet eine eigene Markenfrage, damit Such- und Antwortsysteme die autoritative Route eindeutig erkennen.
Architektur
Stabile IDs, Graph-Kontext und semantische Patches
evidenceEvidenz
Was v0.5.0 implementiert und wo die Grenzen liegen
benchmarksBenchmarks
Kontextmessungen ohne Kostenversprechen
interoperabilityInteroperabilität
Evidenzmatrix für Ziele und Ökosysteme
roadmapRoadmap
Meilensteine, Ziele und offene Lücken
Evidenzregister der Funktionen
| Aktueller Status | Evidenzstatus | Umfang | Evidenz |
|---|---|---|---|
| Maßgeblicher Quelltext und stabile Identität | Teilweise | Lesbarer `.spx`-Quelltext bleibt die maßgebliche Darstellung in Git. Explizite `@id`-Werte identifizieren Deklarationen unabhängig von unterstützten Namensänderungen. Die Revision bindet kanonischen Quelltext und das implizite Compiler-Prelude, nicht zufällige Quellpositionen oder ein Graph-Drahtformat. | GitHub-Repository |
| Begrenzter Kontext und kompakte Projektionen | Teilweise | Context v1/v2 begrenzt Tiefe, Knoten und Bytes; v2 ergänzt gerichtete Traversierung. Aufgabenbezogener Kontext sowie Text-, Binär- und Model-Text-Projektionen ermöglichen gezielten Austausch mit Replay-Prüfungen. Weniger serialisierte Bytes bedeuten nicht automatisch weniger abgerechnete Tokens oder bessere Antworten. | GitHub-Repository |
| Semantische Änderungen statt beliebiger Neufassungen | Teilweise | Kontext prüfen, Kandidat ableiten, Auswirkungen ansehen, reviewen, Prüfungen reproduzieren und erst dann explizit anwenden. Neben Umbenennungen gibt es begrenzten Ausdrucksersatz, Strukturänderungen und definierte Rebase/Merge-Komposition. Jedes Protokoll behält eigene Revisions-, Identitäts- und Operationsgrenzen. | GitHub-Repository |
| Kontrollierte Veröffentlichung ist eine eigene Grenze | Teilweise | Verwaltete Workspace-Generationen, Kandidatenevidenz, Project-Revisionsspeicher und MCP-Workflows behalten explizite Schreib- und Veröffentlichungsbefugnisse. Multi-File-Validierung aktualisiert nicht beliebige Pfade, Git oder Editoren atomar. Die Rust-Embedding-API bietet begrenzte Eingaben, Abbruch und gekapselte Sitzungen, keinen freien Host-Zugriff. | GitHub-Repository |
| Replay-fähige semantische Evidenz | Teilweise | Evidenz bindet geprüfte Fakten und Kandidatenänderungen an Quellen und Revisionen. Ein Beleg kann Prüfung oder Ablehnung unterstützen, erteilt aber keine Ausführungs-, Änderungs- oder Veröffentlichungsbefugnis. | GitHub-Repository |
| Mehrmodulprojekte und Offline-Projektvorlagen | Teilweise | Project-Manifeste definieren Quellabschluss, Einstiegspunkte, Tests und ausgewählte Exporte. Der mitgelieferte Rechner unterstützt check/test/run und zugelassene Builds. new erstellt ein frisches Projekt aus eingebetteten Dateien ohne Git-Initialisierung oder Registry-Abruf. | GitHub-Repository |
Primärquellen für diese Seite
Geprüft anhand des festgehaltenen Commits und des Release-Eintrags v0.5.0. Versionierte Spezifikationen definieren Zulassung und Befugnisse. Ältere v0.4-Release-Überschriften in Matrix und Roadmap sind historisch, nicht die aktuelle Release-Identität.
Fragen, ohne Hype beantwortet
Ist Semaprax produktionsreif?
Nein. v0.5.0 ist Apache-2.0-Pre-Alpha-Forschungssoftware. Nützliche implementierte Profile und ein erfolgreicher Release-Workflow erfüllen weder die 55 teilweise erfüllten Gesamtanforderungen noch begründen sie Produktionstauglichkeit.
Ist Semaprax nur für KI-Agenten?
Nein. Maßgeblicher .spx-Quelltext bleibt für Menschen lesbar und prüfbar. Coding-Agenten fragen semantische Fakten ab und schlagen Änderungen vor; Laufzeit-Agenten sind eine getrennte typisierte Ausführungsabstraktion. Beides ersetzt weder menschliche Prüfung noch Host-kontrollierte Befugnisse.
Braucht dein KI-Produkt Engineering mit diesem Evidenzniveau?
Wavects AI Engineering ansehen.