EVIDENZ · 615E501 · 2026-10-06

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

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

Version 0.8.0 verweist auf Commit 615e501 und wurde am 6. Oktober 2026 veröffentlicht, nachdem alle 82 Jobs für den exakten Release-Tag erfolgreich waren. Die Implementierung umfasst Regeln im Quellcode, eine erweiterte Rust-Integration, Entwicklungswerkzeuge mit Compiler-Anbindung und geprüftes Neuladen während der Entwicklung. Die folgende Übersicht trennt jedes funktionsfähige Profil von seinen verbleibenden Produkt- und Unterstützungsanforderungen.

semaprax://evidencev0.8.0

entity     Semaprax
status     beta
snapshot   615e501
authority  github.com/wavect/semaprax

// STATUS

Repository-Status zum geprüften Snapshot

Repository-Snapshot	`615e501` · 2026-10-06. Das Tag v0.8.0 verweist auf den festgehaltenen Quellcommit. Die exakte Tag-CI war erfolgreich. Daraus folgt keine allgemeine Produktions- oder Sicherheitsgarantie.
Status des Gesamtprodukts	55 Teilweise · 0 Implementiert · 0 Fehlend
Graph- und Projektvertrag	Kanonischer 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 Betaversion	`v0.8.0` · Veröffentlicht am 6. Oktober 2026 um 07:37 UTC. Alle 82 Jobs für den exakten Release-Tag waren erfolgreich. Veröffentlicht wurden drei Toolchain-Archive, SHA256SUMS, Attestierungen für jedes Archiv und eine signierte gemeinsame Herkunftsdokumentation. Der Release-Job prüfte den signierten Satz vor der Veröffentlichung unabhängig. Die Archive sind nicht notarisiert; reproduzierbare Builds werden nicht zugesichert. Eine Offline-Prüfung bestätigt keinen aktuellen Widerrufsstatus. Exakte Tag-CI.
Paket- und API-Vorschau	Die 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.

Was implementiert Semaprax heute?

Die Veröffentlichung bietet geprüften Quellcode und semantische Änderungen, typisierte Laufzeit-Agents, begrenzte Lean/Z3-Beweise für Regeln, ausgewählte Rust-APIs und generierte Adapter, Futures im selben Thread, Entwicklungsanbieter und Skills, Hot-Reload-Sitzungen, Tokenberichte und signierte Archivherkunft. CI für den exakten Tag, gezielte lokale Tests und gemessene Anwendungsversuche beantworten unterschiedliche Fragen. Die Gesamtzielmatrix führt weiterhin 55 Anforderungen als Partial. Diese Zahl bedeutet nicht, dass die einzelnen implementierten Profile fehlen.

// 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	Exakte Project- und Rust-Jobs bestanden die zugelassenen Graph-Verträge; das vollständige Semantikziel bleibt Teilweise.	Begrenztes Beta-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	Begrenzter typisierter Kontext, Replay kompakter Daten und eingecheckte lokale Tokenizer-Vergleiche sind implementiert.	Begrenztes Beta-Quell-/Toolchain-Profil	Exakten 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`	Teilweise	Exakte Source-Repair- und Project-Jobs bestanden begrenzte Änderungsverträge; beliebige Repository-Umschreibungen sind ausgeschlossen.	Begrenztes Beta-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	Project Product Acceptance bestand unter Linux, macOS und Windows; Veröffentlichung braucht weiterhin ausdrückliche Befugnis.	Begrenztes Beta-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	Revisionsgebundene Evidenz ist implementiert und der Release-Claim-Abgleich bestand; ein Beleg erteilt keine Änderungsbefugnis.	Begrenztes Beta-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	Project Manifest, Product Acceptance und installierte Toolchain-Reise bestanden; Service-Hosts haben eigenen Umfang.	Begrenztes Beta-Quell-/Toolchain-Profil	Manifeste 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`	Teilweise	Drei Target-Archive und ausgewählte Native/Wasm-Gates bestanden; jedes Laufzeitprofil behält seine Zulassungsgrenzen.	Begrenztes Beta-Quell-/Toolchain-Profil	Zugelassene 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`	Teilweise	Der exakte Chromium-Job für skalare Exporte bestand; andere Browser und Owned-Data-Pakete bleiben getrennt.	Begrenztes Beta-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	AGENT-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-Profil	Typisierte 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`	Teilweise	GEN-05B- und Rust-Jobs bestanden zugelassene Ownership-Profile; allgemeine Lebensdauersicherheit bleibt offen.	Begrenztes Beta-Quell-/Toolchain-Profil	Eigene 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`	Teilweise	Der exakte STD-08-Bibliotheksjob bestand; vollständige Everyday-Bibliothek und physische Provider bleiben offen.	Begrenztes Beta-Quell-/Toolchain-Profil	Records, 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`	Teilweise	AGENT-06-Jobs bestanden begrenzte Lifecycle- und Abrechnungspfade; Providerrechnungen und Host-Policy bleiben extern.	Begrenztes Beta-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	Fü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-Profil	Pfade 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`	Entwicklervorschau	Project 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 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
Signierte Release-Provenienz `release-provenance`	Demonstriert	Der exakte Publish-Job signierte die Gesamtprovenienz, prüfte die signierte Asset-Menge unabhängig und veröffentlichte drei Archiv-Attestierungen.	Beta-Toolchain und Provenienzdateien veröffentlicht	Archivintegrität und signierte Build-Provenienz sind belegt; Notarisierung, hostübergreifende Reproduzierbarkeit und aktueller Widerrufsstatus nicht.	GitHub-Repository
Compilererzeugte generische Target-Grenze `public-generic-compiled-boundaries`	Entwicklervorschau	Das 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ützt	Ein 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`	Entwicklervorschau	Begrenzte 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 Interpreter	Ein 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`	Experimentell	Interpreter-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-ABI	Jedes 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`	Experimentell	Producergebundene Roots und Leaves, signierte Metadaten, gehaltene Generationen, Lock-gebundene Artefaktreads und Cache-Brücke besitzen lokale Gates.	Keine Hosted-Registry oder öffentliche Verteilung	Lokale 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`	Demonstriert	Der exakte Hosted-Lean-Job bestand Kernel-0-Proof, Axiom-Audit, generierten Obligation-Export und Differentialkorpus.	Begrenzter Forschungsbeweis, kein allgemeines Sicherheitszertifikat	Der 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`	Teilweise	Native 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 Beweiswerkzeugprofile	Vertragsregeln, 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`	Entwicklervorschau	Es 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 Signaturen	An 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`	Entwicklervorschau	Fü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 Profile	Der 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`	Experimentell	Fü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 Projekteinrichtung	Je 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`	Entwicklervorschau	Beibehaltene 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 Pfad	Kandidaten 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`	Teilweise	Exakte 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 Anbieternutzung	Vergleichbare 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

// 02

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.

Geprüft anhand des Tags v0.8.0 und seines festgehaltenen Quellcommits. Versionierte Spezifikationen definieren Zulassung und Befugnisse; ältere Release-Überschriften in Matrix und Roadmap sind historisch. GitHub-Repository.

// DOCS

Das Semaprax-Handbuch öffnen

Das Online-Handbuch ist die englische Anleitung aus main und kann Änderungen nach 0.8.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.8.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.8.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

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