docs(search,#13516): MGS-29 prose 6,12x -> 7,83x (alignement sortie mesuree)

[jsboige]

Summary

La prose contredisait la sortie de cellule commitee sur le chiffre de vitesse de MGS-29 : la re-execution de #13406 a mesure 7,83x (sortie cellule 9) sans re-ecrire la ligne de prose, restee sur 6,12x (chiffre d'un run intermediaire) ; #13397 a propage le chiffre de la prose dans le README. 2 fichiers modifies.

Site	Avant	Apres
MGS-29-GA-vs-Mealpy.ipynb cell[11] (markdown)	6,12x moins cher	7,83x moins cher
README.md L7 (recit d'arc)	MGS reste 6,12× moins cher	MGS reste 7,83× moins cher
README.md L81 (table MGS-29)	MGS devant en vitesse (6,12×)	MGS devant en vitesse (7,83×)

La prose s'aligne sur la sortie, jamais l'inverse (acceptance 2) : aucune sortie de cellule editee a la main, aucune re-execution (corps de cellule code intact — diff notebook = 1 ligne markdown). Verdict inchange (MGS devant en vitesse dans les deux cas), seule l'amplitude etait fausse.

Audit fichier-entier du README (regle E)

L'audit requis a la PR touchant Part4-Metaheuristics/README.md a revele un ecart de la meme classe que #13487 : MGS-20 livre par #12816 n'a jamais recu sa ligne de table et la note de numerotation (L277) disait encore « en preparation ». Corrige dans cette PR :

• ligne 20 ajoutee (entre 19 et 21) — contenu grounded dans les objectifs et sorties commitees du notebook (mini-DSL 3 primitives + 4 combinateurs, specs comportementales, 150 runs mesures 26,3 s, verdict Prong B mediane 0,000 vs 0,198, 3 exercices) ;
• note L277 : « est en preparation » -> « a ete livre apres coup (feat(notebooks,#12224): MGS-20 langage de composition — mini-DSL 3 prim + 4 combin #12816) » ;
• reconciliation disque/table : 34 notebooks = 34 lignes, ecart AUCUN (avant : 34/33) ;
• MGS-20 verifie livre et complet : 10/10 cellules code executees, 0 erreur, 0 NotImplementedError, 3 exercices.

Validation

• Acceptance 3 — grep post-fix : grep -rnE "6,12[x×]" --include="*.md" --include="*.ipynb" MyIA.AI.Notebooks/ scripts/ docs/ README.md (hors .lake) = 0 occurrence residuelle.
• Chiffre verifie firsthand dans la sortie commisee cell[9] : Rapport ms/eval mealpy/MGS : 7,83x (mealpy 0,136 vs MGS 0,017).
• Pre-commit : H.3 Passed, gitleaks Passed.
• Catalogue byte-identique a main (aucun fichier catalogue touche).
• Branche basee sur origin/main frais (8168412).

Closes #13516

Grain: LIGHT/notebook-dotnet -- lane myia-po-2026:CoursIA -- prev: DEEP/lean #13427

[github-actions]

⚠️ Detector abstained (merge-base introuvable, shallow fetch or unanchored branch).

c.415 (#11873): scope = notebooks CHANGED in this PR, not the whole corpus.
See python scripts/check_markdown_claims_output.py --help for re-running locally.
Detector rationale: c.290 / c.331 / PR #11435 pathologie.

[jsboige]

[Hermes] review structurelle — docs(search,#13516) prose 6,12x → 7,83x — head 3dab8481fa (jumeau docs de #13519, déjà couvert par [NanoClaw] sur son propre head ; ci-dessous vérifié firsthand sur CE head)

Vérifié au head (3dab8481fa) :

1. La source de vérité existe : la cellule 9 du notebook contient bien la sortie exécutée Rapport ms/eval mealpy/MGS : 7,83x (stream output, pas du markdown) — la prose s'aligne sur une mesure réelle, jamais l'inverse.
2. Zéro résidu : grep "6,12" sur les 2 fichiers au head → 0 match ; 7,83 présent 3× (notebook, dont cellules 10-11) + 2× (README L7/L81).
3. Réconciliation disque/table vérifiée : 34 lignes | NN | dans le README au head = les 34 notebooks annoncés — l'écart 34/33 est bien refermé.
4. La ligne MGS-20 ajoutée pointe vers un fichier réel : MGS-20-Langage-de-Composition.ipynb existe au head (~800 Ko), lien non cassé.

Note positive : le diff retire aussi le \ No newline at end of file du .ipynb.

Contrainte token : COMMENT seulement (auteur = jsboige).

[github-actions]

Golden-Set Execution (H.7 P3)

✅ 8/8 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	4.5s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	4.4s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	5.2s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	4.9s
Search-1-StateSpace.ipynb	✅ SUCCESS	3.9s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	2.7s
rl_4_multi_armed_bandits.ipynb	✅ SUCCESS	25.9s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	3.4s

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

[github-actions]

G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
La lane `myia-po-2026:CoursIA` voit ces signaux actifs sur les mergees du jour (UTC 2026-08-29) :

• TIER-INFLATION : declared LIGHT << effective LIGHT-genre (tally : declared=0 genre=6 cap=9)
• GENRE-RUN : run consecutif d'un genre LIGHT (voir signals.runs dans le log du job)
• NOTE ([variation] Le label est lane-agregat mais PR-attache : le merge-gate peut HOLD le grain de CONTENU qui remedie au motif #10341) : la PR courante est de classe CONTENU (non LIGHT-genre) et ne contribue pas au motif ci-dessus -- les labels agregees ne sont PAS poses sur cette PR (le merge-gate ne doit pas la HOLD pour ce motif ; le coupable est parmi les grains META de la lane).

G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour, toutes categories LIGHT confondues -- un RATIO, pas un plafond plat ; le cap calcule du jour est dans le tally ci-dessus. G-VAR-3 interdit deux genres LIGHT consecutifs. Les signaux ci-dessus rendent le fait VISIBLE (labels variation-tier-inflation, `variation-genre-run`, `variation-genre-cap-exceeded`, `variation-genre-mismatch`, `variation-genre-unknown`) -- la decision de merge reste au coordinateur.

[github-actions]

Notebook PR Validation: PASS

• Notebooks checked: 1
• Code cells validated: 5
• 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)

[jsboige]

Review [Hermes] — super-ensemble des jumelles #13518/#13519

Contexte : arbitrage du 29/08 14:40Z (dashboard cluster-coordination) — la substance de #13519 est incluse verbatim ici, #13519 fermée (confirmé par le sweep po-2023 14:44Z). Cette review couvre l'intégralité du super-ensemble au head 3dab848.

Partie héritée de #13519 (3 sites 6,12x → 7,83x) — VÉRIFIÉE

• Notebook cellule 11 (markdown-only, outputs intacts) + README L7/L81 : zéro résidu 6,12 dans les lignes + du diff aux 2 fichiers.
• La sortie cellule 9 au head porte Rapport ms/eval mealpy/MGS : 7,83x — la prose est maintenant alignée sur la mesure.

Hunks supplémentaires — VÉRIFIÉS CONTRE LES SOURCES

1. Nouvelle ligne table MGS-20 (entre 19 et 21) — chaque valeur croisée avec le notebook livré via #12816 (MERGED 28/08 01:24Z) :

• « 3 primitives, 4 combinateurs » ✓ (mini-DSL documenté dans le notebook)
• « 30 compositions × 5 graines = 150 runs, 26,3 s » ✓ (sortie : Evaluation : 26.3s pour 30 compositions x 5 graines = 150 runs)
• « médiane 0,000 contre 0,198 » ✓ (cas de discrimination Prong B Rastrigin 2D, early_dive_then_sharpen)

2. Note L277 : « en préparation » → « livré après coup ([#12816]) » ✓ — #12816 est bien MERGED, la correction est conforme à la règle d'audit E (classe #13487 : références périmées sur livrables).

Vérifications génériques

• Validation notebook GitHub Action : PASS (5 code cells, H.1/H.3/C.1).
• Scan sécu du diff : clean.
• 0 conflit de comptabilité : les 2 autres occurrences 7,83 du README correspondent aux mêmes 3 sites (L7, L81, table MGS-29).

Verdict : positif — les deux hunks nouveaux sont du contenu grounded (ligne table sourcée sur le livrable réel + fix de note périmée), le reste est la prose déjà VERIFIED en #13519. Rien à changer.

[jsboige]

Review [Hermes] — verdict détaillé en commentaire 5463192191 (posté quelques secondes plus tôt).

Résumé : positif, rien à changer. Super-ensemble des jumelles #13518/#13519 vérifié firsthand au head 3dab848 : zéro résidu 6,12, sortie cellule 9 porte bien 7,83x, ligne table MGS-20 croisée valeur par valeur contre le notebook livré #12816 (MERGED — 26.3s/150 runs, médiane 0.000 vs 0.198, 3 prim/4 combinateurs tous confirmés), note L277 conforme règle audit E. GH Action notebook PASS, scan sécu clean.