EVIDENZREGISTER · SNAPSHOT 036CC69 · 2026-09-02
Was der v0.2-Prototyp belegt, und was nicht.
Evidenz hat einen Status, einen Umfang und ein Prüfdatum.
Die Completion Matrix an Commit 036cc69 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.
entity Semaprax
status Pre-Alpha-Forschung
snapshot 036cc69
authority github.com/wavect/semaprax// STATUS
Repository-Status zum geprüften Snapshot
| Repository-Snapshot | 036cc69 · 2026-09-02. Die Dokumentation bestand, der aktuelle CI-Lauf wurde jedoch abgebrochen. Der separate v0.2.0-Release-Tag bestand alle 45 Jobs. |
|---|---|
| Status des Gesamtprodukts | 49 Teilweise · 0 Implementiert · 0 Fehlend |
| Graph- und Projektvertrag | Graph ≤ v24 · Project v1 Baseline · Project v8, v9, v10 Entwicklervorschau |
| Promotions-Baseline | 5f6fb965 · Das v0.2.0-Prerelease wurde veröffentlicht, nachdem alle 45 Jobs des exakten Tag-Laufs bestanden hatten. |
| Entwicklervorschau im Quellcode | Project v8-v10 sowie Paket-, Borrowing-, Transport- und Revision-Store-Pfade erhielten exakte gehostete Regressionsevidenz. Generierte Pakete bleiben unveröffentlicht und die Profile unpromotet. |
Was implementiert Semaprax heute?
Auf Gesamtproduktebene hat Semaprax v0.2.0 49 teilweise erfüllte Anforderungen und keine vollständig implementierte oder fehlende. Das Prerelease bestand alle 45 Jobs am exakten Tag-Commit 5f6fb965. Project v8-v10 sowie neuere Ownership-, Borrowing-, Paket-, Transport- und Revision-Store-Pfade erhielten begrenzte Regressionsevidenz, bleiben aber unpromotete Entwicklervorschauen.
// 01
Evidenzregister der Funktionen
| Aktueller Status | Quellstatus | Evidenz am exakten Head | Veröffentlichungsstatus | Unterstützter Umfang | Evidenz |
|---|---|---|---|---|---|
Funktionsabhängiger semantischer Graphstable-semantic-program-graph | Teilweise | Graph-v21-v24-Regressionen liefen im v0.2.0-Tag-Inventar; die Gesamtanforderung bleibt Teilweise. | Ä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 Agentenkontextbounded-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 Patchesrevision-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-Änderungenmanaged-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 Revisionsspeichersemantic-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-v10bounded-multi-file-project | Teilweise | Project v1 ist die promotete Baseline; v8-v10 erhielten exakte gehostete Regressionsevidenz, bleiben aber 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 Wasmnative-and-wasm-lowering | Teilweise | Der v0.2.0-Tag führte ausgewählte Interpreter-, Native-, Core-Wasm/Node-, Browser- und Paketregressionen aus; voller Support bleibt offen. | Begrenzte Forschungsartefakte | Referenzinterpreter, C11/Clang, Core Wasm/Node und Frame-Payload-Korpus. | GitHub-Repository |
Pakete und Kompatibilitätsanalysepublic-wasm-scalar-exports | Teilweise | Paketberichte, Offline Locks, Kompatibilität, Resolver, Quellkapseln und begrenzte Wasm-Builds liefen im v0.2.0-Tag-Inventar; Promotion bleibt offen. | Unveröffentlichte Entwicklervorschau | npm/Core-Wasm und sichere Rust-Route für Project v8, keine allgemeine Paketverwaltung oder ABI. | GitHub-Repository |
Agenten-Runtime und Projekttransportbounded-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 Borrowingownership-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ützungbroad-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ätbidirectional-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.