Livrable OptiX 4 → 9 — évaluation v2
La radiographie gamma de Radience tourne sur le GPU du Mac.
À gauche, la référence livrée
À gauche, la référence livrée
f_tot.jpg. À droite, la sortie du Monomère A (Metal direct, Apple M4 Max) — 300 M photons, 5 min 50 s, ~34× la baseline CPU mono-thread scellée. Disque, stries sinusoïdales et bords festonnés alignés. Chaque chiffre publié porte un témoin d'exécution driver-sourced ; l'absence de témoin est un échec.
📦 Livrable C++/CUDA — pur C++17 + OptiX 9, un seul dossier, prêt à compiler
Réponse aux demandes Agustin (22/05 15:07 — « version pure c++, sans le multi-portage, le plus simple possible ») et François (22/05 09:57 — « C++ et CUDA, juste un dossier avec le main prêt à compiler »).
- 11 fichiers à plat, aucun sous-dossier
main.cpp: 611 LOC — modernise OptiX 4 → 9- Zéro dépendance Rust côté Agustin
- Build :
make && ./main(CUDA 12 + OptiX 9.1) - Kernels bit-identiques au workspace multi-port
- 4 anomalies préservées bug-for-bug
- README couvre build / run / diff vs original / findings (
np, IQI_Sinus) - Mac-side
clang++ -fsyntax-only -Wall -Wextra= RC 0
⚠️ Statut : pas encore testé sur GPU NVIDIA réel.
Mac-side
clang++ -fsyntax-only -Wall -Wextra = RC 0 ; la vraie compilation CUDA + OptiX 9 reste à exécuter sur une machine NVIDIA. C'est précisément l'étape que ce livrable invite Agustin à faire — la boucle collaborative s'ouvre ici.
Sommaire détaillé
- 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. Comparatif visuel vs
f_tot.jpg. - 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) ; ce qui reste, côté capacité matérielle NVIDIA. Inclut la radiographie haute-résolution.
- 06. Livrable C++/CUDA — pur C++17 + OptiX 9, un seul dossier
L'assiette dressée pour Agustin et la future physicist : 11 fichiers à plat,
main.cpp611 LOC modernise OptiX 4 → 9, kernels bit-identiques au workspace, 4 anomalies préservées. Téléchargement zip 223 ko.
Repères chiffrés
| Observable | Valeur mesurée | Source |
|---|---|---|
| Speedup saturé Monomère A vs CPU mono-thread scellé | 33,58× | § 05 · G_speedup_floor-result.json |
| Radiographie IQI Sinus sur GPU Mac (300 M 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 indépendante | Compton · PE · paire · Rayleigh | § 04 · docs/metal-a-oracle-certification/ |
| TLA+ — safety / liveness | 7 429 792 / 117 504 états | § 04 · formal/GpuFleet.tla |
| Mutation gate (chaque invariant détecte sa propre violation) | 8/8 WITNESSED | § 04 · formal/TLC-RESULTS.md |
Galerie
