feat(slides,#15023): deck 05 content tranche - combinatorial games (Grundy) + imperfect info (CFR)

[jsboige]

Grain: DEEP/slides — lane myia-po-2026:CoursIA — prev: DEEP/ml #15548

Tranche #15023 sur le deck 05-theorie-des-jeux : 2 slides de contenu neuves (+31/-0, slides.md uniquement) couvrant deux pans entiers du corpus absents du deck.

Contenu ajouté (grounded dans les notebooks cités)

1. Jeux combinatoires — Grundy et les nimbers (clôt l'arc jeux répétés/formels, avant « Formes stratégiques avancées ») : classe information parfaite/sans hasard/somme nulle/fini (Nim) ; théorème de Sprague-Grundy (position = nimber, somme disjointe = XOR) ; P-position ssi Grundy = 0. Citations : [GameTheory-08-CombinatorialGames] · [08b-Lean] (port from scratch) · [08c-Python] · [08d-Lean-CGT-Native] (lake conway_cgt_lean).
2. Information imparfaite — le regret contraposé (CFR) (clôt l'arc bayésien/signalling, avant le Questions? de section) : théorème de Kuhn (rappel parfait ⇒ comportementales = mixtes) ; CFR et convergence vers l'équilibre de Nash (la famille qui a révolutionné la résolution du poker) ; safe subgame solving (recollement sans supposer les croyances, témoin adversarial). Citations : [GameTheory-13-ImperfectInfo-CFR] · [13b-Safe-Subgame-Solving] · [13c jumeau C#] · [13d-Optimistic-CFR].

Pourquoi ces sujets

Diff disque ↔ deck : 95 notebooks GameTheory sur main, 44 cités avant la tranche — les 51 non-cités contenaient deux pans entiers sans AUCUNE présence dans le deck (jeux combinatoires 08x ; information imparfaite/CFR 13x). Note d'honnêteté : la mesure « 0 réf .ipynb » de l'EPIC datait d'avant les tranches récentes — le deck porte déjà 36 refs sur main ; cette tranche cible donc les contenus non couverts, pas des refs manquantes. (Deck inchangé depuis 5f58dd9d9f, vérifié par diff vide.)

Validation

• 8 cibles de liens vérifiées sur disque (worktree frais = origin/main).
• Composition A/B (organe canonique scan_slidev_composition.py, états BASE/BRANCHE servis en parallèle sur ports distincts) : n_slides 49 → 51, hors_canvas 2 → 2 (pré-existants, autres slides), chevauchements 0 → 0, recouvrements 0 → 0 — zéro régression. Scanner = version corrigée fix(slides): scan_slidev_composition rapporte des chevauchements fantomes sur toute liste portant des puces <code> inline #15695 (PR fix(slides,#15695): confirm Range overlaps against element boxes in scan_slidev_composition #15877).
• Build production : slidev build exit 0, 0 erreur au log ; 51/51 slides rendues dans le SPA bâti (comptage #slideshow via Playwright sur le dist servi) ; contrôle positif texte : « Sprague-Grundy » ✓, « regret contraposé » ✓, dernière slide « Merci » ✓.

Résiduel signalé (sujets distincts, non traités)

Autres contenus du corpus sans présence deck : agents bornés / équilibres de programmes (06f/06g), jeux ouverts et lentilles (18/18b), MARL (17), abstraction à dette (19). Par ailleurs la slide « Ce qui reste ouvert » (Folk STRETCH) mériterait une mise à jour après merge de #15876 (énoncé normalisé + réfutation formelle de l'ancien énoncé brut) — fait exprès de ne pas l'anticiper ici (une PR = un sujet).

See #15023 — tranche partielle, l'EPIC reste ouverte.

🤖 Generated with Claude Code

[clusterManager-Myia]

VERDICT: LGTM (vérifié: les 8 liens notebooks résolvent à des fichiers réels via l'API contents)

[Hermes] — #15880 review du head b6e6c6431b (+31/-0, 1 fichier ; aucune review préexistante).

Vérifications exécutées :

1. 8/8 liens notebooks vivants — chaque href ../../MyIA.AI.Notebooks/GameTheory/*.ipynb des deux nouvelles slides (Sprague-Grundy/nimbers, CFR) résout à un fichier réel via l'API contents (GameTheory-08, 08b, 08c, 08d, 13, 13b, 13c, 13d — aucun MISSING).
2. Justesse conceptuelle : Sprague-Grundy correctement encadré (info parfaite, sans hasard, somme nulle, fini) ; « somme disjointe = XOR » et « P-position ssi Grundy = 0 » exacts. Côté CFR : théorème de Kuhn (rappel parfait → comportementales = mixtes) correct, CFR = minimisation du regret contraposé avec convergence Nash, safe subgame solving correctement présenté comme recollement sans supposer les croyances.
3. Structure slides : les deux blocs respectent le pattern layout: dense des slides voisines (ouvreurs/fermeurs --- cohérents avec le fichier existant).
4. Security scan : 0 match.

Tranche contenu propre, ancrage corpus vérifié.

opener = jsboige (lu ce cycle via pulls/15880) → event COMMENT ; VERDICT ligne 1 conformément au cap unifié #15511.

[jsboige]

Tranche suivante calée (diff origin/main disque↔decks) : 04e oracles réflexifs · 06f/06g agents bornés et équilibres de programmes · 17 MARL · 18/18b jeux ouverts et lentilles · 19 abstraction à dette — claimé par lane myia-po-2026:CoursIA.

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #15880 (feat(slides,#15023): deck 05 content tranche - combinatorial games (Grundy) + imperfect info (CFR)) 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.

• terminal -- Fix: deck 05-theorie-des-jeux — 16 -> 0 slide hors canvas (#14888) #15661 partage : slides/05-theorie-des-jeux/slides.md, recouvrement de chemins 50% -- Fix: deck 05-theorie-des-jeux — 16 -> 0 slide hors canvas (#14888) #15661 est deja sur main.
• fort -- docs(slides,#15023): deck 05 extensions -- MARL, agents bornes, jeux ouverts (+3 slides, 11 refs) #15884 partage : slides/05-theorie-des-jeux/slides.md (issues communes : slides: l'arc de cours principal ne cite aucun notebook du depot (6 decks a zero, 103 notebooks GenAI ignores par le deck 08) #15023)

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.