From c99154d7f07a85b096e202f1d34bbbdbe0ebf8af Mon Sep 17 00:00:00 2001 From: jsboige Date: Sun, 13 Sep 2026 23:48:58 +0200 Subject: [PATCH] fix(gametheory,#15612): GT-16d -- 3 refs Lean stale residuelles du renum (22c/26/27 -> 21c/24/25) Finding Hermes 21:30:08Z sur #15613 traverse par le merge : la cellule 24 (markdown) citait Lean-22c/26/27 alors que le renum 2 paliers les deplace en 21c/24/25 ; les numeros 26/27 designent desormais Munkres/EdgeColoring. Co-Authored-By: Claude Sonnet 5 --- .../GameTheory/GameTheory-16d-Echange-de-Reins.ipynb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/MyIA.AI.Notebooks/GameTheory/GameTheory-16d-Echange-de-Reins.ipynb b/MyIA.AI.Notebooks/GameTheory/GameTheory-16d-Echange-de-Reins.ipynb index b0ead345e6..45559f873f 100644 --- a/MyIA.AI.Notebooks/GameTheory/GameTheory-16d-Echange-de-Reins.ipynb +++ b/MyIA.AI.Notebooks/GameTheory/GameTheory-16d-Echange-de-Reins.ipynb @@ -1305,7 +1305,7 @@ "- **Roth, Sonmez, Unver (2007)** - \"Efficient Kidney Exchange: Coincidence of Wants in a Structured Market\", *American Economic Review* 97(3): 828-851. Article fondateur du kidney exchange formalise.\n", "- **Dickerson, Manlove et al. (2021)** - \"Kidney Exchange and Liver Transplantation\", Chapter in *Algorithms for Optimization and Decision Making*.\n", "- **Hardt, Mendler-Dunner, Paprott, Recht (2023)** - \"Performative Prediction\", ICML. Modele \"reactive market\" qui distingue optimisation d'une seule passe vs simulation performative iterative.\n", - "- **Pattern \"lecture directe des sources\"** - cf notebooks Lean-22c (Descente), Lean-26 (Calibration), Lean-27 (Coherence Finetti), GT-15d (Mobius c.438). Meme strategie : regex balanced sur `theorem|lemma|def|inductive`, signature verbatim, proprete axiomatique verifiee.\n", + "- **Pattern \"lecture directe des sources\"** - cf notebooks Lean-21c (Descente), Lean-24 (Calibration), Lean-25 (Coherence Finetti), GT-15d (Mobius c.438). Meme strategie : regex balanced sur `theorem|lemma|def|inductive`, signature verbatim, proprete axiomatique verifiee.\n", "- **Regle C.1** - pas d'erreur volontaire dans les cellules d'exercice (stub `pass` ou `print(\"Exercice a completer\")`).\n", "- **Regle C.7 (count_code_sorry)** - l'instrument canonique `scripts/lean/count_code_sorry.py --json` (champ `distinct_code_sorry`), JAMAIS `grep -c sorry`. Cf [anti-regression.md](../../.claude/rules/anti-regression.md).\n" ]