V0.9.0 BETA · APACHE-2.0

Die Systemsprache für Coding-Agenten, lesbar für Menschen.

Lesbarer Quellcode. Abfragbare Bedeutung. Geprüfte Änderungen.

Installiere die Beta ohne Quellcode-Checkout, erstelle ein geprüftes Projekt und gib Coding-Agenten präzises Compilerfeedback. Semaprax 0.9.0 ergänzt fünf native Downloads, richtliniengesteuerte Modell- und Werkzeugwahl sowie klarere Reparaturhinweise. Quellcode-Regeln, explizite Ownership und revisionsgebundene Änderungen binden jeden Vorschlag an das geprüfte Programm.

Release v0.9.0 erkunden Belegte Funktionen ansehen Aktuelles englisches Handbuch lesen

semaprax://v0.9.0beta

revision  sha256:<program-state>
query     app.main --depth 1
context   typed · bounded · stable-id
patch     expected_revision == current
verify    fail_closed
target    native | browser/wasm

Was ist Semaprax?

Semaprax ist eine quelloffene Systemprogrammiersprache für KI-Agenten in der Betaphase. Lesbarer .spx-Quellcode bleibt in Git, während Coding-Agenten typisierte Programmbedeutung abfragen, Quellcode-Regeln prüfen und revisionsgebundene Änderungen vorschlagen. Version 0.9.0 ergänzt Installer, richtliniengesteuertes Modellrouting und präzisere Reparaturhinweise rund um typisierte Laufzeit-Agents, compilerverbundene Entwicklungswerkzeuge und begrenzte native, Rust- und WebAssembly-Profile.

// v0.9.0

Was v0.9.0 verändert

Acht Neuerungen bei Installation, Routing, Reparatur und Evidenz. Ergänzungen im Tag behalten ihre eigenen Prüfgrenzen.

Ohne Checkout installieren

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

Evidenz

Fünf native Downloads

Linux arm64 und Intel macOS ergänzen die bisherigen Ziele. Linux benötigt glibc 2.35+; Mindestversionen für macOS und Windows stehen beim Archiv. Jedes Ziel durchläuft vor Veröffentlichung seinen eigenen Installationstest.

Evidenz

Modell- und Werkzeugwahl erklären

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

Evidenz

Zwischen bestätigten Runden wechseln

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

Evidenz

Präzisere Reparaturhinweise

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

Evidenz

Begrenzte Kommando- und Datenprofile

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

Evidenz

Negative Beweisergebnisse erhalten

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

Evidenz

Grenzen der Entwicklungswerkzeuge härten

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

Evidenz

// v0.9.0

Dein v0.9.0-Archiv wählen

Fünf Archive der vollständigen Toolchain: GNU/Linux x86-64 und arm64 (glibc 2.35+), Apple Silicon macOS 11+, Intel macOS 10.12+ und Windows x64 10 1809+ / Server 2019+. Keine Archive für musl/Alpine oder Windows ARM. Jedes enthält semaprax und semapraxd. Das veröffentlichte Manifest ist maßgeblich; die ältere Handbuchtabelle im Tag ist historisch.

macOS · Apple Silicon · 11+

aarch64-apple-darwin

Archiv herunterladen

Linux · arm64 · glibc 2.35+

aarch64-unknown-linux-gnu

Archiv herunterladen

macOS · Intel · 10.12+

x86_64-apple-darwin

Archiv herunterladen

Windows · x64 · 10 1809+ / Server 2019+

x86_64-pc-windows-msvc

Archiv herunterladen

Linux · x86-64 · glibc 2.35+

x86_64-unknown-linux-gnu

Archiv herunterladen

