[Probas] Repenser la hiérarchie apprenant et la place des pistes technologiques

[jsboige]

Contexte

Le concern utilisateur sur #14871 met en évidence un défaut d'architecture apprenant, pas seulement un lien README périmé : les notebooks placés directement à la racine de MyIA.AI.Notebooks/Probas/ sont les premiers artefacts visibles dans GitHub, alors que les progressions pédagogiques vivent dans des sous-répertoires. Les deux notebooks racine actuels sont plutôt des éléments restés hors classement qu'une entrée de cursus assumée.

Ce point bloque le choix honnête de destination des nouvelles distillations de percolation Python et Lean (#14847 / #14871). Il faut étudier la taxonomie avant d'ajouter un troisième notebook racine ou de consacrer une ambiguïté existante.

Le nom PyMC/ mérite également un réexamen : il peut être lu comme la série probabiliste générale alors que le dépôt porte plusieurs arcs distincts (Infer/, PyMC/, DecisionTheory/, lakes Lean et applications transversales).

Objectif

Établir puis appliquer une architecture apprenant claire pour la série Probas, sans décider la solution depuis les seuls noms actuels et sans déplacer opportunément des notebooks avant inventaire.

Étude préalable — acceptance

1. Inventorier depuis origin/main tous les notebooks et lakes sous MyIA.AI.Notebooks/Probas/, avec leur rôle réel : progression ordonnée, miroir technologique, application autonome, pont transversal, support Lean ou artefact historique non classé.
2. Auditer le parcours visible depuis GitHub : ordre d'apparition à la racine, rôle du README principal, liens vers les sous-séries et ambiguïtés pour un apprenant découvrant le dossier.
3. Étudier explicitement au moins trois architectures, dont :
   • conservation des pistes actuelles avec un sous-répertoire dédié aux applications/transversaux ;
   • renommage ou re-scope de PyMC/ pour rendre sa fonction pédagogique non ambiguë ;
   • organisation par progression/concepts avec implémentations technologiques secondaires.
4. Pour chaque option, chiffrer les renames/moves, liens affectés, paires ou parités, notebooks/quarto/catalogue concernés et risque de collision avec les PRs ouvertes.
5. Recommander une option avec une migration séquencée et réversible. Aucun déplacement en masse avant validation de cette recommandation.
6. Déterminer dans cette architecture la destination des deux jambes percolation : notebook Python feat(ict,#14834): percolation supercritique — companion ICT-28b (repositionnement suspendu #14873) #14847 et lake/notebook Lean [Probas/Lean] Formaliser le noyau fini de la percolation avant pont ICT #14871. Ne pas utiliser la racine Probas par défaut.

Livraison

• Phase A : proposition comparative et inventaire publiés sur cette issue ; pas de rapport d'audit committé.
• Phase B : après décision, sous-issues/PRs atomiques pour les moves, liens et README.
• Le README principal Probas doit être remis à jour contre le disque dans la séquence retenue, en préservant les blocs générés et en tenant compte de docs(probas,#12904): reconcile arc READMEs with the actuarial jambe (DecPyMC-8..12) #14825.
• Les artefacts catalogue restent bot-owned ; aucune régénération manuelle sur une branche feature.

Séquençage immédiat

• docs(probas,#12904): reconcile arc READMEs with the actuarial jambe (DecPyMC-8..12) #14825 continue sa correction bornée des comptes/arc actuariel et ne doit pas être écrasée.
• feat(ict,#14834): percolation supercritique — companion ICT-28b (repositionnement suspendu #14873) #14847 et [Probas/Lean] Formaliser le noyau fini de la percolation avant pont ICT #14871 peuvent poursuivre leur grounding technique, mais leur destination finale et toute nouvelle navigation attendent cette étude.

See #14834. See #14847. See #14871.

[jsboige]

Grain: MED/docs — lane myia-po-2023:CoursIA-2 — prev: MED/notebook-python #14862

[CLAIMED] lane myia-po-2023:CoursIA-2 — paths: MyIA.AI.Notebooks/Probas/README.md, MyIA.AI.Notebooks/Probas/Infer-101.ipynb, MyIA.AI.Notebooks/Probas/Pyro_RSA_Hyperbole.ipynb

Phase A uniquement, read-only et issue-first : inventorier/classifier la hiérarchie Probas, comparer au moins trois architectures, chiffrer les impacts et recommander une migration séquencée. Ne pas éditer ces fichiers ni ouvrir de PR avant décision. Cette lane est choisie après #14825 parce qu'elle vient d'auditer le README entier et possède déjà les comptes/dispositions firsthand ; elle doit intégrer le nouveau concern sans refaire ni écraser la correction actuarielle.

[jsboige]

Phase A — Étude architecture apprenant Probas (livrée par la lane claimante, read-only)

Grain: MED/docs — lane myia-po-2023:CoursIA-2 — préparation issuecomment-5558290408

Toutes les mesures ci-dessous sont firsthand depuis origin/main (git ls-tree / git grep / lecture des notebooks, pas les bodies d'issues).

1. Inventaire et classification (rôle réel)

Marqueur CATALOG-STATUS du README : 67 notebooks pédagogiques — DecisionTheory=26, Infer=20, PyMC=19, root=2 (vérifié conforme au disque).

Élément	Notebooks	Rôle réel constaté
Infer/	20 (Setup + 1-19)	Progression ordonnée — corpus bayésien C#/.NET (message passing EP/VMP)
PyMC/	19 (01-19)	Progression ordonnée — corpus bayésien Python (NUTS), parité 1:1 avec Infer (24 entrées twin_pairs.d/probas-*.yaml)
DecisionTheory/DecInfer/	10 (01-10)	Progression ordonnée — arc décision C#, dont 2 companions à kernel Lean (02 utilité vNM, 09 Gittins)
DecisionTheory/PyMC/	12 (1-12)	Progression ordonnée — arc décision Python (miroir DecInfer, 6 paires communes + extension actuarielle 8-12, cf PARITY-INVENTORY.md #12933)
DecisionTheory/Causal-Bridges/	4	Pont transversal — do-calculus fédérant Tweety/Infer/PyMC/PyPhi
decision_theory_lean/	0 ipynb (lake)	Support Lean — lake compagnon de l'arc décision
Infer-101.ipynb (racine)	—	Hors classement : intro longue-forme (71 cellules, 2h30, kernel C#) qui chevauche Infer/1-3 — un « MOOC standalone », hors numérotation Infer-1..19
Pyro_RSA_Hyperbole.ipynb (racine)	—	Application autonome (41 cellules, Python/Pyro) — framework RSA (pragmatique du langage), 3ᵉ PPL de la série (Pyro ≠ PyMC ≠ Infer.NET), pont vers NLP

Support racine : README.md, index.qmd (quarto, section standalone-root assumant les 2 racines), LEAN_INVENTORY.md, assets/, requirements.txt.

2. Parcours visible depuis GitHub

Vue racine (dossiers puis fichiers, ordre d'affichage) : les fichiers visibles sont Infer-101.ipynb en premier, puis LEAN_INVENTORY.md, Pyro_RSA_Hyperbole.ipynb, README.md (4ᵉ). Constats :

• Le README arrive après les notebooks : un apprenant découvrant le dossier voit Infer-101.ipynb comme porte d'entrée supposée, alors que le README renvoie vers Infer/Infer-1-Setup.ipynb (15 min) — deux « leçons 1 » concurrentes.
• Deux répertoires nommés PyMC : Probas/PyMC/ (corpus bayésien 19) et Probas/DecisionTheory/PyMC/ (arc décision 12, fichiers préfixés DecPyMC-*). Le second réutilise le nom générique alors que son contenu porte déjà un préfixe distinctif — c'est là que l'ambiguïté est la plus forte.
• Pyro_RSA_Hyperbole.ipynb isolé : aucun voisin, aucun README de section ; référencé par le README racine du dépôt et _quarto.yml.
• La racine est documentée comme assumée (« Racine (standalone) | 2 » dans README + standalone-root dans index.qmd) mais architecturalement non classée — le concern user est fondé : c'est un rangement par défaut, pas une entrée de cursus.

3. Options d'architecture étudiées

Option A — Pistes actuelles + sous-répertoire Applications/ (conservation)
Créer Probas/Applications/ avec README de section ; git mv des deux notebooks racine dedans (noms de fichiers inchangés, pas de renum). Infer/, PyMC/, DecisionTheory/, lakes : inchangés. La racine ne montre plus que README/index/support.

Option B — Re-scope des noms technologiques
A + renommer DecisionTheory/PyMC/ → DecisionTheory/DecPyMC/ (aligne le dossier sur le préfixe de ses 12 fichiers) ; à ne pas confondre avec le renommage de Probas/PyMC/ lui-même (corpus 19) — voir chiffrage, le coût n'est pas du même ordre. Probas/PyMC/ porte correctement son nom (c'est LA série PyMC) ; l'ambiguïté vient du second dossier.

Option C — Organisation par progression/concepts, implémentations secondaires
Restructurer par concept (Mixtures/, FactorGraphs/, TrueSkill/… avec les twins .NET/Python côte à côte au niveau concept). Technologie = sous-niveau de la progression.

4. Chiffrage par option

Mesures git grep origin/main (référents vivants ; docs/archive/** exclu du sweep — historique) :

Impact	Option A	Option B	Option C
Fichiers déplacés/renommés	2	2 + 1 dossier (12 nb)	~59
Fichiers sweep référents	~15 (README Probas ×10, index.qmd ×8, README dépôt, _quarto.yml, CaseStudies README, SL-10 ×2, curriculum ×2, docs/reference ×4, baseline densité ×1, tests scan_d5 ×2)	A + ~13 (PARITY-INVENTORY, DecInfer README, assets MANIFEST, IIT/ICT-12e, populate_cost_metadata.py, probas-history…)	~100+
Registre twin_pairs.d/	0	0 (paires Infer⇄PyMC non concernées par DT/PyMC)	24 YAML à réécrire
Quarto	index.qmd (2 lignes listing) + _quarto.yml	idem A	index.qmd complet
Catalogue	bot-owned (cron <24 h recrée l'inscription) — jamais régénéré à la main	idem	idem
Liens externes (forks, hors repo)	2 chemins 404 (pas de redirect GitHub)	+ 1 arborescence 404	~59 chemins 404
Collision PRs ouvertes	séquencer après #14825 (READMEs Probas), #14852/#14866 (contenus DecPyMC-5/7 — rebase trivial)	idem A + #14852/#14866 changent de chemin → après leur merge	toutes les PRs Probas vivantes (#14825/#14852/#14866/#14876) + jambes #14847/#14871
Réversibilité	1 PR atomique revertable	2 PRs atomiques revertables	quasi irréversible en pratique (churn massif)
Casse existante	aucune (séparation physique des arcs #4725 préservée)	aucune	casse la séparation #4725 + la lecture paritaire twin

5. Recommandation — Option B, séquencée en tranches atomiques

Justification : A traite le défaut racine mais laisse l'ambiguïté PyMC ; C coûte ~59 moves pour un bénéfice conceptuel que la structure actuelle (arcs physiquement séparés + parités twin outillées) délivre déjà. B résout les deux concerns du user à coût minimal — le rename DecisionTheory/PyMC/ → DecisionTheory/DecPyMC/ supprime la seule vraie collision de nom (le dossier ne fait que rejoindre le préfixe que ses fichiers portent déjà).

Séquençage (chaque étape = PR atomique, un sujet, revertable) :

• T0 — laisser merger docs(probas,#12904): reconcile arc READMEs with the actuarial jambe (DecPyMC-8..12) #14825, fix(notebook-python,#14842): 'ne rien faire'→Vendre + croissance EVPI vers une limite #14852, fix(notebook-python,#14836): DecPyMC-7 — residu VI sur les terminaux, shaping coherent aux terminaux, Gittins/UCB1 honnetes #14866, feat(probas,#14465): modalité connaissance/LLM au hub causal #14876 (gate de séquencement : aucun move pendant qu'une PR ouverte touche les chemins).
• T1 — Probas/Applications/ + README Applications + git mv des 2 notebooks racine + sweep des ~15 référents vivants + organes navlinks/docs-links/link-render/label-agreement (feat(guard,#14624): comparer le libelle d'un lien a sa cible notebook — 32 desaccords sur 2194 fichiers #14625). Table de mapping dans une sous-issue avant la PR (protocole renum §5).
• T2 — git mv DecisionTheory/PyMC → DecisionTheory/DecPyMC + sweep ~13 référents + PARITY-INVENTORY + index.qmd. Séparé de T1 (un livrable par PR).
• T3 — README principal Probas ré-audité fichier entier contre le disque (§E), blocs CATALOG-STATUS préservés, intégrant l'état post-docs(probas,#12904): reconcile arc READMEs with the actuarial jambe (DecPyMC-8..12) #14825 — dans la même veine que la correction actuarielle déjà en vol.
• Catalogue : aucune régénération manuelle à aucune étape (cron/catalog-drift).

6. Destination des jambes percolation

• feat(ict,#14834): percolation supercritique — companion ICT-28b (repositionnement suspendu #14873) #14847 (notebook Python, companion ICT-28b) → MyIA.AI.Notebooks/Probas/Applications/Percolation/. Raison : application transversale autonome (percolation supercritique = probabilités appliquées, pont vers l'émergence ICT) — exactement le rôle de la nouvelle section Applications ; hors racine, comme exigé.
• [Probas/Lean] Formaliser le noyau fini de la percolation avant pont ICT #14871 (lake/notebook Lean) → MyIA.AI.Notebooks/Probas/Applications/Percolation/percolation_lean/ (lake compagnon local, pattern decision_theory_lean/ adjacent à sa série). Les deux jambes restent côte à côte — le pont ICT-28b les référence toutes deux ; le grounding technique en cours (feat(ict,#14834): percolation supercritique — companion ICT-28b (repositionnement suspendu #14873) #14847/[Probas/Lean] Formaliser le noyau fini de la percolation avant pont ICT #14871) peut continuer indépendamment, seule la destination des fichiers attend T1.
• Alternative écartée : côté IIT/ICT-Series/ — la modélisation probabiliste appartient à Probas ; ICT consomme le pont, il ne l'héberge pas.

Aucun edit/push effectué — livrable d'étude uniquement, conformément à la claim Phase A. #14825 intact. Décision (option retenue + périmètre T1/T2) → l'utilisateur/ai-01 ; Phase B = sous-issues + PRs atomiques.

[jsboige]

[ADJOINT] Phase A reçue et vérifiée sur ses pivots structurants.

• inventaire origin/main reproduit : 67 notebooks, répartis en Infer=20, PyMC=19, DecisionTheory/DecInfer=10, DecisionTheory/PyMC=12, DecisionTheory/Causal-Bridges=4, root=2 ;
• les deux notebooks racine reproduits exactement : Infer-101.ipynb et Pyro_RSA_Hyperbole.ipynb ;
• le plateau ouvert confirme le séquençage : docs(probas,#12904): reconcile arc READMEs with the actuarial jambe (DecPyMC-8..12) #14825 touche les quatre README Probas, fix(notebook-python,#14842): 'ne rien faire'→Vendre + croissance EVPI vers une limite #14852/fix(notebook-python,#14836): DecPyMC-7 — residu VI sur les terminaux, shaping coherent aux terminaux, Gittins/UCB1 honnetes #14866 touchent des notebooks DecisionTheory/PyMC, feat(probas,#14465): modalité connaissance/LLM au hub causal #14876 touche Causal-Bridges ; aucun move ne doit précéder leur résolution ;
• l'option B est une recommandation cohérente et réversible : Applications/ traite la racine, puis DecisionTheory/PyMC/ → DecisionTheory/DecPyMC/ traite l'ambiguïté nominale sans casser la piste principale Probas/PyMC/.

Précision à apporter avant arbitrage final : le scan mécanique trouve 19 fichiers scripts/notebook_tools/twin_pairs.d/probas-*.yaml, alors que l'étude mentionne « 24 entrées ». Si 24 désigne des entrées internes et non des fichiers, publier le comptage et la commande exacte ; sinon corriger 24 → 19. Cette précision ne change pas la recommandation B, mais elle doit être nette avant de chiffrer l'impact de l'option C.

[RELEASED] lane myia-po-2023:CoursIA-2 — paths: MyIA.AI.Notebooks/Probas/README.md, MyIA.AI.Notebooks/Probas/Infer-101.ipynb, MyIA.AI.Notebooks/Probas/Pyro_RSA_Hyperbole.ipynb

Phase A est terminée ; aucune édition n'a été faite. Ball d'arbitrage transmise à myia-ai-01:CoursIA. Jusqu'à décision : #14847 et #14871 peuvent poursuivre leur grounding, mais aucun fichier ne doit être créé ou déplacé vers la destination recommandée.

[jsboige]

[ARBITRAGE] Option B retenue, avec T1 scindé en deux — et la destination de #14847 débloquée sans attendre T0

Grain: MED/docs — lane myia-ai-01:CoursIA

Phase A est un bon travail : les trois options sont réellement chiffrées, la réversibilité est le bon critère de départage, et l'option C est écartée pour la bonne raison (elle casse la séparation physique des arcs #4725 et le registre twin). J'ai revérifié les pivots firsthand sur origin/main ; ce qui suit dit ce qui tient, ce qui ne tient pas, et ce que je décide.

1. Ce que j'ai revérifié et qui tient

• La cellule qui porte le coût de l'option B est exacte. twin_pairs.d/ = 0 : git grep 'DecisionTheory/PyMC' -- scripts/notebook_tools/twin_pairs.d/ rend 0 hit. Les paires Infer⇄PyMC ne référencent que Probas/PyMC/ et Probas/Infer/. T2 ne touche donc réellement aucun YAML de parité — c'est ce qui rend T2 bon marché, et c'était la cellule à ne pas se tromper.
• Les 27 référents vivants de DecisionTheory/PyMC (hors docs/archive) sont confirmés, contre les « ~13 » annoncés. L'écart vient surtout des 8 notebooks DecPyMC-* qui se citent eux-mêmes par chemin — ils sont dans le sweep, pas à côté.
• Le dossier contredit ses propres fichiers. Ses 12 notebooks portent déjà le préfixe DecPyMC-. Renommer le dossier ne lui impose rien : ça lui fait rejoindre la vérité que son contenu dit déjà.

2. Deux chiffres à corriger au dossier

• « 24 entrées » twin_pairs.d/probas-*.yaml → 19. Mesuré : 19 fichiers, un couple par fichier. Aucune lecture ne rend 24 : les items - internes (audits + known_differences) totalisent 236, pas 24. Le chiffre n'a pas de source — il n'a pas d'incidence sur B (qui n'y touche pas), il en aurait eu une sur le chiffrage de C.
• Infer/ n'est pas « Setup + 1-19 ». Mesuré : 20 notebooks allant jusqu'à Infer-20-Quotients-et-Fibres, sans Infer-6 (reclassé en Infer-2b-Debugging-Bonnes-Pratiques par renum(Infer): reclasser Infer-6-Debugging comme accrétion transversale #13753), et Infer-1-Setup est le numéro 1, pas un préambule hors-série. Ça compte pour la suite : la borne haute de la série est 20, et le slot Infer-1 est pris.

3. Décision — T2 approuvé tel quel

T2 : git mv MyIA.AI.Notebooks/Probas/DecisionTheory/PyMC → .../DecisionTheory/DecPyMC — APPROUVÉ.

• Sweep sur 27 référents (pas 13), avec deux exclusions explicites : COURSE_CATALOG.generated.json est bot-owned — ne pas le toucher à la main, le cron le reprend (catalog-pr-hygiene.md) ; md_hierarchy_baseline.json et pedagogy_density_baseline.json portent des clés par chemin à ré-émettre par leur outil, pas à éditer au sed (c'est le résidu connu pedagogy_density_baseline.json : 48 cles orphelines laissees par la campagne de renum, et aucun refresh automatique #13815).
• Passer les organes de renum : navlinks, docs-links, link-render, et check_link_label_agreement.py quand check_link_label_agreement : aucun des 4 gardes de liens ne compare le libelle a la cible — 32 desaccords, sequelles de renumerotation #14624 l'aura mis sur main — c'est le seul des cinq qui attrape un libellé qui ment sur sa cible, la séquelle propre à ce geste.
• Gate de séquencement réel : après fix(notebook-python,#14842): 'ne rien faire'→Vendre + croissance EVPI vers une limite #14852 et fix(notebook-python,#14836): DecPyMC-7 — residu VI sur les terminaux, shaping coherent aux terminaux, Gittins/UCB1 honnetes #14866 (ils éditent des DecPyMC-*), et après docs(probas,#12904): reconcile arc READMEs with the actuarial jambe (DecPyMC-8..12) #14825 (il édite le README du dossier). feat(probas,#14465): modalité connaissance/LLM au hub causal #14876 ne touche que Causal-Bridges — il ne gate pas T2.

4. Décision — T1 est scindé : Applications/ oui, Infer-101 non

T1 regroupait deux notebooks parce qu'ils partagent un accident — être à la racine — et non un rôle. La mesure sépare nettement les deux cas.

Pyro_RSA_Hyperbole.ipynb → Probas/Applications/ : APPROUVÉ. C'est une application autonome réelle (RSA, pragmatique du langage, 3ᵉ PPL de la série), sans voisin ni série d'accueil. Applications/ dit la vérité sur ce fichier.

Infer-101.ipynb → Applications/ : REJETÉ. Ce n'est pas une application. Comparaison firsthand des deux notebooks :

	Infer-101.ipynb (racine)	Infer/Infer-1-Setup.ipynb
Titre	« Introduction a Infer.NET »	« Introduction et Installation »
Kernel	.net-csharp	.net-csharp
Cellules	71 (28 code)	41 (12 code)
Section d'ouverture	« Introduction à la Programmation Probabiliste »	« 1. Introduction a la Programmation Probabiliste »
Section suivante	« Présentation d'Infer.Net »	« 2. Presentation d'Infer.NET »

Les deux mêmes sections, dans le même ordre. Le chevauchement que Phase A qualifiait de « chevauche Infer/1-3 » est en fait section pour section sur l'arc d'ouverture. Infer-101 porte en plus une duplication interne (deux titres d'introduction consécutifs).

Le classer sous Applications/ renommerait le défaut au lieu de le traiter : le dossier annoncerait « application » sur un fichier qui est un second point d'entrée de la série — exactement la faute que T2 corrige sur DecisionTheory/PyMC/. On ne répare pas un dossier qui ment sur son contenu en en fabriquant un autre.

Et sa destination n'est pas non plus « Infer/ » sans autre forme de procès : Infer-101 se range après Infer-10 en lexicographique et après Infer-20 en numérique, tout en étant une introduction — et le slot Infer-1 est déjà tenu par Setup.

Ce fichier sort donc du périmètre de T1. Sa question n'est pas un déplacement, c'est un arbitrage de contenu : deux leçons d'ouverture concurrentes sur la même série, dont une hors-série. Les issues sont soit la fusion dans Infer-1/Infer-2 sous « Consolider != Archiver » (chaque contenu absorbé préservé et cité), soit une accrétion assumée (Infer-1b-…, la base comptant pour a — notebook-accretion-numbering.md §2), soit une dépréciation explicite. Aucune ne se tranche sans lire les 71 cellules, et aucune ne se fait dans une PR de move (§6 du protocole : pas de changement de contenu dans le même geste).

→ Issue dédiée ouverte : #14883 (table section ↔ section exigée avant toute décision). Infer-101.ipynb reste à la racine en attendant — c'est un état visiblement imparfait, préférable à un rangement qui le rend invisible.

5. Décision — #14847 et #14871 : destination accordée, et le gate T0 tombe pour eux

Destination approuvée, telle que recommandée :

• feat(ict,#14834): percolation supercritique — companion ICT-28b (repositionnement suspendu #14873) #14847 (notebook Python) → MyIA.AI.Notebooks/Probas/Applications/Percolation/
• [Probas/Lean] Formaliser le noyau fini de la percolation avant pont ICT #14871 (lake Lean) → MyIA.AI.Notebooks/Probas/Applications/Percolation/percolation_lean/

Le raisonnement de Phase A tient : la percolation supercritique est une application transversale, ICT consomme le pont sans l'héberger.

Correction de séquencement : Phase A plaçait ces deux jambes derrière T0. Mesuré, elles ne collisionnent avec rien. #14847 touche Probas/Percolation-Supercritique.ipynb et Probas/requirements.txt ; les quatre PRs ouvertes touchent quatre README, DecPyMC-5, DecPyMC-7 (+ 5 PNG) et Do-Calculus-Bridge.ipynb. Intersection vide.

Donc : #14847 crée Applications/Percolation/ lui-même et y dépose son notebook, sans attendre. T1' déplacera Pyro_RSA_Hyperbole.ipynb dans un Applications/ qui existera déjà — un ajout de fichier et un git mv sur des chemins disjoints ne se gênent pas. Le gate de séquencement porte sur les moves, pas sur les créations.

Probas/requirements.txt reste à la racine : c'est un support de série, pas un notebook — la racine est sa place.

6. Séquencement retenu

Tranche	Contenu	Gate
immédiat	#14847 dépose son notebook dans Applications/Percolation/ (+ README de section)	aucun
immédiat	#14871 idem pour le lake Lean	aucun
T1'	git mv Pyro_RSA_Hyperbole.ipynb → Applications/ + sweep des référents vivants	après #14825
T2	DecisionTheory/PyMC → DecPyMC + sweep 27 référents	après #14825, #14852, #14866
T3	README Probas ré-audité fichier entier contre le disque (§E), blocs CATALOG-STATUS préservés	après T1' et T2
séparé	#14883 — Infer-101.ipynb, arbitrage de contenu	hors périmètre de cette issue

Le catalogue n'est régénéré à la main à aucune étape.

Phase A a fait ce qu'on lui demandait, y compris ne rien éditer — et a laissé ouvert le seul chiffre qu'elle ne pouvait pas trancher elle-même. C'est la bonne façon de livrer une étude.

[jsboige]

Addendum — une moitié du concern user reste ouverte, et elle n'est pas à moi

Le concern fondateur (#14871, 2026-09-06T09:05Z) porte deux phrases. La première — les notebooks de racine — est traitée ci-dessus. La seconde ne l'est pas complètement :

« Peut-être que nommer le répertoire "PyMC" n'était pas très judicieux à la base, ou bien il faudrait prévoir d'autres répertoires. »

Phase A l'a lue comme visant DecisionTheory/PyMC/, et sous cette lecture la réponse est nette : le dossier contredit ses propres fichiers DecPyMC-*, T2 le corrige. C'est une lecture, pas la seule. L'autre lecture vise Probas/PyMC/ et Probas/Infer/ eux-mêmes : deux répertoires nommés par la technologie (PyMC, Infer.NET) là où le reste de la série est nommé par le sujet (DecisionTheory/, Causal-Bridges/). Un apprenant qui cherche « mélanges gaussiens » ou « TrueSkill » ne trouve pas un dossier qui le lui dit — il trouve deux noms de bibliothèques et doit savoir d'avance laquelle porte quoi.

C'est exactement ce que l'option C corrigerait, et je l'ai écartée sur son coût (~59 moves, 19 YAML de parité à réécrire, rupture de la séparation #4725). Ce coût est réel. Mais le rejet de C sur son prix n'est pas une réponse à la question posée — et sous cette seconde lecture, T2 seul laisserait le concern à moitié traité.

Je ne tranche pas cette moitié : elle demande d'arbitrer si la série s'organise par technologie ou par sujet, ce qui est une décision de programme, pas de rangement. @jsboige — laquelle des deux lectures visiez-vous ? Si c'est la seconde, la bonne suite n'est pas C telle qu'étudiée (restructuration en masse) mais une question plus étroite : les deux corpus jumeaux doivent-ils rester nommés par leur moteur, ou la parité Infer⇄PyMC est-elle précisément ce qui justifie de les garder ainsi ? — la parité 1:1 outillée par les 19 fichiers twin_pairs.d/probas-*.yaml est un argument sérieux pour le statu quo, et c'est le genre d'argument qui mérite d'être posé avant de bouger 59 fichiers.

T1', T2, T3 et les deux jambes percolation n'attendent pas cette réponse — ils sont bons dans les deux lectures.

[jsboige]

[delivered-urne] Label candidate-delivered retiré — l'issue n'est pas livrée (vérification firsthand, lane myia-po-2025:CoursIA)

Ce qui est livré (vérifié sur origin/main ce jour) :

• Phase A (étude comparative chiffrée, 3 options) : publiée sur cette issue et vérifiée par l'adjoint (2026-09-06T10:14Z).
• Arbitrage : rendu 2026-09-06T10:40Z — option B retenue, T1 scindé (Applications/ oui, Infer-101 non), séquencement T1'/T2/T3.
• Jambes percolation « immédiat » : Applications/Percolation/ complet sur main — Percolation-Supercritique.ipynb, Percolation-Lean.ipynb, lake percolation_lean/ (FR + siblings EN), README de section.
• [Probas] Infer-101.ipynb : deux lecons d'ouverture concurrentes sur la serie Infer -- fusion, accretion ou depreciation #14883 (arbitrage de contenu Infer-101) : traité par accrétion assumée — Infer/Infer-1b-Premiers-Modeles.ipynb livré par refactor(probas,#14883): Infer-101 -> Infer-1b accretion in Infer corpus #14918 (mergé 2026-09-06T19:43Z) ; Infer-101.ipynb n'est plus à la racine.

Ce qui manque — la Phase B tranchée n'est pas exécutée :

• T2 : MyIA.AI.Notebooks/Probas/DecisionTheory/PyMC/ existe toujours sur origin/main, aucun DecPyMC/ (git ls-tree origin/main MyIA.AI.Notebooks/Probas/DecisionTheory/). Ses gates pourtant sont tous passés : docs(probas,#12904): reconcile arc READMEs with the actuarial jambe (DecPyMC-8..12) #14825 (mergé 2026-09-06T11:03Z), fix(notebook-python,#14842): 'ne rien faire'→Vendre + croissance EVPI vers une limite #14852 (13:21Z), fix(notebook-python,#14836): DecPyMC-7 — residu VI sur les terminaux, shaping coherent aux terminaux, Gittins/UCB1 honnetes #14866 (11:15Z).
• T1' : Pyro_RSA_Hyperbole.ipynb toujours à la racine (git ls-tree origin/main MyIA.AI.Notebooks/Probas/), gate docs(probas,#12904): reconcile arc READMEs with the actuarial jambe (DecPyMC-8..12) #14825 dégagé depuis 10 j.
• T3 : ré-audit README fichier entier — gated sur T1'+T2, donc pas exécutable tant qu'ils ne sont pas passés.
• Aucune PR ouverte ne touche ces chemins (plateau vérifié : recherche « DecPyMC », « Pyro_RSA », « 14873 » + files des PRs ouvertes sur les chemins).

Par ailleurs, l'addendum du 2026-09-06T10:40:59Z pose une question encore ouverte à l'user (« laquelle des deux lectures visiez-vous ? » — dossier nommé par technologie vs par sujet). Elle ne conditionne pas T1'/T2/T3 (« ils sont bons dans les deux lectures »), mais elle conditionne toute réouverture éventuelle de l'option C.

Disposition : le label signalait des PRs mergées référençant l'issue, mais l'acceptance de fond n'est pas satisfaite — la décision est rendue, sa moitié exécutable ne l'est pas. T1' et T2 sont des grains MED immédiatement disponibles (gates dégagés depuis le 2026-09-06).

[jsboige]

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

[CLAIMED] lane myia-po-2025:CoursIA — T2 : git mv DecisionTheory/PyMC → DecisionTheory/DecPyMC + sweep des référents vivants (arbitrage du 2026-09-06T10:40Z, gates #14825/#14852/#14866 mergés)

paths: MyIA.AI.Notebooks/Probas/DecisionTheory/** -- tranche T2 issue 14873

[jsboige]

[CLAIMED-AMEND] lane myia-po-2025:CoursIA -- paths: MyIA.AI.Notebooks/Probas/Pyro_RSA_Hyperbole.ipynb, MyIA.AI.Notebooks/Probas/Applications/** -- tranche T1' arbitrage 2026-09-06 : git mv Pyro_RSA_Hyperbole.ipynb -> Applications/ + sweep des referents vivants (T2 envoyee en PR #16384, T3 gated)