Repository navigation
Conversation
…e FCC, enonces, f-string) Audit Hermes c.5775158348 reverifie constat par constat sur main AVANT correction (mesures rejouees sur le carnet lui-meme, geometrie et sorties recomputees) : - F1 stale-claim (en-tete) : l'en-tete creditait E8 ET Leech de "16 000 fois au-dessus" de Minkowski-Hlawka ; la sortie de la cellule du tableau donne E8 = 32x et Leech = 16186x (la lecture du meme tableau disait deja juste). En-tete corrige : E8 32 fois, Leech 16 000 fois. - F2 stale-claim (figure) : les 4 points FCC etaient donnes en unites a/2 mais traces en unites a -- distance minimale 1,414 pour un contact exige a 2*r_s = 0,707, soit des spheres separees d'un demi-diametre alors que le titre annonce "contacts sur les diagonales de face". Echelle corrigee (points divises par 2) : distance minimale 0,707107 = 2*r_s, contact exact. - F3 orphan-statement : en-tete de tableau markdown a 6 colonnes (demi-distance, det) sans separateur ni corps, et annoncant des colonnes absentes de toute sortie du carnet -- le tableau reellement imprime par la cellule suivante a un autre schema. Enonce orphelin supprime. - F4 stale-claim (dependances) : la declaration de tete annoncait "stdlib + matplotlib" alors que le carnet fait import numpy et emploie np. 11 fois ; un apprenant suivant ce contrat tombait sur ModuleNotFoundError a la figure FCC. numpy ajoute a la declaration. - F5 false-printed-equation : le f-string imprimait la notation brute des entiers negatifs (1^2 + -2^2 = 5), fausse lue litteralement -- et telle que Python l'evalue, -2^2 valant -4. Parenthesage corrige : (1)^2 + (-2)^2 = 5 ; les 7 lignes affichees sont desormais des egalites vraies (verifie par evaluation litterale sur la sortie re-executee). Cellules 0, 2, 11, 14, 15 modifiees ; re-execution complete du carnet (10 cellules code, exec_count reels, 0 erreur, 0 erreur volontaire, sorties commitees ; sorties +20 684 octets, aucun stub vide). See #17357 Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Path-collision (organ #13359/#13615)Cette PR #20108 (
Le verdict terminal (#15578) signale qu'un cote de la paire est deja sur |
|
Scope = notebooks CHANGED in this PR, not the whole corpus. Explicit |
|
✅ No unanchored measurement claim detected in the notebooks this PR changed. Scope = notebooks CHANGED in this PR, not the whole corpus. The |
|
✅ 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 |
|
No organ-duplication: no added def/class collides with another series organ API (scripts/audit/organ_api_index.yaml). Detector: |
Golden-Set Execution (H.7 P3)✅ 9/9 notebooks passed (certified reproducible)
Pinned lockfile: |
Notebook outputs-required (H.4 schema): PASS (every code cell carries an
|
Notebook PR Validation: PASS
Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns) |
|
Fermee en faveur de #20199, qui regroupe la campagne 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 :
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 🤖 Generated with Claude Code |
1 participant
Grain: MED/notebook-lean — lane myia-po-2024:CoursIA — prev: MED/notebook-lean #20106
Reassessed by myia-po-2024:CoursIA: CONFIRMED (5/5) — aucun faux positif. Chaque constat a ete reverifie sur
mainAVANT correction : geometrie FCC recomputee (dmincontre2*r_s), comptage denp.sur le carnet entier, et egalites de la sortie re-evaluees par Python.Corrige les 5 constats de l'audit Hermes (
c.5775158348) surSerre100/06-bulles-minkowski.ipynb.Constats et mesures
stale-claim(en-tete)stale-claim(figure)dmin = 1,414pour un contact exige a2*r_s = 0,707, soit des spheres separees d'un demi-diametredmin = 0,707107 = 2*r_s, contact exact (la formule et la densite imprimee 0,740480 etaient justes)orphan-statementdemi-distanceetdetne figurent dans aucune sortie, et le tableau reellement imprime a un autre schemastale-claim(dependances)# Dependances : stdlib (math, itertools) + matplotlib inline headless.import numpy as npet emploienp.11 fois ; un apprenant suivant ce contrat tombait surModuleNotFoundErrora la figure de la section 4numpy (rendu 3D)ajoute a la declarationfalse-printed-equationp = 5 : k = 2, point du reseau -> 1^2 + -2^2 = 5-2**2 == -4) — les 7 lignes affichees sont fausses({a})^2 + ({b})^2; sortie re-executee(1)^2 + (-2)^2 = 5, les 7 egalites verifiees par evaluation litteraleCellules touchees
0,2,11,14,15— 5 cellules, 5 substitutions. Les 22 autres cellules sont identiques amain(controle automatique du diff de source).Validation
batch_reexecute.py --path ... --cwd notebook->SUCCESS (9s). 10/10 cellules code avecexecution_countreel et sorties, 0 erreur, 0 erreur volontaire (C.1). Volume de sorties +20 684 octets (aucune collapse) ; les 3 stubs d'exercice gardent leurs sorties vides d'origine, inchangees.origin/main-> merge-base19303c100dc4) :output-failure-text0 regressed (bloquant) ;output-collapse0 flagged ;source-collapse0 flagged ;prose-countsrc=0.dmin = 0.707107,2*r_s = 0.707107, contact exact — obtenu par le meme calcul que la cellule.Place dans la campagne
c.5774482779(PR fix(serre100,#17357): carnet 05 -- 5 constats d'audit corriges (comptages, ordres, fuite A5) #20106).c.5775158348.07-zeros-fonctions-l-gaps-gue.ipynb— F1-F3, auditc.5863026171.Verdict de tier
MED — litmus : la verite mesuree etait deja dans le carnet (la sortie du tableau, la densite imprimee) ; cette PR aligne l'en-tete, la figure, la declaration de dependances et un f-string sur elle, elle n'ajoute pas de capacite nouvelle.
See #17357
🤖 Generated with Claude Code