EVIDENZREGISTER · SNAPSHOT C16348F · 2026-08-29

Was der v0.2-Prototyp belegt, und was nicht.

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

Die Completion Matrix an Commit c16348f weist 49 Anforderungen als Teilweise, 0 als Implementiert und 0 als Fehlend aus. Teilweise bedeutet mindestens einen begrenzten ausführbaren Pfad, nicht dass das Produkt fast fertig ist.

semaprax://evidencev0.2

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.

Was implementiert Semaprax heute?

Auf Gesamtproduktebene hat Semaprax 49 teilweise erfüllte Anforderungen und keine vollständig implementierte oder fehlende. Frühere Promotion deckt begrenzte Semantik-, Native-, Wasm-, Workspace- und Project-v1-Pfade ab. Project v8-v10, neue Ownership- und Borrowing-Pläne, Paketanalyse, Agent Transport v5 und Revision Store v1 sind Entwicklervorschauen. Der fehlgeschlagene Gesamt-Workflow des Snapshots ist keine Verifikation.

// 01

Evidenzregister der Funktionen

Aktueller Status	Quellstatus	Evidenz am exakten Head	Veröffentlichungsstatus	Unterstützter Umfang	Evidenz
Funktionsabhängiger semantischer Graph `stable-semantic-program-graph`	Teilweise	Frühere begrenzte Evidenz plus Graph v21-v24 im Quellcode; Gesamt-Workflow c16348f fehlgeschlagen.	Ältere Schemas promotet, v21-v24 unpromotet	Legacy-Erhaltung, Owned-Record- und Variantenfakten, Shared Loan Plan und projiziertes Byte-Feld-Borrowing bis v24.	GitHub-Repository
Begrenzter Agentenkontext `bounded-agent-context`	Teilweise	Ausführbare v1/v2-Teilmengen; Repository-Kostengate offen.	Begrenzte öffentliche Forschungsfläche	Deterministische Byte-, Knoten-, Tiefen- und Frontier-Grenzen.	GitHub-Repository
Revisionsgebundene Patches `revision-bound-semantic-patches`	Teilweise	Begrenzte Patch-Familien vorhanden; Gesamtgate offen.	Begrenzte öffentliche Forschungsfläche	Exakte Revisionen, Stale-Ablehnung und ausgewählte semantische Delta-Prüfung.	GitHub-Repository
Mehrschichtige Workspace-Änderungen `managed-workspace-semantic-operations`	Teilweise	Rename- und Replacement-Slices belegt; Struktur und Veröffentlichung separat.	Workspace Operations v1 eng begrenzt	Rename, Change, Replacement, Strukturableitung und authentifizierte Veröffentlichung ohne beliebige Tree- oder Git-Autorität.	GitHub-Repository
Evidenz und Revisionsspeicher `semantic-evidence-capsules`	Teilweise	Deterministische Evidenz vorhanden; Revision Store v1 unpromotet.	Gemischt, Revision Store unveröffentlicht	Review, Impact, Target, Patch, Workspace, unveränderliche Generationen und authentifizierte Revisionen.	GitHub-Repository
Project v1 und Vorschauen v8-v10 `bounded-multi-file-project`	Teilweise	Project v1 promotet; v8-v10 am Snapshot unrun oder unpromotet.	v1 promotet, v8-v10 unveröffentlicht	v8 Bytes, Option und Result; v9 flache Owned Records; v10 Owned UTF-8 bei v1-v7-Kompatibilität.	GitHub-Repository
Interpreter, Native und Core Wasm `native-and-wasm-lowering`	Teilweise	Frühere begrenzte Ausführungsevidenz; Gesamt-Workflow c16348f fehlgeschlagen.	Begrenzte Forschungsartefakte	Referenzinterpreter, C11/Clang, Core Wasm/Node und Frame-Payload-Korpus.	GitHub-Repository
Pakete und Kompatibilitätsanalyse `public-wasm-scalar-exports`	Teilweise	Package Report v2, Offline Locks v1/v2 und Compatibility Evidence v1 authored; Gates teils unrun.	Unveröffentlichte Entwicklervorschau	npm/Core-Wasm und sichere Rust-Route für Project v8, keine allgemeine Paketverwaltung oder ABI.	GitHub-Repository
Agenten-Runtime und Projekttransport `bounded-agent-runtime`	Teilweise	Frühere Fake-Host-Evidenz; Agent Transport v5 unpromotet.	Runtime begrenzt, Transport Vorschau	Agent Context, injizierter Host und separater Projekttransport ohne allgemeine Schreib-, Wallet- oder Signaturautorität.	GitHub-Repository
Ownership, Cleanup und Borrowing `ownership-inspired-memory-management`	Teilweise	Begrenzte Ownership-Slices; neue Loan- und Feld-Borrowing-Arbeit authored.	Neuere Arbeit unpromotet	own, borrow, shared, CleanupPlan, Shared Loan Plan und projizierte Borrows; kein vollständiger Rust-Borrow-Checker.	GitHub-Repository
Breite Plattformunterstützung `broad-platform-support`	Roadmap	Begrenzte Harnesses, Gesamtgate offen.	Keine allgemeine Plattformfreigabe	Allgemeiner Support für macOS, Windows, Linux, Web, iOS und Android.	GitHub-Repository
Bidirektionale Interoperabilität `bidirectional-ecosystem-interoperability`	Roadmap	Begrenzte generierte und hostspezifische Pfade; Gesamtgate offen.	Keine stabile allgemeine öffentliche ABI	Typisierte, ownership-sichere Grenzen zu bestehenden Sprachen und Paketen.	GitHub-Repository

// 02

Aussagen, die diese Seite bewusst nicht macht

Semaprax wird nicht als produktionsreif bezeichnet.
Ein Plattform-Harness ist kein vollständiger Anwendungssupport.
Ein erzeugtes Artefakt gilt ohne eigenen Gate nicht als erfolgreich geladen oder ausgeführt.
Ownership-inspirierte Semantik ist weder Rust-Kompatibilität noch ein vollständiger Borrow Checker.

Die GitHub-Spezifikationen sind die normative Quelle. Diese Seite ist eine datierte Forschungszusammenfassung. GitHub-Repository.

// 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.