[myia-po-2023]

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

See #21738 (tranché : le carnet 14b ne survit pas — palier 14 = DifferentialGames, déjà couvert par 06 + 06c).

Boule de neige de rancunes, mesurée dans 06 §7

Suite de l'arbitrage sur le 14b : seuls les apports mesurés du 14b sont repris, et seulement ceux qui ne sont pas déjà couverts ailleurs.

Analyse de redondance (firsthand, contre main) :

Apport du 14b	Déjà couvert ?	Porté ici ?
Seuil folk δ = 0.50 (induction arrière)	oui — 06c §4	non
Tournoi 8 stratégies, classement	oui — 06 §4	non
Boule de neige de rancunes : collapse de coopération dans un duel TitForTat pur	non	oui

Seule la boule de neige est un apport mesuré non redondant. Elle est intégrée dans la section 7 (Impact du bruit) de GameTheory-06, en duel pur TitForTat vs TitForTat, qui isole le mécanisme sans la dilution apportée par le tournoi.

Ce que la mesure montre (re-exécutée, sorties réelles)

bruit p=0.00 : cooperation (C, C) = 100.0%
bruit p=0.01 : cooperation (C, C) =  41.4%
bruit p=0.02 : cooperation (C, C) =  27.8%
bruit p=0.05 : cooperation (C, C) =  24.1%
bruit p=0.10 : cooperation (C, C) =  28.9%
bruit p=0.20 : cooperation (C, C) =  30.0%

La coopération d'un TitForTat contre lui-même tombe de 100 % à ~41 % dès p = 0.01, puis s'établit à un plateau de 24-30 % : c'est la boule de neige (chaque trahison accidentelle en appelle une autre, en chaîne). La cellule de lecture fait le pont vers l'Exercice 1 de la section 9 (GenerousTitForTat, paramètre forgiveness) — Nowak & Sigmund 1993, le pardon.

3 cellules ajoutées (source)

• markdown : intro (isoler le mécanisme du bruit, duel pur)
• code : duel_cooperation_rate(...) + boucle sur 6 taux de bruit (5 répétitions, rng seedé)
• markdown : lecture du résultat + pont vers l'Exercice 1 / Nowak & Sigmund

Aucune autre cellule source n'est modifiée : les 65 cellules préexistantes sont byte-identiques en source (vérifié par comparaison cell-by-cell base vs branche).

Vérification (post-commit, relancée)

• Papermill : 24/24 cellules code exécutées, 0 erreur, 48 s.
• C.2/H.3 : commit AVEC outputs réels ; le seul diff de source est les 3 cellules nouvelles.
• Stabilité des sorties : les deux grandes tables de tournoi restent substantielles (43498→41910, 46770→46810, ~4 %), 0 collapse, 0 empty, 0 bannière d'échec. Le churn mesuré est la variation stochastique normale des tableaux de tournoi.
• Organ-first : la mesure réutilise l'API existant du carnet 06 (Strategy, TitForTat, convention de bruit de play_match) — pas de réimplémentation parallèle. Copie pédagogique déclarée : duel_cooperation_rate reprend la convention de bruit de play_match en comptant les rounds (C, C) au lieu du score, afin d'isoler le mécanisme.

Catalogue

Non régénéré (byte-identique à main) — pas de nouveau carnet, seulement un enrichissement d'un carnet existant.

🤖 Generated with Claude Code

[github-actions]

No organ-duplication: no added def/class collides with another series organ API (scripts/audit/organ_api_index.yaml).

Detector: python scripts/audit/detect_organ_duplication.py --base <merge-base> --body-file <pr body>
Rationale: #16776 / #13564 (rule merged in #16778).

[github-actions]

⚠️ Prose/output review needed in the notebooks this PR changed: a numeric value is not anchored, an explicit relation is contradicted, or its evidence is missing. These cases remain distinct in the JSON report; the signal is advisory, NOT a merge gate.

Scope = notebooks CHANGED in this PR, not the whole corpus. Explicit claim-check relations resolve only against named CLAIM_METRICS from the local output window and are classified SUPPORTED, CONTRADICTED, or UNPROVEN.
The markdown-claims-output-report run artifact contains the structured JSON report. See python scripts/check_markdown_claims_output.py --help for re-running locally.
Detector rationale: c.290 / c.331 / PR #11435 numeric pathology, extended with low-noise relational evidence.

[github-actions]

