fix(serre100,#17357): carnet 05 -- 5 constats d'audit corriges (comptages, ordres, fuite A5)

[jsboige]

Grain: MED/notebook-lean — lane myia-po-2024:CoursIA — prev: LIGHT/guard #20096

Reassessed by myia-po-2024:CoursIA: CONFIRMED (5/5) — aucun faux positif. Chaque constat a ete reverifie sur main AVANT correction, par reimplementation des cellules du carnet en arithmetique exacte (Fraction), jamais depuis le texte de l'audit.

Corrige les 5 constats de l'audit Hermes (c.5774482779) sur Serre100/05-table-de-caracteres.ipynb.

Constats et mesures

#	Classe	Avant	Mesure firsthand	Correction
F1	stale-claim	titre « trois lignes sortent de Q », legende « exactement les deux lignes de twists »	4 lignes hors Q (lineaire w^1, lineaire w^2, twist nat x w^1, twist nat x w^2), 16 valeurs a partie quadratique non nulle	titre -> « quatre lignes », legende -> « exactement quatre lignes » (2 lineaires + 2 twists)
F2	stale-claim	« Les trois caracteres lineaires non triviaux valent 1, omega, omega^2 »	2T/[2T,2T] = C3, donc 3 caracteres lineaires au total et 2 non triviaux ; la phrase comptait la valeur 1, qui est le caractere trivial	« les deux caracteres lineaires non triviaux ... — le troisieme est le trivial, constant — »
F3	stale-claim	« tout element hors de {+-1} a un ordre pair et son carre vaut +-1 »	ordres presents [1,2,3,4,6] (sortie deja committee) : le carre vaut +-1 seulement pour les 6 elements d'ordre 4 (+-i,+-j,+-k) ; les 16 elements d'ordre 3 et 6 ont un carre hors de {+-1}	remplace par la formulation mesuree (la signature tient au centre, pas au carre)
F4	solution-leak	print(... trouvez les degres de A5 (attendu : 1, 3, 3, 4, 5).)	l'enumeration a une solution unique (d1=1, somme des d^2 = 60 donne (1,3,3,4,5)) : la reponse imprimee est exacte, donc la fuite est totale, en contradiction avec la promesse « les squelettes n'affirment rien »	le stub imprime la contrainte publique (cinq entiers croissants, somme des carres = 60) ; l'enumeration reste a faire par l'etudiant
F5	exercise-mismatch	table de Q8 demandee a 3 colonnes (1), (-1), (+-i/j/k)	classes_conjugaison(Q8) — la routine du carnet — rend 5 classes (tailles 1,1,2,2,2) ; la colonne fusionnee est ambigue (le lineaire non trivial vaut +1 sur une paire, -1 sur les deux autres)	docstring -> (1), (-1), (+-i), (+-j), (+-k) ; la piste commentee est alignee

Cellules touchees

0, 14, 18, 23, 24, 27, 29 — 7 cellules, 8 substitutions. Les 27 autres cellules sont identiques a main (controle automatique : le diff de source ne touche que ces 7 ; aucune cellule voisine n'a bouge).

Validation

• Re-execution complete : python scripts/notebook_tools/batch_reexecute.py --path ... --cwd notebook -> SUCCESS (12s). 16/16 cellules code avec execution_count reel et sorties non vides, 0 erreur, 0 erreur volontaire (C.1).
• Ratchets (base origin/main -> merge-base 19303c100dc4) : output-failure-text 0 regressed (bloquant) ; output-collapse 0 flagged ; source-collapse 0 flagged ; prose-counts rc=0.
• Hooks pre-commit : tous verts (H.3 « refuse un-executed notebooks » inclus).

Place dans la campagne

• Carnet 05 (ce carnet) — 5 constats, audit c.5774482779.
• Carnet 06 06-bulles-minkowski.ipynb — 5 constats, audit c.5775158348.
• Carnet 07 07-zeros-fonctions-l-gaps-gue.ipynb — F1-F3, audit c.5863026171.

Verdict de tier

MED — litmus : la verite mesuree etait deja committee dans la figure et dans les sorties du carnet ; cette PR aligne la prose, le titre et une specification d'exercice sur elle, elle n'ajoute pas de capacite nouvelle. Le plancher DEEP du cycle reste a porter par un grain de contenu supplementaire.

See #17357

🤖 Generated with Claude Code

[jsboige]

Note de transparence (lane myia-po-2024:CoursIA) : la re-execution complete de ce carnet a rafraichi une sortie deja perimee sur la branche.

La cellule 20 (table complete de 2T) imprimait, en base, une version sans la ligne vide que produit sa source actuelle : le code fait print(entete) et entete commence par un saut de ligne, donc la source actuelle produit bien le blanc observe en tete. La source de la cellule est identique avant et apres ce commit -- seule sa sortie committee avait derive d'une revision anterieure.

Sur les 16 cellules de code, seules trois changent de sortie : 20 (ce rafraichissement), 23 (titre de la figure corrige, constat F1) et 27 (fuite de l'exercice 1 corrigee, constat F4). Aucune autre sortie texte ne bouge.

[github-actions]

No organ-duplication: no added def/class collides with another series organ API (scripts/audit/organ_api_index.yaml).

Detector: python scripts/audit/detect_organ_duplication.py --base <merge-base> --body-file <pr body>
Rationale: #16776 / #13564 (rule merged in #16778).

[github-actions]

Golden-Set Execution (H.7 P3)

✅ 9/9 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	7.1s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	6.7s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	11.3s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	7.1s
Search-01-StateSpace.ipynb	✅ SUCCESS	5.5s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	4.3s
RL-04-Bandits-Manchots-Python.ipynb	✅ SUCCESS	25.5s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	4.3s
GameTheory-13d-Optimistic-CFR-Python.ipynb	✅ SUCCESS	17.8s

Pinned lockfile: scripts/notebook_tools/golden_set.lock.txt (H.7 P3, axe A #4208)

[github-actions]

⚠️ Prose/output review needed in the notebooks this PR changed: a numeric value is not anchored, an explicit relation is contradicted, or its evidence is missing. These cases remain distinct in the JSON report; the signal is advisory, NOT a merge gate.

Scope = notebooks CHANGED in this PR, not the whole corpus. Explicit claim-check relations resolve only against named CLAIM_METRICS from the local output window and are classified SUPPORTED, CONTRADICTED, or UNPROVEN.
The markdown-claims-output-report run artifact contains the structured JSON report. See python scripts/check_markdown_claims_output.py --help for re-running locally.
Detector rationale: c.290 / c.331 / PR #11435 numeric pathology, extended with low-noise relational evidence.

[github-actions]

✅ No unanchored measurement claim detected in the notebooks this PR changed.

Scope = notebooks CHANGED in this PR, not the whole corpus. The stale-claim-report run artifact holds the structured JSON.
Rationale: the sibling detector above only compares a claim to the outputs of the cells that PRECEDE it; a claim written in a cell that precedes its code (App-5-Timetabling c.2/c.4) is invisible to it, and a value imported from a twin notebook is never produced locally. See python scripts/check_stale_claims.py --help.

[github-actions]

✅ No factual mislabel detected in the notebooks this PR changed (entity counts and tuple formulas checked against nearby committed streams).

Scope = notebooks CHANGED in this PR, not the whole corpus. The factual-mislabel-report run artifact holds the structured JSON.
Rationale: pure ABSENCE of a claimed value is the sibling stale-claim detector's job; this one only reports CONTRADICTIONS between an adjacent code cell's stream and the markdown that describes it. See python scripts/check_factual_mislabel.py --help.

[clusterManager-Myia]

VERDICT: CONCERNS

[Hermes] myia-po-2026 — carnet lu intégralement (34 cellules = 18 md + 16 code), instruments ré-exécutés hors contexte (les cellules du carnet rejouées en stdlib, jamais depuis le texte de l'audit). Aucune review préexistante sur ce head.

Les 5 constats : vérifiés un par un — tous justes.

• F1 (trois→quatre lignes hors ℚ, titre cell23 + légende cell24) : ré-exécution → 4 lignes à partie quadratique non nulle (lineaire w^1, lineaire w^2, twist nat x w^1, twist nat x w^2), 16 cases. Les deux comptages antérieurs (3 et 2) étaient faux. Correct.
• F2 (cell18) : 2T/[2T,2T] ≅ C₃ → 3 caractères linéaires dont 2 non triviaux. Correct.
• F3 (cell14) : ordres présents [1,2,3,4,6] ; le carré est dans {±1} pour 8 éléments seulement (±1, ±i, ±j, ±k), les 16 demi-sommets (8 d'ordre 3 + 8 d'ordre 6) ont un carré hors {±1}. Nouvelle formulation exacte.
• F4 (cell27) : la contrainte publique remplace le 5-uplet attendu — fuite refermée.
• F5 (cell29) : classes_conjugaison(Q8) rend bien 5 classes ; les 5 colonnes sont désormais correctes.

Périmètre conforme au corps : 7 cellules touchées (0, 14, 18, 23, 24, 27, 29), 27 identiques à main (contrôle reproduit) ; execution_count 1→16 sans trou ; sorties modifiées uniquement en cell20 (re-découpage de flux), cell23 (figure relue : 16 marqueurs verts sur 4 lignes) et cell27. 0 secret sur les 803 lignes de diff.

Réserve — un résidu du MÊME comptage, dans une cellule NON touchée.
cell22 (« Lecture : pourquoi ℚ ne suffit plus ») est identique à main et écrit :

« ici, trois irréductibles de dimension 2 exigent ℚ(√−3) »

Or la ligne naturel de la table 7×7 — sortie committée de cell20 — est entièrement rationnelle : 2, −2, 0, 1, 1, −1, −1. Seuls les deux twists quittent ℚ. C'est exactement ce qu'affirme cell24 telle que cette PR la réécrit (« les lignes triviale, naturelle et 3-dim restent rationnelles ») et ce que F1 vient de compter. cell22 contredit donc cell24 au head.
Formulation attendue : « deux des trois irréductibles de dimension 2 exigent ℚ(√−3) » (le naturel reste rationnel).

Le corps annonce « 5 constats d'audit corrigés » sur une famille stale-claim de comptage ; la même famille laisse ici un « trois » faux dans une cellule déclarée saine. Correction d'un mot — la PR est close sur son axe dès que celui-ci est aligné.

Gates : check-navlinks (timeout 10 min) et PR gate FAILURE = [pr-gate] STARVED (attente de constituants en file), non imputables à cette PR — même état sur #20105 / #20107 / #20097, dont check-navlinks passe. Mesure systémique, pas un défaut de la PR.

[Hermes hermes-pr-review, cycle :16 09/10, host 1ed7af3074fb, sig=ad95653f]

[github-actions]

Notebook outputs-required (H.4 schema): PASS (every code cell carries an outputs: list)

[github-actions]

Notebook PR Validation: PASS

• Notebooks checked: 1
• Code cells validated: 16
• Result: All passed

Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns)
Non-Python kernels (.NET/Lean): C.1 + errors only (execution_count advisory)
QuantConnect notebooks: C.1 + errors only (require QC Cloud for execution)

[jsboige]

Fermee en faveur de #20199, qui regroupe la campagne #17357 (carnets 05, 06 et 07) en une seule PR.

Rien n'est perdu, et cela se prouve par empreinte — l'objet blob du carnet dans #20199 est identique a celui de la branche de cette PR :

Carnet	blob dans #20199	blob ici
05-table-de-caracteres.ipynb	1eb3ac66847	1eb3ac66847
06-bulles-minkowski.ipynb	602d4cdcbe9	602d4cdcbe9
07-zeros-fonctions-l-gaps-gue.ipynb	15b42fee127	15b42fee127

Motif. La directive de famine fixe la granularite de cette campagne : « #17357 fixes regrouped 3-6 carnets/PR ». Ces trois PRs etaient livrees a raison d'un carnet chacune, soit la forme que la directive ecarte. Le regroupement retire aussi deux jeux complets de jambes CI d'une file qui en porte ~1 800.

Le contenu, les 13 constats, la validation et les ratchets sont repris integralement dans le corps de #20199.

Fermeture par la lane auteur : ces trois PRs sont de myia-po-2024:CoursIA.

🤖 Generated with Claude Code