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 · FUNKTIONSABHÄNGIGE GRAPHSCHEMAS BIS V24
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
snapshot c16348f
authority github.com/wavect/semaprax// 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. |
Wie funktioniert Semaprax?
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.
// 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 werden konsequent abgelehnt; die aktuell verfügbaren Operationen bleiben bewusst begrenzt.
Evidenz vor Veröffentlichung
Die Prüfpfade für Review, Impact, Targets und Workspaces erzeugen deterministische Artefakte und benennen ausdrücklich, was sie nicht belegen. Workspace Operations v1 erlaubt ausschließlich klar begrenzte Umbenennungen von Deklarationen und Import-Aliassen. Vor der Veröffentlichung muss die Evidenz erneut erzeugt werden.
Cleanup- und Loan-Pläne
CleanupPlan und Shared Loan Plan trennen Ownership- und Borrowing-Fakten vom Lowering. Graph v24 ergänzt projizierte Byte-Feld-Borrows. Das ist kein vollständiger, Rust-kompatibler Borrow Checker.
Workspace-, Projekt- und Paketebenen
Workspace Operations v1 bleibt ein enger Rename-Vertrag neben separaten Change-, Replacement-, Struktur- und Veröffentlichungsebenen. Project v8-v10, Agent Transport v5, Revision Store v1, Paketberichte, Offline Locks und Kompatibilitätsevidenz bleiben unpromotet.
// 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. Patches für einzelne Dateien bleiben klar begrenzt. Workspace Operations v1 ergänzt lediglich durch Evidenz abgesicherte Umbenennungen von Deklarationen und Import-Aliassen in vorhandenen, verwalteten Pfaden. Das Verfahren bietet weder einen allgemeinen Zugriff auf den Quellbaum noch Git-weite Atomizität.
Forschungsprojekt von Wavect: Wavect GmbH. Von Wavect als Open-Source-Forschungsprojekt für Programmiersysteme entwickelt.