Plattformarchiv laden und seine genaue Zeile in SHA256SUMS prüfen. GitHubs Source-code-Downloads sind Repository-Snapshots, keine ausführbaren Programme.
Für die Herausgeberprüfung gh attestation verify mit passender release-attestation-<target>.json, Repository wavect/semaprax und exaktem Tag verwenden. Eine Prüfsumme allein ist keine Signatur.
In dauerhaftes Verzeichnis entpacken, zu PATH hinzufügen und die Projektbefehle unten ausführen. Für beleggebundene Upgrades, Downgrades oder Deinstallation gilt der Installer-Vertrag; Paketmanager-Zuständigkeiten nicht vermischen.
Homebrew: brew install wavect/tap/semaprax installiert v0.9.0 auf Apple Silicon und Intel macOS. Tap-Formel und erfolgreicher Kanaltest nach dem Release wurden am 15. Oktober geprüft. WinGet-Einreichung #447495 ist noch offen, daher keine veröffentlichte WinGet-Installation zugesichert. Die v0.8.0-Handbuchbeispiele im Tag sind historisch. Für Quellbuilds Commit 933196b9ef3cb611343f1401e9eb0b08fa404d0a wählen und Standalone-Paket von semaprax-toolchain unterscheiden.

SHA256SUMS · Prüfsummen und signierte Herkunftsnachweise · Release-Manifest · Release-Eintrag

Volle Toolchain installieren: macOS und GNU/Linux

Benutzerinstallation für v0.9.0 ohne Rust, Cargo, Checkout oder Modellkonto. Der Installer wählt ein Archiv, prüft Prüfsumme und Manifest, testet es und dokumentiert die Aktivierung. Mit GitHub CLI prüft er auch die Herausgeber-Attestierung; andernfalls steht ausdrücklich nur Prüfsummenprüfung im Beleg. --require-publisher-verification lehnt diesen Rückfall ab. Danach ein neues Terminal öffnen.

curl -fsSL https://github.com/wavect/semaprax/releases/download/v0.9.0/install.sh | sh -s -- --version v0.9.0

Installer-Optionen, Prüfung und Deinstallation

Windows PowerShell, dann das erste Projekt

Unter Windows den festgehaltenen Befehl mit PowerShell 5.1 oder 7 ausführen und ein neues Terminal öffnen. Unter macOS/Linux nach dem Shell-Installer mit den semaprax-Befehlen fortfahren. Das Ziel darf noch nicht existieren. Der Rechner enthält Quellcode, Manifest, Tests und AGENTS.md; der letzte Aufruf gibt 42 aus. Clang wird erst für native Kompilierung benötigt.

powershell -ExecutionPolicy Bypass -c "& ([scriptblock]::Create((irm https://github.com/wavect/semaprax/releases/download/v0.9.0/install.ps1))) -Version v0.9.0"

semaprax --version
semaprax new first-semaprax
semaprax check first-semaprax/semaprax.toml
semaprax test first-semaprax/semaprax.toml
semaprax run first-semaprax/semaprax.toml

Gib deinem Coding-Agenten einen präzisen Ausgangspunkt

Im erzeugten Verzeichnis first-semaprax mit AGENTS.md und einem gezielten Sprachthema beginnen. Kleine Quelldateien direkt lesen; semantischen Kontext für konkrete Fragen begrenzen und auf Kürzung prüfen. Der vollständige Graph kann deutlich größer sein. Entwicklungswerkzeuge und ein im Quellcode definierter Laufzeit-Agent sind verschiedene Oberflächen.

cd first-semaprax
semaprax help language lists
semaprax query --capabilities
semaprax check .
semaprax test .
semaprax help diagnostic SPX-T208

Ein Programm, drei verbundene Ansichten

Menschen bearbeiten lesbaren Quellcode, Werkzeuge fragen geprüfte Bedeutung ab und unterstützte Ziele führen das zugelassene Programm aus. Jedes Ziel und jede Integration legt fest, welche Sprachfeatures es akzeptiert.

