Stabile semantische Identität
Verfasste @id-Werte und Compiler-Identitäten bleiben über Quelltext, HIR, Graph, Diagnosen und generierte Symbole hinweg erhalten. NUL-Zeichen werden vor der Ausgabe abgewiesen.
ARCHITEKTUR · GRAPH V10-V14
Ein Programmmodell, das Agenten abfragen können, ohne Bedeutung aus Text zu rekonstruieren.
Zuerst stabile Identität. Dann Quelltextänderungen.
Der semantische Programmgraph von Semaprax erfasst typisierte Deklarationen, Effekte, Verträge, Ownership-Fakten, Aufrufbeziehungen und Lowering-Identitäten unter einer inhaltsabgeleiteten Revision.
entity Semaprax
status Pre-Alpha-Forschung
verified 2026-08-11
authority github.com/wavect/semapraxWie funktioniert Semaprax?
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.
// 01
Zuerst stabile Identität. Dann Quelltextänderungen.
Begrenzter Agentenkontext
Agent Context v1 und v2 liefern abhängigkeitsspezifische Graphausschnitte mit expliziten Grenzen für Knoten, Bytes, Tiefe und Traversierung.
Revisionsgebundene semantische Patches
Patch-Operationen adressieren semantische Identitäten und eine exakte Graphrevision. Veraltete Revisionen scheitern geschlossen; aktuelle Operationen bleiben bewusst begrenzt.
Evidenz vor Veröffentlichung
Review-, Impact-, Target- und Workspace-Evidenzwege erzeugen deterministische Artefakte mit klaren Nichtaussagen. Sie ersetzen weder Freigabe noch Projekttests.
// 02
Die Quelltextprojektion bleibt lesbar
module examples.meaning;
@id("math.add")
fn add(left: i64, right: i64) -> i64
requires left >= 0
ensures result == left + right
{
left + right
}Die GitHub-Spezifikationen sind die normative Quelle. Diese Seite ist eine datierte Forschungszusammenfassung. GitHub-Repository.
// FAQ
Fragen, ohne Hype beantwortet
Ist der semantische Graph ein Knowledge Graph oder RAG-System?
Nein. Er ist die typisierte, versionierte Programmrepräsentation des Compilers, nicht eine Sammlung generischer Dokumente oder Embeddings.
Kann ein Agent jedes Programm semantisch patchen?
Noch nicht. Aktuelle Schemas erlauben begrenzte Operationen und lehnen veraltete Revisionen, falsche Selektoren und semantische Ausweitungen ab.
Forschungsprojekt von Wavect: Wavect GmbH. Von Wavect als Open-Source-Forschungsprojekt für Programmiersysteme entwickelt.