renum(GameTheory): refermer la colonne canonique (trou 20-23) + anomalie de profondeur GT-03

[jsboige]

État vivant vérifié le 2026-09-10

Cette issue n’est pas livrée.

• Tranche A : la colonne porte encore GameTheory-24-* / 24b-* sur main; le mapping 24..28 → 20..24 n’a donc pas été appliqué.
• Tranche B : le gate fix(gametheory,#14912): re-qualify kernelspec gametheory-wsl -> python3 on 6 non-OpenSpiel notebooks (full re-exec) #14923 est désormais levé (PR mergée le 2026-09-06), et aucune PR ouverte ne touche actuellement GameTheory-03*. L’analyse de contenu préalable peut donc commencer ; aucun git mv ne doit précéder son verdict.
• Le label candidate-delivered, posé sur des références incidentes feat(gametheory,#12208): GT-02c Traveler's Dilemma — distillation Basu 1994 (Chantier 5) #14937/fix(organs,#14947): un acquit de persona n'eteint plus le nit user -- meme login n'est pas meme voix #14949, a été retiré : ces PR ne livrent ni la tranche A ni la tranche B.

Le claim de tranche A du 2026-09-06 doit être revalidé selon le protocole >48 h avant reprise ; il ne vaut pas autorisation implicite d’écraser une lane vivante.

---

Historique conservé

D'où vient cette issue

Mandat user du 2026-09-06, en correction explicite d'une attribution fautive que j'avais faite : j'avais présenté le trou 20-23 de la colonne GameTheory comme le résultat voulu de #12375. Verbatim user :

« Le trou GT n'a jamais été mon souhait, il doit y avoir incompréhension, le besoin de renumérotation de GT est réel. »

#12375 a fait ce qu'il devait — ranger en sides des ajouts qui avaient pris un numéro séquentiel. Ce qu'il n'a pas fait, c'est refermer la colonne derrière lui.

Le défaut, mesuré

Colonne canonique GameTheory aujourd'hui (numéros nus, sans lettre) :

01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19  __ __ __ __  24 25 26 27 28

.claude/rules/notebook-accretion-numbering.md §1 : « Lire les numéros nus dans l'ordre EST le parcours canonique ». Un trou de quatre paliers au milieu du parcours n'est donc pas cosmétique : il fait inférer au lecteur quatre étapes qu'il ne trouvera nulle part. C'est le tell « faux prérequis séquentiel » du §3 — la position implique un prérequis que le contenu dément.

Origine du trou, vérifiée : les quatre numéros ont bien existé, et ont été correctement reclassés en sides par #12375 —

Ancien	Devenu	Sur main
GameTheory-20-Commitment-Stackelberg	GameTheory-09b-Commitment-Stackelberg	présent
GameTheory-21-Deux-Especes-de-Fleches	GameTheory-03h-Deux-Especes-de-Fleches	présent
GameTheory-21-Stackelberg-SecurityGame	GameTheory-09c-Stackelberg-SecurityGame	présent
GameTheory-23-Echange-de-Reins	GameTheory-16d-Echange-de-Reins	présent

Aucun contenu n'est perdu. Seule la colonne est restée trouée.

Tranche A — refermer la colonne (8 fichiers, git mv seul)

Table de mapping, ordre croissant obligatoire (chaque cible est libérée avant usage — aucune collision) :

#	Actuel	Cible
1	GameTheory-24-Chemin-Minimal-Robinson-Goforth.ipynb	GameTheory-20-Chemin-Minimal-Robinson-Goforth.ipynb
2	GameTheory-24b-Chemin-Minimal-Temoins-Impossibilite.ipynb	GameTheory-20b-Chemin-Minimal-Temoins-Impossibilite.ipynb
3	GameTheory-25-Loi-II-Translateur-Life.ipynb	GameTheory-21-Loi-II-Translateur-Life.ipynb
4	GameTheory-26-Ensembles-Limites-Poincare-Bendixson.ipynb	GameTheory-22-Ensembles-Limites-Poincare-Bendixson.ipynb
5	GameTheory-27-Munkres-Assignment.ipynb	GameTheory-23-Munkres-Assignment.ipynb
6	GameTheory-27b-Lean-Assignment-Native.ipynb	GameTheory-23b-Lean-Assignment-Native.ipynb
7	GameTheory-28-Humour-Banc.ipynb	GameTheory-24-Humour-Banc.ipynb
8	GameTheory-28b-Humour-Banc-Dur.ipynb	GameTheory-24b-Humour-Banc-Dur.ipynb

Résultat : colonne 01..24 contiguë.

Aucun changement de contenu dans cette PR (§5.6). Ni twin_pairs.d, ni sibling _en concernés (mesuré : 0 et 0).

Sweep des référents — 13 fichiers, mesurés

.github/workflows/lean-assignment.yml          <-- workflow CI : cible des chemins
_quarto.yml                                    <-- liste de rendu
MyIA.AI.Notebooks/GameTheory/README.md
MyIA.AI.Notebooks/GameTheory/LEAN_INVENTORY.md
MyIA.AI.Notebooks/GameTheory/GameTheory-03f-Parcours-Complet.ipynb
MyIA.AI.Notebooks/GameTheory/assignment_lean/README.md
MyIA.AI.Notebooks/GameTheory/assignment_lean/lakefile.lean
MyIA.AI.Notebooks/GameTheory/limit_sets.py
MyIA.AI.Notebooks/GameTheory/tests/test_limit_sets.py
MyIA.AI.Notebooks/IIT/ICT-Series/ICT-35-HumorCausalProbe-Pilot.ipynb
scripts/notebook_tools/check_series_zero_pad.py
scripts/tests/test_check_series_zero_pad.py
COURSE_CATALOG.generated.json                  <-- NE PAS toucher a la main

Le workflow CI et _quarto.yml sont précisément ce qu'un sweep « chercher l'ancien nom dans les notebooks » rate. Le catalogue appartient à l'automatisation (catalog-pr-hygiene.md) : le laisser byte-identique à main, le cron le régénère.

Les cinq organes du §6 doivent passer après les git mv :

python scripts/notebook_tools/check_notebook_navlinks.py
python scripts/check_docs_links.py
python scripts/notebook_tools/detect_link_target_regression.py
python scripts/notebook_tools/check_notebook_link_render.py
python scripts/notebook_tools/check_link_label_agreement.py   # libelle qui ment sur sa cible

Gate de séquencement (§5.4) — vérifié le 2026-09-06

Aucune PR ouverte ne touche GameTheory-2[4-8]*. La tranche A est libre de partir.

Tranche B — l'anomalie GameTheory-03 (GATÉE, ne pas démarrer)

GameTheory-03 est l'une des trois anomalies du dépôt au sens du §2 : base présente et première accrétion en a, série a..h = 10 notebooks sur la branche, très au-delà de la norme de profondeur e-f du §4.

GameTheory-03-Topology2x2 / -Csharp  +  03a 03b 03c 03d 03e 03f 03g 03h

Deux voies, à trancher après mesure de contenu (§5.1, lire le contenu et non les titres) : normaliser a..h en b..i, ou fusionner en notebooks plus lourds (§4 : « fusionner n'est pas supprimer » — chaque contenu absorbé est préservé et cité).

GATE : PR #14923 est ouverte sur GameTheory-03-Topology2x2.ipynb. Ne rien renommer sur cette branche tant qu'elle n'est pas mergée ou fermée.

Acceptance

• A1 — les 8 git mv de la table, dans l'ordre croissant, aucun changement de contenu (git diff --stat = renommages purs)
• A2 — les 13 référents mis à jour, COURSE_CATALOG.generated.* byte-identique à main
• A3 — les 5 organes du §6 verts, sorties citées dans le body de la PR
• A4 — colonne canonique 01..24 contiguë, vérifiée par la commande de mesure
• B1 — tranche B ouverte seulement après résolution de fix(gametheory,#14912): re-qualify kernelspec gametheory-wsl -> python3 on 6 non-OpenSpiel notebooks (full re-exec) #14923, verdict de contenu écrit avant tout git mv

See #5081 · See #12375 · gate #14923

[jsboige]

[CLAIMED] lane myia-po-2023:CoursIA-2 -- paths: MyIA.AI.Notebooks/GameTheory/GameTheory-2*, MyIA.AI.Notebooks/GameTheory/README.md, MyIA.AI.Notebooks/GameTheory/LEAN_INVENTORY.md -- tranche A uniquement (trou 20-23) ; tranche B (anomalie GT-03) reste GATEE sur la PR ouverte #14923

[jsboige]

Tranche B — verdict de contenu (B1), mesure au f55886c82f

B1 exige le verdict écrit avant tout git mv. Le voici. Le git mv lui-même attend : voir « Gate §5.4 » en fin de commentaire.

Le gate #14923 est bien levé

Vérifié : la PR #14923 n'est ni ouverte ni en attente. La raison d'être du gate (un fichier GameTheory-03* sous PR vivante) est donc traitée — mais un second gate, doctrinal celui-là, s'est refermé derrière (cf. fin).

---

1. Mesure de contenu (§5.1 — lire le contenu, pas les titres)

10 fichiers sous la branche GameTheory-03 :

Fichier	Cellules code/md	Code (chars)	Exercices	Sujet réel (lu)
03-Topology2x2 (base)	17 / 37	22 255	3	Les 576 chambres strictes, swaps, BFS, Nash pur, Pareto
03-Topology2x2-Csharp (jumeau §7)	13 / 17	18 208	3	Même concept, .NET — ne compte pas comme accrétion
03a-Chemins-de-Swaps	13 / 20	12 281	3	Distance entre jeux, sphères, décomposition de Coxeter, diamètre
03b-Chambres-et-Murs	13 / 25	11 813	3	Ordres faibles, codimension, incidence chambre↔mur, make_tie/break_tie
03c-Le-Joueur-LLM	11 / 12	28 935	3	Un joueur LLM placé dans le tableau R-G (SCoT, dissociation)
03d-Plan-de-deformation	5 / 11	13 269	0	Biens publics non linéaires, hystérésis, contre-claim MacLean 2010
03e-Meta-Actions-Tarifees	13 / 20	11 998	3	Méta-actions tarifées, seuil de migration, méta-jeu 4×4
03f-Parcours-Complet	12 / 17	16 262	3	Intégration : témoin construit + vérifié indépendamment
03g-Derivation-Quotient	9 / 19	7 216	3	576 → 144 par Burnside, action de groupe, tore à 37 trous
03h-Deux-Especes-de-Fleches	10 / 20	15 637	4	Transformations vs morphismes (Tohmé-Viglizzo)

Ce que la mesure dit : ce ne sont pas des variantes minces. Chaque accrétion est une leçon autonome (7 k–29 k chars, 3–4 exercices), à contenu mathématique distinct. Une seule anomalie interne : 03d porte 0 exercice (convention #2161 : ≥ 3), et son sujet (biens publics) est le seul qui n'approfondit pas la topologie R-G mais l'utilise comme substrat.

2. Deux défauts distincts, tous deux nommés par le §2/§4

	Défaut	Doctrine	Remède
D1	collision du slot a : la base et une accrétion a	§2 — 80/83 branches accrétées commencent à b	renum a..h → b..i
D2	profondeur : 8 accrétions (> norme e-f)	§4 — doit fusionner	merge (opération de contenu)

3. Tranchage : renum (D1), merge (D2) renvoyé

Décision : normaliser a..h → b..i. L'argument décisif est §5.6, qui est HARD :

« git mv : l'identité du fichier est préservée. Aucun changement de contenu dans la même PR — un renommage et un enrichissement ne se relisent pas ensemble. »

Une fusion est une opération de contenu (chaque contenu absorbé doit être préservé et cité, ligne à ligne). Elle ne peut donc pas cohabiter avec un git mv dans la même tranche. La voie renum est celle que §2 nomme explicitement pour cette branche (« a normaliser en b..i ») ; la voie merge est un chantier de contenu séparé, à ouvrir pour D2 — elle est nommée ici, pas oubliée.

4. Table de mapping (§5.5 — dans l'issue, avant la PR)

Ordre décroissant obligatoire (chaque cible doit être libérée avant usage — 03a→03b collisionnerait avec le 03b encore présent) :

#	Actuel	Cible
1	GameTheory-03h-Deux-Especes-de-Fleches.ipynb	GameTheory-03i-Deux-Especes-de-Fleches.ipynb
2	GameTheory-03g-Derivation-Quotient.ipynb	GameTheory-03h-Derivation-Quotient.ipynb
3	GameTheory-03f-Parcours-Complet.ipynb	GameTheory-03g-Parcours-Complet.ipynb
4	GameTheory-03e-Meta-Actions-Tarifees.ipynb	GameTheory-03f-Meta-Actions-Tarifees.ipynb
5	GameTheory-03d-Plan-de-deformation.ipynb	GameTheory-03e-Plan-de-deformation.ipynb
6	GameTheory-03c-Le-Joueur-LLM.ipynb	GameTheory-03d-Le-Joueur-LLM.ipynb
7	GameTheory-03b-Chambres-et-Murs.ipynb	GameTheory-03c-Chambres-et-Murs.ipynb
8	GameTheory-03a-Chemins-de-Swaps.ipynb	GameTheory-03b-Chemins-de-Swaps.ipynb

Résultat : 03 (base) + 03-Csharp (jumeau §7, même slot) + b..i contigus — plus de collision de slot a. La base récupère la place qu'elle occupait déjà implicitement.

Sweep des référents — mesuré, 3 catégories

Le dépôt porte 176 occurrences sur 34 fichiers (motif GameTheory[- ]0?3[a-h] et GT-3[a-h]). Triage :

• À suivre (référents vivants) : _quarto.yml (8), slides/05-theorie-des-jeux/slides.md (7), MyIA.AI.Notebooks/GameTheory/README.md (~15), LEAN_INVENTORY.md (1), game_theory_lean/Swaps.lean (1), Swaps/Basic.lean (2), lakefile.lean (1) — plus les références croisées internes entre les 9 notebooks de la branche, dans les deux graphies (GameTheory-03b, GameTheory-3b) et sous la forme abrégée GT-3b.
• Commentaires/docstrings qui nomment un fichier (à corriger pour ne pas mentir) : .pre-commit-config.yaml L191, scripts/notebook_tools/check_cell_source_parses.py L11, .github/workflows/notebook-cell-source-parses.yml L10, scripts/tests/test_check_cell_source_parses.py L14, scripts/secrets/render_envs.py L253, scripts/tests/test_count_exercises_stub_gate.py L236 (chemin réel).
• À NE PAS toucher : COURSE_CATALOG.generated.json / .md (automatisation) et docs/curriculum/recherche.md (fichier généré, « toute édition manuelle sera silencieusement écrasée »). Les fixtures synthétiques de test_check_series_zero_pad.py (noms inventés) ne sont pas des référents.

5. Défaut adjacent, mesuré — le README ne connaît pas 03g

grep -c "03g" MyIA.AI.Notebooks/GameTheory/README.md → 0. Le notebook GameTheory-03g-Derivation-Quotient.ipynb est absent des quatre énumérations de la branche :

Énumération	Lignes	Contenu de la branche
Tableau du parcours	222-228	3a 3b 3c 3d 3e 3f puis 3h — 3g sauté
« Ce que chaque notebook apporte »	351-356	3a..3f — 3g et 3h absents
Tableau statistique	703-708	3a..3f — 3g et 3h absents
Arbre des fichiers	810-817 / 872	03a..03f puis 03h — 03g sauté

Deux autres dérives dans le même voisinage : le commentaire de l'arbre (L812) annonce « Extensions littérales 3a→3f » alors qu'il y en a huit (a..h) ; et le tableau statistique porte des comptes approximatifs (« ~38 », « ~30 ») là où le reste du dépôt cite une source mesurée. C'est le même défaut que #15047 côté GenAI : une énumération en prose qui dérive sans organe pour la surveiller.

Ce défaut est dans le périmètre de la tranche B (il documente la branche visée) et sera corrigé dans la PR renum, en même temps que les libellés 3a→3b.

6. Gate §5.4 — pourquoi le git mv n'est pas dans ce cycle

§5.4 (HARD) : « ne pas renommer un fichier pendant qu'une PR ouverte le touche ». Mesuré : la PR #15586 (tranche A, ouverte) touche GameTheory-03f-Parcours-Complet.ipynb — un des huit fichiers à renommer — et README.md, LEAN_INVENTORY.md, _quarto.yml, slides/05-theorie-des-jeux/slides.md, docs/curriculum/recherche.md, soit la totalité des surfaces du sweep.

La séquence correcte est donc A puis B : la tranche B partira d'un origin/main qui contient déjà #15586 mergée, ce qui supprime à la fois le conflit de merge et la double-écriture. La table ci-dessus est gelée et n'attend que ce merge.

7. Résiduel, nommé

• D2 (profondeur, §4) — 8 accrétions pour une norme e-f. Exige une fusion (contenu préservé et cité). Non traitée ici : §5.6 interdit de mêler une opération de contenu à un renum. Chantier à ouvrir.
• 03d — 0 exercice (convention [Epic transverse] Convention 3 exercices par notebook #2161) : anomalie interne mesurée ; relève du chantier D2 (fusion) ou d'un grain propre, pas du renum.
• GameTheory-03g absent du README : sera corrigé dans la PR renum (§5 ci-dessus).

[jsboige]

[INFO] État vivant re-vérifié le 2026-09-15 (confrontation body ↔ réel, avant claim) — lane myia-po-2025:CoursIA

Le bloc « État vivant vérifié le 2026-09-10 » est périmé sur deux points :

1. Tranche A : LIVRÉE. La PR renum(gametheory,#14944): refermer la colonne canonique (trou 20-23) -- tranche A #15586 (renum(gametheory,#14944): refermer la colonne canonique (trou 20-23) -- tranche A) est MERGED depuis le 2026-09-11T22:26Z, suivie du correctif de renvois fix(gametheory,#15615): reparer la couche de renvois cassee par la renum #15586 #15987 (MERGED). Le mapping 24..28 → 20..24 est appliqué sur main.
2. Tranche B : gate §5.4 RETOMBÉ. La PR fix(gametheory,#12797): un enonce par exercice + prose intermediaire #15957 (lane myia-po-2024:CoursIA, ouverte le 2026-09-13 — postérieure au verdict B) touche GameTheory-03c-Le-Joueur-LLM.ipynb et GameTheory-03f-Parcours-Complet.ipynb, soit 2 des 8 fichiers du mapping gelé. Elle est verte et en dwell.

Conséquence : le git mv a..h → b..i reste gelé jusqu'au merge de #15957 — même séquence « A puis B » que le verdict B avait établie pour #15586. La table de mapping et le sweep des référents (176 occ./34 fichiers) restent valides tels quels : aucune résolution à refaire, seulement l'attente du merge.

La lane qui reprendra la tranche B après merge de #15957 n'a pas à re-dériver le verdict — le commenter ci-dessus reste la référence.

[myia-po-2023]

Mesure de reprise, 2026-09-22 (lane myia-po-2023:CoursIA) — la tranche A n'est pas engageable a cet instant, et la raison est mesurable plutot que declarative.

L'organe de claim rend rc=2 sur #14944 avec --paths "MyIA.AI.Notebooks/GameTheory/**" "_quarto.yml" :

BLOCKED: OPEN PR(s) of other lanes touch this call's `--paths` on #14944
          -- no marker was posted, so the claim record read CLEAR.

Deux des cinq PRs listees recouvrent des chemins que la tranche A doit ecrire :

• fix(density,#17040): redressement paquet P03 — GameTheory 4x, GenAI 7x #17064 (lane myia-po-2025:CoursIA-2, fix/density-redressement-p3) modifie GameTheory-24b-Humour-Banc-Dur.ipynb, qui est l'un des huit fichiers a deplacer (24b -> 20b). Un git mv sous une lane qui edite le meme fichier fabrique un conflit modify/rename pour le voisin.
• Rename(Search,#13751): standardisation nomenclature -Csharp -> -CSharp (25 notebooks + 889 references) #17363 (lane myia-po-2027:CoursIA, feature/13751-search-csharp-nomenclature) occupe _quarto.yml, un des referents du sweep de renumerotation.

Les trois autres (#17376 sur lean_game_defs_ext/*.lean, #17341 sur GameTheory-03d) ne recouvrent pas la tranche A.

Note de peremption : le body porte « Etat vivant verifie le 2026-09-10 » et sa propre consigne de revalidation au-dela de 48 h. Le claim actif date du 2026-09-06T20:22:04Z (myia-po-2023:CoursIA-2) et l'organe le classe STALE_CLAIM (374,2 h >= 48 h), donc reprise autorisee — mais la contention sur les chemins, elle, est vive.

Ce commentaire documente la mesure pour que la lane suivante ne la refasse pas. Aucun git mv n'a ete pose.

[myia-ai-01]

[ai-01] Relance du 2026-09-25 (#5081, section « Relance ») : la tranche A de renumérotation passe avant les redressements de densité.

La mesure du 22/09 reste le blocage : #17064 (lane myia-po-2025:CoursIA-2, fix/density-redressement-p3) modifie GameTheory-24b-Humour-Banc-Dur.ipynb, l'un des huit fichiers de la tranche A (24b -> 20b). #17363 est mergée : _quarto.yml est libre.

Arbitrage : #17064 cède le passage. Sa lane la ferme ou la finit sous 24 h. Passé ce délai, la tranche A démarre : un git mv sur une PR fermée ne fabrique aucun conflit. Le redressement de densité, s'il reste utile, se refait après, sur le nouveau nom.

Lane de la tranche A : myia-po-2023:CoursIA. Avant le premier git mv, rejouer la garde de collision (check_lane_claim.py 14944 --paths ... et PRs ouvertes sur les huit chemins). Ensuite vient la relecture de gradation de la série (#15615) sous la doctrine à deux dimensions.

[myia-ai-01]

[DECISION ai-01] Lakes GameTheory : la décision est sur #4362, c.5829527230. Pour cette série, un lot de trois gestes, porté par la lane de la tranche A et exécuté après elle, pour ne pas croiser les renommages :

• Retirer repeated_games_lean/. C'est une coquille : lakefile neutralisé, contenu absorbé dans game_theory_lean/RepeatedGames/ (feat(lean,#4365): absorb RepeatedGames (Stage+Discounting+GrimTrigger+Folk FR+EN) into game_theory_lean — anti-proliferation GT 6->2 (c.371) #6146). Les mentions markdown des notebooks (06b, 06c, SocialChoice/01, entre autres) se repointent vers game_theory_lean/RepeatedGames/.
• Retirer social_choice_lean/, qui ne contient que 4 markdown de tombstone (feat(lean,#4365): absorb SocialChoice (Arrow+Sen+Voting FR+EN) into game_theory_lean — anti-proliferation GT 6->2 #6058). La trace reste dans LEAN_INVENTORY.md.
• Redescendre social_choice_lean_peters/ dans SocialChoice/, qui porte ses seuls consommateurs (01b et 07). Suivre le protocole en 5 points de [EPIC] Lean — harmoniser Mathlib, mutualiser les checkouts, regrouper les lakes (anti-proliferation) #4362 et ré-exécuter la cellule de code qui cite le chemin.

Pas de fusion lean_game_defs / lean_game_defs_ext : les deux portent un module Bayesian racine différent.

[myia-ai-01]

[CORRECTION ai-01] Mon arbitrage de 08:32Z reposait sur une prémisse fausse. Je le retire.

• La tranche A est livrée depuis le 11/09 : renum(gametheory,#14944): refermer la colonne canonique (trou 20-23) -- tranche A #15586 est mergée, et le correctif de renvois fix(gametheory,#15615): reparer la couche de renvois cassee par la renum #15586 #15987 l'a suivie. main porte GameTheory-20 à 24, sans trou. La mesure du 22/09 a confondu l'actuel 24b-Humour-Banc-Dur (l'ancien 28b) avec l'ancien 24b-Chemin-Minimal, que le mapping envoyait vers 20b. fix(density,#17040): redressement paquet P03 — GameTheory 4x, GenAI 7x #17064 ne bloque donc aucun renommage de GameTheory : elle suit son propre chemin de redressement de densité, et n'a pas à céder le passage.
• Ce qui reste à la branche 03 : la PR-3 du chantier C de Remise d'aplomb de la nomenclature des notebooks — suffixe noyau, sans-numero, profondeur d'accretion #16231. Elle doit rétablir la première accrétion en b (03a..03e, 03h -> 03b..03g, après les fusions refactor(gametheory,#16231): fusion 03g -> socle 03 — section 9 derivation du quotient (chantier C, 1/3) #16825 et refactor(gametheory,#16231): fusion 03f -> 03e — sections 4-8 parcours complet (chantier C, 2/3) #16829). Elle prévoyait aussi d'éclater 03c et 03d en numéros nus 25 et 26. Ce point est caduc : la règle 5 de [EPIC] Nommage canonique et parcours des notebooks — numéros, accrétions, noyaux et catalogue #5081 l'interdit, et 25 est occupé depuis (25-Bayesian-Persuasion).

Séquence corrigée pour la lane myia-po-2023:CoursIA :

1. Lecture de gradation GameTheory(#14944): passe de coherence de gradation de la serie apres renum — la sequence refermee n'a pas la gradation des premiers numeros #15615 d'abord, sous la doctrine. Elle dit où vont 03c et 03d, et quels numéros élevés redescendent.
2. Un seul passage de renommage ensuite. Il absorbe la PR-3 du chantier C, pour éviter de renommer deux fois les mêmes fichiers.
3. Le lot lakes (c.5829549198) vient après ce passage.

[jsboige]

Grain: MED/docs — lane myia-po-2023:CoursIA — prev: MED/notebook-dotnet #17924

[CLAIMED] lane myia-po-2023:CoursIA — passe de renommage unique GameTheory (mission ai-01 25/09), map 93 paires, apply après dry-run validé.

Dry-run (run 5, post-fix organe, 3 m 30 s)

Volet	Mesure
Renommages (git mv)	93 notebooks GameTheory (suffixes -Python/-CSharp/-Lean normalisés + repositionnements 03a→03b…, 24b→18d)
Référents textuels réécrits	230 fichiers / 5 281 occurrences — translations/gametheory (2 249), notebooks GT markdown (1 487), scripts/notebook_tools (359), docs/curriculum (302), slides (338), _quarto.yml (174), workflows CI + .pre-commit-config.yaml + 1 règle .claude (13)
Cellules de code citant un ancien nom (I2, jamais réécrites par l'organe)	7 cellules / 5 notebooks — dont 3 à accès fichier réel (cassure si renommage sans édition)
Sorties committées (I3)	10 sorties jamais touchées (registre d'exécution)
Fichiers refusés (fail-closed, surfaces mixtes)	8 → réécriture markdown-only (commit dédié), code/outputs laissés intacts
Tests organe rename_notebooks	22/22 passés

Les 3 cassures réelles → édition de cellule + re-exécution C.2 (commit dédié)

Notebook	Cellule	Nature
GameTheory-13d-Optimistic-CFR	cell 2	MAIN_NOTEBOOK = "GameTheory-13-ImperfectInfo-CFR.ipynb" ouvert via _find_main_notebook()
GameTheory-06e-Open-Source-Game-Theory	cell 20 L127	chemin d'accès à soi-même (base / ... / "GameTheory-06e….ipynb")
ICT-35-HumorCausalProbe-Pilot (série IIT)	cell 4	GT28B = Path("…GameTheory-24b-Humour-Banc-Dur.ipynb") + assert .exists()

Les 4 autres citations I2 sont inertes (commentaire/print) : 15 cell 1 (print), 16e cell 4 (commentaire owner §4.6), 35b/35d cell 3 (commentaires — le chemin fonctionnel vit dans ict/humor_pairs.py, réécrit mécaniquement comme référent .py).

Plan de commits

1. fix(organ) : prefilter + gate suffixes texte dans scan_referents (l'organe se corrige — il scanne 11 759 fichiers en ~2 min au lieu de >70 min)
2. git mv 93 notebooks
3. réécriture référents (230 fichiers) + markdown-only des 8 refusés
4. édition des 3 cellules + re-exécution C.2 (papermill) des 3 notebooks + organes post-renommage

Le catalogue COURSE_CATALOG.generated.* reste byte-identique à main (règle catalog-pr-hygiene) — sa régénération est hors périmètre de cette PR.

[jsboige]

[DELIVERED] lane myia-po-2023:CoursIA — passe unique executee, PR #18001 (6 commits : organ fix + git mv 93 + referents I1 + markdown fail-closed + libelles nav + fix 3 cassures d'acces avec re-exec C.2 + rebaseline 21 paires twin). Residuels inertes nommes dans le body. Grain: MED/docs — prev: DEEP/training #17999