EVIDENZ · 933196B · 2026-10-15

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

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

Version 0.9.0 verweist auf Commit 933196b und wurde am 11. Oktober 2026 nach 91 erfolgreichen Release-Jobs veröffentlicht. Die Prüfung vom 15. Oktober umfasst Installer, fünf native Ziele, Routing, Diagnosen und separat begrenzte Quellcode-Erweiterungen. Das Register trennt ausführbare Teilprofile, lokale Messungen und offene Gates.

semaprax://evidencev0.9.0
entity     Semaprax
status     beta
snapshot   933196b
authority  github.com/wavect/semaprax

Was implementiert Semaprax heute?

Die Beta liefert fünf native Archive und geprüfte Installationsabläufe. Der Tag enthält semantische Änderungen, Quellcode-Regeln, typisierte Agents, ausgewählte Rust-/Wasm-Grenzen, Richtlinienrouting, geschützte Entwicklungsabläufe und begrenzte Kommando-/Datenprofile. Die Gesamtmatrix bleibt bei 55 Partial, 0 Implemented, 0 Missing. Lernendes Routing ist unqualifiziert, das aktuelle Gate nativer Project-Tests offen und öffentliche Generic-Unterstützung weiterhin unsupported und unpublished.

Evidenzregister der Funktionen

Status des Gesamtprodukts 55 Teilweise · 0 Implementiert · 0 Fehlend

