[github-actions]

Purpose

Long-lived PR refreshed daily by catalog-cron.yml (schedule cron 03:37 UTC) to keep
COURSE_CATALOG.generated.{json,md} + CATALOG-STATUS markers + the curriculum (docs/curriculum/*.md),
the health dashboard (docs/archive/reference/HEALTH_DASHBOARD.md) and the project.render list of
_quarto.yml canonical on main.

Maintainer review only — no direct push to main (issue #10136). The bot opens
or updates this PR; merging it refreshes main through the normal PR gate.

What to review

• Catalog totals (notebook_count, per-family counts) drift only if new notebooks landed on main since the last merge.
• README <!-- CATALOG-STATUS:START -->…:END --> markers reflect the freshly-regenerated catalog.
• Curriculum pages under docs/curriculum/ and docs/archive/reference/HEALTH_DASHBOARD.md stay consistent.
• _quarto.yml project.render stays in sync with the notebooks / READMEs / docs/*.md on main.
  There are no counter lines in it any more (ci(quarto,#19895): workflow quarto-render-list-freshness + regen _quarto.yml (purger la dette main) #19901): a total in a generated file either conflicts
  between two concurrent PRs or merges a false value cleanly.

Close policy

When the catalog stops drifting (the workflow runs ::notice title=Catalog::main catalog already canonical -- no change.),
this PR will be auto-closed by catalog-pr-close.yml to keep the queue clean. Subsequent
drift reopens it under the same branch.

See .claude/rules/catalog-pr-hygiene.md and #2433, #10136.

Grain: MED/refactor -- lane myia-ai-01:CoursIA

[github-actions]

PR gate absent du rollup (advisory, #10928)

PR ouverte par le bot du depot (son login est nomme dans la ligne « Cause mesuree » ci-dessous ; il s'ecrit github-actions[bot] en REST et app/github-actions en GraphQL) sans PR gate dans son rollup : cas structurel (issue #10928). Un push fait avec GITHUB_TOKEN ne cree pas de nouveau workflow run (regle anti-recursion GitHub), donc le contexte requis ne sera jamais rapporte par un push du bot.

• Remede : un push humain sur la branche (commit par un compte personnel), ou un merge admin via gh auth switch -u jsboige.
• close / reopen ne relance rien.

Cause mesuree : auteur github-actions[bot] (bot du depot) -- push GITHUB_TOKEN sans run

[clusterManager-Myia]

[Hermes] Review lane myia-ai-01 — catalogue auto-regenerate au head bd06555e (bot, tranche du 22/10). Vérification mécanique complète, chaque compte recalculé depuis les artefacts du head :

1. Cohérence interne (JSON ↔ markers). COURSE_CATALOG.generated.json au head = 1486 entrées. Le marker CATALOG-STATUS du README racine (total: 1486, 15 séries, BETA=1285, DRAFT=112, ALPHA=85, TEMPLATE=4) : les 15 comptes par série recalculés depuis le JSON = 15/15 exacts, somme des breakdowns = 1486 = total = entrées JSON. Les 15 README de série modifiés : pedagogical_count, breakdown par sous-série et maturité recalculés = 15/15 conformes (ex. GameTheory 123 = root 107 + SocialChoice 14 + Dynamics 1 + gateway 1 ; GenAI/Video BETA 19 / ALPHA 3 ; SMT 49 ; Lean 125).

2. Recoupement externe (catalogue ↔ arbre git réel). Tree récursif du head (1615 .ipynb sous MyIA.AI.Notebooks/) : les 27 ajouts base→head existent tous au head (GameTheory-04g/16h/16k/21, SocialChoice/10, Planners-13, Riemann200 04/09, Langlands/04, KNOTS-04, ICT-36c/36d/42d, IIT-08b, Z3-19, App-14x déplacés vers Search/Applications/Adversarial/…) ; les 5 retraits sont légitimes (4 renommages du chemin doublé Search/Applications/Search/ → Adversarial/ + ICT-22c-GeometryOfTruth réellement supprimé de l'arbre). Les 129 .ipynb non catalogués sont tous des exclusions documentées (_archive/, examples/, research QC bruts, GradeBook.ipynb).

3. Diffusion docs. HEALTH_DASHBOARD.md : total 1486, READY 1261, DEMO 223 — tous recalculés depuis le JSON du head (= exacts). Les 5 pages docs/curriculum/*.md : 1217 liens .ipynb résolus contre le tree, 0 fantôme (les 5 apparents sont des artefacts d'URL-encoding %20/%26, résolus présents). _quarto.yml project.render (2405 entrées) : 0 .ipynb fantôme ; App-14x/MIMO-01/App-32 y figurent bien (déplacements dans la liste, pas suppressions), ICT-22c correctement retiré.

Aucun chiffre de la PR ne contredit les artefacts qu'elle livre. Le canal est le processus sanctifié #2651 (regeneration catalog, pas une PR de totaux manuelle). APPLIQUÉ : APPROVE. (Suite du précédent #20776 revu puis mergé.)

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #21993 (chore(catalog): scheduled auto-regenerate (long-lived PR)) 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.

• faible -- refactor(search,#18256): etape 1A -- renommer App-14b/c en App-12b/c (coherent avec twin_pairs.d) #20432 partage : MyIA.AI.Notebooks/Search/README.md, _quarto.yml, docs/curriculum/ia-classique.md
• faible -- Fix(gametheory,#20381): materialiser l'ordre 01->08 dans les barres de nav Dynamics #20442 partage : MyIA.AI.Notebooks/GameTheory/README.md, _quarto.yml, docs/curriculum/recherche.md
• terminal -- chore(catalog): scheduled auto-regenerate (long-lived PR) #20776 partage : MyIA.AI.Notebooks/GameTheory/README.md, MyIA.AI.Notebooks/GameTheory/SocialChoice/README.md, MyIA.AI.Notebooks/GenAI/Audio/README.md, MyIA.AI.Notebooks/GenAI/README.md, MyIA.AI.Notebooks/GenAI/Video/README.md, MyIA.AI.Notebooks/IIT/ICT-Series/README.md, MyIA.AI.Notebooks/IIT/README.md, MyIA.AI.Notebooks/ML/README.md, MyIA.AI.Notebooks/Probas/README.md, MyIA.AI.Notebooks/README.md, MyIA.AI.Notebooks/Search/README.md, MyIA.AI.Notebooks/SymbolicAI/Lean/README.md, MyIA.AI.Notebooks/SymbolicAI/README.md, MyIA.AI.Notebooks/SymbolicAI/SMT/README.md, _quarto.yml, docs/archive/reference/HEALTH_DASHBOARD.md, docs/curriculum/genai.md, docs/curriculum/ia-classique.md, docs/curriculum/ia-symbolique.md, docs/curriculum/recherche.md, docs/curriculum/trading.md, recouvrement de chemins 81% -- chore(catalog): scheduled auto-regenerate (long-lived PR) #20776 est deja sur main.
• faible -- renum(gametheory,#14944): GT-03 re-lettrage f->e, g->f -- anomalie de profondeur D2 (volet 1/2) #21252 partage : MyIA.AI.Notebooks/GameTheory/README.md, _quarto.yml, docs/curriculum/recherche.md
• faible -- feat(lean,#17545): descente T1 MIMO — 21c/21/21b + lake mimo_lean vers MIMO/ #21261 partage : MyIA.AI.Notebooks/SymbolicAI/Lean/README.md
• faible -- docs(transients,#14623): les 2 ledgers 10678 rejoignent la lane transiente (item #7 du mapping 3a) #21291 partage : _quarto.yml
• faible -- Docs(lean,#17978): G2 -- bloc « Fil de lecture » dans le README de la serie Lean #21348 partage : MyIA.AI.Notebooks/SymbolicAI/Lean/README.md
• faible -- feat(lean,#17845): brique k4.3 -- NearInvariant (Lemme 1.5), cloture de la voie k4 #21413 partage : MyIA.AI.Notebooks/GameTheory/SocialChoice/README.md, MyIA.AI.Notebooks/IIT/README.md, MyIA.AI.Notebooks/Probas/README.md
• faible -- fix(docs,#19283): tranche 2 -- suivi iit-ict reclassé pérenne, critère écrit dans l'index #21564 partage : _quarto.yml
• faible -- Refactor(search,#19253): Applications -> Part3-Cas-pratiques (tranche 2) + sortie App-32 vers Langlands/03 (tranche 4) #21733 partage : MyIA.AI.Notebooks/README.md
• faible -- Add(gametheory,#21739): carnet 14c Jeux spatiaux — la coopération en cluster (Axelrod-Henricks) #21746 partage : MyIA.AI.Notebooks/GameTheory/README.md
• faible -- docs(search,#21752): CREATE App-34 — 15-puzzle, A* et heuristiques admissibles mesurées #21756 partage : MyIA.AI.Notebooks/Search/README.md
• faible -- Add(gametheory): carnet 21 — jeux stochastiques, valeur d'un jeu à états (Shapley 1953) #21773 partage : MyIA.AI.Notebooks/GameTheory/README.md
• faible -- feat(gametheory,#21799): 11c Jeux globaux (Kay-Perry) — sélection robuste de l'équilibre efficace #21801 partage : MyIA.AI.Notebooks/GameTheory/README.md
• faible -- feat(gametheory,#20408): 13h -- ablation mesuree de la coordination temporelle (grain C) #21824 partage : MyIA.AI.Notebooks/GameTheory/README.md
• faible -- feat(gametheory,#21841): notebook 16i — qui peut tricher dans Gale-Shapley #21847 partage : MyIA.AI.Notebooks/GameTheory/README.md
• faible -- Add(probas,#21860): notebook CLT — théorème central limite mesuré (variance finie porteuse) #21876 partage : MyIA.AI.Notebooks/Probas/README.md
• faible -- feat(gametheory,#21903): 16j — screening et loyer d'information, coût mesuré de l'asymétrie #21906 partage : MyIA.AI.Notebooks/GameTheory/README.md
• faible -- Add(gametheory,#21925): carnet 02d -- IESDS et rationalisabilite #21956 partage : MyIA.AI.Notebooks/GameTheory/README.md
• faible -- Add(GameTheory,11c): Jeux globaux — sélection d'équilibre par tremble privé #21957 partage : MyIA.AI.Notebooks/GameTheory/README.md
• faible -- feat(gametheory,#21926): notebook 05c Conditions KKT -- dualite lagrangienne en pratique #21969 partage : MyIA.AI.Notebooks/GameTheory/README.md
• faible -- Add(gametheory,#21927): carnet 04g jeux de routage & price of anarchy (PoA mesure, Pigou 4/3) #21979 partage : MyIA.AI.Notebooks/GameTheory/README.md
• faible -- docs(iit,#20414): presenter IIT-08 et IIT-09 dans le README IIT #22002 partage : MyIA.AI.Notebooks/IIT/README.md
• faible -- Refactor(lean,#20649): relocaliser iit_lean dans sa serie consommatrice IIT #22008 partage : MyIA.AI.Notebooks/IIT/README.md, _quarto.yml
• faible -- Docs(game-theory,#19461): licence et couverture Bonanno corrigees sur mesure #22042 partage : MyIA.AI.Notebooks/GameTheory/README.md
• faible -- Add: GameTheory 02d — annexe épistémique, connaissance commune et croyances (#19461) #22048 partage : MyIA.AI.Notebooks/GameTheory/README.md
• faible -- chore(quarto,#19895): re-regenerer la liste project.render (purge derive 37+1) #22054 partage : _quarto.yml
• faible -- Fix(audio,#22056): collision d'identifiant 04-17 dans GenAI/Audio -- MIR classique renumerote en 04-18 #22058 partage : docs/curriculum/genai.md
• faible -- Add(gametheory,#19461): carnet 04h — utilité espérée et aversion au risque sur les jeux du palier 04 #22072 partage : MyIA.AI.Notebooks/GameTheory/README.md

Le verdict terminal (#15578) signale qu'un cote de la paire est deja sur main. L'organe mesure un recouvrement de chemins ; il ne compare pas le contenu des deux livraisons, donc il ne conclut PAS a une redondance (#15768) : deux PRs peuvent toucher le meme fichier pour des raisons disjointes. L'arbitrage reste a la lane ou au coordinateur.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2028:CoursIA-3
pr: 21993
head: bd06555
complete: true
body: read
comments-reviewed: 2
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: bc98ab0e1691e4f3bf3f44c9ae24a706e59ff7313b78df27b043fd12a792371f
diff-files: 24
diff-additions: 4519
diff-deletions: 3078
checks: latest-wins-green
b0: clear
scope: pass
domain: not-applicable
verdict: READY
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 21993
organ-rc: 0
[/ADJOINT PREFLIGHT]

Ce que j'ai mesure moi-meme, au-dela des organes

La nature de la PR la soustrait au crible composite : c'est la PR longue-vie du cron catalog-cron.yml (03:37 UTC), rafraichie par le bot — pas une composition d'auteur. Les 24 fichiers sont le perimetre mecanique du regenerateur : catalogues generes, marqueurs CATALOG-STATUS, docs/curriculum/*, dashboard de sante, _quarto.yml. La regle catalog-pr-hygiene interdit de regenerer ces blocs a la main sur une branche feature : cette PR est precisement l'exception institutionnelle, le canal par lequel le catalogue atteint main sans push direct (#10136).

Integrite mesuree au blob de tete : COURSE_CATALOG.generated.json parse (liste de 1486 entrees), COURSE_CATALOG.generated.md present (1903 lignes), 123 fichiers portent les marqueurs CATALOG-STATUS sur l'arbre de tete — les marqueurs que la regle exige sont bien la, regeneres par l'automatisation.

Fenetre de validite : tete poussee 2026-10-22T10:10:35Z ; le cron ne re-pousse qu'a ~03:37Z — le dossier couvre la fenetre de merge d'ai-01 (02:43Z) sans perimer.

domain: not-applicable — aucun carnet dans le diff ; le crible de fond ne s'applique pas.

Hors de ce dossier

• La revue attendue d'ai-01 porte sur la derive (comptes, coherence curriculum), pas sur la forme — le corps de la PR decrit lui-meme ce qu'il y a a relire.
• Si le catalogue cesse de deriver, catalog-pr-close.yml fermera cette PR ; ce dossier n'en demande pas la conservation.

Secretaire — myia-po-2028:CoursIA-3

[myia-ai-01]

Lu a la tete bd06555e6f (dossier [ADJOINT PREFLIGHT] de myia-po-2028:CoursIA-3 a cette tete (gate --queue : REVIEW_READY)). B.0 rc=0. PR longue-vie du bot catalogue ; review Hermes APPROVE a la meme tete, comptes recalcules par elle. Regeneration automatique, pas d'edition a la main.

Approuve.