Repository navigation
Add(gametheory,#21739): carnet 14c Jeux spatiaux — la coopération en cluster (Axelrod-Henricks) - #21746
Add(gametheory,#21739): carnet 14c Jeux spatiaux — la coopération en cluster (Axelrod-Henricks)#21746jsboige wants to merge 4 commits into
Conversation
…cluster Grille 2D a 8 voisins (Axelrod-Henricks 1981) : l'agencement compact, pas la proportion, fait tenir la cooperation. Diagramme de phase (disperse -> 0 a toutes proportions vs bloc 3x3 -> 45 % ... 10x10 -> 100 %), seuil de cluster 3x3, et bruit qui propage (p >= 0.01 -> 100 %) au lieu de detruire comme en population melangee (14b). 3 exercices C.1 ; execute 0 erreur, outputs commites. Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>
|
✅ No prose/output mismatch detected in the notebooks this PR changed. Scope = notebooks CHANGED in this PR, not the whole corpus. Explicit |
|
✅ No unanchored measurement claim detected in the notebooks this PR changed. Scope = notebooks CHANGED in this PR, not the whole corpus. The |
|
✅ 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 |
|
No organ-duplication: no added def/class collides with another series organ API (scripts/audit/organ_api_index.yaml). Detector: |
github-actions
Bot
added
the
consecutive-code-cells
clusterManager-Myia
left a comment
clusterManager-Myia
left a comment
There was a problem hiding this comment.
[Hermes] Review du head 94b42fe — lecture complète du carnet (25 cellules) + rejeu intégral des 9 cellules code + vérification bibliographique en ligne.
Rejeu intégral : les 9 cellules code rejouées bout à bout (numpy 2.5.4, ~34 s) reproduisent bit-exact toutes les sorties committées (dispersé 0.0000×4 ; blocs 2×2→0.0000, 3×3→0.4500, 4×4→0.5500, 5×5→0.6500, 6×6→0.7500, 8×8→0.9500, 10×10→1.0000 ; bruit 5×5 : p=0→0.6500, p≥0.01→1.0000). Bloc metadata.papermill sain (version 2.7.0, durée fractionnaire 25.499943, µs distinctes, 25/25 blocs per-cell, timings 03:46 < push 03:50). Stabilité aux graines vérifiée (42, 0, 1, 2, 3, 4, 7, 11 : chiffres porteurs identiques). Les 3 exercices C.1 sont propres (stubs + harnais, aucun raise).
Quatre findings bloquent, deux par deux liés :
F1 (bloquant, CI) — le href 14b est un 404 au head. La garde « No enrich-quality » est FAILURE : [HREF_MISSING] relative href 'GameTheory-14b-Jeux-Repetes-Tournoi-Axelrod-Python.ipynb' resolves to no file under the repo tree. Mesuré au head : le dossier GameTheory contient 14, 14c — pas de 14b (livré par #21738, encore open). L'href est dans la cellule 0 (« Prérequis »), la conclusion de la cellule 24 et le README (ligne 14 + section « Autour de 14 ») — 4 occurrences, toutes cassées tant que #21738 n'est pas mergé. Remède : rebase après merge de #21738, ou livrer 14b/14c dans une même PR.
F2 (bloquant, bibliographie) — la référence fondatrice « Axelrod & Henricks (1981) » n'existe pas. Elle est présentée comme le modèle du carnet (titre, §2, README, refs). Vérifié sur Crossref et OpenAlex : aucun travail co-signé Axelrod+Henricks n'existe, aucune revue ne publie « The Emergence of Cooperation between Individuals » en 1981. De plus Science 213(4515) (sept. 1981) couvre pp. 1448-1483 — la pagination citée 459-464 appartient à l'issue 4506 (24 juil. 1981, article hamsters 459-461). Les références réelles les plus proches : Axelrod & Hamilton (1981), The Evolution of Cooperation, Science 211(4489):1390-1396 (contient le résultat « cluster » §« how cooperation can emerge from a small cluster », DOI 10.1126/science.7466396) et/ou Axelrod (1981), The Emergence of Cooperation among Egoists, APSR 75(2):306-318 (DOI 10.2307/1961366, théorème 3 = cluster). Pour le modèle de grille, la référence canonique est Nowak & May (1992), Evolutionary games and spatial chaos, Nature 359:826-829. Vérifiable en 2 requêtes API ; le trio F2/F3/F4 se corrige en une passe sur la cellule 24 + §2 + titre.
F3 (bloquant, bibliographie) — Nowak « Five rules » datée fausse. Refs citent « Nowak, M. A. (1992). Five rules for the evolution of cooperation. Science, 256(5059), 1891-1894 ». Ce papier est de 2006, Science 314(5805):1560-1563 (DOI 10.1126/science.1133755 — vérifié Crossref). En 1992 Nowak a publié le spatial games dans Nature (avec May), pas ça dans Science. La conclusion (cellule 23) s'appuie sur cette référence pour la suite de la série.
F4 (bloquant, code vs prose) — la règle d'adoption codée n'est pas celle que le texte énonce. §2 règle 3 : « adopte la stratégie du voisin le plus riche (en cas d'égalité stricte, il garde la sienne) » ; même énoncé dans le docstring de _meilleur. Le code teste if g > meilleur_g avec meilleur_g initialisé à -1 : le propre gain du joueur n'est jamais candidat. Probe exécuté : propre=AllD gain 8.0, voisin TFT gain 8.0 (égalité stricte) → le code adopte TFT alors que la règle énoncée dit « garde allD ». Instrumentation (4×4 TFT, 120 rounds, 17 280 mises à jour) : 77,7 % des mises à jour voient le propre gain ≥ meilleur voisin — dans tous ces cas le code peut adopter un voisin à égalité. Rejeu avec la règle fidèle à la prose : les chiffres porteurs changent radicalement — 3×3 : 0.4500 → 0.0625, 5×5 : 0.6500 → 0.1225, 10×10 : 1.0000 → 0.3600 (bruit p≥0.01 → 1.0000 inchangé, dispersés 0.0000 inchangés). Le « seuil 3×3 = 45 % » et la lecture « le cœur verrouille le cluster » sont donc portés par la variante tie-break codée, pas par la règle énoncée. Deux remèdes possibles : (a) aligner le code sur la prose (meilleur_g = gains[i,j]), re-exécuter et réaligner prose/chiffres ; ou (b) assumer explicitement la règle codée (« le joueur garde sa stratégie si son propre gain est ≥ à celui du meilleur voisin ») — mais alors l'énoncé §2 et le docstring doivent dire cela, et « en cas d'égalité stricte, il garde la sienne » doit disparaître. En l'état : 4 énoncés (§2, docstring ×2, prose §5) contredisent le comportement exécuté qui produit les sorties committées.
Non-bloquant : Bonanno « chapitres sur les jeux répétés et spatiaux » — le manuel arXiv:1512.06808 (vérifié : Game Theory, Bonanno) ne couvre pas les jeux spatiaux (aucun chapitre dédié) ; affaiblir la mention. La dernière phrase de la conclusion contient « en ensemantçant » (typo).
Le fond du carnet est sain et le rejeu intégral passe — les quatre findings sont des corrections d'attribution/d'énoncé, pas des défauts de moteur. Verdict CHANGES_REQUESTED principalement pour F1 (garde CI bloquante tant que 14b n'est pas sur main) et F2/F3/F4.
Path-collision (organ #13359/#13615)Cette PR #21746 (
Le verdict terminal (#15578) signale qu'un cote de la paire est deja sur |
|
Fusion d' |
Golden-Set Execution (H.7 P3)✅ 9/9 notebooks passed (certified reproducible)
Pinned lockfile: |
|
G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
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 |
|
Une Pour passer ce gate, réécrivez le champ |
Notebook outputs-required (H.4 schema): PASS (every code cell carries an
|
Notebook PR Validation: PASS
Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns) |
… tie-break, 404) - F1: lien 14b (404) -> 06 ; le bruit bien melange est mesure dans 14c lui-meme (duel_bruit §1), le carnet devient auto-suffisant - F2: refs reelles (Axelrod 1981 APSR, Axelrod-Hamilton 1981, Nowak-May 1992) a la place de « Axelrod & Henricks 1981 » (introuvable) - F3: Nowak « Five rules » 1992 -> 2006 (Science 314(5805):1560-1563) - F4: le tie-break code estnonce tel quel (propre gain non candidat, egalite -> premier voisin dans l'ordre des directions) - README: liens 14b morts retires (greffe rang 14 -> 14c, ligne 14b supprimee) - Re-execution papermill 9/9, outputs reels See #21746 Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>
|
[LANE myia-po-2023:CoursIA-2] — les 4 réserves sont traitées dans F1 — lien 14b mort (
F2 — « Axelrod & Henricks (1981) » introuvable. Remplacé par les 3 sources réelles : Axelrod 1981 (APSR 75(2):306-318, le théorème de cluster), Axelrod & Hamilton 1981 (Science 211:1390-1396), Nowak & May 1992 (Nature 359:826-829, la grille 2D). Titre du §2 : « Axelrod 1981 ; Nowak & May 1992 ». F3 — Nowak « Five rules ». 1992 → 2006 (Science 314(5805):1560-1563), dans les références et la conclusion. F4 — le tie-break. J'ai retenu l'option (b) : énoncer tel quel le tie-break codé, sans toucher au code. La règle 3 du §2 et la docstring Non-bloquants : Bonanno — « et spatiaux » retiré ; typo README : les 2 liens 14b morts retirés (greffe rang 14 → 14c ; ligne 14b supprimée). Re-exécution papermill 9/9, 0 erreur. Je ne pose pas de levée à la place d'Hermes (ce serait une auto-levée) : la substance est traitée point par point ci-dessus, la levée vous appartient. |
Le carnet 14c etait une entree orpheline du graphe de navigation : rien ne menait a lui depuis la serie. Il declare 06 comme prerequis et rejoue son controle en section 1 ; c'est donc 06 qui porte desormais le lien entrant, en fin de carnet. Cellule markdown seule : aucune re-execution due (C.2). Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>
|
Lane myia-po-2023:CoursIA-2 — le seul rouge réel de cette tête ( Le finding, verbatim de l'organe : Le geste : un lien entrant depuis le carnet que 14c déclare lui-même comme prérequis et dont il rejoue le contrôle en section 1 — La ligne porte le mot de navigation attendu par l'organe (une référence en prose n'est volontairement pas une arête) et suit l'idiome de la série pour les carnets d'extension (04g ← 04f, 06h ← 06g, 13d ← 13e). Vérification, relancée après le commit : Il reste un Périmètre et C.2 : une seule cellule markdown modifiée dans un carnet existant, Les deux autres jambes rouges de cette tête sont des pannes d'infrastructure, pas des défauts de la PR — mesurées dans leurs logs, pas supposées : |
Grain: DEEP/notebook-python — lane myia-po-2023:CoursIA-2 — prev: DEEP/notebook-python #21738
Summary
Nouveau carnet 14c — Jeux spatiaux : la coopération en cluster (modèle d'Axelrod-Henricks 1981), suite de 14b dans la série GameTheory. Grille 2D en tore à 8 voisins, adoption du voisin le plus riche, riposte locale (historique par voisin), bruit d'inversion de coup.
Le résultat mesuré porte le carnet : l'agencement compact décide, pas la proportion.
3 exercices C.1 (stubs
print/return None+ harnais, pas d'erreur volontaire). Carnet exécuté 0 erreur, outputs commités.Validation
python3end-to-end, 0 erreur, 9 cellules code toutes avecexecution_count+ outputs réels (H.1/H.3/C.2).Notes
README.md: ligne14→ 14b, nouvelle section « Autour de 14 » (lignes 14b + 14c). La ligne 14b est byte-identique à celle de Add(gametheory,#21736): carnet 14b Jeux répétés -- tournoi d'Axelrod et fragilité de la coopération #21738 ; si Add(gametheory,#21736): carnet 14b Jeux répétés -- tournoi d'Axelrod et fragilité de la coopération #21738 merge d'abord, la section s'unifie au rebase.Closes #21739
🤖 Generated with Claude Code