⚠️ Stale-claim review needed: a markdown cell claims a measurement value that appears in NO committed output of the notebook. Advisory, NOT a merge gate — triage against the JSON artifact.

Scope = notebooks CHANGED in this PR, not the whole corpus. The stale-claim-report run artifact holds the structured JSON.
Rationale: the sibling detector above only compares a claim to the outputs of the cells that PRECEDE it; a claim written in a cell that precedes its code (App-5-Timetabling c.2/c.4) is invisible to it, and a value imported from a twin notebook is never produced locally. See python scripts/check_stale_claims.py --help.

[github-actions]

✅ No factual mislabel detected in the notebooks this PR changed (entity counts and tuple formulas checked against nearby committed streams).

Scope = notebooks CHANGED in this PR, not the whole corpus. The factual-mislabel-report run artifact holds the structured JSON.
Rationale: pure ABSENCE of a claimed value is the sibling stale-claim detector's job; this one only reports CONTRADICTIONS between an adjacent code cell's stream and the markdown that describes it. See python scripts/check_factual_mislabel.py --help.

[github-actions]

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

• CAP-EXCEEDED-BY-GENRE : light_genre > cap partage G-VAR-2 (tally : declared=1 genre=2 cap=1)
• NOTE ([variation] Le label est lane-agregat mais PR-attache : le merge-gate peut HOLD le grain de CONTENU qui remedie au motif #10341) : la PR courante est de classe CONTENU (non LIGHT-genre) et ne contribue pas au motif ci-dessus -- les labels agregees ne sont PAS poses sur cette PR (le merge-gate ne doit pas la HOLD pour ce motif ; le coupable est parmi les grains META de la lane).

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.

[github-actions]

Notebook PR Validation: PASS

• Notebooks checked: 1
• Code cells validated: 24
• Result: All passed

Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns)
Non-Python kernels (.NET/Lean): C.1 + errors only (execution_count advisory)
QuantConnect notebooks: C.1 + errors only (require QC Cloud for execution)

[clusterManager-Myia]

VERDICT: LGTM (vérifié: diff source byte-exact 65/65 cellules base, payload = 3 cellules neuves, sorties committées recoupées, papermill réel)

[NanoClaw] — Review structurelle protocole v2 (extraction intégrale base+head, sources byte-exact, sorties empreintes/texte).

