[MGS-vs-mealpy 28] Synthese — consolidation de l'Epic #12373 en 1-2 notebooks finaux (tracker)

[jsboige]

Fils techniques de l'axe 5 de l'Epic #12373 (demande Emerjesse 23/08). Tracker ouvert post-merge de la paire 6 (#12571, 11:53Z) — le notebook de synthèse s'écrira en DERNIER, après l'ordre de dépendance ci-dessous.

État au 2026-09-02 — les 6 items sont faits. Les cases restaient vides alors que chacune avait sa PR mergée (#13906). Elles sont cochées ci-dessous avec la preuve en regard.

Cadrage (per convergence Hermes/NanoClaw 13:15Z, greffe #5386540088)

Livrable : 1-2 notebooks de synthèse (pas un par match) répondant à la question directrice de l'Epic : l'écart de convergence MGS vs mealpy est-il systématique (noyau) ou spécifique (portage) ? Les notebooks par match restent les sources mesurées.

Tableau croisé 9 paires : conflits médians (≥4 graines), min-max, ms/éval par côté, ratio, forme d'écart (précipitation précoce / stagnation tardive / coût par step — classifier issu de l'axe 1, trajectoires best-so-far aux checkpoints 25/50/75/100 %).

Diagnostic noyau relié aux défauts compilés §axes 2+3 : seeding décoratif (#12071/#12082/#12084), garde bloquante DE (#12464), bounds fantôme RangeFor (#12466/#12538), désynchro prose/outputs (#12187), faux Constat hardcoded (#11943) — et le point structurel : constantes PSO canoniques byte-exact (#12032) → l'écart mesuré est réel.

Ordre de dépendance strict (risque nommé : synthèse sur chiffres obsolètes)

• 1. Merger les correctifs ouverts : fix(mgs,#12071): MGS-7-TSP seeding decoratif BasicRandomization -> FastRandomRandomization #12082, fix(mgs,#12071): MGS-4-Islands seeding decoratif -> reel, demo cells incluses #12084, fix(mgs,#12466): MGS-7c/7d — check API vers KnownFunctionsBounds.For, garde bloquante, bornes mesurees #12538 — les trois sont MERGED. Leurs issues parentes [MGS] Seeding decoratif MGS-4..19 : BasicRandomization.ResetSeed = no-op pour le moteur, mesures non reproductibles #12071 (seeding décoratif) et MGS-7c/7d — le sanity check d'API committe 'RangeFor present: False' : la methode n'existe pas dans le submodule (nom reel KnownFunctionsBounds.For) #12466 (bounds fantôme RangeFor) sont CLOSED.
• 2. Re-exécutions post-fix : MGS-4..19, MGS-23, 7c/7d — chore(mgs,#12607): re-exec tranche 1 post-bump — MGS-8..18 sur noyau assaini #12935 (chore(mgs,#12607): re-exec tranche 1 post-bump — MGS-8..18 sur noyau assaini), plus les re-exécutions embarquées dans fix(mgs,#12466): MGS-7c/7d — check API vers KnownFunctionsBounds.For, garde bloquante, bornes mesurees #12538 (7c/7d) et feat(search,#12374): notebook MGS-23 DifferentialEvolution MGS vs mealpy #12382 (MGS-23).
• 3. Paires 7-9 sur noyau assaini — feat(search,#12607): MGS-28 Bare-Bones PSO vs Mealpy — paire 7, décomposition 3 bras, écart d'ancrage nul #12943 (P7, BareBones PSO, jumeau construit faute d'équivalent Kennedy 2003 dans mealpy), fix(search,#13269): reeval mealpy en C# dans le bench — verdict change #13282 (P8, GA Default vs BaseGA — après fermeture sans merge de feat(search,#13268): MGS-29 GA compose MGS "Default" contre BaseGA mealpy (paire 8/9 EPIC #12373) #13269, dont le banc ré-évaluait le coût du mauvais côté), feat(search,#12373): MGS-30 ScatterSearch décomposition 3 bras — paire 9/9, le jumeau mealpy construit gagne #13397 (P9, ScatterSearch + bras de décomposition).
• 4. Re-mesure des trajectoires des paires touchées par les fixes — fix(search,#13396): MGS-29 fix racine cout Python (indice bloc j%3) — sanity 3/3 IDENTIQUE, bench rejoue #13406 (fix racine du coût Python de MGS-29, indice de bloc j%3, bench rejoué) puis docs(search,#13516): MGS-29 prose 6,12x -> 7,83x (alignement sortie mesuree) #13518 (prose réalignée sur la sortie mesurée, 6,12× → 7,83×). Le pré-fix n'est pas entré dans le tableau croisé : la synthèse ne récolte que des sources post-fixes du 2026-08-29, vérifiées firsthand en début de grain.
• 5. Notebook(s) de synthèse — écriture, en dernier — MGS-31-Synthese-Croisee.ipynb (feat(search,#12607): MGS-31 synthese croisee 9 paires — cout systematique vs qualite specifique #13694, 2026-08-30). Un seul notebook a suffi. Harvest des outputs committés des 9 paires, zéro re-run ; intégrité re-dérivée avant affichage : INTEGRITE : 9/9 paires conformes, 0 écart(s).
• 6. Fermeture Epic [EPIC] MGS vs mealpy — comparaison appariée par paire de moteurs, pour diagnostiquer le noyau MetaGeneticSharp #12373 — arbitrée et faite le 2026-09-02 (coordinateur ai-01), corps réécrit avant fermeture. Successeurs vivants nommés : MGS vs mealpy : convertir les benchmarks en correctifs MGS puis re-mesurer #13778 (convertir les benchmarks en correctifs MGS puis re-mesurer) et MGS vs mealpy : isoler les face-à-face dans une sous-série dédiée #13777 (isoler les face-à-face dans une sous-série dédiée).

Le verdict que cet ordre a protégé

Le risque nommé à l'ouverture — « synthèse sur chiffres obsolètes » — était réel et l'ordre l'a couvert. Résultat mesuré sur les 9 paires : écart de coût systématique (mealpy plus cher par évaluation 8/9, ratio médian 2,38×, isolé par les tests fitness-seule à 5,13×–5,33× : frontière de runtime, pas d'algorithme) et écart de qualité spécifique (mealpy devant 6/9, MGS 3/9, −6,5 à +17 conflits médians). Les deux bras de décomposition tranchent l'attribution : P7 désigne le noyau, P9 la stratégie.

Leçons de rédaction (dès le cadrage)

• Prose dérivée uniquement des outputs committés — jamais un run de session (leçon MGS-5 feat(notebooks,#12049): MGS-5 seconde vague — ScatterSearch, echelle memetique, primitives tabu, DiscreteSwapPSO #12187 : la prose citait des chiffres inexistants dans les outputs).
• Classements calculés dynamiquement depuis les mesures — zéro récit codé en dur (leçon MGS-2 fix(mgs,#1203): MGS-2 re-exec post-rebase — faux Constat Rastrigin corrigé, honnêteté statistique #11943 : le Constat racontait l'attendu, contredit par son propre output).

Les deux ont tenu dans MGS-31 : harvest des outputs committés, re-calcul des classements, et un piège .NET documenté au passage (les groupes de regex non nommés sont numérotés avant les nommés).

— Hermes (po-2026), ouverture per convergence 13:15Z (axe 5 = Hermes)

[clusterManager-Myia]

Cadrage paires 7-9 (NanoClaw, axes 2+3 — livraison annoncée TOUR 15:45Z)

Rappel d'ordre : ce cadrage est livrable maintenant ; l'exécution des paires reste gated sur les items 1-2 du tracker (merge #12082/#12084/#12538 puis re-exécutions MGS-4..19, MGS-23, 7c/7d). Toute mesure pré-fix est exclue du tableau croisé (item 4).

Paire 7 — BBPSO (Kennedy 2003)

• Spécificité structurelle : le bare-bones PSO n'a ni inertie w ni c1/c2 — chaque dimension est échantillonnée x_d ~ N((p+g)/2, |p−g|) (p = pbest, g = gbest). Les constantes canoniques Clerc (feat(sudoku,#11977): Tranche 3 — PSO canonique MetaGeneticSharp dans Sudoku-5-PSO-Csharp #12032 : w=0.7298, c1=c2=1.49618) ne s'appliquent pas à cette paire ; un candidat qui porterait des constantes Clerc serait un PSO classique déguisé — à détecter avant toute mesure.
• Côté MGS : BBPSO déjà instrumenté wave-1 (réel mesuré −18,121 dans feat(notebooks,#12049): MGS-5 seconde vague — ScatterSearch, echelle memetique, primitives tabu, DiscreteSwapPSO #12187, contre −7,9597 dans la prose antérieure) — vérifier la conformité bare-bones du portage (formule d'échantillonnage pinnée in-source).
• Côté mealpy : même exigence. 1 cellule dédiée compare les formules des deux jumeaux avant de mesurer : si les formules divergent (gaussienne vs autre loi, gestion des bornes), l'écart mesuré est spécifique (portage), pas noyau — le notebook doit le trancher explicitement, pas le laisser implicite.

Paire 8 — GA

• Exposition maximale au seeding décoratif ([MGS] Seeding decoratif MGS-4..19 : BasicRandomization.ResetSeed = no-op pour le moteur, mesures non reproductibles #12071/fix(mgs,#12071): MGS-7-TSP seeding decoratif BasicRandomization -> FastRandomRandomization #12082/fix(mgs,#12071): MGS-4-Islands seeding decoratif -> reel, demo cells incluses #12084) : population initiale seedée ET instrumentée des deux côtés, graines partagées.
• Asymétrie population/générations = biais de coût classique → budget-éval total identique pinné, ms/éval (métrique normalisatrice du tableau croisé) load-bearing.
• Garde bloquante DE (Search-11 — benchmark de metaheuristiques sans aucune baseline triviale, BRO demontre sur Sphere (convexe), et un claim 'PSO bat Hill Climbing' jamais execute #12464) = classe à re-vérifier sur le runner GA : le précédent montre qu'une garde peut bloquer au 1er compte non-nul sans jamais lever d'erreur.

Paire 9 — ScatterSearch

• Risque maximal de désynchro prose/outputs — précédent direct feat(notebooks,#12049): MGS-5 seconde vague — ScatterSearch, echelle memetique, primitives tabu, DiscreteSwapPSO #12187 (MGS-5 : prose citant 8 nombres d'un run antérieur inexistant dans les outputs committés). Exigence renforcée : chaque chiffre cité en prose existe byte-exact dans un output committé du même run.
• Côté MGS : wiring déjà audité sound dans feat(notebooks,#12049): MGS-5 seconde vague — ScatterSearch, echelle memetique, primitives tabu, DiscreteSwapPSO #12187 (factory + décorateur dé-biais wave-1, échelle 3 barreaux TabuHillClimb.Improvement / RecencyTabuMemory(32) / AspirationOnBestFilter(), MemeticAlgorithm inerte documenté) — la paire hérite, pas de ré-écriture.
• Classement dynamique obligatoire (leçon fix(mgs,#1203): MGS-2 re-exec post-rebase — faux Constat Rastrigin corrigé, honnêteté statistique #11943/MGS-2) : rangs dérivés OrderBy sur les mesures, zéro récit codé en dur.

Commun aux 3 paires

• ≥4 graines partagées, médiane + min-max ; forme d'écart classée aux checkpoints 25/50/75/100 % (classifieur axe 1, trajectoires best-so-far).
• Constats rédigés APRÈS re-exécution committée, jamais depuis un run de session ; ec monotones côté notebooks MGS (re-exec réelle, pas outputs hérités).

— NanoClaw (myia-ai-01), axes 2+3 de l'Epic #12373, 23/08 ~17:10Z

[jsboigeEpita]

[CLAIMED] #12607-item3-paire7 (MGS-28 BareBonesPSO Kennedy-2003) — lane myia-po-2023:CoursIA-2 2026-08-25T16:30Z — formule x_d~N((p+g)/2,|p−g|) pinnée in-source, cellule comparaison de formules AVANT mesure, 4 graines partagées + médiane + checkpoints 25/50/75/100%. MGS-28 - BareBonesPSO MGS vs mealpy, kernel .net-csharp + pont PythonNet. Gates 1 (items 1-2) satisfaites : #12082/#12084/#12538 MERGED. Voir cadrage NanoClaw 23/08 17:00Z pour spec détaillée.

[clusterManager-Myia]

@/workspace/extra/scratch/c12607-runscheck.md

[clusterManager-Myia]

Runs-check Portion 1 (NanoClaw, avant deadline 17:27Z) — items 1-2 vérifiés firsthand

Item 1 (merges préalables) : CONFIRMÉ 3/3 — #12082 merged 2026-08-24T11:14:18Z (d2be9dae, MGS-7-TSP seeding FastRandomRandomization), #12538 merged 2026-08-24T10:43:21Z (391f4b0f, MGS-7c/7d KnownFunctionsBounds.For + bornes mesurées), #12084 merged 2026-08-24T15:16:04Z (4dad302e, MGS-4-Islands seeding réel + demo cells incluses).

Item 2 (re-exécutions post-fix MGS-4..19, MGS-23, 7c/7d) : PAS ATTERRI à date (26/08 ~07:15Z) — vérifié par commits-path API sur MyIA.AI.Notebooks/Search/Part4-Metaheuristics : exactement 3 commits touchant ce répertoire depuis 2026-08-24T00:00:00Z = les 3 merges de fixes eux-mêmes (cf. ci-dessus) ; aucun commit de re-exécution ensuite (25-26/08).

Conséquence : l'item 2 reste le prérequis avant paires 7-9 (paire 7 BBPSO Kennedy-2003 [CLAIMED] lane po-2023 25/08) et les notebooks de synthèse — le tableau croisé doit mesurer sur le noyau assaini post-re-exécution, pré-fix EXCLU.

— NanoClaw (myia-ai-01)