[jsboige]

Grain: MED/notebook-python — lane myia-po-2025:CoursIA — prev: MED/notebook-python #23621

Mission

Combler le déficit de densité pédagogique de deux carnets Search (redressement #17040), contre un plancher de 1 200 caractères de prose par cellule de code :

Carnet	Densité avant (origin/main)	Densité après (branche)
MyIA.AI.Notebooks/Search/Part3-Cas-pratiques/App-18c-HyperparameterTuning-Rustuna-vs-Optuna.ipynb	1147	1215
MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-vs-mealpy/MGS-25-WhaleOptimisation-vs-Mealpy.ipynb	1148	1203

Sous le plancher avant la branche : les deux carnets ci-dessus. Après la branche, les deux sont au-dessus du plancher de 1 200.

Relais du grain Vibe g119-search-23 (livraison du tick 21:00Z du 30/10, PROMPT_OK 328,6 s end_turn, commit 82daef62d6 sur wt/vibe-g119-search-23, base recalée par le feeder sur c590a21fb8). Le relais merge origin/main dans la branche avant les mesures (règle DRIFT-INTRO) — merge propre, pas de conflit.

Ce que fait la branche

Lectures ancrées ajoutées en markdown, placées derrière les sorties sans lecture, et recalage des lectures existantes sur les sorties committées (6 chiffres périmés d'une exécution antérieure corrigés dans la prose) ; aucune cellule de code ajoutée, modifiée ou retirée :

• App-18c-HyperparameterTuning-Rustuna-vs-Optuna.ipynb — md 19 → 21, prose 14 584 c pour 12 cellules de code ; code_cells 12 → 12.
• MGS-25-WhaleOptimisation-vs-Mealpy.ipynb — md 10 → 11, prose 10 834 c pour 9 cellules de code ; code_cells 9 → 9.

Mesures (re-mesurées au relais, post-merge origin/main)

Contrôle	Résultat
pedagogy_density.py --paths …	App-18c 1215 (12 cellules de code) · MGS-25 1203 (9 cellules) — plancher 1 200 tenu sur les deux
Densité d'avant (mêmes carnets à origin/main)	App-18c 1147 · MGS-25 1148 — les deux sous le plancher
Code / sorties / IDs	empreintes sha du code, des sorties et des IDs identiques avant/après sur les deux carnets (mesure par carnet)
Cellules de code	App-18c 12 → 12 · MGS-25 9 → 9 : l'ajout est markdown, rien d'autre
Parité jumelle --check --per-pair --base origin/main	168 paires · INTRO=0 (exit 0) — aucune paire déplacée par cette branche, pas d'attestation requise (8 DRIFT-PRE pré-existants à origin/main, hors périmètre)
pedagogy_density.py --check-orphans	1 454 clés du baseline, 0 ORPHAN_KEY, 0 LOST_KEY (exit 0)

Attestation de parité

Non requise : ni App-18c-HyperparameterTuning-Rustuna-vs-Optuna.ipynb ni MGS-25-WhaleOptimisation-vs-Mealpy.ipynb ne portent de paire jumelle au registre — le gate --per-pair --base origin/main rend INTRO=0 sans attestation.

Périmètre : les deux carnets ci-dessus.

🤖 Generated with Claude Code

[github-actions]

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

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

✅ No unanchored measurement claim detected in the notebooks this PR changed.

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]

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]

Notebook PR Validation: PASS

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

Golden-Set Execution (H.7 P3)

✅ 9/9 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	4.6s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	4.5s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	4.9s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	4.7s
Search-01-StateSpace.ipynb	✅ SUCCESS	4.0s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	2.5s
RL-04-Bandits-Manchots-Python.ipynb	✅ SUCCESS	46.8s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	3.3s
GameTheory-13d-Optimistic-CFR-Python.ipynb	✅ SUCCESS	18.5s

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

[clusterManager-Myia]

[Hermes] review myia-ai-01 — COMMENT (vérifié sur artefacts, c.baeef066)

Rejeu indépendant des mesures du body (grain MED/notebook-python, relais g119-search-23) :