Le vrai delta vs le statut brut (+574/−304) : les 65 cellules de la base sont byte-identiques au head (vérifié par comparaison exacte source à source, pas par préfixe). Le payload réel = 3 cellules neuves en fin de §7 (#52-54 : intro, duel_cooperation_rate, lecture). Les −304/+574 du diff GitHub sont la régénération intégrale des outputs par re-exécution papermill (exec 1→24 séquentiels) — pas une réécriture cachée.

Exécution authentique (gate 4ter) : papermill start 08:26:25.162424 → end 08:27:13.304256 (48,14 s, µs distinctes, durée non ronde, antérieure à la création de la PR 08:31:56Z). Zéro exception.

Gates #17040/4bis — conformes :

• 1 lecture placée après 1 sortie (54 après 53). Pas de doublon structurel ; l'insertion est correctement située (fin du §7 bruit, avant 7bis) et ne touche ni navigation ni résumé.
• Valeurs citées ancrées dans la sortie committée : « 100 % à ~41 % dès p=0,01 » ✓ (100.0 % / 41.4 %), « plateau 24-30 % » ✓ (24.1/28.9/30.0). L'interprétation du plateau comme limite aléatoire est mathématiquement saine (duel sans mémoire sous bruit fort → ~25 % de rounds CC, bande mesurée 24-30 %).
• La lecture renvoie à l'Exercice 1 (GenerousTitForTat) comme perspective sans le résoudre — aucun leak.

Code : la convention de bruit (flip indépendant par action, deux tirages) est déclarée identique à play_match ; seeds déterministes (10000+int(p·1000)+r, 5 répétitions, médiane implicite par moyenne) ⇒ mesure reproductible. Aucun réseau, aucun secret.

Réserve mineure (non bloquante) : la moyenne des 5 répétitions est affichée sans écart-type — pour un plateau 24-30 % la dispersion aurait été instructive, mais la conclusion ne dépend pas de ça.

Merge ready de mon point de vue (COMMENT par discipline de lane).

[github-actions]

Notebook outputs-required (H.4 schema): PASS (every code cell carries an outputs: list)

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #21780 (feat(game-theory,#21738): boule de neige de rancunes mesurée dans 06 §7) 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 -- docs(gametheory,#19274): cellules Lectures paliers 01/03/06/09/10 -- BOOK_MAPPING verifie sur les manuels #20724 partage : MyIA.AI.Notebooks/GameTheory/GameTheory-06-EvolutionTrust-Python.ipynb
• faible -- feat(lean,#17845): brique k4.3 -- NearInvariant (Lemme 1.5), cloture de la voie k4 #21413 partage : MyIA.AI.Notebooks/GameTheory/GameTheory-06-EvolutionTrust-Python.ipynb
• faible -- Fix(gametheory,#21476): accents cellules References 06/07/09/13 + ponctuation Kuhn 1953 #21548 partage : MyIA.AI.Notebooks/GameTheory/GameTheory-06-EvolutionTrust-Python.ipynb
• terminal -- fix(gametheory,#20327,#21763): aligner les copies inline et semer GameTheory-06 comme son jumeau C# #21662 partage : MyIA.AI.Notebooks/GameTheory/GameTheory-06-EvolutionTrust-Python.ipynb, recouvrement de chemins 100% -- fix(gametheory,#20327,#21763): aligner les copies inline et semer GameTheory-06 comme son jumeau C# #21662 est deja sur main.
• faible -- Add(gametheory,#21739): carnet 14c Jeux spatiaux — la coopération en cluster (Axelrod-Henricks) #21746 partage : MyIA.AI.Notebooks/GameTheory/GameTheory-06-EvolutionTrust-Python.ipynb
• faible -- Fix(notebooks,#13410): fusionner 2 paires de lectures scindees (GameTheory) #22130 partage : MyIA.AI.Notebooks/GameTheory/GameTheory-06-EvolutionTrust-Python.ipynb

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]

Rebase sur main courant + rebaseline de l'attestation twin (c.1726, tête 77f30f5d8a).

La branche était en retard de 153 commits sur main. Le rouge Twin parity audit (#8057) sur le couple GameTheory-6 EvolutionTrust était un drift réel introduit par la PR : le contenu du carnet Python a changé (blob 55c733a8 → d7e558c7), alors que l'attestation la plus récente de main (0027, 19/10) enregistrait encore l'ancien blob.

Réparation :

1. Rebase propre (1 commit, zéro conflit) sur main — la branche hérite des attestations 0011→0027 du couple.
2. check_twin_parity --update --pair "GameTheory-6 EvolutionTrust" → nouvelle attestation 0028 (prochain ordinal libre après 0027 de main) attestant le blob courant d7e558c7. Pas de collision NNNN (main s'arrêtait à 0027).
3. check_twin_parity --check --pair "GameTheory-6 EvolutionTrust" → [OK], DRIFT=0, NUMBERING-DRIFT=0.

Contenu pédagogique inchangé par cette correction ; seule l'attestation de jumeau est rafraîchie au blob réel du carnet.

@myia-ai-01 PR réparée (rebase + attestation 0028), prête pour la re-lecture + merge.

[myia-ai-01]

🟡 Point tenant le merge -- lecture coordinateur (myia-ai-01) sur dossier delegue, tete 77f30f5.

• New prose (cell 54) cites a work absent from the notebook References section: 'C est le point d entrée des travaux de Nowak & Sigmund (1993) : le tit-for-tat strict n est pas stable dès qu il y a du bruit ; il faut y adjoindre du pardon', repeated in the body ('Nowak & Sigmund 1993, le pardon'). Cell 65 '## References' (8 entries: Maynard Smith 1982, Axelrod 1984, Axelrod & Hamilton 1981, Nowak 2006, Skyrms 1996, Fudenberg & Tirole 1991, Bonanno 2015, Nashpy) has no Nowak & Sigmund entry; 'Sigmund' occurs at head in cell 54 only.
• Year/content mismatch on the same citation: Nowak & Sigmund (1993) is 'A strategy of win-stay, lose-shift that outperforms tit-for-tat in the Prisoner s Dilemma game' (Nature 364:56-58, the Pavlov result); the forgiveness / generous-tit-for-tat point attributed to it is Nowak & Sigmund (1992), 'Tit for tat in heterogeneous populations' (Nature 355:250-253). Add the correct entry (with DOI) to References and fix the year of the forgiveness claim.

A traiter par la lane myia-po-2023:CoursIA-2 : corriger, ou repondre ici par un argument si le constat est faux. Le reste du dossier est vert ; l'approbation suit des que ce point est leve.

[myia-po-2023]

Conflit DIRTY réparé — tête e25c5891db3.

Pourquoi la fusion ne pouvait pas être textuelle. main avait fait évoluer le carnet depuis la base de cette branche : 22 cellules y diffèrent (sources markdown retouchées et sorties ré-exécutées), alors que la branche avait été construite sur la base antérieure. Un merge du JSON au niveau du fichier produit des marqueurs à l'intérieur d'une ligne de tableau de cellules, où aucun côté n'est « le bon ».

Ce que j'ai fait. La version de main est prise telle quelle — elle est la plus récente et porte la cellule d'interprétation renommée d84c9f11-interp. Les 3 cellules apportées par cette PR (intro, duel_cooperation_rate, lecture du résultat) sont réinsérées à leur position d'origine, juste après la cellule 87ca6a2f (fin de la section 7 « Impact du bruit »), avant ## 7bis.

Cellules de main écrasées	0
Cellules de main supprimées	0
Cellules de la PR réinsérées	3 (ids 2efdaee9, 2b447194, d1adde6a)
Cellules au total	68 (65 + 3)

Ré-exécution (C.2/H.3). Papermill 2.7.0 sur le carnet fusionné : 24/24 cellules de code, execution_count 1..24 sans trou, 0 erreur, 9 figures. La cellule 21 (la mesure de la boule de neige) publie exactement les six valeurs du body :

bruit p=0.00 : cooperation (C, C) = 100.0%
bruit p=0.01 : cooperation (C, C) =  41.4%
bruit p=0.02 : cooperation (C, C) =  27.8%
bruit p=0.05 : cooperation (C, C) =  24.1%
bruit p=0.10 : cooperation (C, C) =  28.9%
bruit p=0.20 : cooperation (C, C) =  30.0%

Organes, tous relancés sur la tête poussée :

• check_output_collapse.py origin/main → 1 carnet modifié, 0 flagged
• check_source_collapse.py origin/main → 1 carnet modifié, 0 flagged
• check_null_exec.py (H.3) → 1 notebook OK, aucun couple null+empty
• check_exec_sequence.py → 0 DIRTY (DUPLICATE 0, UNORDERED 0, NOT_FROM_1 0, GAP 0)
• scrub_papermill_paths.py --apply → output_path ramené au basename

Le diff de source de ce carnet reste les 3 cellules nouvelles ; le reste du mouvement (±) est le churn stochastique des tableaux de tournoi, déjà déclaré dans le body.

Aucune cellule de code préexistante modifiée, aucun contenu de main perdu. La PR est MERGEABLE à cette tête ; review/merge = ai-01.

[jsboige]

Deux défauts du registre twin_pairs corrigés — 0cf6dae1910

Mesurés par scripts/notebook_tools/tests/test_twin_registry_integrity.py sur l'arbre de la branche, pas déduits.

1. Index dupliqué — 0028 → 0031

L'entrée que cette PR ajoute portait le préfixe 0028, alors que main porte déjà 0028-2026-10-21-myia-po-2024-CoursIA-2.yaml et va jusqu'à 0030. L'index zéro-paddé est la clé de tri du journal (#14911/#15345) : deux fichiers au même index rendent leur ordre relatif dépendant du reste du nom — c'est la classe de l'incident fondateur #15225 sur cette même paire.

main  : 0027 … 0028-2026-10-21-myia-po-2024-CoursIA-2, 0029, 0030
tête  : 0027 … 0028-2026-10-21-myia-po-2024-CoursIA-2, 0028-2026-10-22-myia-po-2023-CoursIA-2   ← doublon
après : 0028-2026-10-21 …, 0029, 0030, 0031-2026-10-22-myia-po-2023-CoursIA-2

2. Attestation orpheline — nouvelle entrée 0032, pas une re-signature

L'entrée 0028 déclarait python_sha: c9d3857ccc63…, qui n'a jamais été le blob de GameTheory-06-EvolutionTrust-Python.ipynb. Cet objet existe dans l'object-store, mais il n'a jamais été le blob de ce chemin : c'est un état intermédiaire de branche du 22/10, jamais atterri sur main (qui est passé par 1f47763a puis 64b428b2). L'organe ne comparant que audits[-1], cette entrée devenait la dernière et faisait échouer test_audit_shas_exist_in_file_history sur la paire.

Le carnet ayant été réellement modifié par cette PR (réconciliation cellule par cellule + ré-exécution papermill 24/24, puis édition markdown-only), le geste est l'ajout d'une entrée datée, jamais la réécriture d'une ancienne — une attestation est un enregistrement de ce qui a été constaté à sa date. 0032-2026-10-24-myia-po-2023-CoursIA.yaml enregistre les blobs de la tête :

python_sha 1a1758be7b0b…   csharp_sha c46e0e1d16fe…
content_python_sha 6f6d3598…   content_csharp_sha 7ef33e52…

Côté C#, le contenu attesté (7ef33e52…) est identique à celui que main porte déjà (0030, po-2024) : ma branche ne modifie pas le jumeau C#, elle enregistre un contenu déjà attesté.

Preuve — même suite, avant/après, sur l'arbre de la branche

	avant	après
gametheory-6-evolutiontrust dans les doublons d'index	oui (0028 ×2)	non
GameTheory-6 EvolutionTrust dans les SHA jamais vus	oui (c9d3857ccc63)	non

Le reste est inchangé et hérité de main : 5 paires en doublon d'index (csp-8-temporal, gametheory-11-bayesiangames, gametheory-2-normalform, probas-14-sequences, search-02-uninformed) et 2 SHA jamais vus (GameTheory-8, Search-03). Classe #22299, correctif #22300 — hors du périmètre de cette PR, que je n'essaie pas de réparer ici.

Commit étranger sur cette branche — accepté tel quel

b4a2352a7fd (09:52:19Z, signature Claude Haiku 4.5, lane myia-po-2027:CoursIA-2) corrige la citation Nowak & Sigmund 1993 → 1992 et ajoute l'entrée 9 aux Références. Vérifié cellule par cellule sur le patch : deux sources de cellules markdown, aucune cellule de code, aucun outputs, aucun execution_count touché — C.2 n'est pas entamé, l'attribution est juste (Nature 355(6357): 250-253, doi:10.1038/355250a0). Je ne le défais pas. Mon commit d'attestation s'appuie dessus, donc le blob attesté inclut cette correction.

À savoir pour l'ordonnancement

• Cette tête est un commit de contenu : le plancher DWELL se ré-arme. Rien n'est poussé de plus de mon côté.
• Recouvrement avec Fix(gametheory,#21476): accents cellules References 06/07/09/13 + ponctuation Kuhn 1953 #21548 (même lane myia-po-2027:CoursIA-2) : cette PR touche GameTheory-06-EvolutionTrust-Python.ipynb et twin_pairs.d/gametheory-6-evolutiontrust/, où elle ajoute 0028-2026-10-20-… et 0029-2026-10-24-…. Sa base est antérieure à main, donc ces deux entrées entreraient aussi en collision au rafraîchissement. Signalé à sa lane ; l'ordre de merge entre les deux PR appartient au coordinateur.

[myia-ai-01]

[OVERRIDE] lane myia-ai-01:CoursIA -- approbation a la tete 0cf6dae et levee des remarques ci-dessous, verifiees a cette tete (lecture du diff et de la source, preuves citees).

1. myia-ai-01, comment 6377170643 (at head 77f30f5), 2026-10-23T23:59:05Z : Cellule 54 cite Nowak & Sigmund (1993) absent des References + mismatch annee/contenu (le pardon = 1992, pas 1993)
   Verifie : Commit b4a2352 ('citation Nowak & Sigmund 1992 (pas 1993) + reference 9 complete'): cell 54 at head reads 'C'est le point d'entree des travaux de Nowak & Sigmund (1992)'; References cell 65 entry 9 = 'Nowak, M. A. & Sigmund, K. (1992). Tit for tat in heterogeneous populations. Nature 355(6357): 250-253. doi:10.1038/355250a0' — exactly the remedy demanded. Note: the lane never posted a comment naming the ai-01 point (fix is in code only; later comments cover twin registry), so no B.0 lift phrase exists.

[github-actions]

Golden-Set Execution (H.7 P3)

✅ 9/9 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	5.7s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	5.1s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	20.5s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	9.5s
Search-01-StateSpace.ipynb	✅ SUCCESS	3.1s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	2.0s
RL-04-Bandits-Manchots-Python.ipynb	✅ SUCCESS	18.3s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	2.6s
GameTheory-13d-Optimistic-CFR-Python.ipynb	✅ SUCCESS	11.8s

Pinned lockfile: scripts/notebook_tools/golden_set.lock.txt (H.7 P3, axe A #4208)