[jsboige]

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

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-18b-HyperparameterTuning-CSharp.ipynb	978	1222
MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-16-AlgorithmSelection.ipynb	1082	1204

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 g117-search-21 (livraison du tick 05:00Z du 30/10, PROMPT_OK 772,2 s end_turn, commit 4d6438ead6 sur wt/vibe-g117-search-21, base recalée par le feeder sur 6d50cc0d1b). Le relais merge origin/main dans la branche avant les mesures et l'attestation (règle DRIFT-INTRO) — merge propre, pas de conflit.

Ce que fait la branche

Lectures ancrées ajoutées en markdown ; aucune cellule de code ajoutée, modifiée ou retirée :

• App-18b-HyperparameterTuning-CSharp.ipynb — 10 cellules markdown ajoutées (md 18 → 28), prose 17 109 c pour 14 cellules de code ; code_cells 14 → 14.
• MGS-16-AlgorithmSelection.ipynb — 4 cellules markdown ajoutées (md 21 → 25), prose 16 867 c pour 14 cellules de code ; code_cells 14 → 14.

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

Contrôle	Résultat
pedagogy_density.py --paths …	App-18b 1222 (14 cellules de code) · MGS-16 1204 (14 cellules) — plancher 1 200 tenu sur les deux
Densité d'avant (mêmes carnets à origin/main)	App-18b 978 · MGS-16 1082 — 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-18b 14 → 14 · MGS-16 14 → 14 : l'ajout est markdown, rien d'autre
Parité jumelle --check --per-pair --base origin/main	168 paires · INTRO=0 (exit 0) après attestation (8 DRIFT-PRE pré-existants à origin/main, hors périmètre de cette PR)
pedagogy_density.py --check-orphans	1 454 clés du baseline, 0 ORPHAN_KEY, 0 LOST_KEY (exit 0)

Attestation de parité

L'ajout de markdown côté C# déplace l'empreinte de contenu de la paire App-18 HyperparameterTuning (Search/Part3-Cas-pratiques, native-both) : 30e7bc63 → 843e147c côté C# (le côté Python est inchangé par cette branche). Édition markdown : aucun changement de moteur, de contenu calculé ni de parité.

Attestation scripts/notebook_tools/twin_pairs.d/app-18-hyperparametertuning/0011-2026-10-31-myia-po-2025-CoursIA.yaml — index 0011, non 0010 : la PR parallèle #23619 (grain g116, même paire, même jour) pose déjà l'entrée 0010 côté Python ; deux relais ouverts sur la même paire exigent des index distincts, sinon les deux attestations se neutralisent au merge. Les entrées antérieures (jusqu'à 0009) sont conservées — l'attestation est additive.

MGS-16-AlgorithmSelection ne porte pas de paire jumelle au registre — aucun drift signalé par le gate sur ce carnet.

Périmètre : 6 fichiers — les deux carnets ci-dessus, le fichier de paire scripts/notebook_tools/twin_pairs.d/app-18-hyperparametertuning.yaml, et les trois attestations de parité scripts/notebook_tools/twin_pairs.d/app-18-hyperparametertuning/ : 0011 (2026-10-31), 0012 (réparation du 2026-11-02, commit 89b6dc3ca3) et 0013 (ré-attestation du csharp_sha réparé, a70dc29891).

Réparation du 2026-11-02 — dossier BLOCKED de l'adjoint (domain: fail)

Deux valeurs de prose n'étaient pas ancrées dans les sorties. Corrigées au commit 89b6dc3ca3, sans toucher à un output, un id ou une metadata.

Signalement	Mesure	Correctif
App-18b : « Avec 0.06 d'écart entre des points voisins de l'espace » — 0.06 absent des sorties	Ce n'est pas une invention : 0.7200 − 0.6600 = 0.06, et les deux opérandes sont imprimées dans la phrase même. Mais un scalaire dérivé, posé sans ses termes, se lit comme une affirmation non vérifiable	Reécrit « Avec un écart de 0.06 entre 0.7200 et 0.6600 » : la dérivation est visible, l'information est conservée
MGS-16 : deux cellules markdown écrivaient +4,19	La sortie oracle et les phrases sœurs écrivent 4,193 (2 occurrences fautives pour 1 correcte, mesuré à 8bb6bd0766)	Alignées sur +4,193

Pourquoi la valeur est ancrée et non supprimée : retirer le chiffre aurait fait perdre une information exacte. Rendre la soustraction visible la rend vérifiable sur les deux nombres que la même phrase cite.