Lesbarer QuellcodeKanonische .spx-Dateien, stabile Deklarations-IDs, Verträge, Regeln und explizites Ownership. Die normalen Befehle check und run benötigen kein Modellkonto.
Geprüfte Bedeutung für WerkzeugeVom Compiler abgeleiteter Kontext, Auswirkungen, Kandidatenprüfung und Beweispflichten. Die Entwicklungswerkzeuge können diesen semantischen Kern um ausgewählte Suchverfahren, Skills und Modellanbieter ergänzen.
Kontrollierte AusführungInterpreter, zugelassene C11/Clang- und Core-Wasm-Profile sowie typisierte Laufzeit-Agents, deren Modellvorschläge vor externen Operationen eine deterministische Autorisierung durchlaufen.

Semantischer Programmgraph von Semaprax: Semaprax prüft lesbaren .spx-Quellcode und löst ihn in HIR auf, die typisierte Repräsentation des Compilers. Quellcode und semantische Identitäten binden Abfragen, Beweispflichten, Kandidatenänderungen und Ausführung an das untersuchte Programm. Coding-Agenten können die Werkzeuge rund um diesen Kern nutzen. Laufzeit-Agents dekodieren separat Vorschläge, autorisieren Effekte und ändern ihren Zustand unter explizit bereitgestellten Host-Berechtigungen.

Jede vorgeschlagene Änderung leichter prüfen

Stabile Identitäten lassen einen Agenten eine Deklaration gezielt ansprechen. Begrenzter Kontext erklärt ihre Rolle. Verträge und gesondert ausgewählte Regeln setzen der Implementierung Grenzen; Kandidatenprüfung und Replay prüfen die Änderung vor der Anwendung. Die Entwicklungswerkzeuge erfassen tatsächliche Nutzung und Aufgabenergebnisse, damit sich Effizienzversprechen anhand von Nachweisen prüfen lassen.

DAS ERGEBNIS MESSEN Weniger Mehrdeutigkeit bei Reparaturen, mit getrennten Prüfungen für Aufgabenkosten und Korrektheit

Finde die Antwort auf deine konkrete Frage

Das Handbuch erklärt die praktischen Schritte. Die Architektur beschreibt das Programmiermodell, die Nachweise zeigen implementierte Profile, die Benchmarks liefern Messungen und die Interoperabilität erklärt die Anbindung an deinen bestehenden Stack.

Architektur

Regeln im Quellcode, semantische Graphen, Agents und Entwicklungswerkzeuge

Evidenz

Was v0.9.0 implementiert und wo die Grenzen liegen

Benchmarks

Gemessene Tokens, Aufgabenkosten und Laufzeiten

Interoperabilität

Evidenzmatrix für Ziele und Ökosysteme

Roadmap

Meilensteine, Ziele und offene Lücken

// STATUS

Repository-Status zum geprüften Snapshot

Repository-Snapshot	`933196b` · 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 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.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-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.

Evidenzregister der Funktionen

Aktueller Status	Evidence state	Umfang	Evidenz
Maßgeblicher Quelltext und stabile Identität	Teilweise	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	Teilweise	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	Teilweise	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	Teilweise	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	Teilweise	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	Teilweise	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

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

// FAQ

Fragen und praktische Antworten

Ist Semaprax produktionsreif?

Version 0.9.0 ist eine Apache-2.0-Beta vom 11. Oktober 2026. Alle 91 Release-Jobs bestanden, fünf Archive sind verfügbar. Die Gesamtmatrix bleibt bei 55 Partial-Anforderungen; erfolgreiche Veröffentlichung ist keine allgemeine Produktionsgarantie.

Ist Semaprax nur für KI-Agenten?

Du kannst gewöhnliche .spx-Programme ohne KI-Modell oder Konto schreiben, prüfen und ausführen. Coding-Agenten nutzen semantischen Kontext und unterstützte Änderungen über die Werkzeuge. Im Quellcode definierte Laufzeit-Agents sind eine eigene typisierte Programmierabstraktion. Das englische Handbuch erklärt beide Wege.

Braucht dein KI-Produkt Engineering mit diesem Evidenzniveau?

Wavects AI Engineering ansehen.

Von Wavect als Open-Source-Forschungsprojekt für Programmiersysteme entwickelt. GitHub-Repository. 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.