EVIDENZ · B9F593C · 2026-09-16

Was v0.5.0 implementiert, und was es nicht belegt.

Evidenz hat einen Status, einen Umfang und ein Prüfdatum.

Der veröffentlichte Tag v0.5.0 und der geprüfte main-Stand verweisen auf b9f593c. Die exakte Release-CI war erfolgreich, drei Toolchain-Archive wurden veröffentlicht. Der Gesamtproduktvertrag enthält weiterhin 55 Teilweise, 0 Implementiert und 0 Fehlend. Das ist eine Abdeckungsklassifikation, kein Fertigstellungsprozentsatz.

semaprax://evidencev0.5.0

entity     Semaprax
status     Pre-Alpha-Forschung
snapshot   b9f593c
authority  github.com/wavect/semaprax

// STATUS

Repository-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 implementiert Semaprax heute?

Ausführbare Sprach-, semantische Änderungs-, iterative Agent-, Consumer- und Host-Integrationsprofile sind vorhanden, einschließlich der v0.5.0-Ergänzungen für Modell-Streaming, Abrechnung, Retry und Jobs. Ihre Existenz erfüllt nicht den gesamten Produktvertrag. Die Matrix korrigiert das frühere 50-Zeilen-Dashboard auf 55 tatsächliche Anforderungen bei gleichen Schwellen; die Website zeigte noch 49. Teile der Repository-Texte nennen weiterhin v0.4.0; die aktuelle Release-Identität ergibt sich aus v0.5.0 und dessen exakter Tag-CI.

// 01

Evidenzregister der Funktionen

