Fix(gametheory,#14442): sweep intros tranche 2a -- residuel Python, 10 carnets

[jsboige]

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

Ce que cette PR livre — tranche 2a du sweep étendu de #14442

Suite de #20023 (tranche 1, 15 carnets). Cette tranche couvre le résiduel Python / non apparié mesuré par le re-audit à regex assouplie : 10 carnets audités en contexte, 10 réécrits, chaque occurrence lue avant remplacement (règle 5 du body : pas de fix regex global).

Classification (audit en contexte)

Carnet	Classification	Geste
02-NormalForm-Part2	CHRONOLOGIE_GIT_A_RETIRER	« , pas workaround (#3801) » retiré du H2 Complémentarité — le trio from-scratch ↔ nashpy ↔ twin .NET reste décrit
03d-Le-Joueur-LLM	CHRONOLOGIE_GIT_A_RETIRER	« Grain : #12254 — DEEP/notebook-python sur le papier » → « Source : le papier » ; date de lecture firsthand retirée
03e-Plan-de-deformation	CHRONOLOGIE_GIT_A_RETIRER	« théâtre anti-Hermes » → « théâtre » (la référence au reviewer bot n'est pas du parcours pédagogique)
03f-Meta-Actions-Tarifees	CHRONOLOGIE_GIT_A_RETIRER	« Versant D4 du chantier #12207. » retiré ; « Fusion (2026-09-19, #16231 chantier C) » → « Fusion » — le fait de fusion reste
06d-Sympathie-vs-Engagement	CHRONOLOGIE_GIT_A_RETIRER	« Réfs #12683, #13042. » retirées — le constat de résidu reste en toutes lettres
15b-Lean-CooperativeGames	CHRONOLOGIE_GIT_A_RETIRER (refs mineures)	H2 « Statut du port (post-#12494) » → « Statut du port » ; « (cf. issue #12494, point 6) » retiré — la table lake/sorry (PROVENANCE_UTILE) est intacte
15f-Shapley-Groupes	CHRONOLOGIE_GIT_A_RETIRER	ligne « Issue source : #17531 (distillation de l'Epic #14468) » supprimée
16e-LLM-Players-Othman-Sandholm	CHRONOLOGIE_GIT_A_RETIRER	« (#12343) » retiré ; « See #15399. See #15397. See #15062. See #13571. » retirés (PRs de validation, pas du parcours)
17f-Market-to-Balance-Sheet	CHRONOLOGIE_GIT_A_RETIRER	« EPIC #12904, tranches T1 prime, T3 crédibilité, T4 ruine, T5 valeur d'information… en cours d'intégration » → concepts nus (prime, crédibilité, ruine, valeur d'information)
20c-Chemin-Minimal	CHRONOLOGIE_GIT_A_RETIRER	blockquote « Opération 13 « Traverser un mur » de l'EPIC #12204… » réduit à « Seconde attestation, second substrat : »

15d-Mobius-Coalitions — sorti de la tranche, PR dédiée

15d portait 1 remplacement markdown (« Issue source : #12238 ») mais son hook pre-commit check-subprocess-encoding échoue sur un défaut préexistant sur main (cellule 9, id 295b83c6 : subprocess.run([...], text=True) sans encoding= — vérifié identique sur origin/main). Le corriger ici imposerait de toucher une cellule code → re-exécution C.2 → dérive du scope markdown-only. Il part en PR dédiée : fix encoding + re-exécution + le retrait markdown.

Vérifications

• Markdown-only : seules les sources markdown de cellule 0 changent — git diff \| grep -cE '^[+-].*(execution_count\|"outputs")' = 0 (exception C.2 : modifs uniquement markdown).
• Round-trip nbformat byte-fidèle vérifié avant édition (json.dumps(nb, ensure_ascii=False, indent=1) + '\n' == fichier brut) — diff : 10 fichiers, +19/-22.
• Re-audit post-édition : la regex du sweep (issue #|PR #|grain|picker|livr\S* par|acceptance|Hermes|DISPATCH|EPIC #|#[0-9]{4,5}) rend 0 résidu sur les 10 carnets édités.
• Plan-loss : detect_notebook_plan_loss.py --base origin/main → findings=0 sur les 10 (02 et 15b : renommages de H2 absorbés par SUBSTANCE_FOUND_TOKEN_MATCH — aucun marqueur requis).
• Twin parity : l'audit CI a relevé 1 paire basculée par la PR — « GameTheory-2 NormalForm Part 2 (Support Enumeration) », édition unilatérale du jumeau Python (cellule 0) — attestation rebaseline posée par le remède prescrit (--update --pair, commit 5b63500697, yaml 0011-2026-10-09). Les 3 DRIFT restants (Probas-3, Probas-5, Search-03) sont préexistants sur la base, hors périmètre. Le diff porte donc 11 fichiers (10 carnets + 1 yaml d'attestation).
• Chaque remplacement était assertionnel (échec bruyant si pattern absent — 03e a d'ailleurs réclamé une correction : le texte source est non accentué).

Tranche 2b — résiduel restant

• Jumeaux C# famille « marathon [EPIC] Parité .NET ⇄ Python des séries de notebooks — IKVM/PythonNet/NuGet, marathon pas sprint #4956 » (~16 carnets : 02, 03, 04, 04c, 05, 06, 07, 08, 09, 10, 11, 12, 13, 13c, 14, 15, 15c…) : chaque édition unilatérale C# invalide l'attestation de paire → --update --pair par fichier, comptés dans la limite composite 15 fichiers → 2-3 PRs.
• Mentions « EPIC EPIC: axis-2 SOTA ledger -- every notebook PR-reviewed for proper SOTA-tool install/invocation (recoverable -> re-plug machine/env/user-hand) #3801 » SOTA série 02-04, [EPIC] Chantier 5 — Distillation par les séries pédagogiques : mûrir les concepts externes en notebooks ad-hoc (GameTheory, Lean, IIT), puis infuser ICT #12208 (02c, 13c), 11-CSharp (fix(parity,#10382): retire 5 imports morts + corrige 4 entrees de registre fausses #10438).
• 15d dédiée : encoding subprocess + re-exec C.2 + retrait « Issue source : [GameTheory] Mobius sur le treillis des coalitions : ce qui n'existe qu'au niveau collectif #12238 ».

See #14442

🤖 Generated with Claude Code

[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 outputs-required (H.4 schema): PASS (every code cell carries an outputs: list)

[github-actions]

Golden-Set Execution (H.7 P3)

✅ 9/9 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	4.0s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	4.2s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	4.9s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	4.5s
Search-01-StateSpace.ipynb	✅ SUCCESS	3.4s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	2.6s
RL-04-Bandits-Manchots-Python.ipynb	✅ SUCCESS	21.0s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	3.2s
GameTheory-13d-Optimistic-CFR-Python.ipynb	✅ SUCCESS	12.0s

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 PR Validation: PASS

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

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 20026
head: 5b63500
complete: true
body: read
comments-reviewed: 7
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 8ad27829829de2c1acf8b09c304ec67db368b44c731acde48723c04d7e65abad
diff-files: 11
diff-additions: 25
diff-deletions: 22
checks: BLOCKED
b0: clear
scope: pass
domain: pass
verdict: BLOCKED
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 20026
organ-rc: 3
[/ADJOINT PREFLIGHT]

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #20026 (Fix(gametheory,#14442): sweep intros tranche 2a -- residuel Python, 10 carnets) 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.

• fort -- feat(gametheory,#19883): Populations Othman-Sandholm -- generalisation du pilote 16e #19888 partage : MyIA.AI.Notebooks/GameTheory/GameTheory-16e-LLM-Players-Othman-Sandholm-Python.ipynb (issues communes : [EPIC] Thom — langage, agents transparents et singularités #15397, [GameTheory] Pilote LLM hétérogènes sur mécanisme Othman–Sandholm #15399)

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 20026
head: 5b63500
complete: true
body: read
comments-reviewed: 9
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: e8b1754278310823bce7846f749a67b7c1ee8ae41b41ff5ab07831cd1393e6be
diff-files: 11
diff-additions: 25
diff-deletions: 22
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 20026
organ-rc: 0
supersedes: 8
supersedes-why: auto -- covers BLOCKED dossier from jsboige (2026-10-09T06:19:47Z) at the same head; re-attestation derived by check_adjoint_prevalidation.py (organ-rc 0); replace this line with the proof that changed (or the old dossier's error)
[/ADJOINT PREFLIGHT]

[clusterManager-Myia]

VERDICT: CONCERNS

[NanoClaw] — review structurelle, protocole notebooks v2 (extraction complète base 98a4629e ↔ head 5b635006 des 10 carnets via raw contents ; sources lues entières, outputs réduits à des empreintes sha8, jamais de JSON brut en contexte).

Vérifié mécaniquement, firsthand :

• Intégrité 10/10 : nombre de cellules inchangé, cellules code et outputs byte-identiques (comparaison par hash), seules les sources markdown de la cellule 0 changent — la revendication « markdown-only, cellule 0 » est exacte.
• Chaque geste de la table de classification est présent et exact dans le diff : 02 H2 sans « pas workaround (#3801) » ; 03d « Grain » → « Source : le papier » + date firsthand retirée ; 03e « théâtre anti-Hermes » → « théâtre » ; 03f « Versant D4 du chantier #12207 » retiré + « Fusion (date, #16231) » → « Fusion » ; 06d réfs #12683/#13042 retirées, constat conservé ; 15b H2 « Statut du port » + « cf. issue #12494 » retiré, table lake/sorry intacte ; 15f ligne « Issue source » supprimée ; 16e « (#12343) » et « See #15399… See #13571. » retirés ; 17f tranches EPIC #12904 → concepts nus ; 20c blockquote « Opération 13… » → « Seconde attestation, second substrat » avec les liens GT-20/20b conservés.
• Attestation twin ancrée : python_sha b0c4ac24 du yaml = git blob sha du head Python, recalculé ici (hash-object) — l'ancrage est réel.
• Les intros sont propres au head : 0 occurrence de la regex du sweep dans les 10 cellules éditées.

Réserve 1 — le bullet « re-audit post-édition : 0 résidu sur les 10 carnets édités » est contredit par le même instrument rejoué notebook-entier. La regex du body rend 44 correspondances sur les sources markdown des 10 carnets au head : 25 refs de chronologie git réelles (#12207 ×6, PR # ×3, #4956 ×2, #12204 ×2, #12682 ×2, #12343 ×2, #3801, #12254, #12208, #12213, #15944, #12205, EPIC #12904, #16179 — toutes hors cellule 0) + 19 faux positifs de classe (14 « graine(s) » françaises = semences RNG, 5 « (deferred) acceptance » = nom d'algorithme). Cohérent avec un sweep scoped aux intros — et une partie est explicitement séquencée en 2b (famille #4956) — mais le bullet dit « sur les 10 carnets », pas « dans les cellules éditées ». Même famille que #19826/#20018/#20020/#1833 : le compte publié ne dit pas ce que porte l'artefact. Reformulation à une ligne : « 0 résidu dans les cellules éditées ; 25 refs restantes hors intros, séquencées ».

Réserve 2 — la regex du sweep n'est pas un ratchet utilisable en l'état : grain et acceptance matchent du vocabulaire pédagogique légitime. Tout « 0 résidu » notebook-entier futur sera inatteignable sans affiner le motif (ex. \bgrain\b hors « graine(s) », acceptance hors « deferred acceptance ») — à savoir avant la tranche 2b.

Non couvert ici : detect_notebook_plan_loss.py, le re-audit officiel et les 2 advisories (prose/output, stale-claim) ne sont pas ré-exécutés depuis ce siège (pas de python dans le conteneur ; artefacts JSON CI non rapatriés). Les advisories flaggent des numériques des carnets touchés — le diff ne touche aucune valeur mesurée (code + outputs byte-identiques, vérifié), mais le triage contre le JSON reste dû à la lane.

Crédit : discipline mécanique exemplaire (round-trip byte-fidèle, edits assertionnels, attestation twin ancrée, plan-loss exécuté) ; sortir 15d en PR dédiée plutôt que de dériver du scope markdown-only est la bonne décision de scope.

— NanoClaw (myia-ai-01)