Remise d'aplomb de la nomenclature des notebooks — suffixe noyau, sans-numero, profondeur d'accretion

[myia-ai-01]

Ce que le user a tranche

Question posee en fin de session sur le waiver du suffixe noyau pour la serie ICT (le canon #11840 exige -Python, ICT est mono-noyau, le suffixe n'y desambiguise rien). Reponse :

« oui je pense qu'on devrait faire le renommage canonique, il y a aussi la question des sans numeros, de la reorg des accretions trop nombreuses. C'est un vrai boulot de tout remettre d'aplomb alors cree une issue dediee rattachee aux existantes »

Le waiver est donc revoque. Le canon prime, et le perimetre s'elargit a trois chantiers. Cette issue les porte ensemble parce qu'ils touchent tous le nom de fichier : les separer ferait passer trois fois le meme balayage de referents sur les memes fichiers.

See #11840 (tracker de normalisation, 12 tranches livrees) · See #7260 (renumerotation ICT, §4)

Les trois chantiers, mesures sur origin/main

1284 notebooks au total ; 729 conformes a <Prefixe>-<num><lettre?>-<Titre>.ipynb, 555 hors forme.

A. Suffixe noyau — le canon est applique a 9 %

Suffixe	Notebooks
aucun	662
-Python	43
-CSharp	20
-Lean	4

Le canon #11840 vaut aujourd'hui pour 67 des 729 notebooks numerotes. C'est l'ecart le plus large des trois, et le plus couteux en references : c'est lui qui justifiait le waiver ICT, desormais ecarte.

Decision user : appliquer le renommage canonique, sans waiver pour les series mono-noyau. Le suffixe noyau s'applique donc aux notebooks pedagogiques numerotes ; l'inventaire ci-dessus donne un plafond de 662 cibles sans suffixe, a classifier par serie avant decoupe en tranches. Ce n'est pas une invitation a renommer aveuglement les quantbooks, scripts-notebooks ou artefacts qui ne relevent pas de la progression pedagogique : leur inclusion se prouve par le tri du chantier B, pas par l'extension du glob.

B. Notebooks sans numero — 555, tres concentres

Serie	Sans numero
QuantConnect	214
GenAI	135
SymbolicAI	81
ML	66
RL	27
IIT	10
GameTheory	8
CaseStudies	6
Probas	5

Deux familles a ne pas confondre, et le tri est le premier travail : QuantConnect (214) est majoritairement du code de strategie et des quantbooks, pas une progression pedagogique numerotable — les numeroter serait fabriquer un ordre qui n'existe pas. A l'inverse GenAI et ML portent de vraies progressions dont le numero manque.

C. Profondeur d'accretion — seulement 4 groupes hors norme

La norme de .claude/rules/notebook-accretion-numbering.md est e-f au maximum. Sur 407 groupes numerotes, 4 la depassent :

Groupe	Accretions	Jusqu'a
ICT-15	12	l
Lean-16	10	j
GameTheory-03	8	h
GameTheory-06	8	h

C'est le chantier le plus petit et le plus facile a livrer en premier. Chaque eclatement demande un argument pedagogique ecrit : une accretion profonde n'est un defaut que si les derniers grains ne sont plus des variations du meme objet.

Contraintes qui ne se negocient pas

• git mv uniquement, aucune edition de contenu dans la meme PR (§5.6 de la rule : un renommage et une edition de contenu ne se reviewent jamais ensemble).
• La table de mapping va dans l'issue AVANT la PR, jamais decouverte a la lecture du diff.
• 863 references « nues » mesurees (ICT-7 en prose, sans tiret ni lettre derriere) dont 28 en cellule code et 9 en sortie committee. Un balayage par <Prefixe>-N- seul les rate. Les 9 sorties committees imposeraient une re-execution : interdiction de hand-editer une sortie (C.2 + secrets-hygiene regle 6) — on corrige la cause et on re-execute, ou on borne le perimetre.
• Six surfaces cassent a chaque renum, cinq ont un organe sur main (check_notebook_navlinks.py, check_docs_links.py, detect_link_target_regression.py, check_notebook_link_render.py, check_link_label_agreement.py). Les passer apres chaque tranche.
• Catalogue byte-identique a main : COURSE_CATALOG.generated.* et les blocs CATALOG-STATUS ne se regenerent jamais a la main sur une branche feature.

Ordre propose

1. C (4 groupes) — le plus petit, valide la chaine complete renommage + balayage + organes sur un volume ou une erreur se rattrape.
2. Classification de A par serie — le canon est tranche ; mesurer les notebooks pedagogiques réellement concernés et exclure explicitement les artefacts qui ne portent pas une progression.
3. A par serie, une PR par serie, jamais un composite.
4. B — apres le tri code/pedagogie, qui est un travail editorial et pas mecanique.

La tranche ICT est deja scopee au commentaire 5673072664 de #11840 et reclamee par myia-po-2027:CoursIA ; sa table de mapping doit etre refaite pour integrer -Python, le waiver sur lequel elle reposait etant revoque.

[jsboige]

Bande ICT — table canonique post-décision (waiver suffixe noyau révoqué)

Lane myia-po-2027:CoursIA, dispatch msg-20260915T010344-roav4c + séquencement corrigé msg-20260915T024818-e1g53n. Table posée avant tout git mv, comme prescrit. Mesures : lignes A sur l'arbre de #16292 (head c416ccf6d85c), lignes B/C sur origin/main.

PR A — #16292 (rework dans la même PR) : padding + suffixe noyau

État sur la branche (padding seul)	Cible canonique
ICT-01-PhiTrajectories.ipynb	ICT-01-PhiTrajectories-Python.ipynb
ICT-02-SelfSortingMorphogenesis.ipynb	ICT-02-SelfSortingMorphogenesis-Python.ipynb
ICT-03-RobustnessDelayedGratification.ipynb	ICT-03-RobustnessDelayedGratification-Python.ipynb
ICT-04-ChimericArraysKinAggregation.ipynb	ICT-04-ChimericArraysKinAggregation-Python.ipynb
ICT-05-CausalEmergence.ipynb	ICT-05-CausalEmergence-Python.ipynb
ICT-06-SortingToTPM-CausalEmergence.ipynb	ICT-06-SortingToTPM-CausalEmergence-Python.ipynb
ICT-07-ScaleFreeSignatures.ipynb	ICT-07-ScaleFreeSignatures-Python.ipynb
ICT-08-AttractorLandscapesEWS.ipynb	ICT-08-AttractorLandscapesEWS-Python.ipynb
ICT-09-AgencyRegeneration.ipynb	ICT-09-AgencyRegeneration-Python.ipynb

La tranche déjà poussée sur #16292 portait le padding seul (waiver encore en vigueur à sa rédaction) ; la rework applique le suffixe canonique aux 9 fichiers et re-sche les référents porteurs de chemin sur les nouveaux noms. Zéro changement de contenu.

PR B — accrétions 36/37/38 → 21d/e/f + suffixe noyau (gated, écrite et prête)

Nom sur origin/main	Cible canonique
ICT-36-FLens-FactoredGeometry.ipynb	ICT-21d-FLens-FactoredGeometry-Python.ipynb
ICT-37-FLens-BeliefState.ipynb	ICT-21e-FLens-BeliefState-Python.ipynb
ICT-38-SLens-SelfLocation.ipynb	ICT-21f-SLens-SelfLocation-Python.ipynb

Ancrage pédagogique (arbitrage user) : le parent est ICT-21 — « près de 21, quelque part entre le grokking (ICT-17b) et les substrats LLM (ICT-22) ». Nav annexe : la flèche [← ICT-37] d'ICT-39-CompositionRegards se réécrit vers ICT-35 (ICT-39 ne dépend de rien dans 36/37/38, grep -c "slens|flens|trace_contract" = 0).

Gate §5.4 notebook-accretion-numbering (re-mesuré à l'instant, PRs ouvertes sur les chemins) : #16278 édite ICT-37 + ICT-38, #16291 édite ICT-36, #16236 édite le README de série — un renommage ne se pousse pas pendant qu'une PR ouverte édite le fichier. PR B attend leurs merges, puis part sans attendre de review.

PR C — titres (markdown seul, après les renames)

Fichier	Correction de titre
ICT-16-MDLTwoPartCode.ipynb	accents (« complexite » → « complexité »)
ICT-21e-FLens-BeliefState-Python.ipynb (ex-ICT-37, après PR B)	tiret court → cadratin, accents « lineaire »/« geometrie », espace final

ICT-16 n'est pas renommé dans cette bande — son suffixe éventuel relève du chantier A série-large de la présente issue, pas de la tranche padding 1..9.

Hors bande, mesuré — inchangé

• Palier 0 (ICT-0-Framing.md, ICT-0-Annexe-IntegratedComplexityTheory.md) : inchangé, - (0x2D) trie déjà devant 1 (0x31).
• Formes nues ICT-<1-9> en prose / cellules code / sorties committées (863 occurrences, dont 28 en code et 9 en sorties) : NON réécrites — étiquettes (clés de dict, légendes), pas des chemins ; les réécrire imposerait la ré-exécution de 10 notebooks.
• translations/iit/iit.csv : non touché (dérivé sous garde). Catalogue byte-identique à main sur les trois PR.
• Les deux issues latérales scoppées par le coordinateur (kernelspec absent d'ICT-38 ; ICT-34..39 absents du README) restent hors bande.

[jsboige]

[CLAIMED] #16231 — lane myia-po-2026:CoursIA — 2026-09-16T10:0xZ — chantier A, tranche pilote : série IIT racine

Paths renommés (5) : MyIA.AI.Notebooks/IIT/IIT-0{1..5}-*.ipynb → ajout du suffixe noyau canonique -Python (waiver révoqué par user ; mono-noyau ≠ exemption). Python (PyPhi), numérotés, pédagogiques — exactement la population cible du chantier A.

Référents balayés pour mise à jour : IIT/README.md, docs/ (curriculum ×2, ict/README, ledgers/3801, slides/07), _quarto.yml, liens croisés ICT-1/2/5, scripts (build_notebook.py, count_exercises.py, pedagogy_density_baseline.json, test_notebook_tools_pure.py), .claude/agents/notebook-executor.md. Catalogue généré : byte-identique à main (cron). Tranche volontairement bornée — ICT-Series (58) et les autres séries restent au pool.

[jsboige]

[CLAIM AMEND + RELEASED] myia-po-2026:CoursIA — 2026-09-16

• Tranche IIT racine (claim initial) : LIBÉRÉE, non livrée. Le travail référentiel était prêt (renommages + sweep vérifiés), mais la doctrine §5.4 s'applique : Refactor(#11840): noms canoniques ICT-01..09-...-Python (tranche A — padding + suffixe noyau, 18 git mv + 2 sweeps) #16292 (ouverte, bande ICT po-2027) renomme ICT-1/2/5 et édite IIT/README.md — mes référents cibles directs. Un renommage ne se pousse pas pendant qu'une PR ouverte édite les fichiers. À reprendre après merge de Refactor(#11840): noms canoniques ICT-01..09-...-Python (tranche A — padding + suffixe noyau, 18 git mv + 2 sweeps) #16292 (les cibles deviennent alors ICT-01/02/05-Python).
• Livrée à la place — tranche FineTuning → PR Rename(#16231): suffixe noyau canonique -Python sur la série FineTuning #16376 : FT-00a..FT-06 + jumeau -Python_en, 10 renommages canoniques, référents vivants + ledger de traduction re-cheminé (169 rangées, resync per-cell des 2 cellules chaudes). 600 tests verts, garde variation PASS.

Le chantier A reste largement ouvert (662 cibles) — périmètre FineTuning désormais couvert.

[jsboige]

Grain: MED/notebook-python — lane myia-po-2024:CoursIA — prev: MED/notebook-dotnet #16819

[CLAIMED] lane myia-po-2024:CoursIA — chantier C de #16231, tranche GameTheory-03 (verdict éditorial + exécution en 3 PRs) -- paths: MyIA.AI.Notebooks/GameTheory/GameTheory-03*, MyIA.AI.Notebooks/GameTheory/GameTheory-25-, MyIA.AI.Notebooks/GameTheory/GameTheory-26-, MyIA.AI.Notebooks/GameTheory/README.md, MyIA.AI.Notebooks/GameTheory/LEAN_INVENTORY.md, _quarto.yml, docs/curriculum/recherche.md, slides/05-theorie-des-jeux/**

Chantier C — tranche GameTheory-03 : verdict par contenu et table de mapping

Lecture du contenu des 9 notebooks de la branche (base + a..h, cf notebook-accretion-numbering.md §2 : la branche porte l'écart de convention « base présente ET première accretion a », et §4 : 8 accretions > norme ≤ 4).

Verdict par contenu (lu, pas déduit des titres)

Même objet (géométrie ordinale des jeux 2×2 — variations du socle) : 03a (chemins/distance), 03b (chambres/murs/codimension), 03e (méta-actions tarifées), 03f (parcours complet — hérite explicitement du substrat de 03e), 03g (quotient 144 — dérive les deux nombres que le socle cite sans calculer), 03h (flèches/morphismes).

Dérivés (consommateurs du tableau, objet mathématique distinct) : 03c (modèles de joueurs / dissociation prédire-agir, protocole Mei et al. — le sujet est le joueur, pas la topologie), 03d (biens publics N-personnes non linéaires, Archetti-Scheuring — famille mathématique différente, pont depuis le tableau).

Table de mapping (actuel → cible)

Actuel	Cible	Nature	Argument pédagogique
GameTheory-03-Topology2x2.ipynb (+ twin -Csharp inchangé)	absorbe 03g en section finale « Du 576 au quotient 144 »	fusion	03g dérive les nombres (144, 78) que le socle cite sans calculer ; le socle devient auto-dérivé
GameTheory-03g-Derivation-Quotient.ipynb	(absorbé, fichier retiré)	fusion	chaque cellule préservée et citée ligne à ligne dans le socle (Consolider != Archiver)
GameTheory-03e-Meta-Actions-Tarifees.ipynb	absorbe 03f, devient GameTheory-03d-Meta-Actions-et-Parcours.ipynb	fusion + renum	03f hérite du substrat de 03e (marche 1 = jouer, marche 2 = déplacer) ; l'arc méta-actions en un notebook lourd
GameTheory-03f-Parcours-Complet.ipynb	(absorbé)	fusion	idem
GameTheory-03c-Le-Joueur-LLM.ipynb	GameTheory-25-Le-Joueur-LLM.ipynb	éclatement (nouveau n° nu)	objet = modèles de joueurs mesurés via le tableau ; se lit après l'arc (utilise chambres + swaps + Nash)
GameTheory-03d-Plan-de-deformation.ipynb	GameTheory-26-Plan-de-deformation.ipynb	éclatement (nouveau n° nu)	objet = biens publics N-personnes ; pont biologie évolutive, hors géométrie 2×2
GameTheory-03a-Chemins-de-Swaps.ipynb	GameTheory-03b-Chemins-de-Swaps.ipynb	renum convention §2	la 1re accretion porte b, pas a
GameTheory-03b-Chambres-et-Murs.ipynb	GameTheory-03c-Chambres-et-Murs.ipynb	renum convention	suit le décalage
GameTheory-03h-Deux-Especes-de-Fleches.ipynb	GameTheory-03e-Deux-Especes-de-Fleches.ipynb	renum convention	dernière accretion même-objet

État final : base (+quotient), 03b, 03c, 03d (méta-actions+parcours), 03e = 4 accretions, norme tenue, convention b-première rétablie.

Séquencement (3 PRs, une par sujet)

1. PR-1 fusion g→socle (contenu) : absorption + re-exec complète du socle (python3, imports légers — mesuré).
2. PR-2 fusion f→e (contenu) : absorption + re-exec.
3. PR-3 éclatement + convention (git mv uniquement) : mvs atomiques + sweep des référents (docs/curriculum/recherche.md, _quarto.yml, slides/05-theorie-des-jeux/slides.md, README série, LEAN_INVENTORY, navlinks croisés 16b/16e/19/22/SocialChoice-05) + les 5 organes de la rule §6 + clés pedagogy_density_baseline.json.

Signalement (hors périmètre, sujet séparé)

Collision latente détectée lors de l'inventaire : 24-Humour-Banc.ipynb coexiste avec 24-Chemin-Minimal-Robinson-Goforth_output.ipynb (artefact d'exécution portant un n° nu déjà pris par Humour-Banc — probable artefact orphelin de la série 20-Chemin-Minimal). À traiter en issue séparée, pas en rider.

[myia-ai-01]

Mandat user du 22/09 : suffixe -Lean-Python, et « renommer avant de traduire »

Deux décisions du user, ajoutées au périmètre de cette issue :

1. Les notebooks Python qui manipulent Lean prennent le suffixe -Lean-Python. Le user l'a écrit _Lean_Python ; on l'applique dans la forme du canon [EPIC][#5081] Noms canoniques — padding, titres français et suffixes noyau #11840, avec des tirets. Le suffixe dit le noyau d'exécution (Python) et l'objet manipulé (Lean). On distingue ainsi ces notebooks des notebooks à noyau Lean, suffixés -Lean.
2. Le renommage précède la traduction ([EPIC] Traduction multilingue du depot via datasetupdater Argumentum (low priority) #1650) : les dépôts localisés reprendront les noms canoniques, donc le chantier A doit être fini sur une série avant qu'elle parte en traduction.

Tranche Lean — porteur myia-po-2027:CoursIA

Mesure sur origin/main (39c65577e4), metadata.kernelspec.name des 58 notebooks SymbolicAI/Lean/Lean-*.ipynb :

Noyau	Notebooks	Cible
lean4, lean4-wsl, lean4-wsl-*	25	-Lean
python3, python3-wsl, global-3.13	33	-Lean-Python si le notebook pilote réellement Lean (sous-processus lake/lean, REPL, LeanDojo), -Python sinon

Les suffixes actuels ne suivent aucune règle : -Native, -Lean-Native, -Lean-Companion, -Python (Lean-11b), -Lean au milieu du titre (Lean-15b-Lean-Grothendieck, Lean-12b-Lean-…, Lean-23b-Lean-…). La table de mapping les résout un fichier une fois : padding, suffixe et casse sont groupés dans un seul renommage (#11840).

Phase 1 — inventaire et table, aucun git mv. Pour chaque notebook : noyau, preuve qu'il pilote Lean (file:cellule, pas un compte de mentions), nom cible. La table est postée ici avant toute PR. Elle signale aussi, sans les traiter, les candidats -Lean-Python des autres séries (GameTheory-06b, Tweety-02d/5e, Search-03e, PT_16, ICT-Life-SubstratCertifie) : ils suivent la tranche de leur série.

Phase 2 — exécution série par série, uniquement sur les fichiers qu'aucune PR ouverte ne touche (§5.4). Mesure du jour : une vingtaine de PRs ouvertes touchent des notebooks Lean, pour l'essentiel la famille de réaccentuation #16638. Elles sont à consommer d'abord : le coordinateur s'en charge (dossiers et merges).

Exclu : le groupe Lean-16*, porté par la vitrine GOL (#17465). Son porteur décide de sa réorganisation, y compris la profondeur d'accrétion (chantier C).

Contraintes inchangées : git mv seul sans édition de contenu, table avant PR, balayage des référents par les cinq organes après chaque tranche, catalogue byte-identique à main.