docs(notebook,#12797): tranche 3 GameTheory -- 7 cellules de prose qui cassent les runs de code

[jsboige]

Grain: MED/notebook-python — lane myia-po-2024:CoursIA — prev: DEEP/notebook-python #15902

Tranche 3 du drainage de la dette consecutive-code-cells de la serie GameTheory : sept cellules de prose qui cassent les runs de cellules de code consecutives dans trois notebooks.

Le defaut

Trois notebooks portaient des cellules de code consecutives, mesure avant (detect_consecutive_code_cells.py --json) :

Notebook	Run	Cellules
GameTheory-06f-Bounded-Agents-Python	3	13-15 (les 8 certificats)
GameTheory-06f-Bounded-Proofs-Reasoning-Costs	2 puis 3	10-11 (balayage de k), 17-19 (exercices 1 a 3)
GameTheory-06-EvolutionTrust	3	29-31 (is_ess, verdicts, controle positif)

Ce sont des cas de Classe B (defaut canonique de #12797) : des etapes distinctes a sorties reelles, chacune portant deja un # commentaire, mais sans prose markdown entre elles. Aucun n'est un cas de fusion legitime (imports + chargement) — les trois cellules de chaque run produisent des resultats differents.

Les 7 insertions

Notebook	Position	Contenu
06f-Bounded-Agents	avant les certificats 3-5	ce qu'un certificat engage : egalite calculee vs enonce quantifie
06f-Bounded-Agents	avant les certificats 6-8	la proposition Lean et son miroir decidable
06f-Bounded-Proofs	avant le balayage	horizon k, et la borne MAX_DEPTH=3 a garder en tete
06f-Bounded-Proofs	avant l'exercice 2	brief : cout asymetrique par bot
06f-Bounded-Proofs	avant l'exercice 3	brief : un couple dont l'issue depend de k
06-EvolutionTrust	avant les verdicts	un verdict ESS est refutable par un seul mutant
06-EvolutionTrust	avant le controle	le controle positif contre l'instrument casse

Le choix de position n'est pas cosmetique : dans 06-EvolutionTrust, la cellule 32 porte deja un ### Interprétation de la table de verdicts. La prose ajoutee dit ce que l'instrument engage (pourquoi is_ess renvoie ses mutants, pourquoi un controle positif est necessaire), pas ce que la sortie signifie — cette lecture reste a sa place.

Insertion markdown-only

66 insertions, 0 suppression. Aucune source de cellule code touchee, donc aucune re-execution due (C.2) et aucune sortie modifiee. Les cellules ajoutees portent "metadata": {} sans bloc papermill fabrique — meme convention que la tranche 1 (#15957).

Deux conventions mesurees avant d'ecrire plutot que supposees :

• Ids : convention locale de chaque fichier. 06-EvolutionTrust et 06f-Bounded-Agents sont en ids hex ; 06f-Bounded-Proofs est en ids semantiques (06f-exo-2-brief, 06f-exo-3-brief, alignes sur les cellules 06f-exo-2 / 06f-exo-3 qu'ils precedent).
• Typographie : 06f-Bounded-Agents n'a aucun caractere non-ASCII dans ses cellules markdown → prose ASCII ; 06f-Bounded-Proofs utilise l'em dash et les guillemets sans accents ; 06-EvolutionTrust est accentue. Le style « titre d'exercice en markdown au-dessus d'une cellule qui porte deja un commentaire # Exercice » est la convention dominante de la serie : 88 occurrences dans 30 notebooks GameTheory.

Jumeau C#

GameTheory-6 EvolutionTrust est la seule des trois paires enregistree au registre des jumeaux. L'edition markdown-only deplace le blob Python ; l'audit a ete rebaseline en dernier (#8957), dans un commit separe apres le commit des notebooks, parce que --update lit git ls-tree HEAD et refuserait d'attester avant que le notebook soit commite.

Aucune known_differences ajoutee : ce champ decrit les ecarts semantiques entre les deux moteurs, et il n'y en a pas de nouveau. Le jumeau C# de 06-EvolutionTrust etait deja conforme au run (verifie au claim) ; les deux notebooks 06f-* n'ont pas de jumeau C# enregistre.

Verification

Controle	Resultat
detect_consecutive_code_cells.py --json	les 3 notebooks : runs: 0, max_run: 1 (avant : 2 a 3)
check_twin_parity.py --family "GameTheory/.NET-Parity" --check --json	18/18 OK, drift 0
check_docs_links.py --check --base origin/main	rc=0, 0 nouveau lien casse (7038 liens)
Diff	3 notebooks + 1 fichier d'audit ; 66 insertions, 0 suppression
Pre-commit	tous les hooks passent (gitleaks, H.3, scrub papermill, probeAddresses)

Declaration de perimetre

#12797 est CLOSED (fermee le 2026-08-27 apres livraison du detecteur et de son workflow — les 5 criteres d'acceptance portaient sur l'outil, pas sur le drainage). Le drainage de la dette se poursuit en tranches sur cette issue fermee, comme les tranches 1 (#15957) et 2 (#15961), encore ouvertes. D'ou See #12797 et non Closes — et une lane worker ne ferme pas d'issue de toute facon.

Residuel nomme : les jumeaux C#/Lean de la serie, non traites ici.

Hors perimetre, signale : check_twin_parity.py --check fleet rend 154/157. Trois paires sont en DRIFT prealable, hors de ma branche — Probas-16 Sparse-Gaussian-Process, SW-2 RDF-Basics, SW-7 OWL. Le mode CI --per-pair --base origin/main mesure la derive introduite et ne les voit donc pas dans cette PR. Je les signale au coordinateur plutot que de les corriger ici : ce serait un autre sujet.

🤖 Generated with Claude Code

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

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

[github-actions]

Golden-Set Execution (H.7 P3)

✅ 8/8 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	9.0s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	7.1s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	11.2s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	8.5s
Search-01-StateSpace.ipynb	✅ SUCCESS	7.2s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	5.0s
rl_4_multi_armed_bandits.ipynb	✅ SUCCESS	49.5s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	5.1s

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

[github-actions]

Notebook PR Validation: PASS

• Notebooks checked: 3
• Code cells validated: 45
• 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]

DWELL — plancher mecanique, rien a reparer.

PR gate est rouge sur le verdict :

[pr-gate] DWELL -- tete du 2026-09-13T13:22:22Z, 18 min -- plancher 120 min, reste 102 min, leve au premier balayage suivant 2026-09-13T15:22:22Z. Le balayage horaire (pr-gate-stale-sweep.yml, cron '7 * * * *') re-agrege cette jambe des que le plancher est ecoule ; aucun geste manuel n'est requis.

Lu firsthand sur l'annotation du check-run 103730193415 (tete 2b7bb9c2e0f38f7a6d5f56661fd3c24f28a94d87), pas deduit du nom du check.

Aucune action de lane n'est disponible sur cette PR : ni re-push (il remettrait le plancher a zero depuis la nouvelle tete), ni gh pr update-branch (meme effet). Le rouge n'est pas tu — il est qualifie comme plancher mecanique auto-leve.

Justification ecrite exigee par pick_idle_grain.py pour l'echappatoire --ignore-red.

— lane myia-po-2024:CoursIA

[jsboige]

Etat du rouge lu firsthand (annotation du check-run PR gate, job 103730193415) : [pr-gate] DWELL -- tete du 2026-09-13T13:22:22Z, 18 min -- plancher 120 min, reste 102 min, leve au premier balayage suivant 2026-09-13T15:22:22Z (et suivantes, identiques).

Ce rouge est mecanique et auto-leve, aucune action de lane n'est requise ni utile :

• le seul check requis en echec est la jambe DWELL du gate agrege (plancher 120 min) ;
• le balayage horaire pr-gate-stale-sweep.yml (cron 7 * * * *) re-agrege cette PR des que le plancher est ecoule (15:22:22Z passes) -- l'annotation du gate le dit explicitement : « aucun geste manuel n'est requis » ;
• re-pouser ou update-branch RESETTERAIT l'horloge DWELL (committer date du head) : ce serait un mal, pas une reparation ;
• aucune remarque de review en attente : check_unaddressed_nits.py rc=0, reviewDecision none, threads inline ouverts 0 ( mesures du 2026-09-13 ).

Justification ecrite exigee par le picker (--ignore-red) : le rouge est la jambe DWELL du gate, pas un defaut de substance reparable par cette lane.

— lane myia-po-2024:CoursIA

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #15984 (docs(notebook,#12797): tranche 3 GameTheory -- 7 cellules de prose qui cassent les runs de code) 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 -- fix(search,#13751): standardize Search/Applications/CSP/ Csharp -> CSharp (4 files + 8 refs) #15813 partage : MyIA.AI.Notebooks/GameTheory/GameTheory-06f-Bounded-Proofs-Reasoning-Costs.ipynb