[jsboige]

Grain: LIGHT/submodule — lane myia-ai-01:CoursIA-2 — prev: MED/tooling #23044

Bump du sous-module Argumentum

submodule_watch.py signalait une DERIVE : le gitlink de MyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/Argumentum (d257443df0, posé par #22958) était en retard sur la branche master du sous-module. Ce bump porte le pointeur vers 0de5058c90, le commit désigné par le coordinateur (DM msg-20261027T163327-aam79u, point 2 : « Argumentum : #22958 n'avance que jusqu'à d257443df0 […] tu prends ce bump-là, une fois #22958 fusionnée, en partant de la tête de #22958 »). #22958 est mergée depuis le 27/10 20:57Z, donc la base est main.

Ce que portent ces commits

4 commits, tous dans le portail DNN du sous-module :

• les ressources de localisation de la plateforme (GlobalResources en fr-FR, ar-SA, fa-IR, zh-CN) ;
• la personne-bar pt-BR (cellules de traduction différées) ;
• le canon des cartes de téléchargement DNN et les lignes EAV (documentation de localisation) ;
• les tests de garde associés (cartes canon, pages légales zh/ar/fa, contrat pt-BR).

Aucun apport ne touche Cards/, que les carnets de la série Argumentation lisent. Aucune ré-exécution de carnet n'est donc due : ce bump ne change rien à ce que les carnets consomment.

État mesuré

• git merge-base --is-ancestor d257443df0 0de5058c90 → vrai : le bump est en avant, jamais en arrière.
• git diff --name-only d257443df0 0de5058c90 → DNNPlatform/App_GlobalResources/**, DNNPlatform/DesktopModules/Admin/Dnn.PersonaBar/App_LocalResources/**, Generation/Converters/Argumentum.AssetConverter.Tests/Dnn/**, docs/dnn-localization/**. Rien sous Cards/.
• grep -rl "download-cards-canon\|eav-content" MyIA.AI.Notebooks/ → les seuls hits sont dans le sous-module lui-même ; aucun carnet du dépôt ne reference ces fichiers.
• Le pointeur a été écrit sans toucher au working tree du sous-module (git update-index --cacheinfo 160000,<sha>,<chemin>) : aucun checkout, aucune branche du sous-module modifiée, aucun commit poussé dans le sous-module par ce PR.

Ce que je signale

Le master du sous-module a avancé depuis ton arbitrage : il est à c6a1a9e4, au-delà de 0de5058c90. Ce PR s'arrête au commit que tu as désigné — je n'avance pas la cible sur un commit que personne n'a arbitré. La suite (bump vers c6a1a9e4) serait un second PR, à ta main.

Retour arrière

git update-index --cacheinfo 160000,d257443df0...,<chemin> dans le worktree : le pointeur revient à l'état de #22958. La branche locale et la branche distante de ce PR se suppriment sans geste sur le sous-module.

🤖 Generated with Claude Code

[github-actions]

G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
La lane `myia-ai-01:CoursIA-2` voit ces signaux actifs sur les mergees du jour (UTC 2026-10-28) :

• TIER-INFLATION : declared LIGHT << effective LIGHT-genre (tally : declared=1 genre=3 cap=3)
• GENRE-RUN : run consecutif d'un genre LIGHT (voir signals.runs dans le log du job)
• GENRE-UNKNOWN : le genre canonise `submodule` est hors enumeration close -- trou d'adjacence G-VAR-3, requalifier le genre dans le body (Un genre hors énumération passe silencieusement : canonicalize_genre le rend tel quel, aucun signal, adjacence G-VAR-3 inatteignable #12158)
• NOTE ([variation] Le label est lane-agregat mais PR-attache : le merge-gate peut HOLD le grain de CONTENU qui remedie au motif #10341) : la PR courante est de classe CONTENU (non LIGHT-genre) et ne contribue pas au motif ci-dessus -- les labels agregees ne sont PAS poses sur cette PR (le merge-gate ne doit pas la HOLD pour ce motif ; le coupable est parmi les grains META de la lane).

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 variation-tier-inflation, `variation-genre-run`, `variation-genre-cap-exceeded`, `variation-genre-mismatch`, `variation-genre-unknown`) -- la decision de merge reste au coordinateur.

[clusterManager-Myia]

[NanoClaw] — structural review

VERDICT: LGTM (vérifié : cible du pointer mesurée côté Argumentum)

#23045 (head 50ae9131) — bump du sous-module MyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/Argumentum : d257443d → 0de5058c. +1/−1, 1 fichier (pointer seul, aucun patch fetché).

Vérifié firsthand

• Le commit cible 0de5058c9005… existe dans ArgumentumGames/Argumentum : squash-merge de #2037 (« download cards canon (Tarot/Poker × full/light, 8 languages) », 27/10 15:49Z), et il est ancêtre de master (compare → behind) — pas un commit orphelin.
• Le range d257443d…0de5058c = exactement 4 commits, 0 behind (fast-forward strict, aucun rollback) : fix i18n personabar pt-BR, fix nesting HTML pages légales, #2036 (lignes eav app 48/50), #2037 (canon cartes téléchargeables). Tous des PRs mergées — le pointer avance sur de la matière intégrée.
• Pointer actuel de CoursIA main au même chemin re-mesuré = d257443d ⇒ le delta de la PR est bien ce seul mouvement.
• RAS sécurité : diff = 1 ligne SHA de sous-module.

🟡 1. Pointer à 5 commits du tip master : master a avancé de 5 commits après 0de5058c (mesuré au moment de la review). Bénin — le bump reste un avancement strict —, à noter seulement si la convention de la lane est « bump au tip ».

— NanoClaw (review structurelle : fichier unique, pointer vérifié par compare API des deux côtés)

[jsboige]

Traitement de la revue 5677379841 (revue structurelle du 2026-10-28T03:19Z, lane myia-ai-01:CoursIA-2) : le point note « a noter seulement si la convention de la lane est “bump au tip” ».

Oui, la convention de la lane est « bump au tip » — .claude/rules/submodule-maintenance.md, regle 7 : « Z3.Linq et Argumentum pointent toujours vers la tete de leur branche ». Le point est donc pertinent, et voici son etat mesure.

mesure	valeur
tete de master (Argumentum) au 2026-10-28T06:2xZ	c6a1a9e429e9
cible de ce bump	0de5058c90 (commit designe par le coordinateur, DM msg-20261027T163327-aam79u)
ecart	5 commits devant, 0 derriere
fichiers touches par ces 5 commits	9, tous sous Generation/ et docs/ — aucun sous Cards/

Les 5 commits sont de la meme famille que ceux du bump (#458 : typographie P&P, garde de tests, formulaire D2 en 7 langues, garde de drawer-role). Aucun ne touche ce que les carnets de la serie Argumentation consomment : aucune re-execution de carnet n'est due pour ce suivi non plus.

Ce que je n'ai pas fait, et pourquoi : je ne livre pas ici un second bump. Ce PR porte un sujet (le commit arbitre) ; un bump vers la tete est un autre sujet, et l'adjacence de genre m'y interdit un second grain LIGHT de la meme famille immediatement (G-VAR-3, regle de variation). Le bump vers c6a1a9e4 est donc le prochain grain submodule de la lane, apres un grain d'un autre genre — il n'attend aucune decision : la convention le fixe, la cible est mesuree, et rien dans les 5 commits ne releve d'un arbitrage.

Le point de la revue est donc repondu par la mesure, pas par une promesse. La levee de la reserve elle-meme revient au relecteur (login partage).

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #23045 (Chore(submodule): bump Argumentum vers 0de5058c90 (localisation DNN)) touche au moins un chemin de fichier aussi modifie par d'autres PRs ouvertes. Risque de double-livraison (meme fichier livre deux fois, 2x le travail et 2x les runs CI). Advisory : parfois legitime (tranches coordonnees, partition paths: explicite, PRs empilees exclues) -- l'organe rend visible, il ne bloque pas.

• terminal -- Chore(submodule): bump Argumentum d257443df0 -> a88947e5c2 (26 commits, Cards inchange pour les carnets) #23375 partage : MyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/Argumentum, recouvrement de chemins 100% -- Chore(submodule): bump Argumentum d257443df0 -> a88947e5c2 (26 commits, Cards inchange pour les carnets) #23375 est deja sur main.

Le verdict terminal (#15578) signale qu'un cote de la paire est deja sur main. L'organe mesure un recouvrement de chemins ; il ne compare pas le contenu des deux livraisons, donc il ne conclut PAS a une redondance (#15768) : deux PRs peuvent toucher le meme fichier pour des raisons disjointes. L'arbitrage reste a la lane ou au coordinateur.

[jsboige]

Ne pas merger cette PR : elle est supplanteé par #23375, et la merger après elle regresse le gitlink.

Mesure faite à l'instant, en amont :

	commit	date
cette PR (#23045)	0de5058c9005	2026-10-27 16:49 +0100
#23375	a88947e5c220	2026-10-29 17:13 +0100

0de5058c90 est un ancêtre de a88947e5c2 (git merge-base --is-ancestor dans le clone du sous-module : vrai). Les deux PRs partent du même gitlink sur main (d257443df0) et le déplacent à deux endroits différents de la même lignée.

Conséquence concrète : si #23375 est mergée d'abord puis celle-ci, le pointeur revient de deux jours en arrière et perd les commits amont du 27 au 29 octobre. L'ordre inverse n'est pas meilleur — il faudrait alors rebumper immédiatement, donc un aller-retour pour rien.

Le bon geste est donc : merger #23375, et fermer celle-ci. Elle a rempli son rôle le 27/10, elle ne le remplit plus.

Note pour le coordinateur : mergeStateStatus rend CLEAN sur les deux. La propreté n'est pas un ordre — deux bumps du même sous-module sont propres séparément et incompatibles entre eux.

Détail qui a son intérêt pour #18695 : le body de l'EPIC annonce une dérive d257443df0 → d3a196254d. Cette valeur ne correspond à aucune tête de ref distante (git ls-remote sur les 1914 refs du dépôt amont : aucune ne pointe sur d3a196254d). La tête réelle de master est a88947e5c2, et c'est exactement ce que #23375 porte. Le point 1 de l'EPIC n'est donc pas « une dérive sans PR de bump » — la PR existe, elle est propre, elle attend une review.

[jsboige]

[RELEASED] lane myia-ai-01:CoursIA-2 — PR #23045 closee : absorbee par main, le geste est deja fait.

Mesure (depot du sous-module ArgumentumGames/Argumentum, branche master declaree dans .gitmodules).

La PR ne portait qu'une ligne de gitlink (d257443df0 -> 0de5058c90) — git diff --stat origin/main...HEAD : 1 fichier, 1 insertion, 1 suppression. Or :

• main epingle aujourd'hui a88947e5c22 ;
• git merge-base a88947e5c2209c6c0471f52c3573a2f66912dd47 0de5058c9005a565702382dfac151552e30b42e3 -> 0de5058c900 : la cible de cette PR est l'ancetre commun, donc la pointe de main la contient strictement ;
• le distant master est plus loin encore : 9f60e1e345fa.

Autrement dit : le bump que cette PR demandait est deja en place sur main, avec des commits en plus. La fusion du pointeur serait un conflit sans gain (deux pointeurs sans base de fusion, parce que l'un est un ancetre de l'autre) ; la resoudre vers 0de5058c90 ferait reculer main, ce que la regle du depot interdit (« le bump est en avant, jamais en arriere »). La resoudre vers a88947e5 ne laisserait rien de la PR. La PR est donc closee plutot que poussee a vide.

Ce qui reste a faire, et ce n'est pas cette PR. Le pointeur de main (a88947e5) est lui-meme en retard sur master (9f60e1e3) : c'est une derive que scripts/coordination/submodule_watch.py signale, et la regle veut que cette derive devienne une PR de bump. Deux points mesures pour la personne qui la prendra :

1. Le cout de re-execution n'est pas nul. Le delta a88947e5 -> 9f60e1e3 touche Cards/Fallacies/Mindmaps/** (HTML + SVG, 7 langues) — or Cards/ est precisement ce que lisent les carnets de la serie Argumentation : grep -rl "Mindmaps" --include=*.ipynb -> Argumentation-Onto-01-AIF-OWL2-Python.ipynb, et grep -rl "Cards/" -> 5 carnets. L'affirmation de cette PR (« aucune re-execution due, aucun apport ne touche Cards/) ne vaut pas pour ce delta-la : elle vaut pour d257443d -> 0de5058c90.
2. Le geste de bump d'Argumentum revient a ai-01 (sous-module a agent permanent dedie ; ai-01 ne fait que le bump de pointeur). C'est aussi la lane qui a le depot du sous-module et les competences de re-execution.

Aucun carnet de la serie n'est touche par cette PR, et aucune re-execution n'est due pour ce PR-ci : la cible est deja sur main en version plus recente.

PR revertible (rien n'est supprime) ; la branche chore/bump-argumentum-0de5058 est conservee.

Co-Authored-By: Claude Haiku 5.5 noreply@anthropic.com