Interoperabilität ist eine Folge verifizierter Grenzen, keine Prozentzahl.
Beginne mit einer geprüften Schnittstelle in deinem bestehenden Stack.
Lass UI und Infrastruktur deiner Anwendung in ihrer bisherigen Sprache und ergänze Semaprax für einen ausgewählten Rechenkern, Validator, eine Quellcode-Regel oder einen typisierten Agent-Ablauf. Version 0.8.0 erweitert native und WebAssembly-Ausführung um umfassendere Rust-Imports, generierte Adapter für Besitzer und Callbacks sowie echte Anwendungsbeispiele.
entity Semaprax
status beta
snapshot 615e501
authority github.com/wavect/semapraxRepository-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. |
Welche Plattformen und Ökosysteme unterstützt Semaprax?
Die Veröffentlichung enthält Werkzeuge für Linux x86-64 GNU, Apple-Silicon-macOS und Windows x86-64 MSVC. Unterstützte Profile umfassen natives C11/Clang, skalare JavaScript/TypeScript-Wasm-Exporte und generierte Consumer für eigene Daten. Ausgewählte Rust-Integrationen decken Regex/Url-Ansichten, Serde-Records und Iteratoren, begrenzte FnOnce/FnMut-Callbacks sowie Tokio/reqwest-Future-Beispiele im selben Thread ab. Öffentliche generische APIs und die Veröffentlichung generierter Pakete bleiben eigene Vorschauentscheidungen. Optionale Ausführungsziele für Agent-Stufen behalten ihre enger gefassten Verträge.
Evidenz für Zielplattformen
| Plattform | Quellstatus | Evidenz und Herkunft | Veröffentlichungsstatus | Unterstützter Umfang |
|---|---|---|---|---|
| Linux nativ | Teilweise | Veröffentlichtes vollständiges v0.8.0-Toolchain-Archiv für x86-64 GNU/Linux mit SHA-256-Prüfsumme. Evidenz | Begrenztes Beta-Quell-/Toolchain-Profil | Native Kompilierung benötigt Clang; Sprach-, Loader- und Host-Profile bleiben begrenzt. |
| macOS nativ | Teilweise | Veröffentlichtes vollständiges v0.8.0-Toolchain-Archiv für Apple Silicon mit SHA-256-Prüfsumme. Evidenz | Begrenztes Beta-Quell-/Toolchain-Profil | Dieser Release enthält kein Intel-macOS-Archiv. Quell-Builds und private Desktop-Profile sind keine allgemeine macOS-Anwendungsplattform. |
| Windows nativ | Teilweise | Veröffentlichtes v0.8.0-x86-64-MSVC-Toolchain-ZIP; exakte Windows-Build-, Project- und private Desktop-Jobs bestanden. Evidenz | Begrenztes Beta-Quell-/Toolchain-Profil | Native Builds benötigen die passende C11-Toolchain. ARM-Windows-Archive, allgemeine Desktop-Paketierung und sämtliche hostspezifischen Isolationsprofile sind nicht Teil dieses Release-Inventars. |
| Browser und Core WebAssembly | Entwicklervorschau | Öffentliche skalare Wasm-Exporte bestanden den exakten Chromium-Job. Private generierte Owned-Data-Profile und ein compilererzeugter generischer Wasm-Provider laufen ebenfalls. Evidenz | Generierte/private Vorschau; Veröffentlichung und öffentlicher Support sind getrennte Entscheidungen | Generierte npm-Pakete und öffentliche Unterstützung von Generics bleiben getrennte Veröffentlichungsentscheidungen. Jedes Sprachprofil hat eigene Export-, Laufzeit- und Browsergrenzen. Optionale Hosts für Agent-Stufen begründen keine allgemeine Agent-Plattform im Browser. |
| iOS / Swift | Teilweise | Private Swift/iOS-Loader- und Anwendungslaufzeit-Jobs bestanden in der exakten Tag-CI. Evidenz | Generierte/private Vorschau; Veröffentlichung und öffentlicher Support sind getrennte Entscheidungen | Das beweist nicht alle physischen Geräte, App-Store-Verteilung oder eine unterstützte öffentliche Mobile-Toolchain. |
| Android / JNI | Teilweise | Private Android-JNI/Kotlin-Laufzeitjobs für arm64-v8a und x86_64 bestanden in der exakten Tag-CI. Evidenz | Generierte/private Vorschau; Veröffentlichung und öffentlicher Support sind getrennte Entscheidungen | Das beweist keine universellen Geräte, Paketierung oder ein gepflegtes öffentliches Android-Framework. |
Evidenz für Ökosystemgrenzen
| Ökosystemgrenze | Quellstatus | Evidenz und Herkunft | Veröffentlichungsstatus | Unterstützter Umfang |
|---|---|---|---|---|
| C11 und Clang | Teilweise | Generiertes natives Backend für zugelassene geprüfte Programme. Evidenz | Begrenztes Beta-Quell-/Toolchain-Profil | Benötigt einen C11-fähigen Clang-Treiber; keine beliebige C-Header-/Bibliotheksinteroperabilität. |
| Rust-Host und generierte Consumer | Entwicklervorschau | Ausgewählte indizierte Imports sowie generierte Besitzer, geliehene Ansichten und Callback-Adapter führen echte Regex/Url-, Serde/Iterator- und reqwest/Tokio-Anwendungen aus. Future-Pfade im selben Thread und vom Project ausgewählte Quellcode-yield-Pfade nutzen vom Aufrufer bereitgestellte Executors. Evidenz | Generierte/private Vorschau; Veröffentlichung und öffentlicher Support sind getrennte Entscheidungen | Exakte Signaturen, Cargo-Eingaben, Ziele und Lebensdauern werden ausgewählt. Generierte Pakete bleiben Vorschauen. Beliebige Crates, allgemeines Async-Verhalten, Thread-übergreifende Ausführung und Interoperabilität ohne Mehraufwand sind nicht belegt. |
| JavaScript / TypeScript / npm | Entwicklervorschau | Der exakte Chromium-Job für skalare Exporte bestand. Ein privater compilererzeugter generischer Core-Wasm-Provider mit kanonischem TypeScript-Carrier führt einen geprüften Endpunkt aus. Evidenz | Generierte/private Vorschau; Veröffentlichung und öffentlicher Support sind getrennte Entscheidungen | Das generische Paket ist unveröffentlicht und nicht unterstützt. Breitere Negativ-/Hosted-Abnahme, Browserabdeckung und Copy-out-/Fuel-Parität bleiben offen. |
| WIT und Component Model | Teilweise | Der exakte private Wasmtime-Component-Laufzeitjob bestand; Component v7 behält die eingefrorene WIT-Identität 0.5.0. Evidenz | Begrenztes Beta-Quell-/Toolchain-Profil | Ein privates Component-Fixture ist kein öffentlicher Component-Model-Support, keine stabile Resource-ABI und keine beliebige Komposition. |
| Swift und JNI | Teilweise | Private Ownership-, Loader- und Host-Anwendungsintegrationsprofile. Evidenz | Begrenztes Beta-Quell-/Toolchain-Profil | Keine allgemeine bidirektionale Host-Sprach-/Paketkompatibilität oder universelle Geräteaussage. |
| Öffentliche generische ABI | Roadmap | Die exakten generischen Milestone-Jobs bestanden auf Linux, macOS und Windows. Private compilererzeugte Wasm-/Native-Grenzen und Consumer-Settlement haben begrenzte Evidenz. Evidenz | Begrenztes Beta-Quell-/Toolchain-Profil | PG-9 bleibt nicht unterstützt und unveröffentlicht. Eine vollständige öffentliche generische Signatur, breitere Endpunktformen und Release-Kandidatenentscheidung bleiben offen. |
| Modellanbieter und Host-Dienste | Experimentell | Die Entwicklungswerkzeuge unterstützen explizite Anbieterbeschreibungen, projektspezifische Locks und Vertrauen, die Übernahme von Endpunkten und Regeln zur Modellauswahl. Anbieter für Laufzeit-Agents behalten eigene typisierte Autorisierung, Budgets sowie dauerhafte Modell- und Effektjournale. Evidenz | Begrenztes Beta-Quell-/Toolchain-Profil | Zugangsdaten, Laufzeit, Speicher und Transport werden explizit eingerichtet. Belege unterscheiden beobachtete Nutzung und gemeldete Kosten von Reservierungen und Schätzungen. Unbekannte Abrechnung bleibt unbekannt. Gelerntes Routing und automatische Standards erfordern eine Qualifikation. |
Langfristiges Ziel
Ownership, Fehler, stabile Identitäten und geprüfte Anforderungen beim Übergang zwischen Sprachen erhalten. Der aktuelle Integrationspfad wählt eine exakte Signatur, ein Ziel, einen Abhängigkeitssatz und eine Host-Berechtigung. Weitere APIs und Plattformen brauchen eigene Konformitäts- und Unterstützungsnachweise.
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.
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.
Primärquellen für diese Seite
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.
- Veröffentlichte Plattformarchive
- Native Rust-Imports und an den Empfänger gebundene Ansichten
- Erweiterte Rust-Besitzer, Records und Callback-Adapter
- Lebenszyklus von Rust-Futures im selben Thread
- Vom Project ausgewählte Quellcode-Future-Brücke
- Echte kombinierte Rust-Anwendungen und Messungen
- Öffentliche skalare Wasm-Exporte
- Entscheidung zur öffentlichen Unterstützung von Generics
- Grenzen für Ziele, Pakete und Ausführung
Fragen und praktische Antworten
Unterstützt Semaprax jedes native Ziel?
Die Veröffentlichung bietet Archive für Linux x86-64 GNU, Apple-Silicon-macOS und Windows x86-64 MSVC. Native/Wasm-Sprachprofile und optionale Hosts für Agent-Stufen haben eigene Zulassungsregeln und Nachweise. Für Intel-macOS, Linux arm64 oder Windows arm64 gibt es keine Binärdatei im Release-Dateiinventar von 0.8.0.
Ist Semaprax zu 100 Prozent mit anderen Sprachen interoperabel?
Die Integration hängt vom Profil ab. Version 0.8.0 umfasst skalare Exporte und Exporte eigener Daten, ausgewählte Rust-Imports, generierte Besitzer und Callbacks sowie begrenzte Futures im selben Thread. Stabile allgemeine Aggregate-, Ressourcen-, Komponenten- und Generic-ABIs, die Nutzung beliebiger Crates und gepflegte Paketveröffentlichungen benötigen weiterhin eigene Fertigstellungsentscheidungen.