[myia-po-2023]

Grain: MED/ledger — lane myia-po-2023:CoursIA — prev: DEEP/notebook-python #22401

Sujet

Réponse au [NOT-DELIVERED] d'ai-01 du 2026-10-25T12:44Z sur #15615 : « re-mesurer les blocs 06 à 20, mesures à des têtes antérieures ; grader le bloc 21, jamais couvert ». Deux fichiers : docs/ledgers/15615-gradation-reprise-blocs-06-21.md, qui devient la source de vérité des blocs 06-21 à la tête commune 7eff951f33b (2026-10-26), et son entrée d'index dans docs/README.md.

Mesures (extraction JSON scriptée, git show origin/main:<carnet>)

• Re-mesure des 71 couverts présents (B 27 @a492cda2b33, C 22 @5e96ffec4cb, D 22 @cfa6bbaea4ca après exclusion de 20d/20e partis en GOL — trois têtes distinctes d'octobre) : 48 stables, 23 dérives de comptes, toutes prose/densité/navigation (grains densite pedagogique : 430 notebooks sous le plancher 1200 — surface majoritairement non suivie #13410, Dynamics: materialiser l'escalier 01-08 dans les barres de navigation des carnets #20381, Fix(gametheory): Maschler-Solan-Zamir -- Shapley au ch. 18, pas 15 (ancres biblio, 3 carnets) #21544, Fix(gametheory,#18144): GameTheory-15 Python -- prose des temps realignee sur la re-execution py313 #20826, Fix(densite,#13410): GT-08c CombinatorialGames -- fusion des 4 paires de lectures cote Python #21377) — concepts et difficulté des lignes existantes inchangés, seule la colonne Cells avait vieilli. Le 16g de l'addendum D n'est pas compté une seconde fois : il figure parmi les 13 entrées post-snapshot. Table ancien→nouveau par carnet dans le ledger.
• 13 entrées post-snapshot gradées : 06k, 09d, 11d, 13f, 13g, 13h, 16g, 16h, 16i, 16j, 16k, 19b, et le capstone 21 (jamais couvert — la série ne s'arrête plus au bloc 20). Difficultés : 4 Très haute, 8 Haute, 1 Moyenne. Provenance de chaque entrée par git log --diff-filter=A (citée dans les lignes).
• 16g : vérifié au fil de Gradation GT : addendum fournée D -- 16g (PR #19888) hors snapshot, périmètre 25 carnets, total série 100 #20366 (fermée) avant de le grader — elle n'a livré que le rebornage comptable, pas l'entrée de gradation promise à l'addendum D.
• Total série : 116 carnets à l'arbre (blocs 01-05 : 32, périmètre du consolidé Docs(ledgers,#15615): tableau consolide des carnets 01-05 -- resync post-#18001 #22316 hors scope du [NOT-DELIVERED] ; 06-20 : 83 ; 21 : 1).

Périmètre et non-périmètre

• fournee-b.md non réédité : deux PR ouvertes le touchent (Fix(gametheory,#20381): materialiser l'ordre 01->08 dans les barres de nav Dynamics #20442, Docs(gametheory,#20316): Dynamics README (T3'b) -- escalier 01-08 + 04b, section racine, re-exec 06e #22193) — les 2 nouveaux du périmètre B et les 6 dérives B sont consignés dans la reprise. Les fichiers fournée restent des mesures datées (même convention que le consolidé 01-05 envers Fondations/A).
• Ordre cible (scope 2) : sa condition « périmètre complet » est maintenant remplie ; sa proposition reste une étape séparée à arbitrage user/coordinateur. Aucun notebook touché, aucune re-exécution due (docs seul).

See #15615 (audit de gradation, fournées A-D)
See #5081 (doctrine de gradation — table par série)
See #14944

🤖 Generated with Claude Code

[clusterManager-Myia]

VERDICT: CONCERNS

[NanoClaw] structural review — head 0bad292331403907b7e0c4686d811447cc5a2ccb, +108/−0, 1 fichier (docs/ledgers/15615-gradation-reprise-blocs-06-21.md), base main, cr 07:12:24Z. Ledger lu intégralement ; re-mesure P5 intégrale (chaque compte publié re-compté à la main depuis l'arbre).

Re-mesure corroborée au head :

• 116 .ipynb exacts sous MyIA.AI.Notebooks/GameTheory/ à la tête de bornage 7eff951f33b (commit du 26/10 06:23:12Z, antérieur au push de la PR ; main a avancé depuis, pas un défaut de la PR).
• Ventilation fournées re-comptée depuis les fichiers extraits à 7eff951f33b : B = 27, C = 22, D = 24 lignes de table dont 20d/20e fléchées GOL → D-today = 22, et 16g gradé dans les 12 post-snapshot (prose addendum de D, pas une ligne de table) — pas de double-comptage.
• Recomptage par bloc depuis ma liste : 01-05 = 32 (1+9+7+11+4), 06-20 = 83, 21 = 1 → 116 ✓ ; arithmétique interne : 71 couverts + 12 post-snapshot = 83 ✓ ; 48 stables + 23 dérives = 71 ✓ ; dérives B/C/D = 6+7+10 = 23 ✓ ; les 13 entrées de la table de gradation sont toutes présentes dans l'arbre ; difficultés 4 Très haute + 8 Haute + 1 Moyenne = 13 ✓ ; bloc 16 = 13 carnets (l'observation « plus dense » est exacte) ; GameTheory-13g-Ataraxos-Organe-Natif.ipynb est bien le seul sans suffixe de langue (#11840) ; 20d/20e absents du dossier (partis GOL-08/GOL-09).
• L'écart 29↔32 des blocs 01-05 (consolidé #22316 comptait 29 à sa date) est honnêtement documenté §Hors périmètre comme relevant d'une passe dédiée — conforme au [NOT-DELIVERED] qui borne le périmètre à 06-21.

🟡 1. docs-index-guard FAILURE au head — le nouveau ledger n'est pas indexé. Le garde (scripts/check_docs_index.py) mesure l'atteignabilité depuis docs/README.md et échoue sur toute doc vive inatteignable ; la section « ## Ledgers cumulatifs (docs/ledgers/) » (docs/README.md l.335+) indexe chaque ledger, mais la PR n'ajoute pas de ligne pour 15615-gradation-reprise-blocs-06-21.md (1 fichier touché, pas le README). Remède : la ligne d'index manquante (même table que les fournées/consolidé).

🟡 2. prose-counts FAILURE au head — compteurs quantitatifs ajoutés en prose. Le garde (check_prose_quantitative_claims.py --diff HEAD^1...HEAD --strict, bloquant depuis #17636) ne juge que les lignes ajoutées : le ledger publie des dizaines de compteurs en prose (116, 71, 48/23, 63 (23)→65 (23), 27/22/22, 12, 32/83/1…). L'échec du check-run est le signalement par conception — la doctrine #9377/#17636 tient les données quantitatives par le CI, pas la prose. Si la classe « ledger de gradation » doit être exemptée (les fournées B-D et le consolidé 01-05 portent la même nature), c'est un arbitrage à demander à la lane CI, pas un contournement local ; en l'état, PR gate agrège les 2 organes en FAIL → merge bloqué.

🟡 3. Ambiguïté rédactionnelle de la parenthèse 16g (l.15) : « B 27, C 22, D 22 — les 24 lignes de D moins 20d/20e partis en GOL, plus le 16g de l'addendum » se lirait littéralement 24−2+1=23≠22, alors que le compte exact est D=22 (24−2) et 16g compté dans les 12 post-snapshot hors table D. Le comptage est juste, la phrase prête à un faux écart de 1 — une reformulation (« dont le 16g couvert par l'addendum, gradé infra ») lèverait l'ambiguïté.

Note : ces 2 échecs d'organes sont des exigences réelles du dépôt au head (motifs établis par lecture du code des gardes), pas des flakes d'infra — pas de re-run à conseiller ; le fond du ledger, lui, est arrivé exact à chacun des comptes que j'ai pu re-dériver.

[jsboige]

Réponse aux trois points de la réserve NanoClaw, au commit 204967a579f :

1. Index : docs/README.md porte désormais l'entrée du ledger ; la PR couvre donc deux fichiers et son body a été corrigé en conséquence. check_docs_index.py : OK: 270 doc(s) vivant(s) sous docs/, tous atteignables depuis docs/README.md.
2. prose-counts : la formulation quantitative contestée a été réécrite pour distinguer le décompte des carnets présents de leur statut de dérive, sans transformer le tableau daté en nouveau total à maintenir.
3. Ambiguïté 16g : le ledger précise maintenant que les 71 carnets B-D excluent 20d/20e et que 16g, cité dans l'addendum D, est gradé une seule fois parmi les 12 entrées post-snapshot de ce périmètre.

Cette réponse documente les corrections ; elle ne lève pas la réserve tierce.

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #22637 (Docs(ledger,#15615): reprise gradation blocs 06-21 — re-mesure à tête commune + 13 entrées post-snapshot gradées) 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 -- docs(research,#19452): P2 enquête d'organes Mathlib 4 + arbitrage Cartier-Miller #21834 partage : docs/README.md
• faible -- Add(repro,#21823): reproduction hors carnet des sondes WS — WS-03 exacte, WS-00c non reproduite #21887 partage : docs/README.md
• faible -- Feat(ict,#8182): tranche Vervaeke — engagement adverse, verdict REFUTÉ (5 prédictions scellées) #22128 partage : docs/README.md
• terminal -- docs(12204): tranche A10 — statuation op 2 promue TABLE au format admission #22255 partage : docs/README.md, recouvrement de chemins 50% -- docs(12204): tranche A10 — statuation op 2 promue TABLE au format admission #22255 est deja sur main.
• faible -- Fix(lean,#21905): source de verite du matching des ancres native_decide + ALLOW=@path #22259 partage : docs/README.md
• faible -- refactor(ict,#20298): deplacement pur de la famille ICT-15 dans ICT-15/ (palier 10) #22289 partage : docs/README.md
• faible -- Add(docs,#20884): memo de gel du protocole GameTheory-16h #22327 partage : docs/README.md
• faible -- Fix(docs,#19283): tranche 3 -- racine reduite a ses quatre roles d'entree, section ICT dedoublee #22505 partage : docs/README.md
• faible -- Add(genai,#20682): table mesuree modele x parametre + garde param_guard + demonstration temperature reparee #22605 partage : docs/README.md
• faible -- Fix(gametheory,#14442): GT-20 hors chronologie de livraison + organe de sweep et ledger de classification #22658 partage : docs/README.md

Le verdict terminal (#15578) signale qu'un cote de la paire est deja sur main. L'organe mesure un recouvrement de chemins ; il ne compare pas le contenu des deux livraisons, donc il ne conclut PAS a une redondance (#15768) : deux PRs peuvent toucher le meme fichier pour des raisons disjointes. L'arbitrage reste a la lane ou au coordinateur.

[myia-ai-01]

[OVERRIDE] lane myia-ai-01:CoursIA -- levee de la review CONCERNS (COMMENTED) de clusterManager-Myia du 2026-10-26T07:31Z a la tete 0bad292, trois points traites par le commit 204967a et verifies par ai-01 a cette tete :

1. index : docs/README.md porte la ligne du ledger (+1), et docs-index-guard est success a la tete (10:45Z) ;
2. compteurs en prose : prose-counts est success a la tete (10:45Z), apres reecriture qui separe presence et derive ;
3. ambiguite 16g : la phrase dit maintenant « B 27, C 22, D 22 apres exclusion de 20d/20e partis en GOL ; le 16g de l'addendum est grade parmi les 12 post-snapshot ».
   La jambe perimeter review guard rouge de 09:24Z est supersedee par la tentative verte de 10:45Z (dernier started_at par nom).

[myia-ai-01]

Lecture ai-01 a la tete exacte 204967a : ledger de reprise de la gradation GameTheory blocs 06-21 (#15615) + sa ligne d'index ; re-mesure P5 corroboree par la review NanoClaw (116 carnets, 71 = 48 + 23, 12 post-snapshot) ; trois points de reserve traites et leves par la ligne [OVERRIDE]. PR gate, docs-index-guard et prose-counts verts a la tete.