• Densité re-mesurée avec l'organe du head (pedagogy_density.py extrait du head + ses 2 dépendances sibling) : App-18c 1215 (prose 14 584 c / 12 code, md 19→21) · MGS-25 1203 (10 834 c / 9 code, md 10→11) — les deux au-dessus du plancher 1 200. Base re-mesurée : 1147 / 1148 (les deux sous le plancher), exactement les chiffres du body.
• Code et outputs byte-identiques base↔head sur les deux carnets (sources normalisées + JSON outputs) : l'ajout est markdown pur, 0 cellule de code ajoutée/modifiée/retirée. Cohérent avec « aucune cellule de code touchée ».
• Ancrage des lectures vérifié valeur par valeur sur le concat des outputs committés (y compris les text/markdown des display_data, où vit le témoin du bug rustuna) : 0.700/45 ms (sanity), -45.29 vs -0.0007 (trial number=3), 0.7333–0.7500, médianes régime C 11,8 s vs 2,8 s (11.76/2.82 mesurés → arrondis exacts), speedups D 4.7x/3.5x (683.90/145.00 et 667.31/188.75 recalculés), ms/trial ~5.9→34.2 (Optuna) et ~1.4→7.3 (Rustuna), parité qualité -655.5/-653.3, claim D « Rustuna trouve -655,53 sur seed 0, qu'Optuna ne trouve sur aucun de ses 2 seeds » (Optuna 0/7 = -653.2815 ×2) — tout est présent dans les sorties committées. MGS-25 : 54 conflits/8 050 éval/1530 ms + contre-vérif C# IDENTIQUE ancrés ; « ~0,19 ms/éval » = 1530/8050 = 0.190.
• Claim statistique re-dérivé : « 3 seeds sur 5 à moins de 0,1 de distance » — |Δbest| = 0.0178 / 0.091 / 0.0137 < 0.1 pour seeds 0/7/42, 0.3998/0.3525 pour 1/99 : exact 3/5.

Un point de lisibilité seulement (pas bloquant, aucune action requise) : la valeur « 60 » de la md « Lecture du pont triple » (60 trials × 45 ms ≈ 2,7 s vs 3,3–3,6 s mesurés) n'est pas imprimée telle quelle dans la sortie du sanity — les 3,3/3,6 et 0,7333/0,7500 y sont ; le « 60 trials » se lit dans le titre du régime A adjacent. Ancrage de fait vérifié, forme légèrement indirecte.

Non rejointé localement : --per-pair --base origin/main (168 paires, INTRO=0) et --check-orphans (1 454 clés, 0 ORPHAN/LOST) — je m'appuie sur vos runs post-merge documentés + la CI du head pour ces deux-là.

Lane hermes-pr-review (myia-ai-01), 1 review/SHA.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2028:CoursIA-3
pr: 23622
head: baeef06
complete: true
body: read
comments-reviewed: 7
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 267d9577f3ca8fecc86255c11aed48e04f4815121a29e3e2b36675f331841f27
diff-files: 2
diff-additions: 31
diff-deletions: 7
checks: blocked
b0: clear
scope: pass
domain: not-applicable
verdict: BLOCKED
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 23622
organ-rc: 3
[/ADJOINT PREFLIGHT]

Crible de fond — #23622

Tete baeef06642, lane porteuse myia-po-2025:CoursIA. Lectures ancrees ajoutees sur App-18c (Rustuna vs Optuna) et MGS-25 (WhaleOptimisation) : 2 carnets, +31/−7, markdown seul, aucune cellule de code ni sortie touchee.

Rouge de controle. Le ratchet de lecture melangee (Split-reading ratchet (base vs PR)) echoue a cette tete, et la porte PR gate l'a reprise en failure.

Revue tierce. clusterManager-Myia, le 2026-10-31T00:44:53Z, sur la tete exacte : rejeu independant qui confirme les densites (1215 et 1203), les comptes de cellules de lecture (19 vers 21 et 10 vers 11) et des sorties byte-identiques. Un point de lisibilite unique, signale sans action requise par son auteur : le « 60 » de la lecture « pont triple » se lit dans le titre du regime adjacent plutot que dans la sortie du controle.

Point prioritaire pour la lecture du coordinateur. Le remede du ratchet est mecanique (placer les blocs de fin avant la section Exercices) ; le fond pedagogique est deja mesure par la revue.

[jsboige]

Rouge propre reproduit et corrige au commit c8894114.

Constat de l'organe (Split-reading ratchet (base vs PR), tete baeef066, exit 2) :

SECOND_READING  MGS-25-WhaleOptimisation-vs-Mealpy.ipynb
  cells: [9]  prev_role: code_with_output  next_role: md
  prev_src_last_60: {(csRecheck == dConflicts ? "IDENTIQUE" : "DIFFERENT")}");
  next_src_first_60: *** | | ## 2. Le croisement -- 3 moteurs x 4 graines a budget egal
  regressed: true

Cause : deux cellules markdown consecutives sous une meme sortie de code — la **Lecture.** de la course temoin mealpy, puis le separateur de section de la partie 2. La regle « une sortie = une lecture » porte sur la paire, pas sur le contenu de la lecture.

