Was der v0.2-Prototyp belegt, und was nicht.
Evidenz hat einen Status, einen Umfang und ein Prüfdatum.
Das Repository ist ein ausführbarer Architekturkeim. Ein erfolgreicher begrenzter Gate belegt nur den benannten Sprachumfang, das Artefakt, den Host und das Fehlerverhalten.
entity Semaprax
status Pre-Alpha-Forschung
verified 2026-08-11
authority github.com/wavect/semapraxWas implementiert Semaprax heute?
Semaprax v0.2 implementiert eine kleine typisierte Sprache, stabile Graphidentität, begrenzten Agentenkontext, revisionsgebundene Patch-Familien, fail-closed Verifikation sowie deterministisches natives und Browser/Wasm-Lowering für dokumentierte Teilmengen.
Evidenzregister der Funktionen
| Aktueller Status | Evidenzstatus | Umfang | Geprüft | Evidenz |
|---|---|---|---|---|
Stabiler semantischer Programmgraphstable-semantic-program-graph | Implementiert | Versioniertes Graph-v10-v14-JSON für die dokumentierte typisierte Teilmenge, mit persistenten Identitäten und gemeinsamem validiertem HIR. | 2026-08-11 | GitHub-Repository |
Begrenzter Agentenkontextbounded-agent-context | Implementiert | Agent Context v1 plus v2-Aufruftraversierung mit deterministischen Byte-, Knoten-, Tiefen- und Frontier-Grenzen. | 2026-08-11 | GitHub-Repository |
Revisionsgebundene semantische Patchesrevision-bound-semantic-patches | Implementiert | Atomic Patch v1 und begrenzte Patch-v2-Operationen mit exakten Revisionen, Stale-Ablehnung und semantischer Deltaprüfung. | 2026-08-11 | GitHub-Repository |
Semantische Reviews und Evidenzkapselnsemantic-evidence-capsules | Demonstriert | Begrenzte Review-, Impact-, Target-, Patch- und Workspace-Evidenzwege mit deterministischen Artefakten und Nichtaussagen. | 2026-08-11 | GitHub-Repository |
Native- und Browser/Wasm-Loweringnative-and-wasm-lowering | Demonstriert | Dokumentierte Sprach- und Ownership-Teilmengen durch C11/Clang und reale Node/Wasm-Gates. | 2026-08-11 | GitHub-Repository |
Ownership-inspiriertes Speichermanagementownership-inspired-memory-management | Experimentell | Explizite own-, borrow- und shared-Grenzen, Move-Prüfung und begrenzte Cleanup-Protokolle. Keine Rust-Kompatibilität. | 2026-08-11 | GitHub-Repository |
Breite native Plattformunterstützungbroad-platform-support | Roadmap | Allgemeiner Support für macOS, Windows, Linux, Web, iOS und Android jenseits heutiger begrenzter Gates. | 2026-08-11 | GitHub-Repository |
Bidirektionale Ökosystem-Interoperabilitätbidirectional-ecosystem-interoperability | Roadmap | Langfristiges Ziel für typisierte, ownership-sichere Grenzen zu bestehenden Sprachen und Paketen. Keine Prozentangabe. | 2026-08-11 | GitHub-Repository |
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.
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.