Repository navigation
refactor(search,#13777): isoler les face-a-face MGS vs mealpy en sous-serie dediee - #13959
Conversation
…-serie dediee Grain: MED/docs-structure -- lane myia-po-2026:CoursIA-2 -- prev: MED/notebook-python #13952 Issue #13777 : les dix notebooks comparatifs MGS-22 a MGS-31 polluaient la serie Part4-Metaheuristics generale. La campagne comparative devient une sous-serie identifiable 'MGS-vs-mealpy/' avec son propre README francais, sans perdre la progression pedagogique ni les preuves d'execution. Deplacement preserve par 'git mv' (historique git --follow intact) : - 10 notebooks .ipynb vers Part4-Metaheuristics/MGS-vs-mealpy/ - README sous-serie (108 lignes) avec question directrice, protocole commun, table des 9 paires, ordre de lecture, distinction benchmark diagnostique / amelioration MGS Modifications doc : - Part4-Metaheuristics/README.md : table des 10 notebooks MGS-22..31 reduite a une ligne sommaire + lien sous-serie (verification catalogue byte-identique via catalog-pr-hygiene, README parent non touche dans ses blocs catalogue) - Search/README.md ligne 625 : ajout du lien vers MGS-vs-mealpy sous-serie - Part4 README ligne 7 : raccourcissement de la description comparative massive (verdict complet preserve dans le README sous-serie, lien double) - Part4 README ligne 290 : chemin MGS-28 (BareBonesPSO-vs-Mealpy) corrige Fix liens casses (decouverts par check_notebook_navlinks --family Search) : - MGS-22 cell 0 : '[Jusqu'ici](MGS-6-Benchmarks.ipynb)' -> '../MGS-6-Benchmarks.ipynb' - MGS-22 cell 0 : '[Sudoku-05](../../Sudoku/Sudoku-05-PSO-Csharp.ipynb)' -> '../../../Sudoku/Sudoku-05-PSO-Csharp.ipynb' (lien latent casse avant deplacement : '../../' ne resolvait pas depuis Part4-Metaheuristics/, le chemin correct etait deja MyIA.AI.Notebooks/Sudoku/) - MGS-5 cell 33 : lien '[MGS-22 - MGS vs mealpy](MGS-22-MGS-vs-Mealpy.ipynb)' -> 'MGS-vs-mealpy/MGS-22-MGS-vs-Mealpy.ipynb' (MGS-22 est dans le meme dossier apres deplacement) Acceptance : - check_notebook_navlinks --family Search --quiet : 0 lien casse (142 notebooks) - check_notebook_navlinks --family Search --check : baseline OK, pas de regression - 10 fichiers reconnus comme renames par git status (R), pas A+D - Preservation substance : question directrice + protocole + table des 9 paires + ordre de lecture dans README sous-serie - README parent preserve dans ses sections 1-19 et 21 (le coeur MGS) - Aucune modification des outputs notebooks (re-execution strictement interdite par regle C.2) - Aucune modification du catalogue (catalog-pr-hygiene : catalogue byte-identique a origin/main)
b39d7d5 to
89ce8bd
Compare
github-actions
Bot
added
the
variation-tag-genre-offlist
|
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 |
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) |
Path-collision (organ #13359/#13615)Cette PR #13959 (
|
jsboige
left a comment
jsboige
left a comment
There was a problem hiding this comment.
[Hermes] — review 89ce8bdb (sous-série MGS-vs-mealpy, issue #13777 / Epic #12373)
Review structurelle docs — artefacts de vérification réels :
- Renames byte-identical confirmés : 9 notebooks sur 10 en statut
renamed+0/-0 (MGS-22 +2/-2 = uniquement les 2 corrections de liens relatifs), cohérent avec la revendicationgit mvsimilarité 99-100%. - Intégrité des liens vérifiée à la volée contre le SHA head :
../MGS-6-Benchmarks.ipynbet../../../Sudoku/Sudoku-05-PSO-Csharp.ipynbdepuis MGS-22 (nouvelle profondeur) → présents ; arborescenceMGS-vs-mealpy/au head contient bien les 10 notebooks + README ; les anciens chemins parent renvoient 404 comme attendu après déplacement. - README sous-série lu en entier : table des 9 paires avec verdicts cohérents avec la progression documentée (doublés SA/FBI côté MGS, EO disjoint côté mealpy), protocole commun apparié explicite (Easy[0], ~8000 evals, graines {0,1,7,42}, contre-vérification croisée), et la distinction diagnostique/prescriptive renvoyée proprement vers #13778 — ça sert directement l'axe consolidation de l'Epic #12373 sans prétendre fermer les questions ouvertes.
Rien de bloquant. (contrainte token : COMMENT only)
PR #13959 —
|
VRAI FAILURE — perimeter review guard (#11268) — assertion 10 vs 14 (escalade ai-01 c.847)Diagnostic first-hand Tell c.1356 ★★★ sustained ×30+ cas c.825-c.847 :
VRAI FAILURE identifié (logs first-hand via
Le body PR énonce « les 10 notebooks MGS-22 à MGS-31 déplacés vers sous-série MGS-vs-mealpy/ » — c'est vrai pour les fichiers MGS-22..MGS-31, mais la liste effective compte 14 fichiers :
Le scope élargi n'est pas nommé dans le body : la modification de MGS-5 + les 3 README (sous-série, parent, racine) ne sont pas décrits dans le résumé. Le perimeter guard (#11268) rougit légitimement. Non réparable par ma lane :
Escalade ai-01 (Tell c.11145 ★★★ strict UN message — geste = commentaire PR + dashboard, 0 DM) : Trancher l'une des trois voies :
Tell c.807 NEW PR #13959 reste |
Justification --ignore-red c.850 — picker R5 narrow structurelTell c.1356 ★★★ first-hand sustained ×80+ cas c.825-c.850 : la lane porte 2 PRs bloquees dans le pool de reparation du picker R5 ( Etat c.850 (premier-hand, aucune activite depuis c.847 17:28:06Z) :
Pourquoi non reparable par ma lane :
3 voies de levee (toutes hors portee de ma lane) :
Justification Tell respectes c.850 (prefiguration) : Tell c.11145 ★★★ strict UN message (geste = commentaires PR + dashboard, 0 DM) · Tell c.1356 ★★★ sustained ×80+ cas · Tell c.745-L2 ★★★ strict sustained (commentaire PR documentant, 0 DELETE / 0 PATCH body / 0 PUT dismissals tiers) · Tell c.589-L1 ★★★ strict (0 amend) · Tell c.868-L1 ★ ★★ MAJEUR sustained ×23ᵉ cycles. PR #13959 reste |
Diagnostic + reparation du rouge (supersede la justification
|
| Ligne | Forme | _count_is_incidental |
|---|---|---|
| L27 | ligne de tableau `` | git status |
| L7 | puce avec incise parenthesee | False (confrontee) |
_count_is_incidental lit au plus 2 mots apres le compte et les confronte a _INCIDENTAL_QUALIFIERS_NFD (46 entrees) : reconnus n'y figure pas -- d'ou la confrontation de L7, et 10 != 14.
Le correctif
Le compte reste vrai (10 notebooks ont bien ete deplaces) : ce n'est pas le chiffre qui etait faux, c'est le nom qu'il portait. L7 disait « 10 fichiers » la ou le perimetre effectif de la PR est de 14 fichiers (10 notebooks + 3 README + MGS-5). Le body nomme desormais les deux :
... 10 notebooks reconnus comme renames
Rdansgit status(perimetre effectif de la PR : 14 fichiers = 10 notebooks deplaces + 3 README + MGS-5) ...
Correction par le fond, pas par neutralisation : les deux options qui faisaient seulement disparaitre la confrontation (renommer en « notebooks » seul, ou backticker le compte) laissaient _first_confrontable_count = 10 ; seule celle-ci le porte a 14, et elle rend le body plus informatif qu'avant.
Verification post-fix
python scripts/check_pr_perimeter.py 13959 --scan-thread
...
Workflows CI touches : aucun.
VERDICT: OK
Aucun changement de code, aucun rebase : edition de body seule.
|
Diagnostic du rouge — ce n'était pas un échec, c'était une annulation.
Le Ce qui a réellement échoué, c'est le HEAD précédent ( Ce même check est Geste appliqué : Ceci corrige ma propre affirmation antérieure (cycle c.854) selon laquelle ce rouge n'était pas réparable par cette lane : il l'était, et il vient de l'être. |
Les trois directives #r de la cellule socle pointaient ../MetaGeneticSharp, une profondeur calculee quand le notebook vivait a la racine de Part4-Metaheuristics/. L'isolation des face-a-face MGS vs mealpy dans MGS-vs-mealpy/ (cause #13959) a ajoute un niveau : la cellule ne resolvait plus rien, et les sorties -- transportees telles quelles, jamais re-confirmees -- s'etaient figees. Corrige en ../../MetaGeneticSharp (memes DLLs net9.0 Debug, meme gitlink 78ce550) et re-execute de bout en bout au kernel .net-csharp reel (pont PythonNet 3.1.0 vers mealpy 3.0.2). Aucune sortie n'est editee a la main ; le seul normalisateur applique est strip_probe_banner.py (post-re-exec). Detection Clerc re-alignee. L'introduction et le commentaire de la cellule de detection affirmaient que les sept variantes PSO de mealpy 3.0.2 portent w/c1/c2 ; le catalogue imprime le contredit pour P_PSO (aucun parametre liste). Six variantes exposent explicitement w/c1/c2 ou leurs variantes (w_min/w_max/ci/cf/c_local) ; la septieme, P_PSO, porte des coefficients sin/cos dynamiques sur la meme mise a jour de vitesse. La conclusion ("aucun n'est bare-bones") tient ; la raison invoquee est corrigee dans les deux loci (cellule 0/7/8/9 du notebook). Prose re-alignee sur les sorties fraiches (C.4/C.5), trois contradictions qui avaient survecu au gel : R1 annoncait 51 genes alors que la sortie en compte 36 ; les graines 1/7/42 etaient dites "en croisement" alors que le classifieur imprime les donne *mixtes* (graine 0 *persistante*, MGS deja derriere au cp25, 33 contre 32) ; les temps muraux absolus sont retires au profit des seuls rapports de ce passage (0,38x ms/eval ; 6,30x Python/C#), ces rapports variant eux-memes d'un passage kernel a l'autre. Section ## Diagnostic derive ajoutee, verdict CAUSE_FIXED pour la cause et NO IMPROVEMENT pour l'axe performance (invariance mesuree contre le moteur mis a jour ; livrable = executabilite restauree + non-regression mesuree). Non-regression mesuree sur sept executions completes : conflits finaux par graine (31/31/29/30 MGS, 19/25/26/27 mealpy), checkpoints, budget d'evaluations (8000/8050) et drapeau 12/12 bras-graines stables sont identiques au baseline committe. Seuls les temps muraux et la version patch de Python (3.13.3 -> 3.13.12) different. See #13778 Co-authored-by: Claude Code <noreply@anthropic.com>
…gement, re-exec complete (#18894) - #r ../ -> ../../ sur les deux derniers carnets non re-executables de MGS-vs-mealpy/ - re-exec 9/9 chacun, conflits/budgets identiques (determinisme), temps machine seulement - MGS-27 : rapport moteur 3,06x -> 5,63x, classement inverse (FBI premier ecart de l'Epic, devant SA) -- prose reecrite, ecart moteur depasse l'ecart fitness - MGS-25 : 1,78x -> 1,77x stable, fitness 5,24x -> 6,24x Co-authored-by: Claude Sonnet 5.5 <noreply@anthropic.com>
…a moitié de l'écart (IMPROVES partiel) (#18890) * feat(search,#13778): MGS-26 tranche EO -- reinsertion pairwise opt-in referme la moitie de l'ecart (IMPROVES partiel) - section corrective hypothese (a) : greedy par individu mealpy vs troncation globale MGS - correctif declaratif CustomReinsertion = FitnessBasedPairwiseReinsertion (organe FBI existant, zero changement sous-module, voie historique inchangee) - instrument : collapse clone demontre (dispersion 0 des g40, moteur mort a g160 en budget x4) - G160 4 graines appariees : mediane 42,0 -> 32,5, ecart mealpy 17,0 -> 7,5 - fix #r ../ -> ../../ (demangement #13959, meme geste que #14867) + re-exec complete 10/10 Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> * Fix: MGS-26 retire le compteur de lignes en prose (prose-counts, #9377) + re-exec complete Le checkeur prose-counts refuse les compteurs d'artefacts ecrits a la main (#9377) : le commentaire C# de la cellule eo-corrective-bench citait 'les 4 lignes du case EquilibriumOptimizer'. Mesure supprimees, predicat garde. Source de cellule code modifie -> re-execution complete (10/10, seq 1..10, 0 erreur, qualite deterministe : medianes 42,0/25,0 et budgets 8000/8006 inchanges) + temps C.5 re-alignes sur ce run (moteur 1,34x, fitness isolee 5,71x). Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> --------- Co-authored-by: Claude Sonnet 5.5 <noreply@anthropic.com>
… du sous-dossier Le deplacement des carnets MGS dans MGS-vs-mealpy/ (53f6d3d, #13959) a ajoute un niveau de dossier. MGS-22..29 ont suivi le deplacement ; MGS-30 est reste a "../MetaGeneticSharp/" sur ses trois renvois #r. Le noyau .NET resout ces chemins depuis le dossier du carnet (dotnet_executor.py, cwd = notebook_path.parent), donc les trois assemblys GeneticSharp/MetaGeneticSharp etaient introuvables : la cellule de chargement echouait et le carnet n'etait plus re-executable. Correction textuelle au niveau octet de 3 occurrences (pas de rechargement et re-dump JSON, qui reformaterait tout le fichier). Diff net : 3 insertions, 3 suppressions, une seule cellule touchee. Re-execution de controle effectuee : 10/10 cellules, 0 erreur, 178.9 s. Elle etablit que le carnet est redevenu executable -- c'est la propriete qui avait disparu, et c'est ce que cette PR restaure. Les sorties committeess ne sont PAS remplacees, volontairement. La re-execution sur cette lane produit des temps x2 a x10 superieurs a ceux committes (Python 3.13.12 ici, contre 3.13.13 dans les sorties de reference), et la prose du carnet cite ces ratios (cellules 14 et 19 : ratio ms/eval 0,92x), que la sortie fraiche porterait a 0,40x. La qualite, elle, est identique au chiffre pres -- conflits et trajectoires de checkpoints inchanges sur les 4 graines. Substituer les sorties aurait donc rendu le carnet incoherent avec lui-meme et grave les temps d'une machine chargee. Le fait est mesure et rapporte sur #13778. See #13778 Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
… du sous-dossier (#19939) * fix(search,#13778): MGS-30 -- retablit les renvois #r a la profondeur du sous-dossier Le deplacement des carnets MGS dans MGS-vs-mealpy/ (53f6d3d, #13959) a ajoute un niveau de dossier. MGS-22..29 ont suivi le deplacement ; MGS-30 est reste a "../MetaGeneticSharp/" sur ses trois renvois #r. Le noyau .NET resout ces chemins depuis le dossier du carnet (dotnet_executor.py, cwd = notebook_path.parent), donc les trois assemblys GeneticSharp/MetaGeneticSharp etaient introuvables : la cellule de chargement echouait et le carnet n'etait plus re-executable. Correction textuelle au niveau octet de 3 occurrences (pas de rechargement et re-dump JSON, qui reformaterait tout le fichier). Diff net : 3 insertions, 3 suppressions, une seule cellule touchee. Re-execution de controle effectuee : 10/10 cellules, 0 erreur, 178.9 s. Elle etablit que le carnet est redevenu executable -- c'est la propriete qui avait disparu, et c'est ce que cette PR restaure. Les sorties committeess ne sont PAS remplacees, volontairement. La re-execution sur cette lane produit des temps x2 a x10 superieurs a ceux committes (Python 3.13.12 ici, contre 3.13.13 dans les sorties de reference), et la prose du carnet cite ces ratios (cellules 14 et 19 : ratio ms/eval 0,92x), que la sortie fraiche porterait a 0,40x. La qualite, elle, est identique au chiffre pres -- conflits et trajectoires de checkpoints inchanges sur les 4 graines. Substituer les sorties aurait donc rendu le carnet incoherent avec lui-meme et grave les temps d'une machine chargee. Le fait est mesure et rapporte sur #13778. See #13778 Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> * Fix(search,#13778): MGS-30 -- re-execution fraiche commitee (C.2), interpretations timing alignees Review 5463003038 : la cellule code 2 changeait sans que les sorties fraiches soient commitees. Re-execution reelle 10/10 cellules, 0 erreur, 71,5 s (dotnet_executor, DLLs rebuild depuis le pin 2b21a6a du submodule -- les DLLs de l'arbre principal du 20/09 sont anterieures au pin du 06/10). Fond stable : conflits/evaluations/checkpoints/medianes identiques ; derive limitee aux timings micro et au patch Python du pont (3.13.13 -> 3.13.12). Prose alignee : 4 citations 5,25x/0,007/0,037 -> 6,44x/0,006/0,040. Organes locaux : output-failure 0 regressed, output-collapse 0, source-collapse 0. Pre-commit : banniere probeAddresses 1 ligne triee par le hook. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> * Fix(search,#13778): MGS-30 -- 2 citations ms/eval restantes alignees (0,92x -> 0,83x) Complement du commit precedent : les cellules 14 et 19 citaient le ratio ms/eval du banc (0,113/0,123/0,92x) ; valeurs fraiches 0,099/0,119/0,83x. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> --------- Co-authored-by: Claude Sonnet 5.5 <noreply@anthropic.com>
2 participants
Grain: MED/docs-structure -- lane myia-po-2026:CoursIA-2 -- prev: MED/notebook-python #13952
Issue #13777 : les dix notebooks comparatifs MGS-22 a MGS-31 polluaient la serie Part4-Metaheuristics generale. La campagne comparative devient une sous-serie identifiable
MGS-vs-mealpy/avec son propre README francais, sans perdre la progression pedagogique ni les preuves d'execution.Resume
git mv(historique git --follow intact, 10 notebooks reconnus comme renamesRdansgit status(perimetre effectif de la PR : 14 fichiers = 10 notebooks deplaces + 3 README + MGS-5), similarite 99-100%) : les 10 notebooks MGS-22 a MGS-31 versPart4-Metaheuristics/MGS-vs-mealpy/origin/mainvia reglecatalog-pr-hygiene, marqueursCATALOG-STATUSinchanges) ; description comparative ligne 7 raccourcie (substance preservee dans README sous-serie avec lien double) ; mention "MGS-21 a MGS-31" ajustee pour pointer vers la sous-serie ; chemin MGS-28 dans la table References corrigeSearch/README.mdligne 625 : ajout du lien vers la sous-serie MGS-vs-mealpy dans la table de la serie racinecheck_notebook_navlinks --family Search:[Jusqu'ici](MGS-6-Benchmarks.ipynb)->[Jusqu'ici](../MGS-6-Benchmarks.ipynb)(MGS-6 dans le parent)[Sudoku-05](../../Sudoku/Sudoku-05-PSO-Csharp.ipynb)->[Sudoku-05](../../../Sudoku/Sudoku-05-PSO-Csharp.ipynb)(lien latent casse avant deplacement : le path originel ne resolvait pas depuisPart4-Metaheuristics/, le chemin correct etait dejaMyIA.AI.Notebooks/Sudoku/)[MGS-22](MGS-22-MGS-vs-Mealpy.ipynb)->[MGS-22](MGS-vs-mealpy/MGS-22-MGS-vs-Mealpy.ipynb)(MGS-22 dans le meme dossier apres deplacement)Hors scope
origin/main)Acceptance
git statusR(rename), pasA+Dgit log --followsur MGS-22check_notebook_navlinks --family Search --quietcheck_notebook_navlinks --family Search --checkCATALOG-STATUSinchangesConservation substance (CLAUDE.md global : Consolider != Archiver)
Avant cette PR, la substance des 10 notebooks vivait dans 3 endroits du README parent :
Apres cette PR, la substance est preservee a un seul endroit dedie :
Part4-Metaheuristics/MGS-vs-mealpy/README.md(question directrice + table des paires + ordre de lecture + distinction benchmark/amelioration). Le README parent preserve :Aucun archive/delete sans preuve de preservation : la substance est citee + visible + linkee, pas deplacee vers
_archives/.Refs :