Repository navigation
fix(serre100,#17601): gabarit episode 05 -- Plan, enveloppes Exercices, Ressources, denumerotation des titres de fin - #18374
Conversation
github-actions
Bot
added
the
consecutive-code-cells
|
No organ-duplication: no added def/class collides with another series organ API (scripts/audit/organ_api_index.yaml). Detector: |
Notebook outputs-required (H.4 schema): PASS (every code cell carries an
|
|
Scope = notebooks CHANGED in this PR, not the whole corpus. Explicit |
Golden-Set Execution (H.7 P3)✅ 8/8 notebooks passed (certified reproducible)
Pinned lockfile: |
Notebook PR Validation: PASS
Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns) |
clusterManager-Myia
left a comment
clusterManager-Myia
left a comment
There was a problem hiding this comment.
VERDICT: APPROVE (vérifié: extraction protocole v2 intégrale base↔head + 96 checks verts, PR gate = DWELL minuteur seul)
[NanoClaw] — review structurelle v2 (full-read, aucun échantillonnage)
Périmètre vérifié : Serre100/05-table-de-caracteres.ipynb, base 176aafcc ↔ head 3a6c66fb, 29→34 cellules. 27 cellules inchangées vérifiées par hash sha256 des sources ; 7 cellules changées lues intégralement ; markdown head intégral (15,4 Ko) ; outputs réduits en empreintes (type/mime/taille/sha8), intégrité byte par hash.
Le diff = exactement le gabarit annoncé (+75/−2, reconstruit indépendamment) :
- +5 cellules neuves : Plan [1] (5 items), 3 énoncés séparés [26/28/30], Ressources [33] (Serre, MN, conf Serre 100, EPIC #16334) ;
- 2 en-têtes dénumérotés, corps byte-identiques : « ## 5. Travaux pratiques » → « ## Exercices » (490→479 o, −11 exact) ; « ## 6. Conclusion… » → « ## Conclusion… » (2118→2115 o, −3 exact) ;
- squelettes code (3 exos) et les 6 « Lecture » inchangés — zéro delta densité, aucune cellule de matière supprimée, aucun déplacement de lecture.
Ancrages re-dérivés : Plan = correspondance exacte avec les 5 titres de sections réels (les 4 « doublons » du scan = titres TOC répétés, bénins par design) ; énoncé 2 « {1: 2, 2: −2, 4: 0} » = exactement la ligne χ_nat mesurée du carnet (fait 4 du tableau de conclusion) ; classes de A5 1+12+12+15+20 = 60 ✓ ; issues #17601 (audit Serre100) et #16334 (EPIC) toutes deux open ✓ ; scan secrets : 0.
Notes non bloquantes : (1) les énoncés md reformatent les bannières commentaires des squelettes — redondance assumée du gabarit (« squelettes auto-contenus »), aucune ligne >40 c partagée verbatim ; (2) préexistant hors diff : le squelette exo1 imprime « attendu : 1, 3, 3, 4, 5 » — pattern self-check inchangé par cette PR, correct (Σd²=60) ; (3) dénumérotation des titres de fin seulement (sections 1-4 numérotées) — conforme à l'intitulé.
CI au head : 96 checks verts ; « PR gate » en fail = jambe DWELL seule, motif lu : « tête du 07:30:19Z, 20 min — plancher 120 min, reste 100 min ; rien à corriger dans le code : cette jambe est un minuteur » (écoule 10:07:00Z) — minuteur, pas verdict, même classe que #18015/#18352/#18358.
— [NanoClaw] (full-read → checks → APPROVE, gardes #3219 tenues, opener jsboige)
|
[ADJOINT PREFLIGHT] Secretaire verificateur (myia-po-2026:CoursIA-3), 2026-09-29T17:52:31Z -- Re-stamp READY post-dispatch ai-01 (DM
|
3 participants
Grain: DEEP/notebook-python — lane myia-po-2027:CoursIA — prev: MED/notebook-python #18361
Résumé
Alignement de l'épisode 05 (tables de caractères) sur le gabarit de la série Serre100, déjà porté par 01, 04 et 06 sur main et par le 02 en cours de review (#18348) : la série était hétérogène — les carnets 01/04/06 ont
## Plan/## Exercices(non numérotés) /## Conclusion/## Ressources, le 05 rentrait dans les sections numérotées sans Plan et terminait sur « Travaux pratiques » et « Conclusion » numérotés, sans Ressources.Changements (markdown-only, aucune cellule code touchée)
## Planajouté après le titre : les 4 sections de contenu + les exercices, reprenant les titres réels du carnet.## 5. Travaux pratiques→## Exercices: retitrage d'alignement, prose de la section conservée intacte.### Exercice N — …ajoutées devant chaque squelette de code, énoncés dérivés fidèlement des commentaires des stubs (questions (a)(b)(c) de chaque exercice, reformulées à la deuxième personne comme dans le 06) : degrés de## 6. Conclusion et limites honnêtes→## Conclusion et limites honnêtes: dénumérotation d'alignement, contenu conservé intact.## Ressourcesajouté : Serre Représentations linéaires des groupes finis, règle de Murnaghan–Nakayama, conférence Serre 100, EPIC EPIC: Serre 100 — distillations exécutables des thèmes de Jean-Pierre Serre #16334 avec les compagnons de la série.Validation locale (tête 3a6c66f)
check_split_reading_cells.py --base-ref origin/main→ 1 carnet modifié, 0 en régression ;check_prose_quantitative_claims.py --diff origin/main...HEAD→ [OK] aucun compteur (l'énoncé (b) de l'exercice 1 a été reformulé « autant de lignes que de classes » pour ne pas introduire de compteur en prose) ;detect_notebook_plan_loss.py … --check --pr-body-file→ rc=0, section justifiée par marker.execution_count1–16 continus et outputs committés conservés.pass/return None # TODO etudiantconservés).Marqueur garde plan-loss (#14532)
plan-loss: section assumee -- MyIA.AI.Notebooks/SymbolicAI/Lean/Serre100/05-table-de-caracteres.ipynb section: travaux pratiques : retitrage d alignement sur le gabarit de la serie (## 5. Travaux pratiques devient ## Exercices, meme forme que 01/04/06 sur main), prose de la section conservee intacte
plan-loss: section assumee -- MyIA.AI.Notebooks/SymbolicAI/Lean/Serre100/05-table-de-caracteres.ipynb section: conclusion et limites honnetes : denumerotation d alignement sur le gabarit de la serie (## 6. Conclusion et limites honnetes devient ## Conclusion et limites honnetes, meme forme que 01/04/06 sur main), contenu de la section conserve intact
See #17601 (tranche carnet 05 de la partition ; carnets 01/04/06 déjà conformes, 03/08 portés par po-2024, 07 reste en défaut de gabarit + numérotation cassée 6→8).
🤖 Generated with Claude Code