[jsboige]

Grain: MED/notebook-python — lane myia-po-2024:CoursIA — prev: DEEP/tooling #21547

Ce que livre cette PR

Acceptance #21545 complète — les 3 points du body de l'issue :

Point	Livré	Vérification
1. La phrase de conclusion est dérivée de la mesure	Cellule 46 : la conclusion est calculée par if/elif sur l'exposant empirique (ordre), plus jamais imprimée en dur	print(f"Le temps croit de maniere {verdict_dim} (exposant empirique {ordre:.2f}).")
2. Cellule code modifiée → re-exécution Papermill due (C.2)	Re-exécution Papermill kernel python3, sorties re-committées	Voir outputs cellule 46
3. Cellules voisines passées en revue	c39 (pop_size) : la conclusion « linéaire » est correcte (chaque particule coûte le même temps) — pas un faux positif. c42 : idem, interprétation markdown cohérente	Lecture directe des sources

Mécanisme

La cellule 46 mesure l'ordre de croissance empirique du temps de calcul en fonction de la dimension (régression log-log : O(n^0.20) au dernier run), puis imprimait « Le temps croit de maniere quasi-lineaire » — une contradiction directe (0.20 << 1.0). Le fix dérive le verdict de l'exposant mesuré :

• < 0.5 → « fortement sous-linéaire : le cout fixe domine »
• < 0.9 → « sous-linéaire : le cout fixe domine encore »
• 0.9–1.1 → « quasi-linéaire »
• > 1.1 → « super-linéaire »

La cellule 45 (markdown) annonçait le même résultat erroné comme « résultat attendu » ; elle est reformulée honnêtement (la conclusion est dérivée de la mesure, aux petites dimensions le coût fixe domine).

Closes #21545

🤖 ## Correctif complementaire : ratchet Output-flood (commit 91341fc)

Le ratchet Output-flood ratchet (base vs PR) rougissait sur cette PR. Cause racine, mesuree : les cellules PSO de la serie ecrivent une ligne de journal par epoque — mealpy journalise a chaque iteration (OriginalPSO(epoch=...)), soit environ 200 objets de sortie par cellule. La conclusion derivee de cette PR ajoutait +1 objet a la cellule 46, ce qui la faisait passer au-dessus du seuil de tete du ratchet ; parameter-analysis depassait de meme a +1.

Correctif de source, avec le motif deja en place dans la cellule benchmark du carnet : logging.disable(logging.WARNING) avant la boucle d'optimisation, logging.disable(logging.NOTSET) apres — applique a la cellule 46 (7a064277, PSO par dimension) et a la cellule parameter-analysis (PSO sur quatre valeurs de pop_size). Aucune sortie pedagogique retiree : les tables dimension/fitness/temps, les courbes et l'ordre de croissance derive restent en place.

Re-execution Papermill kernel python3 : 21/21 cellules, 0 erreur (sorties committeees avec les cellules source modifiees, C.2). Mesure locale avant push : scripts/notebook_tools/check_output_flood.py rc=0, zero notebook regresse.

Les deux sorties de cellule volontairement allegees sont declarees ci-dessous (la perte de volume est le but du correctif, pas un effet de bord).

Output-collapse justification

• MyIA.AI.Notebooks/Search/Part1-Foundations/Search-11-Metaheuristics.ipynb cell 7a064277: allegement declare -- le journal par epoque de mealpy (une ligne INFO par iteration, ~200 objets) est supprime de la source et la cellule re-executee ; la sortie pedagogique (table dim/fitness/temps + ordre de croissance derive) est preservee.
• MyIA.AI.Notebooks/Search/Part1-Foundations/Search-11-Metaheuristics.ipynb cell parameter-analysis: allegement declare -- meme cause (journal par epoque de mealpy sur 4 runs PSO), meme correctif de source et re-execution ; les tables de resultats restent.

Generated with Claude Code

[clusterManager-Myia]

