docs(gametheory,#20316): T0 -- trois liens morts repara (15g .ipynb, entree 20e, ligne SC-08)

[jsboige]

Grain: LIGHT/readme — lane myia-po-2023:CoursIA-2 — prev: MED/guard #20357

Ce que fait cette PR

T0 de la carte GameTheory phase 1 (#20316), dispatch ai-01 c2148 (ordre 1) : une PR README pure, aucun renommage, trois liens morts réparés.

1. 15g — les deux liens pointaient vers GameTheory-15g-AssistanceGames-2026-Python.html (inexistant) alors que le livrable est le .ipynb : corrigé dans la ligne 15 du parcours et dans la table « Autour de 15 ».
2. Entrée 20e manquante — GameTheory-20e-Perplexite-Structurelle-Hashlife-Python.ipynb (livrée par feat(gametheory,#19227): T12 tranche 3 -- bornes de taille de programme publiees dans 20e #19970, T12 tranche 3) n'avait aucune entrée : ajoutée dans la table « Extensions au-delà du parcours », après la ligne du translateur Life (dernière de la famille 20).
3. Ligne SC-08 manquante — SocialChoice/08-Kemeny-RankedPairs-Dodgson.ipynb (livrée par feat(socialchoice,#19263): SC-08 Kemeny/RankedPairs/Dodgson (tranche 2) #19337) n'avait pas de ligne : la table sautait de SC-07 à SC-09. Ligne ajoutée, description fidèle au carnet (énumération m! contre formulation Z3 Optimize, détermination du vainqueur NP-dure).

Preuve

Dump des violations sur origin/main (base) et sur cette branche (head), comparateur delta_argv :

README-link delta: base=492 head=491 NOUVELLES=0 CORRIGEES=1
  - HTML_404  MyIA.AI.Notebooks/GameTheory/README.md  ->  GameTheory-15g-AssistanceGames-2026-Python.html
rc=0

La violation HTML_404 du lien 15g disparaît ; les deux entrées ajoutées pointent vers des fichiers existants (vérifié : aucun NOUVELLES).

Ce que cette PR ne fait PAS (délibérément)

• Aucun renommage, aucun déplacement — la destination Dynamics/ et la renumérotation viennent après la note de conception demandée à l'ordre 2 du dispatch.
• La ligne « Durée totale : ~6h05 » de SocialChoice/README.md est laissée telle quelle : elle était déjà incohérente avec la table avant ce changement (elle ne compte pas non plus SC-09), et un total ne se met pas à la main — cela relève du catalogue ou de l'étude [GameTheory] Etude de la numerotation avant tout nouveau numero : accretions, sous-series, capstones (soeur de #20298 et #17545) #20316. Drift préexistant signalé ici, non élargi.
• refactor(gametheory,#16231): GT-03e Plan-deformation -> Dynamics-09 Biens-Publics #19484 touche aussi GameTheory/README.md : cette PR est minimale sur ce fichier (une cible de lien), le rebase de refactor(gametheory,#16231): GT-03e Plan-deformation -> Dynamics-09 Biens-Publics #19484 après merge est trivial.

See #20316 (l'étude qui cadre), #19970 (20e), #19337 (SC-08), #19484 (le carnet GT-03e concerné par l'ordre 3 du dispatch).

🤖 Generated with Claude Code

[github-actions]

G-VAR-2 light cap reached (advisory, non bloquant).
La lane myia-po-2023:CoursIA-2 a deja consomme son budget LIGHT du jour (axe genre G-VAR-2/3 (light-genre, quel que soit le tier declare) : #20259 (MED/guard, merge a 2026-10-11T03:12:35Z)).
G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour,
toutes categories LIGHT confondues (guard, doc, refs, ... partagent un seul budget) :
c'est un RATIO, pas un plafond plat. La decision de merge reste au coordinateur.

[github-actions]

Trivial-diff advisory (#15740, non bloquant).
genre readme dans la famille META (docs/guard/ledger/readme/test) + diff de 6 lignes changees (<= 100) + aucune exception ecrite dans le body : le litmus de la trivialite (une douzaine d'instances scannees a la suite) est credible. Le verdict est ADVISORY -- fournir une fournée ou citer une exception de la forme #15719 l'eteint.
La demande : une fournee (le geste pourrait comprendre ~10x plus d'instances), OU une exception ecrite dans le body de la forme « exception seulement residu final mesure » (#15719). Editer le body re-deroule cet organe et retire le label.

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #20368 (docs(gametheory,#20316): T0 -- trois liens morts repara (15g .ipynb, entree 20e, ligne SC-08)) 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(gametheory,#16231): GT-03e Plan-deformation -> Dynamics-09 Biens-Publics #19484 partage : MyIA.AI.Notebooks/GameTheory/README.md
• faible -- feat(notebook,#19681): SC-08 Mariage Stable -- Gale-Shapley + twin game_theory_lean/StableMarriage #19702 partage : MyIA.AI.Notebooks/GameTheory/SocialChoice/README.md
• faible -- chore(catalog): scheduled auto-regenerate (long-lived PR) #20364 partage : MyIA.AI.Notebooks/GameTheory/README.md, MyIA.AI.Notebooks/GameTheory/SocialChoice/README.md
• fort -- refactor(gametheory,#20316): T3 -- descente des 10 carnets 06 dans Dynamics/ (escalier complet, P1/P2) #20374 partage : MyIA.AI.Notebooks/GameTheory/README.md (issues communes : [GameTheory] Etude de la numerotation avant tout nouveau numero : accretions, sous-series, capstones (soeur de #20298 et #17545) #20316)

[clusterManager-Myia]

[NanoClaw] structural review (README-only, +4/−2, 2 fichiers)

VERDICT: LGTM (vérifié : diff exact base 782dac8 ↔ head 41021b1, cibles ls-tree, titres carnets, checks exit 0 au head)

Découverte pure (0 review, 3 commentaires bots). Les trois réparations annoncées sont exactement le diff mesuré :

1. 15g — lignes 138 (parcours) et 269 (table « Autour de 15 ») : cible .html → .ipynb, seul changement de ces lignes. Le .html n'existe pas au head, le .ipynb oui (ls-tree).
2. 20e — ligne neuve dans Extensions, insérée exactement après le translateur Life (20d, dernière de la famille 20) comme annoncé ; cible GameTheory-20e-…-Hashlife-Python.ipynb existante ; titre réel du carnet (« instrument, mesure, et la question Turing-complet ») cohérent avec la description de la ligne (taille comprimée des trajectoires, bornes de taille de programme).
3. SC-08 — insérée exactement entre SC-07 et SC-09 (la table sautait bien) ; titre réel du carnet « Kemeny, Ranked Pairs et Dodgson : trois règles computationnellement dures » = libellé de la ligne ; lien relatif résout (ls-tree SocialChoice/).

Compte : +4/−2 = 2 lignes modifiées (2+2) + 2 lignes ajoutées — aucun changement caché ailleurs (les 2 fichiers intégralement diffés base ↔ head). Checks relevés au head avant verdict : exit 0, tout vert (organes inclus).

Le drift préexistant « Durée totale ~6h05 » de SocialChoice est correctement signalé et non élargi — bon cadrage. Observation non bloquante, même classe (drift préexistant, hors périmètre de cette PR minimale) : dans la table Extensions, la ligne qui précède la 20e est labellisée « 21 » alors que son fichier est GameTheory-20d-Loi-II-Translateur-Life — incohérence 20d/21 présente au base, à verser à l'étude #20316 si la renumérotation T3 la reprend.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 20368
head: 41021b1
complete: true
body: read
comments-reviewed: 3
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 4041e50734064fcde21863a2b60ff08c52bd2d49ee296903a183108f5a566e92
diff-files: 2
diff-additions: 4
diff-deletions: 2
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 20368
organ-rc: 0
[/ADJOINT PREFLIGHT]