Aktueller Status	Quellstatus	Evidenz und Herkunft	Veröffentlichungsstatus	Unterstützter Umfang	Evidenz
Maßgeblicher Quelltext und stabile Identität `stable-semantic-program-graph`	Teilweise	Im festgehaltenen Quellstand vorhanden; der Release-Workflow war für seine ausgewählten Gates erfolgreich. Der jeweilige Vertrag bestimmt die genaue Zulassung.	Begrenztes Pre-Alpha-Quell-/Toolchain-Profil	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 `bounded-agent-context`	Teilweise	Im festgehaltenen Quellstand vorhanden; der Release-Workflow war für seine ausgewählten Gates erfolgreich. Der jeweilige Vertrag bestimmt die genaue Zulassung.	Begrenztes Pre-Alpha-Quell-/Toolchain-Profil	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 `revision-bound-semantic-patches`	Teilweise	Im festgehaltenen Quellstand vorhanden; der Release-Workflow war für seine ausgewählten Gates erfolgreich. Der jeweilige Vertrag bestimmt die genaue Zulassung.	Begrenztes Pre-Alpha-Quell-/Toolchain-Profil	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 `managed-workspace-semantic-operations`	Teilweise	Im festgehaltenen Quellstand vorhanden; der Release-Workflow war für seine ausgewählten Gates erfolgreich. Der jeweilige Vertrag bestimmt die genaue Zulassung.	Begrenztes Pre-Alpha-Quell-/Toolchain-Profil	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 `semantic-evidence-capsules`	Teilweise	Im festgehaltenen Quellstand vorhanden; der Release-Workflow war für seine ausgewählten Gates erfolgreich. Der jeweilige Vertrag bestimmt die genaue Zulassung.	Begrenztes Pre-Alpha-Quell-/Toolchain-Profil	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 `bounded-multi-file-project`	Teilweise	Im festgehaltenen Quellstand vorhanden; der Release-Workflow war für seine ausgewählten Gates erfolgreich. Der jeweilige Vertrag bestimmt die genaue Zulassung.	Begrenztes Pre-Alpha-Quell-/Toolchain-Profil	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
Interpreter-, Native- und Core-Wasm-Ausführung `native-and-wasm-lowering`	Teilweise	Im festgehaltenen Quellstand vorhanden; der Release-Workflow war für seine ausgewählten Gates erfolgreich. Der jeweilige Vertrag bestimmt die genaue Zulassung.	Begrenztes Pre-Alpha-Quell-/Toolchain-Profil	Zugelassene Skalar- und Owned-Data-Profile laufen über Interpreter, C11/Clang und Core Wasm. Zielkonformität ist profilspezifisch; Bibliotheksausführung bedeutet keine native/Wasm-Ausführung von Quellcode-Agentenstufen.	GitHub-Repository
Begrenzte skalare JavaScript/TypeScript-Exporte `public-wasm-scalar-exports`	Teilweise	Im festgehaltenen Quellstand vorhanden; der Release-Workflow war für seine ausgewählten Gates erfolgreich. Der jeweilige Vertrag bestimmt die genaue Zulassung.	Begrenztes Pre-Alpha-Quell-/Toolchain-Profil	Skalare Exporte mit stabiler ID besitzen ein eigenes öffentliches Wasm-Profil und Browser-Fixture. Owned-Data-Pakete, breiter Browser-Support, Components und generische Signaturen haben eigene Verträge und erben diese Supportaussage nicht.	GitHub-Repository
Typisierte Laufzeit-Agenten `bounded-agent-runtime`	Teilweise	Im festgehaltenen Quellstand vorhanden; der Release-Workflow war für seine ausgewählten Gates erfolgreich. Der jeweilige Vertrag bestimmt die genaue Zulassung.	Begrenztes Pre-Alpha-Quell-/Toolchain-Profil	Initialisieren, beobachten, vorschlagen, dekodieren, autorisieren, ausführen und Zustand reduzieren. Der geprüfte Reducer wählt Continue, Complete, Suspend oder Fail; Autorisierung erfolgt in jeder Runde erneut. Kompilierte Proposal-Schemas begrenzen Streaming und Dekodierung vor Effekten. Quellcode-Agentenstufen laufen im beibehaltenen Interpreter, nicht gleichwertig nativ/Wasm.	GitHub-Repository
Ownership und reproduzierbares Cleanup `ownership-inspired-memory-management`	Teilweise	Im festgehaltenen Quellstand vorhanden; der Release-Workflow war für seine ausgewählten Gates erfolgreich. Der jeweilige Vertrag bestimmt die genaue Zulassung.	Begrenztes Pre-Alpha-Quell-/Toolchain-Profil	Besessene und geliehene Werte, Cleanup-Pläne, Loan-Fakten und ausgewählte Resource/Generic-Kompositionen sind implementiert. v0.5.0 ergänzt direkte besessene String-Varianteninhalte; generische String-Substitutionen und verschachtelte besessene Records als Varianteninhalt bleiben eingeschränkt. Das ist kein vollständiges Lifetime-System und keine Rust-Kompatibilität.	GitHub-Repository
Eine breitere Sprache für den Alltag `everyday-language-and-collections`	Teilweise	Im festgehaltenen Quellstand vorhanden; der Release-Workflow war für seine ausgewählten Gates erfolgreich. Der jeweilige Vertrag bestimmt die genaue Zulassung.	Begrenztes Pre-Alpha-Quell-/Toolchain-Profil	Zugelassene Profile umfassen Records, Varianten, Klassen, Vererbung, Generics, Option/Result, explizite Mutation, Schleifen, Collections, Iteratoren, Funktionswerte und begrenzte Closures. Text, Bytes und die mitgelieferte Bibliothek ermöglichen nützliche Programme. Besitzende Closure-Captures, allgemeine Generic-Constraints und beliebige Kombinationen bleiben begrenzt.	GitHub-Repository
Budgets, dauerhafte Wiederherstellung und Modellaufrufe `model-budgets-and-durable-recovery`	Teilweise	Im festgehaltenen Quellstand vorhanden; der Release-Workflow war für seine ausgewählten Gates erfolgreich. Der jeweilige Vertrag bestimmt die genaue Zulassung.	Begrenztes Pre-Alpha-Quell-/Toolchain-Profil	Explizite Host-Adapter liefern Zugangsdaten, Transport und Speicher. Grenzen können Aufrufe, Tokens, Bytes, Fristen und Kostenangebote umfassen. Dauerhafte Profile bestätigen Absichten vor Versand und wiederholen unklare Vorgänge nicht. Generische Host-Profile unterstützen begrenzten Retry/Failover; die gebundene Source-Model-Route wechselt Anbieter nicht automatisch und wiederholt nicht automatisch. Beobachteter Verbrauch garantiert keine Rechnung.	GitHub-Repository
Anwendungs- und Economic-Agent-Experimente `application-and-economic-agent-profiles`	Experimentell	Im festgehaltenen Quellstand vorhanden; der Release-Workflow war für seine ausgewählten Gates erfolgreich. Der jeweilige Vertrag bestimmt die genaue Zulassung.	Begrenztes Pre-Alpha-Quell-/Toolchain-Profil	Geprüfte HTTPS-POST-Aufrufe, Rust-Host-Authentifizierung/Sitzungen und Jobs mit Checkpoints sind einzelne Integrationsprofile, kein vollständiges Web-Framework. Economic Agents untersuchen Zahlungsabsichten, Simulation, Freigabe und Abgleich mit Wallets/Signierung des Hosts. Modellvorschläge sind weder Zahlungsbefugnis noch Garantie einer genau einmaligen Abwicklung.	GitHub-Repository
Generierte Grenzen bleiben profilspezifisch `owned-data-package-previews`	Entwicklervorschau	Im festgehaltenen Quellstand vorhanden; der Release-Workflow war für seine ausgewählten Gates erfolgreich. Der jeweilige Vertrag bestimmt die genaue Zulassung.	Generierte/private Vorschau; Veröffentlichung und öffentlicher Support sind getrennte Entscheidungen	Project v8 überträgt Bytes und ausgewählte Option/Result-Formen; v9 ergänzt flache besessene Records, v10 besessenes UTF-8 und v11 verschachtelte besessene Records. Generierte Native/Rust- und npm/Wasm-Consumer, private Transports und öffentliche Generic-Metadaten haben eigene Verträge. Toolchain-Release, Paketveröffentlichung und öffentlicher Support sind verschiedene Entscheidungen.	GitHub-Repository
Breiter Native- und Anwendungssupport `broad-platform-support`	Roadmap	Drei Toolchain-Archive sind veröffentlicht, begrenzte Browser-/Mobile-/Desktop-Profile existieren. Eine vollständig unterstützte Anwendungsplattform über Browser, physische Geräte, Betriebssysteme und Installationsabläufe bleibt eine umfassendere Produktanforderung.	Vollständiger Support nicht belegt	Drei Toolchain-Archive sind veröffentlicht, begrenzte Browser-/Mobile-/Desktop-Profile existieren. Eine vollständig unterstützte Anwendungsplattform über Browser, physische Geräte, Betriebssysteme und Installationsabläufe bleibt eine umfassendere Produktanforderung.	GitHub-Repository
Allgemeine bidirektionale Ökosystem-Interoperabilität `bidirectional-ecosystem-interoperability`	Roadmap	Allgemeine ownership-sichere Fremdschnittstellen, stabile Aggregate-/Ressourcen-/Component-/Generic-ABIs, gepflegte Paketveröffentlichung und breite Host-Sprachkompatibilität bleiben offen. Metadaten, generierter Code und private Host-Fixtures erfüllen diese Anforderung nicht.	Vollständiger Support nicht belegt	Allgemeine ownership-sichere Fremdschnittstellen, stabile Aggregate-/Ressourcen-/Component-/Generic-ABIs, gepflegte Paketveröffentlichung und breite Host-Sprachkompatibilität bleiben offen. Metadaten, generierter Code und private Host-Fixtures erfüllen diese Anforderung nicht.	GitHub-Repository