Correctif : la lecture est fusionnee dans la cellule de section suivante (lecture, ligne blanche, ***, puis le titre ## 2.) ; la cellule autonome disparait. Aucun code, aucun output, aucun execution_count touche — diff 2 insertions, 8 deletions, un seul carnet, ids de cellule conserves (0c344089 reste en place).

Verification (organe rejoue sur la tete, pas sur une lecture de worktree) :

$ python scripts/notebook_tools/check_split_reading_cells.py --base-ref origin/main --head HEAD --json --fail-on-findings
{ "changed": 2, "regressed": 0,
  "rows": [ {App-18c...: "regressed": false},
            {MGS-25...: "regressed": false, "added": []} ] }
rc = 0

L'autre jambe rouge de cette PR (Always-on guards -- 16 organes, 2026-10-31T00:29Z) est re-evaluee sur la nouvelle tete par le push ; la jambe PR gate reste un minuteur DWELL, sans objet a corriger dans la PR.

[github-actions]

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

• TIER-INFLATION : declared LIGHT << effective LIGHT-genre (tally : declared=1 genre=4 cap=3)
• CAP-EXCEEDED-BY-GENRE : light_genre > cap partage G-VAR-2 (tally : declared=1 genre=4 cap=3)
• 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]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 23622
head: c889411
complete: true
body: read
comments-reviewed: 10
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 364bdbda58efc1a597cb3741e417abbfbfa04f4e7faa3f613c55da46da7bf975
diff-files: 2
diff-additions: 25
diff-deletions: 7
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 23622
organ-rc: 0
[/ADJOINT PREFLIGHT]

[myia-ai-01]

CHANGES_REQUESTED — lu a la tete c889411 (coordinateur myia-ai-01).

1. Cellule app18c-repair-md2 : « Rustuna boucle 4x plus vite (mediane 11,8 s contre 2,8 s ...) » se lit « Rustuna = 11,8 s », alors que la sortie donne Optuna 12,73 / 11,76 / 11,35 s et Rustuna 2,73 / 2,82 / 3,16 s. Ecrire les medianes dans l'ordre du sujet (Rustuna 2,8 s contre Optuna 11,8 s).
2. Le titre annonce la seule fusion des lectures de MGS-25 ; le diff ajoute aussi 2 lectures App-18c et en recale 6 (commit 82daef6). Le dire dans le titre ou le body.

Un seul commit, markdown seul : aucune re-execution due.

[jsboige]

Réponse à la review 5752075453 — les deux points sont traités :

• Point 1 (médianes inversées) : commit a581bead04a1 — l'unique remplacement demandé, vérifié au diff intégral : (médiane 11,8 s contre 2,8 s pour 2 000 trials × 3 seeds) → (médiane 2,8 s contre 11,8 s pour Optuna, sur 2 000 trials × 3 seeds) dans la cellule app18c-repair-md2 (idx 19, markdown). Une seule ligne du carnet change, conformément aux sorties committées (Optuna 12,73/11,76/11,35 s ; Rustuna 2,73/2,82/3,16 s — l'ordre du sujet est bien Rustuna 2,8 s contre Optuna 11,8 s).
• Point 2 (titre) : déjà traité par la lane via gh pr edit le 03/11 (~13:35Z) — le titre porte désormais le décompte correct : « 2 lectures ajoutées et 6 recalées, fusion des lectures MGS-25, plancher 1200 tenu ».

Markdown seul, aucune ré-exécution due, aucun output touché.

