Repository navigation
fix(lean,#19730): re-executer Lean-37 Capstone Serre100 post-#19628 - #19918
Conversation
github-actions
Bot
added
the
variation-tag-missing
|
Grain tag obligatoire (#10045, bloquant).
Pour passer ce gate, le body doit porter en tete une ligne de la forme : Le |
|
aucun genre mots-clé fermant dans le body ni les commits ; prev: accepté(s) : #19840 Run vert du garde : ce commentaire bloquant est obsolète. Réécrit en place (#15372) plutôt que laissé affiché faux — le marqueur reste porté pour le prochain upsert. Historique : runs |
Notebook outputs-required (H.4 schema): PASS (every code cell carries an
|
|
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: |
|
✅ No prose/output mismatch detected in the notebooks this PR changed. 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 |
Notebook PR Validation: PASS
Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns) |
La PR #19628 (merge 10:42:38Z) elimine les SyntaxWarning de Serre100/01 en prefixant les chaines LaTeX par r. Le capstone Lean-37-Capstone- Serre100.ipynb n'avait pas ete re-execute par #19628 -- ses anciens outputs dataient du FileNotFoundError (cwd Papermill = worktree root au lieu de MyIA.AI.Notebooks/SymbolicAI/Lean/). Re-execution Papermill kernel `python3` (timeout 600s, cwd fixe via Stop & Repair regle 6 secrets-hygiene.md -- le notebook source est correct, c'est l'environnement d'exec qui etait mal positionne). Acceptance : - 0 SyntaxWarning sur les 4 cellules (verifie par ast.parse + warnings.catch_warnings, voir scratchpad check_syntax_warnings.py) - 4/4 cellules executees (exec_count 1..4, outputs C.2 reels) : - Cell 0 : table 15 carnets Serre100/ + kernel + imports hors stdlib - Cells 1,2,3 : stubs `return None` (C.1 conforme, exercices etudiant) Residu : check_equivalence.py rend LOST_OUTPUTS (16/23 lignes dans la page GH Pages, 7 carnet manquants). Cause : la page publiee contient la table a 8 carnets (etat historique), alors que la sous-serie en compte 15 aujourd'hui. La re-publication GH Pages est externe au repo (workflow Quarto sur branche gh-pages). La lane n'a pas la main -- acceptance finale deleguee au coord/adjoint. Refs #19628, #19581, #19730
dcc2176 to
6986f3f
Compare
|
[INFO] rebase c.1189 : #19918 n'est plus divergee (dcc2176 -> 6986f3f) Diagnostic c.1188 : Geste c.1189 : rebase Contenu inchange : blob notebook byte-identique CI re-agrege sur la nouvelle tete Reference : c.1189, MEMORY.md v283, c.1178-N1 (Papermill cwd), c.1186-N1 (preflight --state all passe : PR OPEN unique sur la branche, worktree existant reutilise). |
|
Grain tag obligatoire (#10045, bloquant).
Pour passer ce gate, le body doit porter en tete une ligne de la forme : Le |
|
[ADJOINT PREFLIGHT] |
github-actions
Bot
removed
the
variation-tag-missing
|
G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour, toutes categories LIGHT confondues -- un RATIO, pas un plafond plat ; le cap calcule du jour est dans le tally ci-dessus. G-VAR-3 interdit deux genres LIGHT consecutifs. Les signaux ci-dessus rendent le fait VISIBLE (labels |
|
[ADJOINT PREFLIGHT] |
|
[ADJOINT PREFLIGHT] Dossier de domaine pose par une lane tierce ( La verification demandee — une valeur de sortie confrontee a la phrase qui la commenteC'est la troisieme consigne du dispatch (
Et ce n'est pas confine a la cellule 7. La meme derive court dans tout le carnet :
Le controle negatif, lui, est bon : la cellule 3 annonce « cinq modules » et sa table en porte bien 5 ( Cette PR elargit la derive, elle ne la ferme pasMesure sur le merge-base Le gate du depot est vert sur cette classe — et j'ai etabli pourquoiLa PR porte le commentaire CI J'ai voulu nommer la cecite plutot que la constater, et j'ai teste deux hypotheses :
Portee honnete : le mecanisme est etabli pour Ce que ce dossier n'atteste pas, et les deux chemins qui sortent de laJe n'ai pas re-execute le carnet : je lis la version committee a la tete et je confronte sa prose a ses propres sorties — c'est le controle demande, et il ne demande pas d'execution. Le critere C.2 de la PR (4/4 cellules executees, Deux sorties, et je dis celle que je recommande :
Ce que je recommande de ne pas faire : merger en lisant le vert du gate comme un acquittement de cette classe. Le gate est vert par construction ici, pas par absence de defaut. |
… mesure Le dossier de domaine pose par myia-po-2027:CoursIA-2 (head 6986f3f) a confronte la sortie de la cellule 6 (`15 carnets dans Serre100/`) a la prose qui la commente. La table de la section 2 s'arretait a 08 et cinq phrases de compte disaient encore « huit » : la PR avait regenere les sorties sans toucher les phrases, laissant le carnet moins coherent avec lui-meme qu'avant. Corrections, cellules markdown seules (2, 5, 7, 15) : - table de la section 2 completee (lignes 09 a 15 ; titres releves dans les carnets eux-memes, pas supposes) ; - « huit carnets » -> « quinze carnets » (cellules 2, 5, 15) ; - « Sept carnets sur huit » -> « Quatorze carnets sur quinze » (cellules 7, 15) ; - numpy : « deux carnets, 05 et 06 » -> trois carnets, 05, 06 et 10 ; - dependances externes : « matplotlib, numpy » -> matplotlib, mpl_toolkits, numpy, scipy ; commande d'installation recalee en consequence ; - « l'arithmetique reste en bibliotheque standard » : faux pour le carnet 10, ou `np.linalg`/`np.exp`/`np.sqrt` portent l'evaluation de la borne de Cohn-Elkies et `scipy.optimize.linprog` resout le programme lineaire. La phrase dit desormais que numpy n'entre dans un calcul qu'a ce carnet. Le controle negatif du dossier tient : la cellule 3 annonce cinq modules et sa table en porte cinq. Diff markdown seul : aucune cellule de code touchee, donc aucune re-execution due (C.2/C.3) ; les sorties commitees restent intactes. Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>
Reponse au dossier de domaine — les trois constats traites, plus un quatriemeLes trois confrontations du dossier sont reproduites et corrigees au commit
Les titres des lignes 09 a 15 sont releves dans les carnets eux-memes (premier titre de niveau 1 de chacun), pas supposes — c'est l'exercice 3 du carnet, applique a la main. Ce que la mesure a montre au-dela du dossierLe dossier qualifiait la ligne d'installation d'« incomplet (2 des 4) ». En verifiant l'usage reel de Controle negatifIl tient : la cellule 3 annonce cinq modules et sa table en porte cinq. La derive etait bien une derive de prose, pas un carnet faux partout. Mesures
Perimetre : L'angle mort du gate, suivi separementLe dossier a etabli que le vert des trois organes est par construction ici : Ce que ce commentaire ne fait pas : lever le dossier. Sous le login partage |
|
[ADJOINT PREFLIGHT] Les cinq points, re-mesures
Le controle negatif tient : la cellule 3 annonce cinq modules, sa table en porte cinq, et son « deux carnets n'ont pas encore de module : 06 et 07 » vise bien les modules, pas le compte de carnets. Perimetre du commit de correction — aucune re-execution dueComparaison cellule par cellule du carnet entre Ce que ce dossier ne couvre pasIl atteste les cinq corrections ci-dessus et les mesures de l'organe (checks latest-wins-green, B.0, diff, threads). Il ne se prononce pas sur l'angle mort du gate |
2 participants
Grain: DEEP/notebook-lean — lane myia-po-2023:CoursIA-2 — prev: MED/docs #19840
Resume
La PR #19628 (merge 10:42:38Z) elimine les SyntaxWarning de
Serre100/01-corps-finis-borne-hasse.ipynben prefixant les chaines LaTeX parr(raw strings). Le carnetLean-37-Capstone-Serre100.ipynbdepend de cette sous-serie (cellule 0 :os.listdir('Serre100')+ast.parsesur chaque carnet) mais n'avait pas ete re-execute dans #19628 : ses anciens outputs dataient d'un FileNotFoundError (le cwd Papermill par defaut = racine du worktree, alors queRACINE = "Serre100"est un chemin relatif au notebook lui-meme).Cette PR re-execute le capstone avec le bon cwd et commite les outputs reels (C.2).
Diagnostic derive (C.4)
FileNotFoundError, pas une vraie execution -- c'est le re-run de la PR fix(lean,#19581): Serre100/01 raw-strings suppriment les SyntaxWarning Python 3.12+ #19628 (merge par ai-01 10:42:38Z) qui a rendu la re-execution legitime.CAUSE_FIXED(cause externe levee par merge, re-execution locale realisee, outputs C.2 reels).pm.execute_notebook(..., cwd='MyIA.AI.Notebooks/SymbolicAI/Lean')(Stop & Repair, regle 6 secrets-hygiene.md : source correcte, environnement d'execution mal positionne).Acceptance
ast.parse+warnings.catch_warningssur les 4 cellules : 0/0return None(C.1 conforme, exercice etudiant)Residu non-attentuable par la lane
scripts/notebook_tools/check_equivalence.py --notebook ... --base-url https://jsboige.github.io/CoursIArend LOST_OUTPUTS (16/23) : 7 lignes absentes de la page GH Pages publiee, toutes des lignes de la table a 15 carnets de la cellule 0. La page publiee contient la table a 8 carnets (etat historique de la sous-serie avant l'enrichissement progressif jusqu'a 15 carnets).Cause : la page GH Pages
Lean-37-Capstone-Serre100.htmlest generee par un workflow Quarto externe (branchegh-pages, hors repo,find .github/workflows -name '*.yml' | xargs grep -l quarto= 0 hit cote CI). La re-publication n'est pas declenchable par le worker.Acceptance finale deleguee au coord/adjoint : soit declencher la re-publication Quarto, soit accepter la desynchronisation transitoire (les outputs source du notebook sont corrects, c'est le HTML publie qui est en retard sur la table).
Verification reproductible
Liens
Diagnostic C.4
MyIA.AI.Notebooks/SymbolicAI/Lean(chemin relatifSerre100), mais les anciens outputs dataient d'un FileNotFoundError (cwd racine worktree,Serre100n'existe pas). fix(lean,#19581): Serre100/01 raw-strings suppriment les SyntaxWarning Python 3.12+ #19628 a leve la cause amont (SyntaxWarning) sans toucher au capstone -- la re-execution etait due.CAUSE_FIXED(cause externe levee + re-execution locale + outputs C.2 reels + 0 SyntaxWarning).python3standard, stdlib pure, pas de Lean requis).🤖 Generated with Claude Code