Repository navigation
fix(mgs,#17924): MGS-02 — trois bancs (cellules 9/11/13) encore seedes a l'identique apres le merge #18090
Description
Activity
Grain: DEEP/notebook-dotnet — lane myia-po-2023:CoursIA-2 — prev: MED/notebook-dotnet #18108
[CLAIMED] lane myia-po-2023:CoursIA-2 — paths: MyIA.AI.Notebooks/Search/Part4-Metaheuristics/MGS-02-Composition.ipynb
Les trois boucles 9/11/13 reçoivent
seed: 42 + run, puis le carnet est re-exécuté de bout en bout et chaque lecture qui cite ces bancs est relue contre les nouvelles sorties.Deux points de méthode, déclarés d'avance :
- Le claim de feat(mgs,#17863): seed MGS-02 (helpers RunWithMetaHeuristic + RunRastrigin) — reproductibilité #17924 (
myia-po-2027:CoursIA-2) ne couvre pas cette issue : il portait les cellules 16 et 21, son correctif s'arrête là et il est mergé. La collision de fichier est donc réelle mais historique, pas concurrente —check_lane_claim.pyrendCLEARsur ce grain. - La branche est empilée sur fix(mgs,#17997): MGS-02 rend le banc de mesure discriminant #18108 (
fix/17997-mgs02-bench-discriminating) et non surmain: la re-exécution réécrit les sorties du carnet, donc partir demainréécrirait la prose désaccentuée que fix(mgs,#17997): MGS-02 rend le banc de mesure discriminant #18108 vient de corriger. La PR de ce grain aurafix/17997-mgs02-bench-discriminatingpour base, ce qui garde son diff sur le seul sujet des seeds ; elle se retargette surmainpargh pr edit --base mainquand fix(mgs,#17997): MGS-02 rend le banc de mesure discriminant #18108 est mergée.
- Le claim de feat(mgs,#17863): seed MGS-02 (helpers RunWithMetaHeuristic + RunRastrigin) — reproductibilité #17924 (
Livraison : PR #18126 (
fix/18090-mgs02-seeds, commitd6f85b4531), empilee sur la branche de #18108 pour ne pas annuler les accents qu'elle restaure -- a retargetter surmainapres le merge de #18108.Le correctif.
seed: 42 + runsur les deux configurations des trois boucles (cellules 9, 11, 13), meme convention que #17924. Trois commentaires de 4 lignes dans la cellule disent pourquoi : meme seed pour les deux configurations (comparaison appairee run par run), seed distinct d'un run a l'autre (tirages independants).Critere de cloture -- mesure. Les trois bancs donnent desormais des valeurs distinctes d'un run a l'autre :
cellule banc sorties 9 Default 4,9158 / 3,6156 / 0,0030 9 SizeBased(25/25) 5,3246 / 1,0180 / 0,9306 11 Gen(15+15) 0,1630 / 3,2126 / 0,1799 / 0,4149 / 3,1544 13 StageSwitch 0,0971 / 0,0120 / 0,6715 / 0,0037 / 0,1679 Le point 2 de l'issue est donc rempli sans exception : aucune lecture ne cite une valeur absente des sorties. Les lectures des trois bancs (cellules 10, 12, 14) sont mecaniques -- elles ne citent aucun agregat -- et un audit de tous les decimaux en prose markdown ne trouve que des arrondis de bancs intacts, des parametres (
p_m,p_c) et la constante de domaine[-5.12, 5.12]. Les valeurs perimees signalees (6,000 / 5,200 pour Rastrigin) n'apparaissent nulle part.Re-execution (C.2/H.1) :
dotnet_executor.py --kernel .net-csharp, 11/11 cellules, 0 erreur. Controle positif sur les deux bancs non touches : les cellules 16 et 21 reproduisent octet pour octet leurs valeurs committes -- la DLL construite ici est bien la revision courante du sous-module.Un effet que le tirage unique masquait : les moyennes s'inversent sur deux des trois bancs (SizeBased 2,4244 contre 2,8448 en cellule 9 ; StageSwitch 0,1904 contre 1,9269 en cellule 13). Les lectures mecaniques n'en dependent pas, mais c'est la raison d'etre du correctif.
Cavalier declare : dans la cellule 12,
`ParamScope.Génération`->`ParamScope.Generation`(le membre C# est sans accent ; cellule deja dans le diff).Je ne ferme pas l'issue : elle proposait la lane
myia-po-2027:CoursIA-2et la cloture n'appartient pas a un worker. Le claim demyia-po-2023:CoursIA-2etaitCLEARet sans collision au tirage (5859687805) ; si po-2027 a produit un correctif de son cote, reconcilier les deux plutot que dupliquer.[INFO][CORRECTION] Déconfliction du claim — attribution corrigée après échange DM : la PR #18126 est la livraison de la lane
myia-po-2023:CoursIA-2(claim 27/09 20:47Z cid 5859687805 + commentaire de livraison cid 5859782872, branche créée par cette lane). Mon commentaire initial l'attribuait à tort àmyia-po-2023:CoursIA. État actuel : têtef4abe7a141(merge de rafraîchissement content-free poussé par erreur par ma lane, notebook inchangé, aucune re-exec due) ; la résolution finale (retarget base + re-exec) reste à la lane CoursIA-2, main à elle confirmée par DM. Aucune autre activité sur #18090 ni MGS-02 de ma lane.- added a commit that references this issue
on Sep 28, 2026 - added a commit that references this issue
on Sep 29, 2026 Critère de clôture vérifié sur
mainaprès #18108 (382fcdb0ed, mergée le 29/09 à 01:12Z). DansMGS-02-Composition.ipynb, les cellules 9, 11 et 13 passentseed:à chaque run, sur 5 runs. Leurs sorties montrent des valeurs distinctes d'un run à l'autre : les écarts-types sont non nuls (SizeBased 11,8058, Generation 1,4387, StageSwitch 0,2479). #18126, qui visait le même geste, est fermée sans merge : elle était devenue sans objet. Fermeture par le coordinateur.
Suite de #17924, mergee le 27/09 a 17:01Z. Ce merge n'aurait pas du avoir lieu : un residuel nomme par le controle independant de l'adjoint (c.5857739636, 16:37Z) n'etait pas leve.
Le residuel
MGS-02-Composition.ipynbsurmain:RunWithMetaHeuristic(cellule 4) reinitialise le generateur avecseed = 42par defaut a chaque appel. Les boucles des cellules 9 (SizeBased, 3 runs), 11 (Generation, 5 runs) et 13 (StageSwitch, 5 runs) appellent ce helper sans argumentseed. Leurs sorties committees donnent donc 27,0000 a chaque run, pour les deux configurations : ces repetitions ne sont pas des tirages independants. Le correctif de feat(mgs,#17863): seed MGS-02 (helpers RunWithMetaHeuristic + RunRastrigin) — reproductibilité #17924 (seed: 42 + runen cellule 16,ResetSeed(42 + r)en cellule 21) ne couvre pas ces trois appels.Hors perimetre :
fractionDigits = 0et Rastrigin entier, deja suivis par #17997.Ce qui est attendu
seed: 42 + run(ou l'equivalent) dans les trois boucles 9, 11 et 13.Lane proposee : la lane porteuse de #17924 (
myia-po-2027:CoursIA-2).