Skip to content

docs(slides,#15023): deck 05 extensions -- MARL, agents bornes, jeux ouverts (+3 slides, 11 refs) - #15884

Merged
myia-ai-01 merged 1 commit into
mainfrom
feature/15023-deck05-extensions
Sep 13, 2026
Merged

myia-ai-01 merged 1 commit into
mainfrom
feature/15023-deck05-extensions

Conversation

@jsboige

@jsboige jsboige commented Sep 13, 2026

Copy link
Copy Markdown
Owner

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

Tranche CONTENU #15023 — deck 05 « extensions modernes » (+3 slides, 11 refs)

Diff systématique disque↔decks (origin/main) : ~20 notebooks GameTheory non couverts par aucun deck. Cette tranche couvre le bloc thématique « au-delà de l'équilibre classique » inséré en fin d'arc du deck 05 (après « Méthodes calculatoires », avant le Questions? final — ancre distincte de la tranche #15880 pour éviter tout conflit de merge) :

  1. Apprentissage multi-agents — self-play, NFSP, PSRO (slide 50) : self-play, Fictitious Play, NFSP, PSRO — cite GameTheory-17-MultiAgent-RL + jumeau C#.
  2. Rationalité bornée — agents-programmes à budget (slide 51) : code public + budget de raisonnement fini (Barasz et al. 2014, Critch 2016), interprète total, MAX_DEPTH/STEP_BUDGET, équilibres de programmes par simulation, oracles réflexifs (Fallenstein/Taylor/Christiano 2015) — cite 06e, 06f×2, 06g×2, 04e.
  3. Jeux ouverts et lentilles (slide 52) : open games, lentilles get/set, propriété de Hedges, casser la composition, abstraction à dette mesurable (Kroer & Sandholm) — cite 18, 18b, 19.

Contrôles

Contrôle Résultat
Cibles des 11 liens sur disque (worktree frais origin/main) 11/11 OK
Compte de slides (split_slides_source) 49 → 52
Organe composition A/B (dev 8781 main vs 8782 branche, 2 sondes chacune) nouvelles slides 50/51/52 : 0 hors-canvas, 0 chevauchement, 0 occupation
Build production (npx slidev build) 52/52 pages pré-rendues
Contrôles texte prod build (textContent, pas innerText) 16/16 OK (titres, NFSP/PSRO, MAX_DEPTH, Hedges, Kroer, 11 refs nominatives)

Note A/B : les asymétries inter-instances observées sur les slides 1-49 identiques (5 hors-canvas côté instance main, 4 chevauchements LI 1px côté instance branche — classe FP connue, correctif en review PR #15877) sont attribuées à l'environnement dev-server, pas au contenu : aucune modification globale (aucun CSS ajouté, insertion en fin de deck, slides 1-49 inchangées byte-identiques).

Résiduel (non couvert, prochaine tranches potentielles)

02c dilemme du voyageur · 02-Part2-Python · 04e→couvert · 06d sympathie vs engagement · 15c-Python · 15e coalition power SMT · 16d échange de reins · 16e LLM players Othman-Sandholm · 17c×2 lemons/market-to-balance-sheet · 21 translateur Life · 22 ensembles limites Poincaré-Bendixson · 23/23b Munkres assignment (+Lean natif) · 24/24b humour banc (+Dur) · jumeaux C# (couverture partielle selon slides).

See #15023 (contribution partielle à l'EPIC CONTENU — l'EPIC reste ouvert).

🤖 Generated with Claude Code

…s, jeux ouverts (+3 slides, 11 refs)

Bloc "extensions modernes" en fin d'arc (apres Methodes calculatoires,
avant le Questions? final) : apprentissage multi-agents (self-play, FP,
NFSP, PSRO), rationalite bornee (agents-programmes a budget, equilibres
de programmes par simulation, oracles reflexifs), jeux ouverts et
lentilles (propriete de Hedges, casser la composition, abstraction a
dette mesurable). 11 notebooks GameTheory non couverts desormais cites
nominativement (04e, 06e, 06f x2, 06g x2, 17 + jumeau C#, 18, 18b, 19).

Validation : 11/11 cibles verifiees sur disque ; organe composition A/B
(main 8781 vs branche 8782, 2 sondes) -- nouvelles slides 50-52 :
0 hors-canvas, 0 chevauchement, 0 occupation ; build production 52/52
pages, 16/16 controles texte.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
@github-actions

Copy link
Copy Markdown
Contributor

Path-collision (organ #13359/#13615)

Cette PR #15884 (docs(slides,#15023): deck 05 extensions -- MARL, agents bornes, jeux ouverts (+3 slides, 11 refs)) 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.

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.

@github-actions github-actions Bot added the pr-overlap Advisory: another open PR touches the same files (organ #13615) label Sep 13, 2026
@myia-ai-01
myia-ai-01 merged commit 55503af into main Sep 13, 2026
18 of 19 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pr-overlap Advisory: another open PR touches the same files (organ #13615)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants