Ein Meilenstein ist erst vollständig, wenn sein ganzer Gate ausgeführt wurde.
Version 0.9.0 ist veröffentlicht; fünf Hostarchive und Installationsabläufe sind verfügbar. Nächste Gates betreffen breitere Profile, native Tests, qualifiziertes Routing und projektgroße Law-Evidenz. Lokale Quellergebnisse, gehostete Release-Gates und öffentliche Supportentscheidungen getrennt halten.
entity Semaprax
status beta
snapshot 933196b
authority github.com/wavect/semapraxDie fünf Hostdownloads sind geliefert. Breitere Geräte-, Browser-, öffentliche Generic- und Paketunterstützung braucht eigene Abnahme und Wartungsentscheidungen. Lernendes Routing je Bereich qualifizieren, LAW16-Fehlschläge erhalten und AC1/#392 schließen. Kein v1.0-Termin ist angekündigt.
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.
Ausgewählte Rust-APIs, Callback-Captures und Future-Kompositionen erweitern und dabei jede Annahme über Fremdcode und jedes Ziel festhalten. Veröffentlichung und unterstützte Kompatibilität generierter Rust/npm-Pakete sowie öffentlicher generischer Schnittstellen gesondert entscheiden. PG-9 bleibt nicht unterstützt und unveröffentlicht.
Auf vorhandenen Records, Generics, Collections, unveränderlichen Listen, Ownership und begrenzten Closures aufbauen. Kompositionen von Lebensdauern und Nutzdaten gezielt erweitern und realistische Programme an Ressourcengrenzen und Backend-Verhalten messen.
Nur 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.
Die fünf Hostdownloads sind geliefert. Breitere Geräte-, Browser-, öffentliche Generic- und Paketunterstützung braucht eigene Abnahme und Wartungsentscheidungen. Lernendes Routing je Bereich qualifizieren, LAW16-Fehlschläge erhalten und AC1/#392 schließen. Kein v1.0-Termin ist angekündigt.
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-RepositoryAllgemeine 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| 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. |
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.
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.
Der aktuelle englische Lernpfad, veröffentlicht aus main.
Die Handbuchdateien am exakt geprüften Release-Commit.
Aktuelle englische Anleitung zu Rechner-Manifest, Prüfungen, Tests und Builds.
Aktuelle englische Einführung in Werte, Funktionen und Quellcodestruktur.
Aktuelle englische Anleitung zu semantischem Kontext und sicheren Änderungsabläufen.
Fixierte Befehlsformen und die Abgrenzung zwischen eigenständiger CLI und vollständiger Toolchain.
Fixierte Einrichtung, semantische Navigation, Review und Entwicklungssteuerung.
Fixierte Beispiele für Sprache, Projekte, Regeln, Agents und Host-Integrationen.
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.
Die fünf Hostdownloads sind geliefert. Breitere Geräte-, Browser-, öffentliche Generic- und Paketunterstützung braucht eigene Abnahme und Wartungsentscheidungen. Lernendes Routing je Bereich qualifizieren, LAW16-Fehlschläge erhalten und AC1/#392 schließen. Kein v1.0-Termin ist angekündigt.
Eine begrenzte Implementierung muss ihren maßgeblichen Vertrag sowie Erfolgs- und Fehlerprüfungen erfüllen. Breitere Unterstützung benötigt zusätzlich die benannten Hosts, Schnittstellen und den Pflegeumfang. Paketveröffentlichung und Änderungen der Werkzeugstandards sind getrennte Entscheidungen mit eigenen Release- beziehungsweise Qualitäts- und Kostennachweisen.