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 b9f593c
authority github.com/wavect/semapraxRepository-Status zum geprüften Snapshot
| Repository-Snapshot | b9f593c · 2026-09-16. Der geprüfte main-Commit entspricht dem Tag v0.5.0. Dessen exakte Tag-CI war erfolgreich; die separate Branch-CI wurde abgebrochen. Daraus folgt keine allgemeine Produktions- oder Sicherheitsgarantie. |
|---|---|
| Status des Gesamtprodukts | 55 Teilweise · 0 Implementiert · 0 Fehlend |
| Graph- und Projektvertrag | Funktionsabhängige Graphschemas erhalten frühere Verträge. Project v1 ist die Baseline; die Owned-Data-Profile v8, v9, v10 und v11 haben eigene Zulassungs- und Supportgrenzen. |
| Veröffentlichtes Prerelease | v0.5.0 · Veröffentlicht am 16. September 2026 um 09:43 UTC. Drei Archive: Linux x86-64, macOS Apple Silicon und Windows x86-64, mit SHA256SUMS. Das enthaltene semaprax ist die vollständige Toolchain, nicht die eigenständige Cargo-CLI. Exakte Tag-CI. |
| Paket- und API-Vorschau | Eine veröffentlichte Toolchain veröffentlicht weder ihre generierten Rust/npm-Pakete noch private APIs. Supportentscheidungen für Project v8-v11, öffentliche generische Ownership, weitere Plattformen und native/Wasm-Ausführung von Agent-Stufen bleiben separat. |
Welche Plattformen und Ökosysteme unterstützt Semaprax?
Veröffentlichte v0.5.0-Toolchains gibt es für Linux x86-64, macOS Apple Silicon und Windows x86-64. Zugelassene Programme laufen im Interpreter, über C11/Clang oder Core WebAssembly. Project v8-v11 erweitern generierte Owned-Data-Grenzen von Bytes auf flache Records, UTF-8 und verschachtelte Records. Preview-Pakete und private Mobile-/Component-Profile sind keine stabile allgemeine ABI oder universelle Anwendungsunterstützung. Quellcode-Agentenstufen bleiben interpreterbasiert.
Evidenz für Zielplattformen
| Plattform | Quellstatus | Evidenz und Herkunft | Veröffentlichungsstatus | Unterstützter Umfang |
|---|---|---|---|---|
| Linux nativ | Teilweise | Veröffentlichtes vollständiges v0.5.0-Toolchain-Archiv für x86-64 GNU/Linux mit SHA-256-Prüfsumme. Evidenz | Begrenztes Pre-Alpha-Quell-/Toolchain-Profil | Native Kompilierung benötigt Clang; Sprach-, Loader- und Host-Profile bleiben begrenzt. |
| macOS nativ | Teilweise | Veröffentlichtes vollständiges v0.5.0-Toolchain-Archiv für Apple Silicon mit SHA-256-Prüfsumme. Evidenz | Begrenztes Pre-Alpha-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öffentlichte vollständige v0.5.0-Toolchain-ZIP für x86-64 MSVC mit SHA-256-Prüfsumme. Evidenz | Begrenztes Pre-Alpha-Quell-/Toolchain-Profil | Ausgewählte Windows-Release-Gates waren erfolgreich. Loader-, Paket- und Ausführungsverträge sind getrennt von allgemeinem Windows-Anwendungssupport. |
| Browser und Core WebAssembly | Entwicklervorschau | Skalare Exporte und generierte npm/Wasm-Consumer für Owned Data einschließlich Project v8-v11. Evidenz | Generierte/private Vorschau; Veröffentlichung und öffentlicher Support sind getrennte Entscheidungen | Generierte Pakete bleiben unpromotet/unveröffentlicht; keine Ableitung für jeden Browser, beliebige Web-APIs oder Quellcode-Agentenstufen. |
| iOS / Swift | Teilweise | Private begrenzte Swift-Ownership-, Static-Loader- und Anwendungslaufzeitprofile. Evidenz | Generierte/private Vorschau; Veröffentlichung und öffentlicher Support sind getrennte Entscheidungen | Simulator-/Host-Evidenz belegt nicht alle physischen Geräte, App-Store-Deployment oder eine vollständige öffentliche mobile Toolchain. |
| Android / JNI | Teilweise | Private JNI/Kotlin-Anwendungs-, Ownership- und Emulator-Laufzeitprofile. Evidenz | Generierte/private Vorschau; Veröffentlichung und öffentlicher Support sind getrennte Entscheidungen | Emulator- und ausgewählte ABI-Evidenz belegt weder universelle Gerätekompatibilität noch ein gepflegtes Android-Anwendungsframework. |
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 Pre-Alpha-Quell-/Toolchain-Profil | Benötigt einen C11-fähigen Clang-Treiber; keine beliebige C-Header-/Bibliotheksinteroperabilität. |
| Rust-Host und generierte Consumer | Entwicklervorschau | 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. Evidenz | Generierte/private Vorschau; Veröffentlichung und öffentlicher Support sind getrennte Entscheidungen | Embedding und generierte SDK-Pfade sind getrennt. Workspace-private Crates und generierte Pakete werden mit diesem Release nicht automatisch Registry-veröffentlicht oder stabile APIs. |
| JavaScript / TypeScript / npm | Entwicklervorschau | Begrenzte skalare Exporte und generierte Core-Wasm-Owned-Data-Pakete für Project v8-v11. Evidenz | Generierte/private Vorschau; Veröffentlichung und öffentlicher Support sind getrennte Entscheidungen | Skalarer Support promoviert keine Owned-Data-Pakete. Browserabdeckung, Copy-out-/Lebensdauerregeln und Paketsupport bleiben profilspezifisch. |
| WIT und Component Model | Teilweise | Isolierte Component-Runtime- und WIT-Grenz-Fixtures sind vorhanden. Evidenz | Begrenztes Pre-Alpha-Quell-/Toolchain-Profil | Core-Wasm-Support ist keine allgemeine Component-Model-Veröffentlichung, stabile Ressourcen-ABI oder beliebige Component-Komposition. |
| Swift und JNI | Teilweise | Private Ownership-, Loader- und Host-Anwendungsintegrationsprofile. Evidenz | Begrenztes Pre-Alpha-Quell-/Toolchain-Profil | Keine allgemeine bidirektionale Host-Sprach-/Paketkompatibilität oder universelle Geräteaussage. |
| Öffentliche generische ABI | Roadmap | Interne Generics und vorbereitende Metadaten-/Kompatibilitäts-Gates sind begrenzt implementiert. Evidenz | Begrenztes Pre-Alpha-Quell-/Toolchain-Profil | Öffentliche generische Descriptor/Carrier, verbleibende Meilenstein-Gates und eine ausdrückliche Supportentscheidung fehlen noch. Voraussetzungen allein unterstützen keine öffentliche generische Signatur. |
| Modellanbieter und Host-Dienste | Experimentell | 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. Evidenz | Begrenztes Pre-Alpha-Quell-/Toolchain-Profil | Explizite Adapter-, Zugangsdaten-, Speicher- und Transportkonfiguration; keine providerunabhängig garantierte Abrechnung oder automatische Befugnis. |
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.
Geprüft anhand des festgehaltenen Commits und des Release-Eintrags v0.5.0. Versionierte Spezifikationen definieren Zulassung und Befugnisse. Ältere v0.4-Release-Überschriften in Matrix und Roadmap sind historisch, nicht die aktuelle Release-Identität. GitHub-Repository.
Primärquellen für diese Seite
Geprüft anhand des festgehaltenen Commits und des Release-Eintrags v0.5.0. Versionierte Spezifikationen definieren Zulassung und Befugnisse. Ältere v0.4-Release-Überschriften in Matrix und Roadmap sind historisch, nicht die aktuelle Release-Identität.
Fragen, ohne Hype beantwortet
Unterstützt Semaprax jedes native Ziel?
Nein. Der Release liefert Toolchains für Linux x86-64, Apple-Silicon-macOS und Windows x86-64. Core-Wasm-/Browser- und private Mobile-/Desktop-Profile haben engere Verträge. Allgemeiner Plattformsupport und native/Wasm-Quellcode-Agentenstufen sind nicht belegt.
Ist Semaprax vollständig interoperabel?
Nein. Profilspezifische Skalar- und Owned-Data-Pfade existieren, einschließlich generierter Project-v8-v11-Consumer. Stabile allgemeine Aggregate-/Ressourcen-/Component-/Generic-ABIs und gepflegter Paketsupport benötigen eigene Abschluss- und Veröffentlichungsentscheidungen.