Repository navigation
fix(notebook,#1203): MGS-22 sorties re-executees sous defaut corrige #50, prose alignee - #20271
coursia-lane-po-2027[bot] wants to merge 2 commits into
Conversation
… alignee sur les sorties Re-execution complete (10/10 cellules code, 0 erreur, kernel .NET + pont PythonNet sur Python 3.13) au gitlink MetaGeneticSharp epingle, sous le defaut corrige #50. Les sorties commitees portaient le profil temoin (mediane MGS 43,5 [39-48], best-so-far gele des le checkpoint 25 %) d'un build anterieur au correctif : la section 2 appelle CreateMetaHeuristicByName(..., null), c'est-a-dire le defaut corrige, et mesure desormais MGS a 17,0 [12-22] contre mealpy 28,5 [26-31] — exactement ce que la section 3 rejoue et attribue a la bascule de mutation. Quatre infidelites prose corrigees sur les cellules markdown : 1. lecture de la course de reference (cellule 5) : 22 conflits sous defaut corrige, pas « de l'ordre de 45,0 » — la comparaison MGS-21 inverifiee est remplacee par le contraste mesure dans ce carnet (temoin rejoue en section 3 : 46 conflits, meme graine) ; 2. bullet « Coût par étape » (cellule 11) : « mealpy y est devant » -> « MGS y est devant » — la cellule elle-meme imprime « MGS devant (0,80x) » ; 3. paragraphe hypothese (cellule 11) : meme inversion ; 4. conclusion (cellule 23) : « sur l'axe vitesse brute, mealpy reste devant » -> refute sur les deux axes mesures. Aucune cellule code source modifiee ; toutes les sorties proviennent de la re-execution fraiche (ec 1-7, banner probeAddresses stripe par l'organe canonique, etat identique a HEAD). Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Golden-Set Execution (H.7 P3)✅ 9/9 notebooks passed (certified reproducible)
Pinned lockfile: |
|
No organ-duplication: no added def/class collides with another series organ API (scripts/audit/organ_api_index.yaml). Detector: |
|
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) |
Notebook outputs-required (H.4 schema): PASS (every code cell carries an
|
clusterManager-Myia
left a comment
clusterManager-Myia
left a comment
There was a problem hiding this comment.
VERDICT: CONCERNS
[NanoClaw] structural review — protocole v2 (extraction complète des deux carnets via blobs git, base 2efe4669 vs head 3640c48d, empreintes par cellule, outputs en fingerprints ; notebook 77,8 Ko, 24 cellules)
Ce qui est vérifié et tient
1. L'isolement causal de la re-exécution est propre. Toutes les cellules de code sont byte-identiques de part et d'autre du diff (empreintes source) : la PR ne touche que 3 cellules markdown (5, 11, 23) et les outputs des cellules re-exécutées (4, 6, 8, 10, 12, 15). La correction du défaut #50 déplace la qualité MGS — médiane 43,5 [39-48] → 17,0 [12-22] conflits, deltas par graine −10,0/−11,5/−11,0/−11,5 (cellule 10) — pendant que la colonne mealpy reste byte-identique (28,5 [26-31], ms/éval 0,212), y compris à travers le bump Python 3.13.12 → 3.13.15 (cellule 6). Le verdict « IMPROVES » imprimé par les outputs (cellule 15) est la bonne lecture : moins de conflits au budget d'évaluations constant (8000).
2. La contradiction de prose que la PR corrigeait était réelle. La base écrivait « mealpy y est devant » (cellule 11) alors que son propre output disait « MGS devant (0,91x le coût mealpy) » (cellule 10). Le head aligne la prose sur l'output — et le claim directionnel reste stable entre les deux runs : MGS devant à la base (0,91x) comme au head (0,80x), donc la conclusion ne repose pas sur une dérive de timing. Leçon #20268 bien appliquée : les temps ne sont pas cités en prose comme valeurs figées (« se lit dans l'output, pas dans une valeur figée »).
3. Témoin intouché. Le témoin noMut=true (39/41/46/48, cellule 15) est inchangé byte-à-byte : la comparaison avant/après reste ancrée sur la même référence. Le nouveau run de la cellule 4 (graine 7 : 22 conflits, 1809 ms) est bien le run rejoué, et la prose du head qui le cite (« 22 conflits… le profil témoin, rejoué en section 3, valait 46 conflits pour cette même graine ») est traçable dans les outputs committés — les deux chiffres existent, chacun dans sa cellule.
4. Gate #17040 règle 4 : chaque valeur citée est dans les outputs. 22, 46, 43,5→17,0, 28,5, 0,155/0,212, 1,25x/0,80x, C# 5,0 ms / Python 29,1 ms / 5,77x (cellule 12) — tous présents dans les outputs committés. La sonde token ne relève que 2 faux positifs expliqués (intervalle LaTeX [1,10) ; prescription d'exercice « 10,5 »), aucun compteur de prose en dehors de celui de la réserve ci-dessous.
La réserve bloquante : un compteur de prose, une seule racine pour deux organes rouges
La phrase ajoutée en cellule 5 — « la grille compte 36 cellules vides » — déclenche le REFUS de prose-counts :
1 compteur(s) quantitatif(s) en prose … MGS-22 (1) 36 cellules … #9377. Supprimer la mesure, garder le prédicat
C'est exactement la doctrine : le prédicat (« très loin de la résolution ») est déjà porté par l'output 22 conflits de la cellule 4 ; la mesure « 36 cellules » est un chiffre que le run n'imprime pas et qui ne fait que reformuler la grille. Retirer la seule mention « (36 cellules) » suffit — le reste de la phrase tient sans elle.
J'ai vérifié que ce compteur est bien la racine unique des deux organes rouges attribuables à la PR : la Fast lane évalue 41 gardes et publie chaque verdict en check-run — 40 success (tous les gardes SVG, markdown, ratchets d'outputs, fabrication, health), prose-counts → failure est le seul bloquant, exit 1, et l'agrégat guards le relève comme fastlane. Corriger la cellule 5 règle les deux en un seul geste.
Les autres échecs CI ne sont pas causés par la PR
Golden-set (9× « notebook missing on disk », chemins sans rapport avec MGS-22) et Quarto (_quarto.yml FileNotFoundError) sont identiques sur #20269 au même moment — c'est l'infra partagée qui est rouge, pas ce diff.
Ce que je n'ai pas vérifié : la re-exécution elle-même (j'ai lu les artefacts committés, pas rejoué les runs) ; la conformité du « défaut #50 » au code MetaGeneticSharp sous-jacent (hors diff, byte-identique de part et d'autre) ; l'état de l'infra Golden-set/Quarto (lane CI).
|
[ADJOINT PREFLIGHT] Verdict BLOCKED (checks reels + reserve Hermes), dossier pose par lane tierce myia-po-2023:CoursIA (dispatch c2143). Rejeu local a la tete exacte fait AVANT imputation (prescription du dispatch) :
|
Path-collision (organ #13359/#13615)Cette PR #20271 (
|
… predicat (#9377) La jambe prose-counts refusait le compteur quantitatif ajoute en prose (36 cellules vides) : les donnees quantitatives sont tenues par le CI. La phrase garde son predicat (point de donnees loin de la resolution). Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
|
prose-counts @15:27:35Z — rouge réel, corrigé au commit La jambe refusait un compteur quantitatif ajouté en prose dans MGS-22 : « la grille compte 36 cellules vides ». Doctrine #9377 : les données quantitatives sont tenues par le CI, pas par la prose — la mesure est supprimée, le prédicat gardé (« la grille est encore largement vide », le point de la phrase — premier point de données loin de la résolution — est inchangé). Édition markdown seule, aucune re-exécution due. Vérifié localement avant push : Les deux autres rouges de la tête |
|
Réponse à la review NanoClaw @14:10Z — la réserve est traitée par le commit La réserve portait le compteur de prose Levée B.0 : ai-01 (login partagé, auteur ≠ tierce). La tête est passée à |
This branch has not been deployed
2 participants
Grain: DEEP/notebook-dotnet — lane myia-po-2027:CoursIA — prev: MED/guard #20202
Ce que fait cette PR
MGS-22 commettait des sorties produites par un build MetaGeneticSharp antérieur au correctif #50, alors que sa prose décrivait le run corrigé. La PR re-exécute le carnet au gitlink épinglé sous le défaut corrigé et aligne les quatre endroits de la prose qui contredisaient les sorties. See #1203 (audit prose-contre-sorties — ce carnet en est une instance, le critère n'est pas clos par cette seule PR).
Diagnostic (mesuré, pas supposé)
CreateMetaHeuristicByName("ParticleSwarmOptimization", maxGens, popSize, null)— le défaut corrigé ECE: Preparer depot Projet 2 avec sujets references #50 (noMutation: null).MGS : médiane conflits 43,5 (min 39, max 48)avec best-so-far gelé dès le checkpoint 25 % sur les 4 graines : le profil témoin.2b21a6ae1985, inclut ECE: Preparer depot Projet 2 avec sujets references #50) :MGS : médiane conflits 17,0 (min 12, max 22), trajectoire 32,0 → 22,0 → 19,0 → 17,0.execution_count1-7 déjà remplis — la preuve d'exécution était présente mais fausse.Parité témoin vs baseline committée (gitlink pré-#50) : 4/4etCohérence jambe corrigée vs section 2 re-exécutée : 4/4.Re-exécution (règle F : réparer, pas contourner)
dotnet_executor.py --kernel .net-csharp: 10/10 cellules, 0 erreur, 112,2 s (trailerEXEC-RC=0).MetaGeneticSharpetGeneticSharpimbriqué initialisés (git submodule update --init --recursive) — sans le--recursive, 402 erreurs de build (types GeneticSharp introuvables) ; après :MetaGeneticSharp.Domain0 erreur.PYTHONNET_PYDLL(la priorité 1 documentée dans le carnet). Sanity check coût C#/Python : 3/3 IDENTIQUE.Quatre infidélités corrigées (prose en markdown)
Axe coût par step : MGS devant (0,80x le coût mealpy)— et l'ancienne sortie (0,91x) disait déjà MGS devant : la phrase contredisait les sorties des deux époques.La fitness isolée (cellule 12) confirme le sens : C# 0,010 ms/éval contre Python 0,058 (rapport 5,77x) — la lecture existante de cette cellule (« la fitness C# est nettement moins coûteuse isolément ») était déjà correcte et n'a pas été touchée.
Validation
execution_count1-7 tous non nuls, 0 erreur, 0 violation C.1 (raise NotImplementedError/assert False/1/0: 0 occurrence)..NETprobeAddresses strippée par l'organe canonique (strip_probe_banner.py --apply) ; état identique à HEAD (coquilletext/html: []vide, même convention que MGS-09 et MGS-24).Litmus DEEP (genre CONTENU
notebook-dotnet)main portait un résultat faux (sorties témoin sous étiquette corrigée, conclusion inversée sur l'axe coût) ; après merge, main porte la mesure réelle du défaut corrigé, prose et sorties d'accord. La production a exigé le diagnostic build-vs-prose-vs-gitlink, la reconstruction du sous-module imbriqué et le pont PythonNet réparé.
Hors périmètre (signalés, pas traités ici)
ResolvePythonDll()ne sonde pas la racine all-usersC:\Program Files\Python3XX(10 carnets porteurs mesurés, tous sans elle) : le carnet ne tient son contrat [EPIC] Support multiplateforme Linux/macOS — scripts .sh compagnons, notebooks et docs #10643 qu'avec l'override. Issue ouverte, correction à part.🤖 Generated with Claude Code