Aktueller StatusQuellstatusEvidenz und HerkunftVeröffentlichungsstatusUnterstützter UmfangEvidenz
Maßgeblicher Quelltext und stabile Identität
stable-semantic-program-graph		TeilweiseExakte Project- und Rust-Jobs bestanden die zugelassenen Graph-Verträge; das vollständige Semantikziel bleibt Teilweise.Begrenztes Beta-Quell-/Toolchain-ProfilLesbarer `.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		TeilweiseBegrenzter typisierter Kontext, Replay kompakter Daten und eingecheckte lokale Tokenizer-Vergleiche sind implementiert.Begrenztes Beta-Quell-/Toolchain-ProfilExakten Graph- oder Aufgabenkontext mit Grenzen für Tiefe, Richtung, Knoten und Bytes wählen. Model-text v2 verringert Tokens bei ausgewählten großen Eingaben und vergrößert kleine. Berichte erhalten Tokenizer und Vergleichsgrenze.GitHub-Repository
Semantische Änderungen statt beliebiger Neufassungen
revision-bound-semantic-patches		TeilweiseExakte Source-Repair- und Project-Jobs bestanden begrenzte Änderungsverträge; beliebige Repository-Umschreibungen sind ausgeschlossen.Begrenztes Beta-Quell-/Toolchain-ProfilKontext 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		TeilweiseProject Product Acceptance bestand unter Linux, macOS und Windows; Veröffentlichung braucht weiterhin ausdrückliche Befugnis.Begrenztes Beta-Quell-/Toolchain-ProfilVerwaltete 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		TeilweiseRevisionsgebundene Evidenz ist implementiert und der Release-Claim-Abgleich bestand; ein Beleg erteilt keine Änderungsbefugnis.Begrenztes Beta-Quell-/Toolchain-ProfilEvidenz 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		TeilweiseProject Manifest, Product Acceptance und installierte Toolchain-Reise bestanden; Service-Hosts haben eigenen Umfang.Begrenztes Beta-Quell-/Toolchain-ProfilManifeste definieren deklarierte Quellen, Einstiegspunkte, Tests und Exporte. Die mitgelieferten Vorlagen für Rechner, Bibliothek und Dienst haben eigene Profile. new erzeugt ein neues Projekt aus einkompilierten Dateien. Quellcode-Prüfung, interpretierte Tests und Ziel-Builds folgen dem ausgewählten Manifestvertrag.GitHub-Repository
Interpreter-, Native- und Core-Wasm-Ausführung
native-and-wasm-lowering		TeilweiseFünf Plattformarchive und ausgewählte native/Wasm-Gates bestanden; Zulassungsgrenzen gelten je Laufzeitprofil.Begrenztes Beta-Quell-/Toolchain-ProfilZugelassene Profile für Skalare, eigene Daten, Generics, Collections und unveränderliche Listen laufen mit Interpreter, nativem C11/Clang und Core Wasm unter profilspezifischer Konformität. Optionale Hosts für Agent-Stufen werden separat gebunden; normale yields werden beim Native/Wasm-Export weiterhin abgelehnt.GitHub-Repository
Begrenzte skalare JavaScript/TypeScript-Exporte
public-wasm-scalar-exports		TeilweiseDer exakte Chromium-Job für skalare Exporte bestand; andere Browser und Owned-Data-Pakete bleiben getrennt.Begrenztes Beta-Quell-/Toolchain-ProfilSkalare 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		TeilweiseAGENT-06-Jobs für Lebenszyklus und Client waren unter Linux, macOS und Windows erfolgreich. Live-Standardpfade verwenden weiterhin den Interpreter. Für optional bereitgestellte Ziel-Hosts gelten eigene begrenzte Nachweise.Begrenztes Beta-Quell-/Toolchain-ProfilTypisierte Quellcode-Rollen steuern Initialisierung, Beobachtung, Modellvorschläge, Autorisierung, Effekte und Zustandsreduktion. Gebundene Proposal-Schemas begrenzen die Dekodierung. Live-Standardpfade verwenden den Interpreter. Ausgewählte Bibliothekspfade können bereitgestellte native C11/Core-Wasm-Hosts für Stufen unter eigenen lokalen Paritäts- und Wiederherstellungsprüfungen nutzen.GitHub-Repository
Ownership und reproduzierbares Cleanup
ownership-inspired-memory-management		TeilweiseGEN-05B- und Rust-Jobs bestanden zugelassene Ownership-Profile; allgemeine Lebensdauersicherheit bleibt offen.Begrenztes Beta-Quell-/Toolchain-ProfilEigene und geliehene Werte, Aufräumpläne, ausgewählte Records/Varianten und Ressourcenkompositionen sind ausführbar. Begrenzte Callbacks mit eigenen Bytes, skalaren Snapshots, transaktional veränderlichem Zustand und synchron geliehenen Texten haben Kontrollen für Move, Escape und Cleanup. Allgemeine Lebensdauern, beliebige Capture-Formen und öffentliche Borrowing-ABIs bleiben offen.GitHub-Repository
Eine breitere Sprache für den Alltag
everyday-language-and-collections		TeilweiseDer exakte STD-08-Bibliotheksjob bestand; vollständige Everyday-Bibliothek und physische Provider bleiben offen.Begrenztes Beta-Quell-/Toolchain-ProfilRecords, Varianten, Klassen, Vererbung, begrenzte Generic-Inferenz, Option/Result, Mutation, Schleifen, Vektoren, Iteratoren, Funktionswerte und begrenzte Closures ermöglichen nutzbare Programme. Das unveränderliche List<i64> ergänzt persistente Konstruktoren und quellgebundene Regelbeispiele. Weitergehende Constraints und Feature-Kombinationen behalten ihre Grenzen.GitHub-Repository
Budgets, dauerhafte Wiederherstellung und Modellaufrufe
model-budgets-and-durable-recovery		TeilweiseAGENT-06-Jobs bestanden begrenzte Lifecycle- und Abrechnungspfade; Providerrechnungen und Host-Policy bleiben extern.Begrenztes Beta-Quell-/Toolchain-ProfilExplizite 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		ExperimentellFür den begrenzten Referenz-Snapshot-Host liegen lokale Paketnachweise und ausgewählte gehostete Linux/Podman-Nachweise vor. Berechtigungen wirtschaftlich handelnder Agenten werden weiterhin explizit bereitgestellt.Begrenztes Beta-Quell-/Toolchain-ProfilPfade des Referenzdienstes verbinden geprüfte Entscheidungen zu Sitzungen, Aufgaben und Jobs mit Snapshot-Persistenz und ausgewählter JSON-Event- oder OTLP-Telemetrie. SQL-Adapter werden abgelehnt. Bei wirtschaftlich handelnden Agents bleiben Wallet, Simulation, Freigabe, Signierung und Abgleich explizite Zuständigkeiten. Daraus folgt keine externe Exactly-once-Garantie.GitHub-Repository
Generierte Grenzen bleiben profilspezifisch
owned-data-package-previews		EntwicklervorschauProject Product Acceptance und Native-Rust-SDK bestanden auf drei Hosts; Veröffentlichung generierter Pakete ist offen.Generierte/private Vorschau; Veröffentlichung und öffentlicher Support sind getrennte EntscheidungenProject 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		RoadmapDrei 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 belegtDrei 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		RoadmapAllgemeine 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 belegtAllgemeine 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
Signierte Release-Provenienz
release-provenance		DemonstriertVeröffentlicht am 11. Oktober 2026 um 15:07 UTC. Alle 91 Jobs des Veröffentlichungslaufs für den exakten Tag waren erfolgreich. Fünf Toolchain-Archive und zwei Installer enthalten SHA256SUMS, fünf Archiv-Attestierungen und unabhängig geprüfte signierte Gesamtnachweise. Native Installationsabläufe sind Veröffentlichungsgates. Keine Notarisierung oder Zusage reproduzierbarer Builds; Offline-Prüfung bestätigt keinen aktuellen Widerrufsstatus.Beta-Toolchain und Provenienzdateien veröffentlichtVeröffentlicht sind fünf Archive, zwei Installer, Prüfsummen und fünf Attestierungen. Der Release-Job prüft signierte Gesamtnachweise und Kandidatengleichheit nach nativen Installationstests; keine Notarisierung oder Reproduzierbarkeitszusage.GitHub-Repository
Compilererzeugte generische Target-Grenze
public-generic-compiled-boundaries		EntwicklervorschauDas exakte generische Tag-Gate bestand unter Linux, macOS und Windows; ein privater geprüfter Core-Wasm-Provider, TypeScript-Carrier und Native-Settlement-Korpus laufen.Unveröffentlichtes privates Profil; PG-9 bleibt nicht unterstütztEin zugelassener generischer Endpunkt und begrenzte Consumer-/Settlement-Fälle sind real. Breitere Formen, öffentliche ABI und Paketveröffentlichung bleiben offen.GitHub-Repository
Optionale native und Wasm-Stufen für Agents
source-agent-target-parity		EntwicklervorschauBegrenzte Agent-Stufen aus Quellcode laufen über versiegelte Interpreter-, native C11- und Core-Wasm-Pfade mit ausgewählten lokalen Prüfungen für Parität, Wiederherstellung und Migration.Explizite Zielauswahl in der Bibliothek; Live-Standardpfade verwenden weiterhin den InterpreterEin Host stellt die gehaltene native oder Wasm-Laufzeit explizit bereit. Das belegt weder allgemeine Instruktionsmessung noch uneingeschränkte Cleanup- oder Finalizer-Parität, sämtliche Quellcode-Profile oder breite Unterstützung produktiv bereitgestellter beziehungsweise gehosteter Agent-Ausführungsziele.GitHub-Repository
Begrenzte Quellcode-yields und dauerhafte Fortsetzungen
bounded-resumable-effects		ExperimentellInterpreter-Profile erlauben sequenzielle und kontrollflussabhängige yields, ausgewählte Übergaben eigener Bytes und authentifizierte dauerhafte Quellcode-Wiederherstellung. Ein öffentlicher Teilbereich für Agents mit Ownership hat Prüfungen für zwei Runden und ausgewählte Prozessneustarts.Keine öffentliche Native/Wasm-Continuation-ABIJedes Profil begrenzt Unterbrechungsstellen, eigenen Zustand und Wiederherstellungsphasen. Normale Native/Wasm-Emitter lehnen Funktionen mit yield weiterhin ab. Allgemeines Scheduling, beliebige Fortsetzungen mit Ownership, universelle Migration und eine stabile öffentliche Continuation-ABI bleiben offen.GitHub-Repository
Lokale signierte Registry-v3-Prüfung
signed-registry-local-trust		ExperimentellProducergebundene Roots und Leaves, signierte Metadaten, gehaltene Generationen, Lock-gebundene Artefaktreads und Cache-Brücke besitzen lokale Gates.Keine Hosted-Registry oder öffentliche VerteilungLokale signierte Evidenz gewährt keine impliziten Fetch-, Ausführungs- oder Veröffentlichungsrechte. Produktions-Roots, Netztransport und Support bleiben getrennt.GitHub-Repository
Gepinnter Lean-Proof und Obligation-Gate
lean-kernel-obligation-gate		DemonstriertDer exakte Hosted-Lean-Job bestand Kernel-0-Proof, Axiom-Audit, generierten Obligation-Export und Differentialkorpus.Begrenzter Forschungsbeweis, kein allgemeines SicherheitszertifikatDer Beweis deckt nur seinen formalen Kernel-0-Ausschnitt ab, nicht die gesamte Sprache, alle Backends oder das Fehlen von Schwachstellen.GitHub-Repository
Quellcode-Regeln und erneut geprüfte Beweise
source-laws-and-proofs		TeilweiseNative Regelsyntax, ausgewählte Regelinventare, geschützte Reparaturen und begrenzte Profile für installierte Lean/Z3-Werkzeuge haben ausführbare Erfolgsnachweise sowie Mutations- und Ablehnungskontrollen.Begrenzte Quellcode- und BeweiswerkzeugprofileVertragsregeln, relationale, modulare skalare, endliche strukturierte, Protokoll- und Listenregeln erhalten exakte Quellcode- und Beweisidentitäten. Nicht unterstützte Ziele bleiben offen oder werden abgelehnt. Compiler-Absenkung, Fremdcode-Interna und externe Seiteneffekte liegen außerhalb einer allgemeinen Beweiszusage.GitHub-Repository
Erweiterte native Rust-Integration
native-rust-rich-interop		EntwicklervorschauEs gibt ausgewählte Imports, generierte Besitzer, Ansichten und Callbacks sowie Prüfungen echter Regex/Url-, Serde/Iterator- und reqwest/Tokio-Anwendungen.Generierte Entwicklervorschauen; ausgewählte native SignaturenAn Besitzer gebundene Ansichten sowie begrenzte FnOnce-, FnMutI64- und synchrone Captures geliehener Texte erhalten ihre spezifischen Lebensdauer- und Rollback-Verträge. Anwendungsbelege enthalten schlechteren Durchsatz und Grenzen des Gasthosts. Aussagen über beliebige Crates, allgemeine ABIs oder Ausführung ohne Mehraufwand bleiben offen.GitHub-Repository
Rust-Futures im selben Thread
local-rust-futures		EntwicklervorschauFür generierte lokale Future-Handles, ausgewählte Quellcode-yields, vom Aufrufer bereitgestellte Executors und echte HTTP-, Abbruch- und Shutdown-Kontrollen liegen lokale Nachweise vor.Begrenzte lokale generierte und vom Project ausgewählte ProfileDer Host stellt Executor und Laufzeit bereit. Eine zugelassene Quellcode-Unterbrechung und die exakte Project-Revision werden an den generierten Adapter gebunden. Streams, Ausführung über Thread-Grenzen hinweg, dauerhafter beliebiger Future-Zustand und universelle Async-Imports bleiben gesonderte Themen.GitHub-Repository
Entwicklungswerkzeuge mit Compiler-Anbindung
compiler-assisted-harness		ExperimentellFür Rückmeldungen zu Aufgaben, Plänen und Reparaturen, Anbieter-Locks und Vertrauen, Suche, offizielle Skills, Modellauswahl und Bridge/MCP gibt es lokale und ausgewählte gehostete Linux-Nachweise.Entwicklungswerkzeuge der vollständigen Toolchain und eigenständiger Host; explizite ProjekteinrichtungJe Projekt ausgewählte Graft/Graphify-Integrationen, RTK-Ansichten und Ponytail/Caveman-Skills unterstützen begrenzte Abläufe. WikiSkill-Weiterentwicklung und Routing-Qualifikation sind explizite Prüfschritte. Windows, breitere Modell- und Plattformergebnisse sowie automatische Standardänderungen benötigen weitere Nachweise.GitHub-Repository
Geprüfter Hot Reload während der Entwicklung
checked-hot-reload		EntwicklervorschauBeibehaltene Interpreter-Sitzungen und VS-Code-Steuerungen bestehen ausgewählte macOS-arm64-Prüfungen für Aktivierung, Ablehnung, sichere Umschaltpunkte und Lebenszyklus.Begrenzte lokale dev-Sitzung; Quellcode-Agent-Migration ist ein separater PfadKandidaten werden vor der Aktivierung geprüft; ungültige Änderungen lassen die aktive Revision nutzbar. Der Reload der dokumentierten kleinen Testanwendung ist langsamer als ein Neustart. Andere Betriebssysteme, native/Wasm-Zustandswechsel und die Einführung im Produktivbetrieb sind durch dieses Ergebnis nicht abgedeckt.GitHub-Repository
Erfassung von Kontext, Tokens und Aufgabenkosten
task-token-accounting		TeilweiseExakte lokale Tokenizer-Berichte, Sitzungsaggregation und normalisierte Anbieterbelege sind implementiert. Die dokumentierte kostenpflichtige Kampagne qualifizierte keine Änderung der Standardeinstellungen.Lokale Messung und explizite Profile zur Erfassung der AnbieternutzungVergleichbare ausgewählte Inhalte, Tokenizer-Fingerprints, Reservierungen, beobachtete Nutzung und gemeldete oder geschätzte Geldbeträge getrennt halten. Fehlende Nutzung bleibt nicht verfügbar; fehlgeschlagene Aufrufe werden weiterhin erfasst. Die beste dokumentierte Einsparung erreichte die festgelegte Schwelle nicht.GitHub-Repository
Ohne Checkout installieren
verified-installers		TeilweiseShell- und PowerShell-Installer prüfen Archiv und Manifest, testen das bereitgestellte Programm und aktivieren es atomar im Benutzerkonto. Herausgeberprüfung bleibt von Prüfsummen getrennt.Begrenzte Beta-Implementierung; Qualifikation gilt je ProfilShell- und PowerShell-Installer prüfen Archiv und Manifest, testen das bereitgestellte Programm und aktivieren es atomar im Benutzerkonto. Herausgeberprüfung bleibt von Prüfsummen getrennt.GitHub-Repository
Modell- und Werkzeugwahl erklären
shared-model-routing		ExperimentellEin Entscheidungskern bedient Entwicklung und Laufzeit. Regeln sind Standard; Adapter empfehlen nur vorgeprüfte Modellprofile, Werkzeuge oder Spezialisten. Empfehlungen erteilen keine Befugnisse und ersetzen keine Autorisierung.Begrenzte Beta-Implementierung; Qualifikation gilt je ProfilEin Entscheidungskern bedient Entwicklung und Laufzeit. Regeln sind Standard; Adapter empfehlen nur vorgeprüfte Modellprofile, Werkzeuge oder Spezialisten. Empfehlungen erteilen keine Befugnisse und ersetzen keine Autorisierung.GitHub-Repository
Zwischen bestätigten Runden wechseln
durable-turn-routing		TeilweiseVom Host genehmigte Deployments wechseln nur an dauerhaft bestätigten Rundengrenzen. Übergaben behalten Digests und begrenzten Zustand; unklare Modell- oder Effektaufrufe stoppen zur Klärung statt das Modell zu wechseln.Begrenzte Beta-Implementierung; Qualifikation gilt je ProfilNur eine bestätigte abgeschlossene Runde öffnet eine neue Route. Übergaben enthalten höchstens 16 KiB Zustand, Ausgabedigests und Ergebnisreferenzen, kein Transkript. Delegation reserviert Elternbudget und übernimmt die Frist. Werkzeug- und Spezialistenwahl wird anhand aktueller Grants und Schemas erneut autorisiert; Ungewissheit stoppt zur Klärung.GitHub-Repository
Präzisere Reparaturhinweise
agent-repair-guidance		TeilweiseDiagnosen nennen genaue Imports, Literal-Suffixe, Ownership-Reparaturen und Effektdeklarationen. Installierte Sprachthemen und die erzeugte AGENTS.md führen durch kleine Prüfschritte. VS Code kann den Compiler auswählen und prüfen.Begrenzte Beta-Implementierung; Qualifikation gilt je ProfilDiagnosen nennen genaue Imports, Literal-Suffixe, Ownership-Reparaturen und Effektdeklarationen. Installierte Sprachthemen und die erzeugte AGENTS.md führen durch kleine Prüfschritte. VS Code kann den Compiler auswählen und prüfen.GitHub-Repository
Begrenzte Kommando- und Datenprofile
native-command-resource-output		TeilweiseDer Tag enthält native Project-v26/v28-Kommandos, strikte JSON-Prüfung und begrenzte ASCII-Muster. Zulassung und Evidenz gelten je Profil; für die implementierten nativen Tests steht das aktuelle Ausführungsgate noch aus.Begrenzte Beta-Implementierung; Qualifikation gilt je ProfilProject-v26/v28-Kommandos sind rein nativ. v28 erlaubt 1 MiB je String und 1 MiB gemeinsame gepufferte Ausgabe mit begrenztem Append; Dateilese- und Befugnisgrenzen bleiben erhalten. std.data.json.scan prüft vollständiges UTF-8-JSON mit expliziter Duplikatregel; std.pattern ist ein begrenzter ASCII-Byte-Matcher. Andere Interpreter-, Wasm- oder öffentliche API-Profile werden dadurch nicht erweitert.GitHub-Repository
Negative Beweisergebnisse erhalten
law16-retained-campaigns		DemonstriertEine separate LAW16-Claude-Kampagne absolvierte 20 Versuche für 0,291235 USD: 19 bestanden unabhängige Kandidaten-/Angriffsprüfungen, ein Bend-Kandidat scheiterte. Neun Vergleichspaare bestanden vollständig; daraus folgt kein allgemeines Sprach- oder Kostenranking.Begrenzte Beta-Implementierung; Qualifikation gilt je ProfilEine separate LAW16-Claude-Kampagne absolvierte 20 Versuche für 0,291235 USD: 19 bestanden unabhängige Kandidaten-/Angriffsprüfungen, ein Bend-Kandidat scheiterte. Neun Vergleichspaare bestanden vollständig; daraus folgt kein allgemeines Sprach- oder Kostenranking.GitHub-Repository
Grenzen der Entwicklungswerkzeuge härten
harness-protocol-hardening		TeilweiseUpdates erhalten Widerrufe bei parallelen Schreibzugriffen, Abbruch bleibt endgültig, Bridge-Warteschlangen sind begrenzt und Protokollverstöße bleiben isoliert. Graft-Ausgaben passen ins Anfragebudget; Graphify-Ergebnisse bleiben an die Anfrage gebunden.Begrenzte Beta-Implementierung; Qualifikation gilt je ProfilUpdates erhalten Widerrufe bei parallelen Schreibzugriffen, Abbruch bleibt endgültig, Bridge-Warteschlangen sind begrenzt und Protokollverstöße bleiben isoliert. Graft-Ausgaben passen ins Anfragebudget; Graphify-Ergebnisse bleiben an die Anfrage gebunden.GitHub-Repository
Striktes JSON und begrenzte ASCII-Muster
strict-json-and-ascii-patterns		TeilweiseStrikte JSON-Prüfung hat gezielte lokale Interpreter-/Native-/Core-Wasm- und Bundling-Prüfungen; der Musterkatalog dokumentiert ein begrenztes Quellpaket.Additive Quellpakete; keine universelle Regex- oder JSON-Objekt-APIstd.data.json.scan prüft vollständige geliehene UTF-8-Dokumente mit begrenzter Tiefe und expliziter Duplikatregel für dekodierte Schlüssel. std.pattern verarbeitet begrenzte ASCII-Bytes mit flachen Captures und Arbeitslimits; allgemeine Regex- und Unicode-Zeichensemantik bleiben außerhalb.GitHub-Repository
Gate nativer Project-Tests bleibt offen
native-project-tests-pending		EntwicklervorschauDie Spezifikation im Tag markiert das aktuelle Ausführungsgate als ausstehend. Implementierter Quellcode ist kein bestandener Nachweis.Implementiertes Opt-in-Profil, keine Supportfreigabesemaprax test <project> --target native wählt authentifizierte v26/v28-Testwurzeln, standardmäßig mit 10 Sekunden und 65.536 Bytes je Wurzel. Kompilierung liegt außerhalb des Timeouts. Interpreterverhalten und Ablehnungen bleiben erhalten; keine gehostete oder Gerätequalifikation.GitHub-Repository

Grenzen, die weiterhin bestehen

  • Die Nachweise der Betaversion belegen weder Produktionsreife noch universelle Speichersicherheit oder Fehlerfreiheit.
  • Ein erfolgreicher Workflow deckt die tatsächlich ausgeführten Prüfungen ab. Ignorierte Tests, nicht bereitgestellte Hosts und zusätzliche Zielkombinationen benötigen eigene Nachweise.
  • Beweise nativer Regeln decken ihre ausgewählte Semantik und Annahmen ab. Sie beweisen weder beliebige Rust-Interna noch sämtliche Compiler-Absenkungen oder externe Abwicklungen.
  • Die Veröffentlichung generierter Rust/npm-Pakete, öffentliche Unterstützung generischer ABIs und die breitere Freigabe von Project-Profilen bleiben getrennte Entscheidungen.
  • Live-Standardpfade für Agents verwenden den Interpreter. Optionale native/Wasm-Stufenpfade mit vom Aufrufer bereitgestellten Hosts haben begrenzte Nachweise, keine uneingeschränkte Backend-Parität.
  • Modellanbieter, Zugangsdaten, Speicher, Wallet-Signierung und externe Berechtigungen bleiben explizit konfigurierte Aufgaben des Hosts.
  • Dauerhafte Wiederherstellung erhält Ungewissheit; sie garantiert keine exakt einmalige Netzwerk- oder Zahlungsausführung und keine bestimmte Anbieterabrechnung.
  • Kleinere kompakte Inhalte und kostenpflichtige Versuche belegen keinen allgemeinen Vorteil bei Tokens, Latenz, Qualität oder Aufgabenkosten.
// STATUS

Repository-Status zum geprüften Snapshot

Repository-Snapshot933196b · 2026-10-15. Das Tag v0.9.0 verweist auf den festgehaltenen Quellcommit. Die exakte Tag-CI war erfolgreich. Daraus folgt keine allgemeine Produktions- oder Sicherheitsgarantie.
Status des Gesamtprodukts55 Teilweise · 0 Implementiert · 0 Fehlend
Graph- und ProjektvertragKanonischer Quellcode, stabile IDs und geprüfte Compiler-Repräsentationen verbinden Regeln, semantische Abfragen, Änderungen und Ausführung. Die je nach Feature gewählten Graph- und Project-Schemas behalten ihre eigenen Vorgaben für Zulassung, Kompatibilität und Host-Berechtigungen.
Veröffentlichte Betaversionv0.9.0 · Veröffentlicht am 11. Oktober 2026 um 15:07 UTC. Alle 91 Jobs des Veröffentlichungslaufs für den exakten Tag waren erfolgreich. Fünf Toolchain-Archive und zwei Installer enthalten SHA256SUMS, fünf Archiv-Attestierungen und unabhängig geprüfte signierte Gesamtnachweise. Native Installationsabläufe sind Veröffentlichungsgates. Keine Notarisierung oder Zusage reproduzierbarer Builds; Offline-Prüfung bestätigt keinen aktuellen Widerrufsstatus. Exakte Tag-CI.
Paket- und API-VorschauDie Veröffentlichung enthält nutzbare Profile für die Sprache, Quellcode-Regeln, Entwicklungswerkzeuge und Host-Integrationen. Für generierte Rust/npm-Pakete, öffentliche generische ABIs und weitere Plattformen gelten weiterhin eigene Entscheidungen über Veröffentlichung und Unterstützung.

Am 15. Oktober 2026 anhand von v0.9.0, veröffentlichten Dateien und Release-Lauf geprüft. Installationshandbuch und Kanalregister im Tag zeigen noch Beispiele für v0.8.0; nutze die hier festgehaltenen v0.9.0-Downloads. Ältere Matrix- und Roadmap-Überschriften sind historisch. Das Live-Handbuch folgt main und kann neuere Arbeit beschreiben. GitHub-Repository.

// DOCS

Das Semaprax-Handbuch öffnen

Das Online-Handbuch ist die englische Anleitung aus main und kann Änderungen nach 0.9.0 behandeln. Nutze den fixierten Snapshot, um diese Veröffentlichung nachzuvollziehen.

Aktuelles Handbuch

Der aktuelle englische Lernpfad, veröffentlicht aus main.

Handbuch-Snapshot von 0.9.0

Die Handbuchdateien am exakt geprüften Release-Commit.

Dein erstes Projekt erstellen

Aktuelle englische Anleitung zu Rechner-Manifest, Prüfungen, Tests und Builds.

Die Grundlagen der Sprache lernen

Aktuelle englische Einführung in Werte, Funktionen und Quellcodestruktur.

Mit einem Coding-Agenten arbeiten

Aktuelle englische Anleitung zu semantischem Kontext und sicheren Änderungsabläufen.

CLI-Referenz für 0.9.0

Fixierte Befehlsformen und die Abgrenzung zwischen eigenständiger CLI und vollständiger Toolchain.

VS-Code-Erweiterung

Fixierte Einrichtung, semantische Navigation, Review und Entwicklungssteuerung.

Ausführbare Beispiele

Fixierte Beispiele für Sprache, Projekte, Regeln, Agents und Host-Integrationen.

// REF

Primärquellen für diese Seite

Am 15. Oktober 2026 anhand von v0.9.0, veröffentlichten Dateien und Release-Lauf geprüft. Installationshandbuch und Kanalregister im Tag zeigen noch Beispiele für v0.8.0; nutze die hier festgehaltenen v0.9.0-Downloads. Ältere Matrix- und Roadmap-Überschriften sind historisch. Das Live-Handbuch folgt main und kann neuere Arbeit beschreiben.

  1. Veröffentlichte Dateien von v0.9.0
  2. 91 erfolgreiche Jobs für den exakten Release-Tag
  3. Signierte Herkunft und unabhängige Prüfung
  4. Gesamtzielmatrix und exakt abgegrenzte Nachweise
  5. Quellcode-Regeln und ausgewählte Beweisanforderungen
  6. Wiederverwendbare Regelpakete und Mutationskontrollen
  7. Abnahme von Rust-Anwendungen und gemessener Mehraufwand
  8. Qualifikation der Entwicklungswerkzeuge nach Aufgaben und Kosten
  9. Hot-Reload-Messungen und Plattformgrenzen
  10. Entscheidung zur öffentlichen Unterstützung generischen Ownerships
  11. Changelog und Release-Historie im Tag
  12. Installer-Prüfung und Plattformvoraussetzungen
  13. Laufzeitrouting, Übergabe und Wahlbefugnisse
  14. Routing-Unterstützung und nicht ausgewertetes Gate
  15. LAW16-Versuche, negative Ergebnisse und Grenzen
  16. Vertrag nativer Kommandos mit Ressourcenausgabe
  17. Strikter JSON-Dokumentscanner
  18. Standardbibliothekskatalog und Mustergrenzen
  19. Native Project-Tests und offenes Ausführungsgate
  20. Homebrew-Formel: beide v0.9.0-macOS-Archive
  21. Kanalprüfung nach Veröffentlichung
  22. WinGet-Einreichung: bei Prüfung noch offen
// FAQ

Fragen und praktische Antworten

Was bedeutet Demonstriert?

Ein benanntes Artefakt oder ein Ausführungspfad hat seine eigene Prüfung unter den angegebenen Quellcode-, Host- und Feature-Bedingungen bestanden. Die Übersicht führt auch Profile mit den Zuständen Partial, Developer preview und Experimental. Ein nachgewiesener Teilbereich belegt keine vollständige Sprach- oder Plattformunterstützung.

Beweist grüne CI Sicherheit?

Sie liefert Nachweise für die tatsächlich ausgeführten Prüfungen, einschließlich Erfolgs- und Fehlerpfaden. Version 0.9.0 enthält außerdem signierte Release-Herkunft und Archivattestierungen. Diese Prüfungen beweisen keine Schwachstellenfreiheit, decken nicht jeden ignorierten oder separat bereitgestellten Test ab und machen aus einem begrenzten Beweis keine Korrektheitszusage für die gesamte Sprache.

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