// 02

Aussagen, die diese Seite bewusst nicht macht

Keine Garantie für Produktionstauglichkeit, allgemeine Speichersicherheit oder Fehlerfreiheit.
Ein erfolgreicher Workflow deckt ausgewählte Gates ab, nicht ignorierte Tests oder jede Ziel-/Funktionskombination.
Interne Ownership/Generic-Implementierung begründet keine stabile öffentliche generische ABI.
Generierte Rust/npm-Pakete und Project-v8-v11-Promotion bleiben getrennt vom Toolchain-Release.
Quellcode-Agentenstufen nutzen den beibehaltenen Interpreter; native/Wasm-Bibliotheken belegen keine Agentenparität.
Provider-Transport, Zugangsdaten, Speicher, Authentifizierung und Signierung bleiben explizite Host-Aufgaben.
Wiederherstellungsbelege garantieren weder genau einmalige Netzwerk-/Zahlungsaktionen noch korrekte Provider-Rechnungen.
Allgemeine Token-, Latenz-, Qualitäts- oder Kostenvorteile gegenüber anderen Sprachen sind nicht belegt.

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. GitHub-Repository.

// REF

Primärquellen für diese Seite

// FAQ

Fragen, ohne Hype beantwortet

Was bedeutet Demonstriert?

Ein benanntes Artefakt oder ein Ausführungspfad bestand seinen Gate unter klaren Einschränkungen. Das ist kein vollständiger Sprach- oder Plattformstatus.

Beweist grüne CI Sicherheit?

Nein. Sie stützt die geprüften Invarianten und Fehlerpfade, nicht die Abwesenheit aller Schwachstellen.

Forschungsprojekt von Wavect: Wavect GmbH. Von Wavect als Open-Source-Forschungsprojekt für Programmiersysteme entwickelt.