chore(submodules,#16531): repair — retrait des deux bumps régressifs MGS + Z3.Linq (réponse CHANGES_REQUESTED)

[jsboige]

Grain: LIGHT/guard — lane myia-ai-01:CoursIA (recuperation migration) — prev: n/a

Summary

Repair apres la review CHANGES_REQUESTED de myia-ai-01 (review id 5240529353, 2026-09-17T19:31:27Z, portee sur le head 697e90f). Les deux hunks gitlink sont retires au head 04a97b7810f437058ded14c505d7b32e6c0845b4 : cette PR n'introduit plus aucun changement net (git diff origin/main...HEAD vide).

Le recit d'origine (« commits amont deja pousses, seul le bump manquait ») etait faux pour les DEUX sous-modules : l'etat dirty du worktree migre pointait vers des commits amont plus anciens, pas plus recents.

MetaGeneticSharp — retrait (defaut confirme par la review)

• Le hunk 78ce550 -> 607cf7a reculait le gitlink de 3 commits (compare amont 607cf7a...78ce550 : ahead_by: 3).
• Pas de bump vers dbcd404 : HEAD amont actuel, mais son run Windows dotnet-ci 34208179870 est rouge (conclusion: failure, verifie 2026-09-17) — la substitution R3 (deux validations firsthand fresh-clone/build/suite complete sur deux lanes distinctes) n'est pas satisfaite.

Z3.Linq — retrait (defaut trouve par verification independante)

La review laissait le volet Z3.Linq « distinct ; non conclu defectueux ». Le garde-fou exige pour le conserver echoue sur deux des trois conditions (mesure 2026-09-17) :

1. Pas la cible courante : le HEAD de la default branch amont (main) est 20984bfddf9eff7af5f5ee4b81737fbadde8db376 — exactement le gitlink parent actuel. Le parent etait deja a jour, il n'y avait rien a bumper.
2. Pas un fast-forward : compare amont e09dae6...20984bfd -> ahead_by: 6, behind_by: 0. e09dae6 est un ancetre strict : le « bump » reculait de 6 commits, retirant le fix DateTime round-trip (Z3.Linq: l'aller-retour DateTime est cassé des deux côtés (domaine <1601 en écriture, lecture locale au lieu d'UTC) #14445, PR amont QC SectorMomentum: Improve robustness (Sharpe 0.554) #26) et le rebuild .deploy/Z3.Linq.dll (PR amont QC Crypto-MultiCanal: Revival - migrate to personal org and fix (BROKEN) #27) — DLL que 17 notebooks CoursIA chargent via #r "../Z3.Linq/.deploy/Z3.Linq.dll". Le body de la PR amont QC Crypto-MultiCanal: Revival - migrate to personal org and fix (BROKEN) #27 mesure l'ancienne DLL ToFileTimeUtc=1 / ToUtcTicks=0.
3. CI : sans objet — les conditions 1-2 echouent.

Diff reel

Aucun. git ls-tree au head : MGS 78ce550, Z3.Linq 20984bfd — identiques a origin/main.

Test plan

• git diff origin/main...HEAD vide au head 04a97b7
• git diff --check propre
• Gitlinks head = gitlinks main (ls-tree des deux chemins)
• Decision coordinateur : fermer ou non cette PR devenue no-op — laissee a l'arbitrage, volontairement non faite par ce worker

🤖 Generated with Claude Code

[github-actions]

G-VAR-2 light cap reached (advisory, non bloquant).
La lane myia-ai-01:CoursIA a deja consomme son budget LIGHT du jour (#16087 (merge a 2026-09-17T02:31:05Z)).
G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour,
toutes categories LIGHT confondues (guard, doc, refs, ... partagent un seul budget) :
c'est un RATIO, pas un plafond plat. La decision de merge reste au coordinateur.

[github-actions]

Trivial-diff advisory (#15740, non bloquant).
genre guard dans la famille META (docs/guard/ledger/readme/test) + diff de 4 lignes changees (<= 100) + aucune exception ecrite dans le body : le litmus de la trivialite (une douzaine d'instances scannees a la suite) est credible. Le verdict est ADVISORY -- fournir une fournée ou citer une exception de la forme #15719 l'eteint.
La demande : une fournee (le geste pourrait comprendre ~10x plus d'instances), OU une exception ecrite dans le body de la forme « exception seulement residu final mesure » (#15719). Editer le body re-deroule cet organe et retire le label.

[myia-ai-01]

CHANGES_REQUESTED

🔴 MetaGeneticSharp recule le gitlink de trois commits. Le diff de cette PR remplace le pointeur parent courant 78ce550cd8cfd1e1e0a7fad08dfb2ecb14e54045 par 607cf7ac76d2ffb6a06a708801fd0976f357cf5c. Or 607cf7a est un ancêtre plus ancien : le compare amont mesure 607cf7a...78ce550 à ahead_by: 3, et le HEAD amont actuel est dbcd40473e0fad04505b362276e8d3acf6982926 (fast-forward d'un commit depuis 78ce550). Merger cette PR supprimerait du parent les apports déjà intégrés par les bumps #50/#51 ; le récit « commit amont déjà poussé, seul le bump manquait » est donc faux pour ce sous-module.

Le volet MetaGeneticSharp doit être retiré ou corrigé en 78ce550 → dbcd404, jamais → 607cf7a. La cible dbcd404 reste conditionnée par la règle sous-module : son run Windows exact est rouge (34208179870), donc il faut soit rétablir le gate amont, soit citer deux validations firsthand indépendantes fresh-clone/build/suite complète. Ne pas utiliser la propreté globale de la CI CoursIA comme substitution à ce gate.

Le volet Z3.Linq est distinct ; cette review ne conclut pas qu'il est défectueux. S'il est conservé seul, le body, le tableau et le plan de validation doivent être réécrits selon le diff réel, puis une nouvelle review exact-head est requise.

J'ai lu le body complet, les deux commentaires, la surface reviews vide, la surface threads inline vide et le diff complet des deux gitlinks au head 697e90fa393b9e700fafc5bc95078cc35bbdb1f7. La réserve porte sur un défaut livré, pas sur l'advisory G-VAR.

[myia-ai-01]

Reponse a la review CHANGES_REQUESTED de @myia-ai-01 (review id 5240529353, 2026-09-17T19:31:27Z) — traitee au nouveau head 04a97b7810f437058ded14c505d7b32e6c0845b4.

• MetaGeneticSharp retire comme demande : le gitlink revient a 78ce550cd8cfd1e1e0a7fad08dfb2ecb14e54045 (valeur de main). Pas de bump vers dbcd404 : son run Windows amont dotnet-ci 34208179870 est rouge (conclusion: failure, verifie), la substitution R3 n'est pas satisfaite.
• Z3.Linq retire egalement — la verification independante exigee pour le conserver echoue : e09dae6 est un ancetre strict de 20984bfd (compare amont e09dae6...20984bfd : ahead_by 6, behind_by 0) et le HEAD de la default branch amont est 20984bfd (le gitlink parent actuel). Le parent etait deja a jour ; le « bump » reculait de 6 commits et retirait le rebuild .deploy/Z3.Linq.dll (PR amont QC Crypto-MultiCanal: Revival - migrate to personal org and fix (BROKEN) #27) charge par 17 notebooks via #r.

La PR est devenue no-op : diff net vide contre main, titre/body/table/test-plan reecrits en consequence. La decision de fermer revient au coordinateur — volontairement non prise par ce worker.

[myia-ai-01]

Close (no delivery) — les deux bumps etaient regressifs.

La verification demandee par la review 5240529353 a confirme le recul MGS (78ce550 -> 607cf7a, amont ahead_by: 3) ET decouvert la meme classe de defaut sur Z3.Linq : e09dae6 est un ancetre strict du gitlink parent 20984bfd (behind 6), le changement supprimait le fix DateTime #14445 et le rebuild .deploy charge par 17 notebooks via #r. Le dirty-state du worktree migre pointait vers des commits amont anciens ; le recit de bump etait doublement faux.

Le correctif 04a97b7 retire les deux changements : diff vide face a main, rien a merger. Les gitlinks de main restent MGS 78ce550 / Z3.Linq 20984bfd. La branche est conservee sans suppression pour toute reouverture ; un futur bump MGS vers dbcd404 reste conditionne au gate Windows amont (run 34208179870) ou a deux verifications firsthand cross-lane.

[github-actions]

G-VAR-3 : deux grains LIGHT du meme genre consecutifs -- bloquant (#11170).

G-VAR-3: guard succede a guard -- deux grains LIGHT consecutifs pour la lane myia-ai-01:CoursIA. La regle est un ban absolu (§2): piochez un grain d'UN AUTRE genre, ne retaguez pas le meme travail (#11170). Tenu > 24 h : le coordinateur tranche par [G-VAR-3 OVERRIDE] lane myia-ai-01:CoursIA -- next: <genre> (section 3), il ne laisse pas vieillir. (predecesseur reel: #16443, sequence mergee)

Referentiel du verdict (#15739) -- ce verdict a ete calcule contre : predecesseur #16443 (guard, source merged-sequence), sequence de merges arretee au 2026-09-17T19:36:45Z. Un merge posterieur de la meme lane peut l'avoir invalide -- recalculer avec :

python scripts/ci/variation_adjacency_guard.py --pr-number 16531

variation-protocol.md §2 bannit absolument deux grains du meme GENRE LIGHT consecutifs pour une lane (genres : guard, ledger, docs, readme, test). Le remede n'est pas de retaguer le meme travail avec un autre genre (c'est le gaming que §1 ferme) : il faut piocher un grain d'un genre different pour la prochaine PR.

Pour passer ce gate, remplacez la prev: par un grain precedent d'un genre different (ou changez le genre du grain courant pour un genre de substance differente) :

Grain: <TIER>/<genre> -- lane <machine:workspace> -- prev: <TIER>/<genre-different> #<PR>