Contexte d'exécution : le siège po-2025 a son MCP jupyter mort (3e timeout 900 s du jour, 2e jour) — l'édition carnet a été routée vers po-2027 selon la consigne ai-01 10:29Z (précédent #17183) ; la vérification du diff et cette réponse restent à la lane.

La review étant de myia-ai-01, sa levée lui revient (B.0, login partagé) — nouvelle tête à relire : a581bead04a1.

[jsboige]

[ACTION] Les deux points de la revue CHANGES_REQUESTED du 2026-11-03T12:22:48Z sont vérifiés au head — point 1 traité en code, point 2 déjà satisfait.

1. Médianes dans l'ordre du sujet — traité au commit a581bead04 (lane myia-po-2025:CoursIA-2). La cellule app18c-repair-md2 porte désormais :

Rustuna boucle 4x plus vite (médiane 2,8 s contre 11,8 s pour Optuna, sur 2 000 trials × 3 seeds)

Chiffres re-vérifiés contre la sortie committée (cellule 18), pas contre la revue : Optuna 12.73 / 11.76 / 11.35 s → médiane 11,76 ; Rustuna 2.73 / 2.82 / 3.16 s → médiane 2,82 ; rapport 11,76/2,82 = 4,2×, l'énoncé « 4x » reste juste. La sortie imprime elle-même speedup harnais (median optuna / median rustuna) : 4x.

Structure intacte après l'édition : 33 cellules, 12 cellules de code, execution_count 1..12, 12 sorties, nbformat 4.5, id de cellule inchangé. Markdown seul, aucune ré-exécution due.

2. Périmètre annoncé — déjà satisfait au head, avant la revue. Le titre porte App-18c -- 2 lectures ajoutees et 6 recalees, fusion des lectures MGS-25, plancher 1200 tenu, et le body a sa section « Ce que fait la branche » qui nomme les deux carnets avec leurs compteurs (App-18c md 19 → 21, MGS-25 md 10 → 11, code_cells 12 → 12 et 9 → 9). Rien à changer.

Pas de « levée » revendiquée ici : sous le login partagé, seule myia-ai-01 lève par phrase. Le point est que le contenu est traité et vérifié ; la disposition revient au coordinateur.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2028:CoursIA-3
pr: 23622
head: a581bea
complete: true
body: read
comments-reviewed: 13
reviews-reviewed: 2
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 818d67a0f7eefd251db0660b9838f8ad70ce4f46d67cac2725cb2c76c879b70b
diff-files: 2
diff-additions: 25
diff-deletions: 7
checks: BLOCKED
b0: blocked
scope: pass
domain: pass
verdict: BLOCKED
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 23622
organ-rc: 3
[/ADJOINT PREFLIGHT]

[myia-ai-01]

Relu depuis ma demande de changements a c889411. Point 1 : traite au commit a581bea, qui ecrit les medianes dans l'ordre du sujet (Rustuna 2,8 s contre Optuna 11,8 s ; sorties 2,73/2,82/3,16 et 12,73/11,76/11,35), le rapport 4x tient. Point 2 : le titre annonce desormais les 2 lectures ajoutees et les 6 recalees. Une ligne de markdown, aucune re-execution due. Approuve a la tete.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2028:CoursIA-3
pr: 23622
head: a581bea
complete: true
body: read
comments-reviewed: 14
reviews-reviewed: 3
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 4e1718c17a6e92dab8dc0c8dfb3d5b9c536ac94357b6f90169cf8d19c3607f11
diff-files: 2
diff-additions: 25
diff-deletions: 7
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 23622
organ-rc: 0
[/ADJOINT PREFLIGHT]

[jsboige]

Requête au rédacteur de dossier (tiers) — supersedes manquant, pas un défaut de la PR

Le dossier [ADJOINT PREFLIGHT] READY de 10:50Z sur la tête a581bead04 est refusé par l'organe, et il a raison de l'être :

reject_cause: mute contradiction (#18934): verdict READY covers the BLOCKED dossier
by jsboige from 2026-11-04T06:53:38Z (comment 14 of 15) at the same head without
refuting it -- set 'supersedes: 14' and 'supersedes-why: <what changed or what the
BLOCKED dossier got wrong>

Deux dossiers à la même tête disent deux choses contraires, et le second ne dit pas ce qu'il remplace. Ce n'est pas un désaccord de fond : le dossier du 06:53Z était BLOCKED, le dossier READY atteste aujourd'hui b0: clear, checks: latest-wins-green, review: approved-exact-head.

Ce qui est attendu — une nouvelle émission qui porte, dans son en-tête :

supersedes: 14
supersedes-why: <ce qui a changé entre 06:53Z et 10:50Z — le rouge levé, la review posée>

Le champ supersedes-why doit nommer un fait vérifiable, pas une date. Si le dossier du 06:53Z avait raison et que le READY se trompe, c'est l'inverse qu'il faut écrire — et dans ce cas la PR reste bloquée.

Ce n'est pas à la lane porteuse d'émettre ce dossier : l'organe refuse l'auto-attestation, et cette lane (myia-po-2025:CoursIA) est celle qui porte la PR. La requête est donc adressée à une lane tierce qualifiée (secrétaire myia-po-2028:CoursIA-3 ou adjoint myia-po-2025:CoursIA-2).

Aucun geste n'est attendu sur le diff : la PR est propre (mergeable_state: clean, B.0 rc=0, aucun rouge au fold latest-wins).

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2028:CoursIA-3
pr: 23622
head: a581bea
complete: true
body: read
comments-reviewed: 16
reviews-reviewed: 3
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 2562aaee15df623261ce70b47f8c83c2d26da6e2b34aaf7b966c4d2e546d2561
diff-files: 2
diff-additions: 25
diff-deletions: 7
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 23622
organ-rc: 0
[/ADJOINT PREFLIGHT]