docs(gametheory,#14442): GameTheory README — déchronologisation D2 + re-synchronisation des tables sur le disque

[jsboige]

Grain: MED/readme — lane myia-po-2023:CoursIA — prev: DEEP/notebook-python #17365

Tranche D2 de #14442 — déchronologisation du README GameTheory + re-synchronisation sur le disque

1. Déchronologisation (le cœur de D2)

Les deux récits de livraison devenus obsolètes sont réécrits en synthèses durables — les tableaux de résultats sont conservés verbatim :

• §Moran (« Au-delà du round-robin », ex-L84-104) : la table de fixation 25 graines (Defector 28 % / Grudger 24 % / TitForTat 12 %), la définition du processus de Moran, les 3 takeaways (population finie ≠ champ moyen, lire la sortie pas l'intuition, lecture écologique Nowak 2006) restent ; partent « Avant la PR feat(gametheory,#3801): execute Moran process (Prong-B) #7594 (commit 95fef16) », « Ce que la PR feat(gametheory,#3801): execute Moran process (Prong-B) #7594 a first-hand exécuté (cellules 40-41) », « Pourquoi cette section manquait avant », les références Prong-B/EPIC EPIC: axis-2 SOTA ledger -- every notebook PR-reviewed for proper SOTA-tool install/invocation (recoverable -> re-plug machine/env/user-hand) #3801.
• §Point fixe (« Point fixe discriminant », ex-L106-122) : le contraste à deux seeds (table verbatim), regret ≡ 0 ⟺ fixed point (Hart & Mas-Colell), le principe anti-tautologie et le lien avec le Lean 4b restent ; partent « Avant la PR fix(gametheory,prong-b,#3801): discriminating perturbed_br test (Brouwer tautology) #7664 (2026-07-21) », les ids de cellules 70b72753/134eeb5b, la chronologie de livraison.
• 6 marqueurs éparses purgés (L50, L231, L238, L358, L408, L432) : plus aucune occurrence de #7594, #7664, Prong-B, first-hand exécuté dans le fichier (vérifié par grep : 0 restant).

2. Re-synchronisation des tables sur le disque (règle feuille README — audit fichier ENTIER)

Audit du fichier entier (1007 lignes lues) contre le disque. Constat : 4 tables dérivées (structure Parties 1-4, apport, statut de maturité, arbre de fichiers) — ~31 notebooks présents sur disque absents des tables, plus un bloc de numérotation 20-28 périmé. Corrections :

• Ajouts mesurés (cellules/exercices comptés via nbformat sur chaque fichier) : chantier transparence 06e/06f×2/06g×2/06h, 09c (14/0), 13d (17/2), 15e (35/3), 16c (23/3), 16d (25/5), 16e (42/1), 17c-Market (27/4), 18b (25/3), 20b (30/3), 20c (32/3), 23b (39/0), 24b (42/0), SC-06 (18/0), SC-07 (28/4), 2c (32/2), 3h (30/0), 4d (21/0), 4e (39/13), 9b (25/3), 13c (24/3), 6b (30/3), 6d (37/3) — dans les 4 surfaces (structure, apport, statut, arbre).
• Renumérotation du bloc 20-28 (ancien décalage) : 20 = Chemin-Minimal, 21 = Loi-II, 22 = Ensembles-Limites, 23 = Munkres, 24 = Humour ; les ex-20/21/23 migrent vers leurs vrais numéros (9b, 3h, 16d), l'ex-22 (Manipulation) disparaît (doublon de SC-05).
• Comptes : SocialChoice 8 → 10 notebooks (4 occurrences) ; durée totale ~65h → ~84h (somme mesurée des tables : 5035 min sur 104 lignes de durée).
• Réconciliation finale : les 105 fichiers .ipynb du disque (95 racine + 10 SocialChoice) sont tous référencés — 0 manquant (script de vérification).

3. Signal de drift catalogue (catalogue faux : signaler, ne pas s'aligner)

Le marqueur CATALOG-STATUS (tête de fichier, régénéré par catalog-cron.yml sur main) indique 101 notebooks (93 racine + 8 SC) alors que le disque en porte 105 (95 + 10). Laissé byte-identique conformément à catalog-pr-hygiene ; le cron quotidien de main régénérera. Les comptes en prose, eux, sont alignés sur le disque (source de vérité).

4. Méthode

• Comptages cellules/exercices : nbformat sur chaque notebook (les ~N héritées sont conservées là où une mesure fraîche n'apportait rien).
• Durées des nouvelles lignes : estimées par contenu (densité de cellules vs lignes voisines mesurées), cohérentes avec l'échelle existante.
• Script d'édition à assertions (50 remplacements, chacun vérifié unique puis appliqué) — rien écrit en cas d'ancre manquante.

Validation

• git diff --stat : 1 fichier, +123/−41, cohérent avec l'intention (prose déchronologisée + lignes de tables).
• Grep post-édition : 0 occurrence restante de #7594/#7664/Prong-B/first-hand exécuté/avant la PR/manquait avant.
• CATALOG-STATUS byte-identique à main (aucune ligne du diff ne le touche).
• Fichier markdown uniquement — pas de notebook touché, pas de re-exécution due (C.2 non applicable).

See #14442

🤖 Generated with Claude Code

[github-actions]

G-VAR-2 light cap reached (advisory, non bloquant).
La lane myia-po-2023:CoursIA a deja consomme son budget LIGHT du jour (#16821 (merge a 2026-09-22T02:57:15Z)).
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.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 17373
head: a841d55
complete: true
body: read
comments-reviewed: 2
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 5ad376358ac2863e8e374d33b9bbd299fcea034256ee4b20ac33dc3b196dfe13
diff-files: 1
diff-additions: 123
diff-deletions: 41
checks: BLOCKED
b0: blocked
scope: pass
domain: pass
verdict: BLOCKED
[/ADJOINT PREFLIGHT]

[Tell c.85 - BLOCKED-WITH-SUBSTANCE] DWELL 9 min (plancher 120 min). Cycle 18 hub secretaire.

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #17373 (docs(gametheory,#14442): GameTheory README — déchronologisation D2 + re-synchronisation des tables sur le disque) 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 -- chore(catalog): scheduled auto-regenerate (long-lived PR) #15942 partage : MyIA.AI.Notebooks/GameTheory/README.md
• terminal -- feat(gametheory,#17297): GameTheory-25 persuasion bayesienne — concavification contre programme lineaire #17298 partage : MyIA.AI.Notebooks/GameTheory/README.md, recouvrement de chemins 50% -- feat(gametheory,#17297): GameTheory-25 persuasion bayesienne — concavification contre programme lineaire #17298 est deja sur main.

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-2026:CoursIA-3
pr: 17373
head: a841d55
complete: true
body: read
comments-reviewed: 3
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: c60b942dc98e7e92820e6137a497d0d84e451586570e79bb4bdb1b29b2e50dbb
diff-files: 1
diff-additions: 123
diff-deletions: 41
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

---

[VERDICT POST-CYCLE : BLOCKED-DWELL]
BLOCKED-WITH-SUBSTANCE — Tell c.85 DWELL plancher 120 min

Motif exact : checks claim 'latest-wins-green' is contradicted by live check 'PR gate' (failure; PR gate: DWELL -- tete du 2026-09-22T05:15:49Z, 9 min -- plancher 120 min, reste 111 min ; ecoule a 2026-09-22T08:07:00Z. Rien a corriger dans le code : cette jambe est un minuteur. NE PAS ATTENDRE -- enchainer un autre grain ; c'est la candidate qui atte)

DWELL: minuteur de merge — non corrigeable par le secretaire. Lane myia-po-2026:CoursIA-3 consigne dans skill-improvements.md (Tell c.85).

[github-actions]

G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
La lane `myia-po-2023:CoursIA` voit ces signaux actifs sur les mergees du jour (UTC 2026-09-22) :

• GENRE-RUN : run consecutif d'un genre LIGHT (voir signals.runs dans le log du job)

G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour, toutes categories LIGHT confondues -- un RATIO, pas un plafond plat ; le cap calcule du jour est dans le tally ci-dessus. G-VAR-3 interdit deux genres LIGHT consecutifs. Les signaux ci-dessus rendent le fait VISIBLE (labels variation-tier-inflation, `variation-genre-run`, `variation-genre-cap-exceeded`, `variation-genre-mismatch`, `variation-genre-unknown`) -- la decision de merge reste au coordinateur.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 17373
head: 546f793
complete: true
body: read
comments-reviewed: 5
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: a06b85d8d81dae1783493f3285f8607be2fd67a526e58fc0d46babcef8965281
diff-files: 1
diff-additions: 123
diff-deletions: 41
checks: latest-wins-green
b0: clear
scope: pass
domain: not-applicable
verdict: READY
[/ADJOINT PREFLIGHT]