Portage OptiX 4 vers 9
Confidentialité.
Information Confidentielle au sens du NDA Mutuel AB716352-BDB6-8A21-82CF-987C13855A62.
Livrable produit avec assistance d'orchestration agentique. Provenance des artefacts traçable ;
chaîne de validation formalisée et auditable (cf. § 04).
Sommaire
- 01. Mission + analyse du code original
Le périmètre, le code d'origine, la persona auteur reconstituée, et l'observable que Radience évalue.
- 02. Architecture du portage
Workspace Cargo hexagonal — un port, plusieurs backends interchangeables derrière
MonteCarloRunnerPort. - 03. Le port GPU Apple Silicon — Metal direct, MLX en oracle CPU
La bifurcation d'architecture tranchée par mesure : MLX-array-ops bandwidth-bound, Metal direct compute-bound, anti-fabrication typée.
- 04. Validation — fleet multi-agent, formalisation TLA+, gates falsifiables
Délibération 10-personas,
GpuFleet.tla(7,4 M états, 0 violation), oracle 4-témoins rooted-independent, 18 gates. - 05. État d'avancement et bornes
Ce qui est livré sur cible Apple Silicon (33,58× saturé, radiographie reproduite, physique certifiée vs CUDA indépendante) ; ce qui reste, côté capacité matérielle NVIDIA.
Repères chiffrés
| Observable | Valeur mesurée | Source |
|---|---|---|
| Speedup saturé Monomère A vs CPU mono-thread scellé | 33,58× (carnot 30–35× confirmé) | § 05 · docs/metal-a-payoff/ |
| Radiographie IQI Sinus sur GPU Mac (300M photons) | 5 min 50 s | § 05 · metal-a-iqi-sinus-hires-300M.png |
| Golden GPU-vs-CPU intersection | 2,07 × 10⁻⁷ rel. | § 03 · metal/reference.rs |
| Sections efficaces gamma certifiées vs fixture CUDA W3 | Compton, PE, paire, Rayleigh — toutes dans ε | § 04 · docs/metal-a-oracle-certification/ |
| TLA+ — safety / liveness | 7 429 792 / 117 504 états · 0 violation | § 04 · formal/GpuFleet.tla |
| Mutation gate (preuve que chaque invariant détecte sa propre violation) | 8/8 WITNESSED | § 04 · formal/TLC-RESULTS.md |