[jsboige]

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

Contre-audit de fond — GT-18b Casser la composition (Python)

Arc contre-audit GameTheory, carnet 18b. Méthode 4 passes ; claims
quantitatives, attributions et références croisées vérifiées FIRSTHAND
contre origin/main.

Défaut (pass 2 — référence bibliographique fabriquée)

Le chapeau (cellule 0) citait « Hedges (2015), The composition of games ».
Aucun tel article n'existe. Vérifié FIRSTHAND sur la liste publique de J. Hedges
(julesh.com/papers.html, exhaustif : articles et technical reports) :
l'unique publication 2015 est Dialectica categories and games with bidding
(TYPES'14, LIPIcs 39:89-110) et le seul technical report 2015 est The
selection monad as a CPS transformation (arXiv:1503.06061). Aucune entrée
« The composition of games ». La référence est fabriquée, et elle est absente
du bloc References du carnet (cellule 25).

Remplacée par la référence primaire réelle, déjà portée par ce bloc :
Ghani, N., Hedges, J., Winschel, V., Zahn, P. (2018), Compositional Game
Theory, LICS '18, arXiv:1603.04641 — le papier qui établit la composition des
correspondances d'équilibre que la Surface A analyse (le chapeau et la cellule 9
en relèvent la « propriété de Hedges »).

Passes 1, 3, 4 — clean (vérifiées à la main)

• Quantitatif vs sortie : recomputé à la main, concordant —
  cellule 6 (plateau exact c=0.5 : valeurs -0.25/-0.25/-2.25, BR={0,1}, profil
  naïve (0,0)) ; cellule 8 ((0,0) u1=-0.25, déviation +0.300 → NON-NASH ;
  (1,1) u1=0.05, écart 0.000 ; contre-fait r=0 [0,0]) ; cellule 11 (frontière
  de Banach : convergence ≤ delt 1.9, 2-cycle intérieur à delt 2.0
  (a=0.9↔-0.3, |a-b|=0.6), 2-cycle sur rail ≥ 2.1 (a=1.0, |a-b|=0.7)) ;
  cellule 14 (additive au rail en 1 pas δ=0.5 / 5 pas δ=-0.3 ; homing ratio
  0.200 = L=0.2).
• Provenance « mesuré » : les résultats proviennent de l'exécution réelle
  numpy (cellules 3, 6, 8, 11, 14) ; les exercices 1-3 (cellules 19, 21, 23)
  sont des stubs C.1 conformes (= None) — aucune claim « mesuré » ne repose
  sur un stub.
• Références croisées : la cible nav GameTheory-18-Open-Games-et-Lentilles-Python.ipynb
  existe sur origin/main ; GT-18 §3 (« Boucle : l'update modifie le global »)
  porte bien la boucle W -> P -> decision -> update -> W', l'update
  a' = clip(a + delta, -1, 1) et le cas delta=0.5 → 1.0 que les cellules 10/13/15
  de 18b décrivent.

Fix

• cellule 0 (markdown) : « Hedges (2015), The composition of games » →
  « Ghani, N., Hedges, J., Winschel, V., Zahn, P. (2018), Compositional Game
  Theory (LICS '18, arXiv:1603.04641) » — markdown seul, pas de re-exécution.

Diff : 1 fichier, 1 ligne.

---

🤖 Generated with Claude Code

[github-actions]

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

[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]

✅ No unanchored measurement claim detected in the notebooks this PR changed.

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]

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]

Golden-Set Execution (H.7 P3)

✅ 9/9 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	4.7s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	3.5s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	3.8s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	3.7s
Search-01-StateSpace.ipynb	✅ SUCCESS	3.0s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	2.4s
RL-04-Bandits-Manchots-Python.ipynb	✅ SUCCESS	15.4s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	2.4s
GameTheory-13d-Optimistic-CFR-Python.ipynb	✅ SUCCESS	8.7s

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

[github-actions]

Notebook PR Validation: PASS

• Notebooks checked: 1
• Code cells validated: 8
• 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)

[jsboige]

Contenu fondu en fournee dans #24354 (contre-audit GameTheory, concern #24280) — le commit est preserve par cherry-pick, rien n'est reecrit. Cette PR se ferme vers la fournee.

[jsboige]

[REPLIÉE] Repliée en fournée dans la PR #24361 (classe contre-audit GameTheory, mandat user 02/11 « thin-prs-go-out-in-class-batches »). Le(s) commit(s) d'origine sont cherry-pickés tels quels dans la fournée — rien n'est réécrit. Voir #24361.