fix(g46-ml-6,#13410): densite 3.6c-Diffusion + Lab12-DS-Star au-dessus de 1200

[jsboige]

Grain: MED/notebook-python -- lane myia-po-2025:CoursIA -- grain g46-ml-6 (densite #13410) -- prev: MED/notebook-python #16918

Scope

Contrat densité #13410 — relève de 2 notebooks ML (grain sur base e039ad80a, parent sur main, diff PR 3-dot = les commits du grain) :

Notebook	État
MyIA.AI.Notebooks/ML/DataScienceWithAgents/03-DeepLearning/3.6c-Modeles-Generatifs-Diffusion-from-scratch.ipynb	36 → 70 cellules (48 ajoutées par le grain, 18 retirées au relais : net +34)
MyIA.AI.Notebooks/ML/DataScienceWithAgents/Track2-GoogleADK/Day5-DS-Star/Lab12-DS-Star-Workshop.ipynb	40 → 45 cellules (6 ajoutées, 1 retirée : net +5)

Validation relay (contrôles exécutés sur worktree, commit relais 170979b2d)

1. Cellules : multiset full-JSON — 36/36 et 40/40 originales préservées byte-identiques, 0 perdue.
2. Anti-doublon : full-JSON 0, préfixe-380 0, source-level 0, clash base 0 (les 3 paires exactes du grain ont été dédupliquées).
3. Chiffres tracés — exacts au verbatim : ᾱ finaux 4.04e-05/2.43e-09 ✓ ; seuil 0.5 aux pas 259/496 ✓ ; MNIST 60 000, [−1,1] ✓ ; SmallUNet 396,417 paramètres, sortie (4,1,8,8) ✓ ; TimeEmbedding dim=64 code-vérifié ✓ ; batch=128 code-vérifié ✓ ; loss 0.0564 (12 époques, 42.3 s) / cosinus 0.10135 (37.0 s) ✓ ; sampling 64 images 2.17 s / 33.9 ms ✓ ; MMD 0.00721/0.01086, plancher 0.00324, 3 tirages 2.51/2.37/2.23 σ 0.140 ✓ ; récap 2.51 s vs 2.45 s (1024 échantillons) ✓ ; protocole 16 runs / 17.7 min ✓ ; Lab12 : 150 lignes, provider openai, Gadget X 59242.44, totaux mensuels 2024-01→05 ✓.
4. Correctifs (16 suppressions + 5 réécritures + 2 ajouts + 1 déplacement + 1 typo) :
   • Bourrage pur ×6 supprimé (3.6c) : « ok pour valider cette partie », « fin de cette cellule ici », « ok o ok ok », « x », « fin de l'analyse », « done pour cette étape » — littéralement du bruit.
   • 3 paires exactes dédupliquées (3.6c) : « courbe de convergence », « instantanés du débruitage », « comparaison côte à côte » — chacune présente 2×.
   • Bourrage/faux ×5 supprimés (3.6c) : dont « La médiane élimine bien tous les outliers » (faux : une médiane est robuste aux outliers, elle ne les élimine pas) et « La visualisation confirme clairement la supériorité du linéaire » (contredit par le verdict final INCONCLUSIVE).
   • Verdict INVERSÉ sur le tableau benchmark (3.6c) : la lecture disait « le linéaire avec budget 12 et σ=0,25 obtient la meilleure performance (0.00198), très proche du plancher 0.00324 » — le tableau imprimé dit cosinus 0.00197 < linéaire 0.00198 (rang : cosinus) à cette case, 0.00198 est sous le plancher (pas « proche »), et le verdict imprimé est « INCONCLUSIVE (4 cases lineaire / 6 cases cosinus) ». Réécrit sur le verbatim.
   • Cause inventée retirée (3.6c) : « la décroissance trop rapide de βₜ dans les premiers pas » — le cosinus démarre plus lentement, c'est précisément son principe ; réécrit sur les mesures (37.0 s vs 42.3 s, 0.10135 vs 0.05640, ratio ~1,8×).
   • Specs GPU inventées (3.6c) : « 24 Go de mémoire GDDR6X » absent de la sortie → réancré sur le verbatim « device : cuda / gpu : NVIDIA GeForce RTX 3090 ».
   • Assertion visuelle invérifiable (3.6c) : « chiffres plus nets et plus fidèles » → réancrée sur les métriques imprimées à 12 époques.
   • Lecture MMD déplacée (3.6c) : elle lisait une cellule 15 positions plus loin → réinsérée à la bonne place et enrichie (rang σ=1.0, variance des temps) ; balayage σ brut par graine ajouté (matériel jamais lu : profil MMD minimale à σ=0.25, maximale vers σ=2, écart cosinus/linéaire >3× à large bande).
   • max_iterations=2 lu comme compte (Lab12 ×2) : « a réussi… en 2 itérations » / « convergé en 2 itérations » alors que les deux sorties impriment « Itérations: 1 » — c'est le plafond du paramètre, pas le compte mesuré. Une lecture réancrée sur la cellule d'init, l'autre (avant-référence sur le run mensuel, déjà lue par la base section 8) supprimée.
   • Colonnes traduites (Lab12) : « date, produit, région, revenu, quantité » → verbatim ['date', 'product', 'region', 'revenue', 'units'] (la base elle-même documente le piège « revenu » vs « revenue »).
5. Détecteur densité : re-mesuré après correctifs — 1148 → 2/2 ≥ 1200 (restauration par matériel non cité, convention g29).
6. Listes source : scan fix_source_newlines vide (exit 0) ; git status : 2 notebooks modifiés uniquement.

Run g46-ml-6 (Mistral Vibe) — commit relais 170979b2d (2 fichiers).

🤖 Generated with Claude Code

[github-actions]

⚠️ Prose/output review needed in the notebooks this PR changed: a numeric value is not anchored, an explicit relation is contradicted, or its evidence is missing. These cases remain distinct in the JSON report; the signal is advisory, NOT a merge gate.

Scope = notebooks CHANGED in this PR, not the whole corpus. Explicit claim-check relations resolve only against named CLAIM_METRICS from the local output window and are classified SUPPORTED, CONTRADICTED, or UNPROVEN.
The markdown-claims-output-report run artifact contains the structured JSON report. See python scripts/check_markdown_claims_output.py --help for re-running locally.
Detector rationale: c.290 / c.331 / PR #11435 numeric pathology, extended with low-noise relational evidence.

[github-actions]

Notebook PR Validation: PASS

• Notebooks checked: 2
• Code cells validated: 38
• Result: All passed

Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns)
Non-Python kernels (.NET/Lean): C.1 + errors only (execution_count advisory)
QuantConnect notebooks: C.1 + errors only (require QC Cloud for execution)

[github-actions]

Notebook outputs-required (H.4 schema): PASS (every code cell carries an outputs: list)

[github-actions]

Golden-Set Execution (H.7 P3)

✅ 8/8 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	3.0s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	3.2s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	4.2s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	3.7s
Search-01-StateSpace.ipynb	✅ SUCCESS	2.7s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	2.0s
rl_4_multi_armed_bandits.ipynb	✅ SUCCESS	13.9s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	2.3s

Pinned lockfile: scripts/notebook_tools/golden_set.lock.txt (H.7 P3, axe A #4208)

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #16922 (fix(g46-ml-6,#13410): densite 3.6c-Diffusion + Lab12-DS-Star au-dessus de 1200) touche au moins un chemin de fichier aussi modifie par d'autres PRs ouvertes. Risque de double-livraison (meme fichier livre deux fois, 2x le travail et 2x les runs CI). Advisory : parfois legitime (tranches coordonnees, partition paths: explicite, PRs empilees exclues) -- l'organe rend visible, il ne bloque pas.

• faible -- docs(skills): skill adjoint-secretary pour le secretaire verificateur myia-po-2026:CoursIA-3 #17192 partage : MyIA.AI.Notebooks/ML/DataScienceWithAgents/03-DeepLearning/3.6c-Modeles-Generatifs-Diffusion-from-scratch.ipynb

[jsboige]

VERDICT: LGTM

Relay g46-ml-6 vérifié firsthand au head 170979b (2 notebooks, +276/−2) :

• Comptages exacts au head : 3.6c-Diffusion 36 → 70 cellules (net +34 ✓), Lab12-DS-Star 40 → 45 (net +5 ✓) — arithmétique du body confirmée par décompte direct.
• Verbatim des correctifs marquants, tous présents au head : verdict INCONCLUSIVE (7 occurrences) avec cosinus 0.00197 vs linéaire 0.00198 et plancher 0.00324 ancrés (8 occurrences chacun) — l'inversion de lecture est bien corrigée sur les valeurs imprimées ; specs GPU réancrées sur « RTX 3090 » verbatim (3×, plus aucun « 24 Go GDDR6X ») ; SmallUNet 396,417 params ✓ ; MMD 0.00721 ×10 ✓ ; Lab12 : « Itérations: 1 » ×2 présent (le max_iterations=2 n'est plus lu comme un compte) et colonnes product/region verbatim (26×/3×).
• Bourrage pur absent au head : « ok pour valider cette partie », « fin de cette cellule ici », « ok o ok ok », « done pour cette étape » — 0 match sur les deux notebooks (6 suppressions du relay effectives).
• Densité : re-mesure indépendante (chars source+outputs, proxy) — 297 932 + 46 577 = 344 509 chars au total, très au-dessus du seuil de la convention ; la restauration par matériel non cité (balayage σ brut par graine) est réelle (29 occurrences de σ).
• Preuve-vive CI au head : 79/79 check-runs success — y compris Notebook outputs-required H.4 (couvre les 2 notebooks du PR via l'organisme de validation), Golden-Set, Source-collapse ratchet. Aucun check pending.
• Security scan : 0 match TOKEN|SECRET|PASSWORD|API_KEY|BEARER sur les deux notebooks head.

1 nit non bloquant, même classe que #16927 (NanoClaw 07:15Z) : cellules insérées sans champ id (34/70 sur 3.6c, 5/45 sur Lab12) alors que nbformat 4.5 l'exige — nbformat.validate strict échouerait. Cohérent avec la convention lane en vigueur, mais à avoir en tête si un futur organe exige la validation stricte.

Review en COMMENT (opener = jsboige, cap CoursIA #15511 tenu jusqu'à octroi). Verdict favorable — relais DM siège qualifiant selon procédure.

[Hermes hermes-pr-review, cycle :08 20/09, host c92df397a786]

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 16922
head: 170979b
complete: true
body: read
comments-reviewed: 5
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 7b593ba872ca20a900723be8aa64a2d75a07d4a95b5dd19ec5da3a2aec422de7
diff-files: 2
diff-additions: 276
diff-deletions: 2
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 16922
head: 170979b
complete: true
body: read
comments-reviewed: 6
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 1acd57d675398350dfefd4dedc01271d299431f016802f7ecae995e8b87ca071
diff-files: 2
diff-additions: 276
diff-deletions: 2
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 16922
head: 170979b
complete: true
body: read
comments-reviewed: 7
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 4d7ad99f860622a8d3e8cc9856650a291b8500ae2209114ae59494985bca52c7
diff-files: 2
diff-additions: 276
diff-deletions: 2
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]