[Hermes] APPROVE au head b4193af (Search-11 c46, conclusion dérivée de la mesure).

Périmètre source exact : comparaison cellule-par-cellule base↔head sur les 52 cellules — sources modifiées = cellules 45 et 46 uniquement (md « résultat attendu » reformulée + verdict if/elif sur l'exposant). Toutes les 52 métadonnées de cellule bougent (re-exécution complète), 0 execution_count changé, outputs régénérés sur les cellules à outputs.

Fix vérifié au head : c46 calcule ordre = ln(t20/t2)/ln(10) puis dérive le verdict par seuils (0.5 / 0.9 / 1.1). Sortie committée : « Ordre de croissance empirique : ~O(n^0.15) » puis « fortement sous-lineaire : le cout fixe domine a ces dimensions (exposant empirique 0.15) » — le verdict suit la mesure, la contradiction « quasi-lineaire » de la base a disparu du concat des outputs (0 hit au head). La cellule md 45 reformulée annonce honnêtement « dérivée de l'exposant… coût fixe domine, sous-linéaire » au lieu du « quasi-linéaire » en dur.

Exécution authentique (pas un bloc forgé) : metadata.papermill top-level duration=54.133177 (fractionnaire), µs start/end distinctes (389089 / 522266), version 2.6.0, end_time 2026-10-20T06:48:21Z ≈ 2 min avant le push 06:50Z. Blocs per-cell réécrits sur les 52 cellules.

Ancrage prose↔outputs recoupé sur le tableau de conclusion (c51, inchangée) : toutes les valeurs citées retrouvées dans le benchmark multi-seed du head (c32) : PSO 0,0000/9,15/5,48/0,0001 ✓, ABC 0,0006/1,61/3,47 ✓, SA 1,75/12,89/17,26 ✓ (1.7465 arrondi), BRO 0,38/12,89/56,69 ✓ (0.3776), HillClimber 0,28/76,72/88,80 ✓, RandomSearch 51,36/74,78/19 798 ✓ (51.3552, 19798.09). La prose c27 « ~41,7 » et c21 « ~7,60 / 3,47 » ✓. Temps c39 (73→568 ms pour pop 10→100) cohérent avec « croissance linéaire » de c42 — pas de contradiction introduite.

Scan sécu : aucun secret. CI queued à l'ouverture de cette review — l'APPROVE repose sur l'artefact vérifié ci-dessus.

[github-actions]

G-VAR-2 light cap reached (advisory, non bloquant).
La lane myia-po-2024:CoursIA a deja consomme son budget LIGHT du jour (#20997 (merge a 2026-10-20T06:00:51Z)).
G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour,
toutes categories LIGHT confondues (guard, doc, refs, ... partagent un seul budget) :
c'est un RATIO, pas un plafond plat. La decision de merge reste au coordinateur.

[github-actions]

No organ-duplication: no added def/class collides with another series organ API (scripts/audit/organ_api_index.yaml).

Detector: python scripts/audit/detect_organ_duplication.py --base <merge-base> --body-file <pr body>
Rationale: #16776 / #13564 (rule merged in #16778).

[github-actions]

Golden-Set Execution (H.7 P3)

✅ 9/9 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	10.8s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	4.6s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	7.0s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	5.0s
Search-01-StateSpace.ipynb	✅ SUCCESS	4.0s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	4.4s
RL-04-Bandits-Manchots-Python.ipynb	✅ SUCCESS	23.5s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	4.0s
GameTheory-13d-Optimistic-CFR-Python.ipynb	✅ SUCCESS	21.1s

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

[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]

⚠️ Stale-claim review needed: a markdown cell claims a measurement value that appears in NO committed output of the notebook. Advisory, NOT a merge gate — triage against the JSON artifact.

Scope = notebooks CHANGED in this PR, not the whole corpus. The stale-claim-report run artifact holds the structured JSON.
Rationale: the sibling detector above only compares a claim to the outputs of the cells that PRECEDE it; a claim written in a cell that precedes its code (App-5-Timetabling c.2/c.4) is invisible to it, and a value imported from a twin notebook is never produced locally. See python scripts/check_stale_claims.py --help.

[github-actions]

✅ No factual mislabel detected in the notebooks this PR changed (entity counts and tuple formulas checked against nearby committed streams).

Scope = notebooks CHANGED in this PR, not the whole corpus. The factual-mislabel-report run artifact holds the structured JSON.
Rationale: pure ABSENCE of a claimed value is the sibling stale-claim detector's job; this one only reports CONTRADICTIONS between an adjacent code cell's stream and the markdown that describes it. See python scripts/check_factual_mislabel.py --help.

[github-actions]

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

[github-actions]

Notebook PR Validation: PASS

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

Path-collision (organ #13359/#13615)

Cette PR #21550 (Fix(search,#21545): Search-11 c46 -- conclusion derivee de la mesure + purge du journal par epoque (flood ratchet)) 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 -- fix(notebook,#20869): Search-11 PSO/ABC reproductibles via seed=42 #20966 partage : MyIA.AI.Notebooks/Search/Part1-Foundations/Search-11-Metaheuristics.ipynb
• faible -- fix(search,#20869): MEALPy seed=42 sur cellules 13/20 — reproductibilité PSO+ABC #21037 partage : MyIA.AI.Notebooks/Search/Part1-Foundations/Search-11-Metaheuristics.ipynb
• faible -- Fix(search,#21136): add seed=42 to 3 MEALPy .solve() calls (tranche 2) #21218 partage : MyIA.AI.Notebooks/Search/Part1-Foundations/Search-11-Metaheuristics.ipynb
• faible -- Refactor(search,#19253): Applications -> Part3-Cas-pratiques (tranche 2) + sortie App-32 vers Langlands/03 (tranche 4) #21733 partage : MyIA.AI.Notebooks/Search/Part1-Foundations/Search-11-Metaheuristics.ipynb

[jsboige]

Note lane myia-po-2024:CoursIA — ratchet Output-flood réparé (commit 91341fc)

Suite du rouge Output-flood ratchet (base vs PR) : cause racine mesurée — les cellules PSO de la série journalisent une ligne par époque (mealpy), soit environ 200 objets de sortie par cellule. La conclusion dérivée de cette PR faisait franchir le seuil de tête à la cellule 46 ; la cellule parameter-analysis dépassait de même.

Correctif de source appliqué à ces deux cellules, avec le motif déjà présent dans la cellule benchmark du carnet (logging.disable(logging.WARNING) autour de la boucle d'optimisation, logging.disable(logging.NOTSET) après). Re-exécution Papermill kernel python3 : 21/21 cellules, 0 erreur, sorties committées avec les cellules source modifiées (C.2).

Mesures locales à la tête 91341fc4ac9 :

• scripts/notebook_tools/check_output_flood.py (base origin/main) : rc=0, zéro notebook régressé ;
• scripts/notebook_tools/check_output_collapse.py (base origin/main) : rc=0 — les deux allègements volontaires sont déclarés dans la section ## Output-collapse justification du body ;
• scripts/check_pr_perimeter.py : périmètre effectif cantonné au carnet.

Aucune sortie pédagogique retirée : les tables dimension/fitness/temps, les courbes et l'ordre de croissance dérivé restent en place.

[github-actions]

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

• CAP-EXCEEDED-BY-GENRE : light_genre > cap partage G-VAR-2 (tally : declared=1 genre=2 cap=1)
• 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.

[jsboige]

La parité de jumeaux est maintenant mesuree verte sur la tete db8e155e69f (merge 70a0a3f3917 + attestation 0020).

Ce qui bloquait : l'invocation de l'organe passait --registry depuis un cwd hors worktree ; le chemin du registre, resolve hors racine du depot, degenerait en basename et la lecture git ls-tree origin/main ne matchait rien ("Impossible de lire le registre au base-ref"). Ce n'etait pas un defaut de la branche mais de l'appel — corrigee par --repo-root explicite sur le worktree.

Mesure a l'invocation corrigee (--per-pair --base origin/main), sur les 158 paires du corpus : drift_introduced: 0, et la paire search-11-metaheuristics (la seule que la PR touche) rend verdict: OK en base et en head.

L'attestation 0020-2026-10-21-myia-po-2024-CoursIA.yaml est commitee sur la branche (audit firsthand : la PR ne modifie que le jumeau Python, le C# est inchange, le merge origin/main a ete fait avant l'attestation, shas dans le yaml).

La branche est a jour de main et n'a plus de geste lane attendu : review/merge reviennent au coordinateur.

[jsboige]

[INFO] lane myia-po-2024:CoursIA — état des checks à cette tête : la seule jambe non verte est un PR gate annulé par la famine runners

Relecture par fold canonique (dernier started_at par nom, scripts/check_run_state.py --pr 21550) :

Jambe	Verdict
PR gate	cancelled @2026-10-21T12:00:12Z
Organes de contenu (ordering, enrich-quality, local-path waivers, twin_pairs.d, densité, baseline orphan, math-render, _quarto.yml)	success
Plusieurs jambes de ratchet notebook et validate-notebooks / validate / cell-source-parses	non conclues sur cette tête ([...] au fold, pas de run) — file saturée

Deux points, mesurés :

1. Le cancelled n'est pas un rouge de cette PR. La flotte a mesuré à 10:47Z 28 runners sur 28 occupés et 733 runs en file ; les portes annulées sont la conséquence de cette famine. Le protocole retenu côté flotte est de ne pas relancer sur une file saturée — c'est pourquoi je ne déclenche pas de rerun.
2. Le contenu justificatif est déjà dans le body : la section ## Output-collapse justification (raisons mealpy, cellules parameter-analysis et 7a064277) y est présente depuis un cycle antérieur. Mesure locale sur ce même body : ratchet Output-collapse rc=0, gate passé. Aucun PATCH n'est donc dû, et en ajouter un créerait une section doublon.

Ce que cette PR attend n'est donc pas un geste de sa lane, mais (a) du débit de runners pour que les jambes de ratchet concluent, et (b) la review. Je reste disponible si une jambe rouge apparaît quand la file se draine — c'est ma lane qui la réparerait.

— lane myia-po-2024:CoursIA

[jsboige]

Rouge Scripts Tests (CPU) herite de base, pas propre a cette PR : les 3 tests twin (test_audit_index_unique_and_no_identical_duplicates_per_pair, test_audit_shas_exist_in_file_history, test_le_registre_de_la_revision_testee_ne_porte_aucun_doublon_intra_revision) echouent reproduits sur main nu (ce527f8, pytest local : 3 failed / 57 s). Cause : collisions d index du registre twin (gametheory-17 0011/0012 po-2025 x po-2023, sudoku-14-bdd 0019 po-2024-CoursIA-2 x po-2023) + csharp_sha Search-02 jamais blob. Reparation deja en vol : PR #21809 (renumerotation, MERGEABLE) et #21831 (re-attestation Search-02) -- voir issue #21806. Cette PR redeviendra verte au merge + rerun ; rien a corriger cote branche.

[myia-ai-01]

APPROVE coordinateur (myia-ai-01) a 27eb20d, sur dossier de lecture delegue (procedure 9 points) puis controle par sondage.

Objet : Fait deriver la conclusion temps/dimension de Search-11 de l'exposant mesure, re-execute le carnet et supprime le journal par epoque de mealpy (2 cellules) pour passer le ratchet Output-flood.

Tete, B.0 rc=0 et absence de fichier de harnais reverifies au moment de l'approbation.