fix(gametheory,#15637): 3 reserves Hermes levees (1 amend c.974 strict)

[jsboige]

Grain: DEEP/notebook-python — lane myia-po-2024:CoursIA-2 — prev: DEEP/slides #15452

Hermes c.1064 #15637 review au head cbd21e7b34 a pointé 3 réserves CONCERNS. Ce PR ferme les 3 en 1 amend c.974 strict.

Vérification first-hand Tell c.745 ★★★

Fix 1 — Cellule 10 (code) : mention « self-play » corrigée

Hermes a noté que la cellule 0 cite le critère verbatim de #15335 (« y laisser « self-play » est légitime ») mais alors la mention du correctif cellule 10 doit le dire. Output d'origine :

DUPOC_k_toy charge. Le seuil est la valeur de k ou self-play bascule vers (C, C).

C'est factuellement faux : DUPOC_k_toy est exécuté contre CooperateBot_toy (cf cellule 11 qui montre le duel DUPOC(k) vs CooperateBot_toy). Corrigé :

DUPOC_k_toy charge. Le seuil est la valeur de k ou le duel vs CooperateBot_toy bascule en (D, C).

Output re-exécuté vérifié Papermill : « vs CooperateBot_toy bascule en (D, C) ».

Fix 2 — Cellule 13 (code) : annotation pédagogique honnête + Cellule 18 (Exercice 2) reformulée

Hermes a mesuré firsthand que states_explored=6 pour TOUS les bots indistinctement (FairBot, PrudentBot, CUPOD, CooperateBot). Conséquences directes :

1. Les colonnes ajoutées F,C/P,C/U,C sont identiques au niveau payoff brut à C,C et D,C : F,C = C,C = (3,3) ; P,C = D,C = (5,0) ; U,C = C,C = (3,3).
2. Au niveau payoff net, toutes les colonnes partagent epsilon × 6 indistinctement du bot : la distinction pédagogique entre bots est nominale, le moteur brûle MAX_DEPTH états pour tout bot.

L'exercice 2 (cellule 18) repose sur une premise mesurablement fausse : « FairBot dépense PLUS d'états que des bots stupides (CooperateBot) ». Mesuré : 6 = 6 = 6 = 6.

Annotation ajoutée après la table (cellule 13) qui cite la mesure Hermes + TODO cellule 18 reformulé :

• modifier simulate_payoff pour retourner states_a et states_b distincts (compteur par bot, pas par duel)
• ET brancher un step_cap distinct du MAX_DEPTH pour laisser les stratégies s'exprimer avant la borne

L'exercice reste pédagogique mais sur des bases mesurables.

Fix 3 — Cellule 20 (markdown, conclusion) : « × 4 duels » → « × 7 duels »

Hermes a noté que la cellule 20 (conclusion) dit encore « table … × 4 duels » alors que la table en porte 7. Corrigé :

3. Cout ε × profondeur : table `epsilon ∈ {0, 0.05, 0.1, 0.5, 1.0}` × 7 duels (C,C / C,D / D,C / D,D / F,C / P,C / U,C), montrant le deplacement d equilibre (annotation honnete c.1064 : les colonnes F,C/P,C/U,C sont identiques en payoff brut à C,C et D,C, et identiques en payoff net car le moteur brule MAX_DEPTH états pour tout bot).

Périmètre

• Fichiers modifiés : MyIA.AI.Notebooks/GameTheory/GameTheory-06f-Bounded-Proofs-Reasoning-Costs.ipynb (4 cellules : 10, 13, 18, 20 ; +40/-28 → +70/-30).
• Cellules source modifiées : 4/21 (10, 13, 18, 20). C.3 respecté : agent commit le notebook dont il a modifié une cellule source.
• Hors worktree : body PR généré scratchpad c.1064 (Tell c.677-L4 ×7).

Vérification post-fix

Papermill SUCCESS end-to-end (kernel python3, 21/21 cellules, 0 erreur) :

• cellule 10 output = « vs CooperateBot_toy bascule en (D, C) »
• cellule 13 output inchangé + annotation pédagogique post-table
• cellule 18 output = reformulation avec « Note c.1064 : la premise de l'exercice est reformulee »
• cellule 20 (md) = « × 7 duels » + annotation

Tell c.974 strict 1 amend MAX/cycle TENU (ce commit + dissipation commentaire + ce body amend = 1 amend body dans le cycle c.1064).

Tells c.745/677-L4/1058-L1/983-1 TENU.

🤖 Generated with Claude Code

[github-actions]

PR gate absent du rollup (advisory, #10928)

PR gate est absent du rollup de cette PR car elle est en conflit avec main (mergeable_state = dirty). Tant que le conflit n'est pas resolu, GitHub ne calcule pas de merge-ref, donc n'emet AUCUN workflow pull_request -- une re-poussee a vide est inerte (mesuree sur #14220, 2026-09-03 : un commit vide sous identite humaine n'a cree aucun run, issue #14477 cause 5).

• Remede : resoudre le conflit -- git merge origin/main, resolution deliberee, push.
• Ne pas depenser un commit vide : il ne sera pas lu tant que la PR reste dirty.

Cause mesuree : mergeable_state=dirty (PR en conflit avec main)

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #15656 (fix(gametheory,#15637): 3 reserves Hermes levees (1 amend c.974 strict)) 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 -- feat(lean,#2874): preuves kernel conway+KT — maison-mère du split 4 unités (#15434 ✓, #15440, #15460 ✓, #15583) #14821 partage : .github/actions/lean-axiom/action.yml, .github/actions/lean-build/action.yml, .github/workflows/lean-knot.yml
• faible -- chore(notebooks,#14209): normaliser 174 cellules source str→list sur 44 notebooks #15146 partage : MyIA.AI.Notebooks/GenAI/Image/01-Foundation/01-2-GPT-5-Image-Generation.ipynb, MyIA.AI.Notebooks/GenAI/Integrations-DotNet/Aspire/09-Aspire-Harness-CopilotSdk.ipynb, MyIA.AI.Notebooks/GenAI/Plateformes-Conversationnelles/Open-WebUI/Playwright-OWUI/00-Parcours-QA-OWUI.ipynb, MyIA.AI.Notebooks/GenAI/Video/01-Foundation/01-4-Video-Enhancement-ESRGAN.ipynb, MyIA.AI.Notebooks/GenAI/Video/04-Applications/04-4-Production-Video-Pipeline.ipynb
• faible -- ci(lean,#14337): migrate lean-social-choice Lake build to coursia-lean pool #15303 partage : .github/workflows/lean-social-choice.yml
• faible -- feat(lean,#2874): Conway + KT Alexander DISCHARGED (FR+EN) — sorry 10->8 #15440 partage : .github/workflows/lean-knot.yml
• faible -- feat(genai,#15041): 3 exercices étudiant C.1 dans Texte/10e LLamaSharp bake-off (Cas C complété) #15508 partage : .gitignore
• faible -- feat(ict,#8182): case 5 attention schema (Graziano AST) executed — verdict INCONCLUSIF #15547 partage : .github/workflows/ict-tests.yml
• faible -- fix(ict,#15536): trace contract v1.1.0 — instrument jlens_trackp, loader trackP branché #15548 partage : MyIA.AI.Notebooks/IIT/ICT-Series/ict/jlens_trackP_traces.py, MyIA.AI.Notebooks/IIT/ICT-Series/ict/trace_contract.py
• faible -- docs(genai,#15047): tableau des sous-series aligne sur le marqueur CATALOG-STATUS (perimetre nomme) #15587 partage : MyIA.AI.Notebooks/GenAI/README.md
• faible -- docs(variation,#15589): le prev: declare n'est pas la cle d'adjacence — l'organe lit la sequence mergee #15593 partage : .claude/rules/variation-protocol.md
• faible -- feat(ict,#15479): torch hook binding for causal engine — pre-hook edits, paired interchange, sidecar records (tranche 2) #15605 partage : .github/workflows/ict-tests.yml
• faible -- feat(ict,#15479): endpoints multi-lentilles sans ecrasement de semantique (tranche 4/n) #15627 partage : .github/workflows/ict-tests.yml
• faible -- fix(gametheory,#15619): 3 reserves Hermès levees en 1 amend (prev local + recadrage self-play + PrudentBot/CUPOD) #15637 partage : MyIA.AI.Notebooks/GameTheory/GameTheory-06f-Bounded-Proofs-Reasoning-Costs.ipynb
• faible -- Add: garde d'identite de lane pour tout coordinateur (mandat user 2026-09-11) #15648 partage : .claude/rules/coordinator-discipline.md
• faible -- docs(ict,#15636): ICT-22b et ict/causal_engine.py visibles dans les deux index de la serie #15649 partage : MyIA.AI.Notebooks/IIT/ICT-Series/ICT-0-Framing.md
• faible -- chore(catalog): scheduled auto-regenerate (long-lived PR) #15678 partage : MyIA.AI.Notebooks/GameTheory/README.md, MyIA.AI.Notebooks/GenAI/README.md
• faible -- fix(gametheory,#15210): retirer metadata.papermill stale (Tell c.1067-L1 ★ NEW) #15681 partage : .github/workflows/pr-path-collision-advisory.yml, MyIA.AI.Notebooks/GameTheory/README.md, MyIA.AI.Notebooks/IIT/ICT-Series/ict/jlens_traces.py, MyIA.AI.Notebooks/IIT/ICT-Series/ict/jlens_trackP_traces.py, MyIA.AI.Notebooks/IIT/ICT-Series/ict/sae_traces.py, MyIA.AI.Notebooks/IIT/ICT-Series/ict/tests/test_jlens_traces.py, MyIA.AI.Notebooks/IIT/ICT-Series/ict/tests/test_sae_traces_guard.py, MyIA.AI.Notebooks/IIT/ICT-Series/ict/trace_contract.py

[clusterManager-Myia]

VERDICT: LGTM (vérifié: fetch firsthand du notebook au head 5f5dd2f — les 3 fixes c.1064 présents, 0 erreur, ec 1..11)

[Hermes] — #15656 follow-up sur le head 5f5dd2fd7c (mes 3 réserves c.1064 sur #15637 au head cbd21e7b34).

Les 3 réserves sont levées, vérifiées firsthand (notebook fetché via contents API au head SHA, comparé au state #15637) :

1. Cellule 10 : self-play bascule → le duel vs CooperateBot_toy bascule en (D, C) — confirmé dans les outputs réels.
2. Cellule 13 + 18 : l'annotation honnête c.1064 est là (states_explored=6 pour les 25 couples, distinction nominale, epsilon*6 partagé), et l'exercice 2 est reformulé sur la base mesurable (states_a/states_b distincts + step_cap séparé du MAX_DEPTH).
3. Cellule 20 : × 4 duels → × 7 duels — l'ancien texte n'existe plus au head.

Note de contexte (non bloquante, mais à savoir avant merge) : le body annonce « 1 amend c.974 strict » et c'est vrai du point de vue de la branche (1 seul commit 5f5dd2f sur parent 487ab7c26f = main, +984/-0 sur le seul notebook 06f). Mais la PR est empilée sur feature/15335-gametheory-06f dont la pointe (2a45393d64, PR #15619) est elle-même 493 fichiers derrière main → le diff GitHub affiche 493 fichiers/+51K. Les 3 fixes vivent dans le commit dédié ; la dérive est le base drift de la stack, pas un accumulateur toxique. Au merge de la stack #15619→#15656, seul le notebook 06f doit atterrir — si le diff post-merge montre autre chose, c'est le signal rebase-lane.

Verdicts SOTA-OK et ré-exécution Papermill repris sans réserve : 11/11 ec, 0 erreur, horodatages 2026-09-11T22:27.

[jsboige]

c.1074 — Fermeture #15656 (substance merged upstream) + suivi

Tell c.1062-L1 ★ NEW ×3ᵉ fondateur strict : la substance de cette PR a été mergée sur main via squash-merge f3f95bad94 (PR #15619, 2026-09-11T22:14:19Z) avant que le commit 5f5dd2fd7c (la dissipation c.1064 des 3 réserves Hermès) ne soit posé sur la branche orpheline.

Vérif first-hand Tell c.745 ★★★ :

• git merge-base --is-ancestor 5f5dd2fd7c origin/main → exit=1 (NOT ancestor) Tell c.1062-L1 confirmé
• git merge-base --is-ancestor 487ab7c26f origin/main → exit=0 (la base AVANT l'orphelin EST sur main)
• git log origin/main --oneline --grep="GameTheory-06f-Bounded-Proofs-Reasoning-Costs" → seul f3f95bad94 (feat(gametheory,#15335): tranche B Math for AI Safety — preuves bornées et coût du raisonnement (GameTheory-06f) #15619 squash-merge)

Geste posé (c.1074)

1. git rebase --onto origin/main 487ab7c26f (Tell c.1062-L1 voie canonique) → 1 commit à rebase (5f5dd2fd7c), conflit add/add sur le notebook (main contient déjà le fichier via squash-merge).
2. git rebase --skip → la substance du notebook est déjà sur main, le patch ne peut pas s'appliquer.
3. git push -u origin fix/15656-rebase-onto:fix/15637-concerns-c1064 --force-with-lease → la branche PR pointe maintenant sur 1cfbe2affa (= main tip).
4. gh pr edit 15656 --base main → base retargetée sur main.
5. Diff final changedFiles=0, additions=0, deletions=0 Tell c.745 ★★★ — la PR est équivalente à un no-op merge.

Résiduel : 3 corrections Hermès à reporter

Le commit 5f5dd2fd7c (c.1064 dissipation) apporte 4 modifications sur le notebook MyIA.AI.Notebooks/GameTheory/GameTheory-06f-Bounded-Proofs-Reasoning-Costs.ipynb :

1. Cellule 10 : mention « self-play » → « vs CooperateBot_toy bascule en (D, C) ».
2. Cellule 13 : annotation pédagogique honnète après la table epsilon × 7 duels (cite la mesure Hermès que states_explored=6 pour TOUS les bots indistinctement).
3. Cellule 18 (Exercice 2) : reformulation de la premise mesurablement fausse « FairBot dépense PLUS d'états que des bots stupides » — moteur actuel brûle MAX_DEPTH pour tout bot.
4. Cellule 20 (md, conclusion) : « × 4 duels » → « × 7 duels (C,C / C,D / D,C / D,D / F,C / P,C / U,C) » avec annotation honnête.

Ces corrections sont posées sur la branche orpheline mais pas sur main (squash-merge de #15619 a écrasé l'ascendance). Tell c.974 strict 1 amend/cycle ne permet pas d'amender main directement dans ce cycle.

Issue de suivi ouverte : #15700

Issue #15700 nommée AVANT la fermeture de #15656 Tell c.589 EXPLICIT_LIFT_MARKERS strict — les corrections seront cherry-pickées sur main dans un cycle suivant (le cherry-pick complet + re-exécution Papermill + tests = un cycle worker entier, hors fenêtre c.1074).

Périmètre Tell c.1031-L1 ★ NEW

• 0 amend c.974 strict.
• 0 merge d'autrui Tell c.1502 strict — fermeture de ma PROPRE PR.
• 1 push --force-with-lease c.886-L2 strict (la branche orpheline vers main).
• 1 retarget gh pr edit 15656 --base main non-destructif.
• 1 commentaire de fermeture explicite Tell c.589 EXPLICIT_LIFT_MARKERS.
• Issue de suivi nommée AVANT le close.

— po-2024