docs(ledger,#15573): #15615 — cadrage GameTheory réécrit en 4 fournées d'audit (114 carnets mesurés)

docs/ledgers/15573-cadrage-granulaire.md

@@ -34,7 +34,7 @@ La **première** moitié est livrée (PR #15457 réécrite en cinq fournées G.4
 | 4 | [#16231](https://github.com/jsboige/CoursIA/issues/16231) | `cadrage-par-item` | **OUVERTE** | « une PR par série » — idem, conforme à G.4. |
 | 5 | [#16081](https://github.com/jsboige/CoursIA/issues/16081) | `pour-chaque` | **CANDIDATE-DELIVERED** (PR #16082 + #17236 mergées, c.1136) | Cadrage sur l'organe kernel-drift-guard ; grain unique, déjà livré. |
 | 6 | [#16034](https://github.com/jsboige/CoursIA/issues/16034) | `pour-chaque` | **OUVERTE** | « pour chaque lake jonctionné » — 15 lakes, OK G.4. |
-| 7 | [#15615](https://github.com/jsboige/CoursIA/issues/15615) | `pour-chaque` | **OUVERTE** (GameTheory) | « pour chaque notebook de la série » — 33 carnets GameTheory, au-dessus du seuil G.4 (15 fichiers). **À réécrire en 2-3 fournées**. |
+| 7 | [#15615](https://github.com/jsboige/CoursIA/issues/15615) | `pour-chaque` | **RÉÉCRITE (2026-10-03)** | « pour chaque notebook de la série » — **114 carnets** mesurés sur main (blocs 01-25 + accrétions). Body réécrit avec préfixe daté : audit en 4 fournées (A 01-05 ×33, B 06-10 ×30, C 11-15 ×25, D 16-25 ×26). |
 | 8 | **#15573 (elle-même)** | `cadrage-par-item` | **CYCLE EN COURS** (ce ledger) | Auto-référencement. |
 | 9 | [#15516](https://github.com/jsboige/CoursIA/issues/15516) | `pour-chaque` | **OUVERTE** | « Pour chaque fichier fautif » — 25 fichiers / 90 règles, conforme. |
 | 10 | [#14944](https://github.com/jsboige/CoursIA/issues/14944) | `sweep-N-fichiers` | **OUVERTE** | « 13 fichiers » mesurés, OK G.4. |
@@ -47,23 +47,24 @@ Les 11 hits se répartissent ainsi :
 - **4 hits déjà conformes** (#16638, #16231, #16034, #15516, #14944, #16081-delivered) : cadrage déjà par série/domaine ≤ 15 fichiers, OK G.4.
 - **1 hit auto-référent** (#15573) : ce ledger.
 - **2 EPICs partitionnés** (#17073, #17066) : cadrage d'origine déjà granularisé, partition en sous-EPICs documentée.
-- **4 hits à réécrire** (#15615, #14926 et 2 autres si l'instrument détecte plus) : cadrage d'origine dépasse G.4, nécessitent une réécriture en fournées.
+- **Hits réécrits** : #18058 (2026-09-29, PR #18382) · #15615 (2026-10-03, ce ledger). **Reste à réécrire** : #14926 (et d'autres si l'instrument en détecte) — cadrage d'origine dépasse G.4, nécessitent une réécriture en fournées.
 
 **Conclusion** : la méthode de #15573 ne s'applique **pas uniformément**. Les cadrages granuleux **par série** sont déjà G.4-compatibles ; les cadrages **par fichier unitaire** sur des ensembles > 15 (GameTheory 33 carnets) dépassent le seuil et appellent une réécriture.
 
-## Réécriture pilote — #15615 (GameTheory, 33 carnets)
+## Réécriture pilote — #15615 (GameTheory)
 
-**Avant** : « pour chaque notebook de la série, caractériser (prérequis, concepts introduits, …) ». Cela produit 33 items.
+**Avant** : « pour chaque notebook de la série, caractériser (prérequis, concepts introduits, …) ». La recension du 2026-09-22 comptait 33 carnets ; la mesure du 2026-10-03 en trouve **114** sur main (tous numérotés, blocs 01-25 + accrétions lettrées ; blocs denses : 06×12, 15×10, 03×8, 04×8).
 
-**Réécriture proposée** (à appliquer par une lane spécialisée GameTheory) :
+**Réécriture APPLIQUÉE le 2026-10-03** au body de [#15615](https://github.com/jsboige/CoursIA/issues/15615) (préfixe daté, historique conservé) — l'audit de gradation se livre en 4 fournées :
 
-| Fournée | Domaine | Notebooks | Justification |
+| Fournée | Blocs | Carnets (mesuré) | Thèmes dominants (titres) |
 |---|---|---|---|
-| 1 | GameTheory core (01-10) | 10 | Séquence de référence — prérequis / concepts stables |
-| 2 | GameTheory avancé (11-20) | 10 | Variantes (Nash, SPE, mécanisme) — granularité propre |
-| 3 | GameTheory application (21-33) | 13 | Cas d'usage (Bayesian, Combinatorial, etc.) — hétérogène |
+| A | 01-05 | 33 | forme normale, Nash, premières preuves Lean |
+| B | 06-10 | 30 | combinatoire, évolution, répétés, extensifs, Stackelberg |
+| C | 11-15 | 25 | jeux coopératifs, bayésiens |
+| D | 16-25 | 26 | design de mécanismes, bayésien appliqué, open-source |
 
-Chaque fournée ≤ 15 fichiers, ≤ 3000 lignes hors notebooks, 1 domaine (G.4 ✓).
+Une fournée = un sous-tableau de gradation posté en commentaire de l'issue = un grain MED livrable indépendamment ; l'ordre cible (scope 2) se consolide après les 4 fournées. Les scopes 2 et 3 du body d'origine sont inchangés.
 
 ## Acceptance livrée (cycle c.1138)
 
@@ -74,7 +75,8 @@ Chaque fournée ≤ 15 fichiers, ≤ 3000 lignes hors notebooks, 1 domaine (G.4
 
 ## Ce qui reste hors périmètre (acceptance différée)
 
-- Réécriture effective des 3 autres hits (#14926 et 2 autres à confirmer) : travail d'autres lanes (GameTheory, GenAI, ML).
+- Réécriture effective de #14926 (dernier hit ouvert de la recension du 2026-09-22) : cadrage « une PR par notebook ou par groupe homogène » à borner — domaine claudish.
+- **Exécution des fournées A-D de #15615** : la réécriture pose le cadrage, les sous-tableaux de gradation restent à produire par une lane spécialisée GameTheory.
 - Élargissement de l'instrument aux cadrages implicites (énumérations sans mot-clé) : non prioritaire — la détection actuelle suffit à montrer le défaut.
 
 ## Voir aussi