Interoperabilität ist eine Folge verifizierter Grenzen, keine Prozentzahl.
Ein verifiziertes Artefakt nach dem anderen.
Langfristiges Ziel sind bidirektionale Ökosystem-Interoperabilität und breite Zielunterstützung. Das Repository belegt heute engere Compiler-, Host-, Loader-, ABI- und Paketpfade.
entity Semaprax
status Pre-Alpha-Forschung
snapshot c16348f
authority github.com/wavect/semapraxRepository-Status zum geprüften Snapshot
| Repository-Snapshot | c16348f · 2026-08-29. Die Dokumentation bestand, der Gesamt-Workflow schlug jedoch fehl. Dieser Head wird daher nicht als verifiziert bezeichnet. |
|---|---|
| Status des Gesamtprodukts | 49 Teilweise · 0 Implementiert · 0 Fehlend |
| Graph- und Projektvertrag | Graph ≤ v24 · Project v1 Baseline · Project v8, v9, v10 Entwicklervorschau |
| Promotions-Baseline | Für diesen Snapshot wird kein exakter bestandener Promotions-Commit oder Workflow-Lauf behauptet. |
| Entwicklervorschau im Quellcode | Owned-Data-, Record- und UTF-8-Projektprofile, Paketanalyse, Borrowing-Erweiterungen, Project Agent Transport und Revision Store liegen im Quellcode vor, sind aber unveröffentlicht oder nicht promotet. |
Welche Plattformen und Ökosysteme unterstützt Semaprax?
Semaprax behält begrenzte Interpreter-, C11/Clang-, Core-Wasm/Node- und skalare JavaScript/TypeScript-Pfade. Project v8 ergänzt npm/Core-Wasm und eine sichere Rust-Route für Bytes, Option<Bytes> und Result<Bytes, i64>; v9 und v10 ergänzen flache besessene Records und UTF-8. Diese Paketflächen sind unveröffentlicht und unpromotet und bilden keine stabile allgemeine ABI.
Evidenz für Zielplattformen
| Plattform | Quellstatus | Evidenz am exakten Head | Veröffentlichungsstatus | Unterstützter Umfang |
|---|---|---|---|---|
| Linux nativ | Demonstriert | C11/Clang-Programme und gehostete Ubuntu-Compiler-, Host-, Loader- und Sanitizer-Gates Evidenz | begrenzte Artefaktpfade | Begrenzte Sprach- und ABI-Teilmengen |
| macOS nativ | Experimentell | Gehostete macOS-Matrix und Desktop-Paket-Harnesses Evidenz | Ownership- und Plattformverträge | Kein allgemeiner macOS-Anwendungssupport |
| Windows nativ | Experimentell | Windows-Matrix, Loader-Prüfungen und Desktop-Paket-Harnesses Evidenz | Ownership- und Plattformverträge | Begrenzte Loader- und Paketverträge |
| Browser und Wasm | Entwicklervorschau | Frühere skalare Core-Wasm/Node-Evidenz plus Project-v8-v10-npm/Core-Wasm-Routen im Quellcode von c16348f Evidenz | Skalare Baseline begrenzt; v8-v10 unveröffentlicht | v8 ist auf Bytes, Option und Result begrenzt; v9-Records und v10-UTF-8 sind unpromotet. Keine allgemeine Web- oder Browserunterstützung |
| iOS | Experimentell | Swift-Ownership-, Static-Surface- und arm64-Simulator-Harnesses Evidenz | Ownership- und Plattformverträge | Private begrenzte Verträge, kein allgemeiner App-Support |
| Android | Experimentell | JNI-Ownership- und Emulator-Harnesses Evidenz | Ownership- und Plattformverträge | Begrenzte Hostverträge, kein allgemeiner App-Support |
Evidenz für Ökosystemgrenzen
| Ökosystemgrenze | Quellstatus | Evidenz am exakten Head | Veröffentlichungsstatus | Unterstützter Umfang |
|---|---|---|---|---|
| C11 und Clang | Demonstriert | Deterministisches C11, für zugelassene Teilmengen bei O0 und O2 kompiliert und ausgeführt Evidenz | begrenzte Artefaktpfade | Keine beliebige C-Header- oder Bibliotheksinteroperabilität |
| Nativer Rust-Host | Entwicklervorschau | Frühere private skalare Brücke plus sichere Rust-Paketroute für Project v8 im Quellcode Evidenz | Unveröffentlichte Entwicklervorschau | Die Route ist unveröffentlicht, unpromotet und auf Bytes, Option und Result begrenzt. Keine allgemeine Rust-Interoperabilität |
| WebAssembly und WIT Components | Experimentell | Core-Wasm, Component-Runtime und WIT-Fixtures Evidenz | Ownership- und Plattformverträge | Allgemeines öffentliches Component-Mapping bleibt geschlossen |
| Swift und JNI | Experimentell | Begrenzte Apple-Swift- und Android-JNI-Ownership-Verträge Evidenz | Ownership- und Plattformverträge | Keine allgemeine bidirektionale FFI |
| Bestehende Sprachökosysteme | Roadmap | Kein allgemeines Artefakt Evidenz | allgemeine Sprache und Ökosystem | 100 Prozent Interoperabilität sind Ziel, nicht aktueller Stand |
Langfristiges Ziel
Ein Programm soll native, Browser-, Mobile-, Desktop- und bestehende Sprachgrenzen überqueren, ohne Ownership-, Fehler- oder Identitätsfakten zu verlieren. Das bleibt Roadmap-Arbeit, bis jede öffentliche Grenze reproduzierbare Konformitätsevidenz hat.
Die GitHub-Spezifikationen sind die normative Quelle. Diese Seite ist eine datierte Forschungszusammenfassung. GitHub-Repository.
Fragen, ohne Hype beantwortet
Unterstützt Semaprax jedes native Ziel?
Nein. Es gibt begrenzte Evidenz für Native, Wasm, Desktop, iOS und Android. Allgemeiner Support bleibt experimentell oder geplant.
Ist Semaprax vollständig interoperabel?
Nein. Vollständige bidirektionale Interoperabilität ist ein langfristiges Ziel. Aktuelle Evidenz deckt engere C11-, Rust-, WIT-, Swift- und JNI-Grenzen ab.