diff --git a/docs/ledgers/15573-cadrage-granulaire.md b/docs/ledgers/15573-cadrage-granulaire.md index 6bf7503945..7e471cb6c7 100644 --- a/docs/ledgers/15573-cadrage-granulaire.md +++ b/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