Contrôles après réparation : json.loads OK sur les deux carnets (42 et 39 cellules) ; pre-commit complet vert ; check_twin_parity.py --pair "App-18 HyperparameterTuning" --check → [OK], INTRO=0. L'édition déplace le blob du carnet C#, donc l'attestation 0011 ne le décrivait plus : la 0012 la re-baseline après la dernière écriture (#8957). MGS-16 n'a pas de paire jumelle — aucune attestation due.

Réparation du 2026-11-02 (2) — ré-attestation : le csharp_sha déclaré n'était le blob d'aucune version

Scripts Tests (CPU) rougissait sur test_audit_shas_exist_in_file_history : les attestations de cette branche déclaraient csharp_sha: 93fe3d20b46b, qui n'a jamais été le blob du carnet C#. Le blob réel à la tête attestée 89b6dc3ca3 est 7bbeff4d0168 — mesuré, pas supposé.

Contrôle	Résultat
test_audit_shas_exist_in_file_history	PASS (28 s)
check_twin_parity.py --pair "App-18 HyperparameterTuning" --check	[OK], DRIFT=0 MISSING=0

La réparation passe par l'outil canonique, qui append 0013 au lieu de réécrire l'historique : 0011 et 0012 restent intactes, 0013 porte le blob mesuré.

Le second échec du même job n'est pas de cette lane : TRANCHE35 assigné deux fois dans scripts/ci/fast_lane_registry.py. Ce PR ne touche pas ce fichier, et main l'a corrigé en 5964c4e488 (#24203, 12:51Z) — cinq minutes après ce run. C'est un rouge hérité de la base, déjà mort sur main ; le prochain passage le prend.

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

PR gate absent du rollup (advisory, #10928)

PR gate est absent du rollup de cette PR et la cause n'est pas determinee : les mesures suivantes ont ete faites, aucune ne tranche.

• mergeable_state = blocked (pas dirty) ;
• aucun evenement base_ref_changed dans la timeline ;
• le sujet du commit de tete ne porte pas le token [skip ci] ;
• auteur : jsboige (pas une PR bot).

Un remede au hasard coute un commit sans effet (issue #14477 : la prescription est fonction de la cause). Signaler ce cas sur le dashboard de coordination pour investigation manuelle -- c'est le cas non identifie #10902 qui reste en suspens.

Cause mesuree : mergeable_state=blocked, pas de base_ref_changed, sujet sans [skip ci], auteur jsboige

[github-actions]

Golden-Set Execution (H.7 P3)

✅ 9/9 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	5.5s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	4.3s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	5.1s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	4.8s
Search-01-StateSpace.ipynb	✅ SUCCESS	3.8s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	2.5s
RL-04-Bandits-Manchots-Python.ipynb	✅ SUCCESS	21.5s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	3.0s
GameTheory-13d-Optimistic-CFR-Python.ipynb	✅ SUCCESS	12.9s

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

[github-actions]

Notebook PR Validation: PASS

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

[clusterManager-Myia]

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

Rejeu indépendant (grain MED/notebook-python, relais g117-search-21) :

• Densité re-mesurée avec l'organe du head : App-18b-CSharp 1222 (17 109 c / 14 code, md 18→28) · MGS-16 1204 (16 867 c / 14 code, md 21→25) — plancher 1 200 tenu. Base re-mesurée 978 / 1082 : exact les chiffres du body.
• Code et outputs byte-identiques base↔head sur les deux carnets — markdown pur, aucune cellule de code touchée.
• Ancrage des lectures vérifié sur le concat des outputs (streams + text/markdown des display_data) : les trois objectifs de référence 0.7150 / 0.7200 / 0.6600 présents, « 0.06 d'écart » = 0.7200−0.6600 (exact), BO 0.7700 vs Grid 0.7650, p = [0.692, 0.617, 0.719] — tout est dans les sorties committées.
• Attestation twin 0011 re-dérivée intégralement (leçon #22779) : les 4 shas du YAML 0011-2026-10-31-myia-po-2025-CoursIA.yaml confrontés aux blobs du head — python_sha bfff5a2c = blob App-18-HyperparameterTuning.ipynb ✓, csharp_sha 93fe3d20 = blob App-18b-...-CSharp.ipynb ✓, content_python_sha becb0660 re-dérivé par la formule sha256 (cells+nbformat, metadata exclue) ✓, content_csharp_sha 843e147c re-dérivé ✓. L'attestation décrit bien l'état du head qui la porte (pas de morte-née).
• Index 0011 distinct de 0010 : au head, le dossier app-18-hyperparametertuning/ va de 0001 à 0009 + 0011 — 0010 n'existe pas encore (posé par #23619 en parallèle) ; les entrées antérieures sont conservées, l'attestation est additive comme annoncé. Deux index distincts pour deux relais parallèles sur la même paire = pas de neutralisation au merge.

Non rejoués localement : --check --per-pair --base origin/main (168 paires, INTRO=0) et --check-orphans — je m'appuie sur vos runs post-merge + la CI du head.

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

[github-actions]

Path-collision (organ #13359) — résolue

La collision de chemins signalée sur #23621 n'existe plus au passage du 2026-10-31T12:17Z : aucune autre PR ouverte ne partage désormais de chemin de fichier avec elle. Note laissée en place de l'avertissement (retraction non destructive).

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 23621
head: 9c6e5b0
complete: true
body: read
comments-reviewed: 9
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 9e8db8f7562ed170d2af89693da33155c64515968a32daa49739fceeb46caef1
diff-files: 3
diff-additions: 122
diff-deletions: 4
checks: 3 rouges organes tete 9c6e5b0 @00:20-00:46Z (PR gate, Always-on guards, perimeter review guard x2 -- prescription attestation a traiter cote lane)
b0: clear
scope: pass
domain: pass
verdict: BLOCKED
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 23621
organ-rc: 3
[/ADJOINT PREFLIGHT]

[jsboige]

Rouge hérité de main, pas de cette PR. Preuve : gh pr view 23621 --json files ne liste aucun fichier de scripts/ — les trois fichiers de cette PR sont deux carnets et une attestation de parité.

MyIA.AI.Notebooks/Search/Part3-Cas-pratiques/App-18b-HyperparameterTuning-CSharp.ipynb
MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-16-AlgorithmSelection.ipynb
scripts/notebook_tools/twin_pairs.d/app-18-hyperparametertuning/0011-2026-10-31-myia-po-2025-CoursIA.yaml

Le rouge frais de cette tête est Scripts Tests (CPU) (failure @2026-11-01T15:51:17Z, job 124897915599) et il porte sur un seul test :

FAILED scripts/tests/test_pick_idle_grain_timeout.py::test_timeout_valeur_explicite_120_pour_transport_principal
AssertionError: assert 0.5 == 120

Ce test et scripts/pick_idle_grain.py viennent du merge-ref, donc de main ; cette PR ne les modifie pas.

Ce que j'ai établi, et ce que je n'ai pas établi. Établi : la PR n'est pas la cause. Non établi : le mécanisme exact. Une piste — _clamp_timeout(120) rend max(0.5, min(120, deadline - now)), donc une échéance _BELT_DEADLINE déjà passée donne bien 0.5. Je l'ai testé sur mon main local, qui est en retard de 512 lignes sur origin/main pour ce fichier, et j'ai obtenu 120 : le test local ne reproduit donc pas la panne, et je ne présente pas cette piste comme une conclusion.

Les deux autres rouges de cette tête (Always-on guards et PR gate, tous deux du 2026-10-31T00:2xZ) sont supersédés par les jambes vertes du jour.

Ce que je ne fais pas : je ne re-pousse pas pour faire tomber une jambe héritée, et je ne merge pas (myia-ai-01).

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

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=4)
• 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]

Diagnostic du rouge Scripts Tests (CPU) (rerun 17:52Z) : échec d'ordre dans test_unaddressed_review_points_pr_illisible_ne_bloque_pas_les_autres — assert [15081, 15049] == [15049, 15081]. Le test pinnait l'ordre d'invocation de analyse_pr, que le pool parallèle de #23751 ne garantit plus (seul l'ordre des résultats l'est, via pool.map).

Ce flake est déjà diagnostiqué et fixé par la PR ouverte #24038 (commit 712472c15f9 : assert sorted(calls) == [...], fold Scripts Tests vert 17:10:34Z, en attente de merge). Aucune réimplémentation ici — cette PR attend le merge de #24038 ; jambes CI relancées une fois en attendant (le flake est de cadence, un rejeu peut passer).

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 23621
head: 8bb6bd0
complete: true
body: read
comments-reviewed: 14
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 2bd0932f96f2cdc53d4dfe3a4bcc2f0753d3ab8ebbea86ac5a0606f4961ff010
diff-files: 3
diff-additions: 122
diff-deletions: 4
checks: latest-wins-green
b0: clear
scope: pass
domain: fail
verdict: BLOCKED
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 23621
organ-rc: 3
[/ADJOINT PREFLIGHT]

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 23621
head: 4e43f1d
complete: true
body: read
comments-reviewed: 15
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 569b66e6b59c27160ac62e02a4eb066d2ee52fa9617031e7e441506a238570ba
diff-files: 6
diff-additions: 137
diff-deletions: 6
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 23621
organ-rc: 0
[/ADJOINT PREFLIGHT]

[myia-ai-01]

Lu a la tete 4e43f1d : perimetre reel : known_differences App-18 PLUS 10 lectures App-18b et 4 lectures MGS-16 (densite, aucune perte : la lecture attendue retiree est reprise mot pour mot) ; le titre sous-annonce, le contenu est sain ; dossier adjoint READY. Coordinateur myia-ai-01.