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, statt Text auf Verdacht umzuschreiben.
revision sha256:<program-state>
query app.main --depth 1
context typed · bounded · stable-id
patch expected_revision == current
verify fail_closed
target native | browser/wasmWas ist Semaprax?
Semaprax ist eine experimentelle agent-native Systemsprache, die auf einem stabilen semantischen Programmgraphen aufbaut. Der v0.2-Prototyp ermöglicht Coding-Agenten, typisierte Bedeutung abzufragen, revisionsgebundene semantische Patches einzureichen und eine verifizierte Teilmenge in native Programme und Browser/Wasm-Pakete zu übersetzen.
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 versionierten semantischen Graphen. Agenten fordern begrenzten Kontext per stabiler ID an, prüfen oder senden einen Patch gegen eine exakte Revision und erhalten deterministische Diagnosen oder Evidenz vor dem nativen oder Wasm-Lowering.
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.
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.2 implementiert und wo es endet
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 |
|---|---|---|---|
| Stabiler semantischer Programmgraph | Implementiert | Versioniertes Graph-v10-v14-JSON für die dokumentierte typisierte Teilmenge, mit persistenten Identitäten und gemeinsamem validiertem HIR. | GitHub-Repository |
| Begrenzter Agentenkontext | Implementiert | Agent Context v1 plus v2-Aufruftraversierung mit deterministischen Byte-, Knoten-, Tiefen- und Frontier-Grenzen. | GitHub-Repository |
| Revisionsgebundene semantische Patches | Implementiert | Atomic Patch v1 und begrenzte Patch-v2-Operationen mit exakten Revisionen, Stale-Ablehnung und semantischer Deltaprüfung. | GitHub-Repository |
| Semantische Reviews und Evidenzkapseln | Demonstriert | Begrenzte Review-, Impact-, Target-, Patch- und Workspace-Evidenzwege mit deterministischen Artefakten und Nichtaussagen. | GitHub-Repository |
| Native- und Browser/Wasm-Lowering | Demonstriert | Dokumentierte Sprach- und Ownership-Teilmengen durch C11/Clang und reale Node/Wasm-Gates. | GitHub-Repository |
| Ownership-inspiriertes Speichermanagement | Experimentell | Explizite own-, borrow- und shared-Grenzen, Move-Prüfung und begrenzte Cleanup-Protokolle. Keine Rust-Kompatibilität. | GitHub-Repository |
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.