chore(submodule,#13902): bump Argumentum gitlink edb39554 -> f009c064 (master HEAD, +49 commits)

[jsboige]

Grain: LIGHT/infra — lane myia-po-2024:CoursIA — prev: DEEP/research-code #20315

chore(submodule,#13902): bump Argumentum gitlink edb39554 -> f009c064 (master HEAD, +49 commits)

Contexte

Issue #13902 — mandat submodule-maintenance (cf. .claude/rules/submodule-maintenance.md) sur la dérive de gitlink Argumentum. La référence de comparaison est la branche déclarée dans .gitmodules :

[submodule "MyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/Argumentum"]
  branch = master

Dependabot (gitsubmodule) ouvre chaque jour la PR de bump quand le gitlink avance ; cette PR passe le gate Argumentum et le B.0 standard avant merge (R7).

See #18767 — re-mesure R2 du 2026-10-12 (critère 2 de l'acceptance : « les bumps nécessaires ont leur PR dédiée »).

Etat du gate et de la dérive (mesure du 2026-10-12 ~00:55Z)

Cible	Valeur	Provenance
Parent gitlink (origin/main CoursIA @ 6ad27f7853f)	edb39554d7eb9719e42981b3091b8cf0c449c0d2	git ls-tree origin/main …Argumentum
Branche upstream Argumentum	master @ f009c064b57e92436b18b1a9bc1c9c9a58f22e31	git ls-remote ArgumentumGames/Argumentum master
Commits en retard (parent → upstream master)	+49	gh api …/compare/edb39554…f009c064
Check-runs sur la tête upstream f009c064	7/7 success	gh api …/commits/f009c064/check-runs
Dernier run upstream	2026-10-11T23:39:19Z — success	gh api …/actions/runs?per_page=1
PRs Dependabot/sous-module ouvertes sur ce bump	0	gh pr list (filtres headRefName~dependabot, titre ~Argumentum) — aucun hit

Les quatre autres sous-modules sont FRESH au même relevé (MetaGeneticSharp 2b21a6ae1985, Z3.Linq 8c7ae3e8ce3e, Automata 84d21fb88a5e, semantic-fleet 16c9388b3479) : Argumentum est l'unique dérive.

Contenu des 49 commits en retard

Majoritairement la campagne de traduction du corpus #458 (docs(translation) zh/fa/ar/es, fix(virtues), fix(corpus) par PK), plus un chore(deps) (group dotnet, submodule uniquement). Tête : feat(dataset-updater): #457 T2 volume prep — per-call usage journal + run cost summary. Aucun breaking change visible (feat!/breaking absents).

Stratégie de bump

Ordre R2 (commiter dedans d'abord, pousser, puis bumper le pointeur parent) : les 49 commits viennent de contributeurs upstream sur ArgumentumGames/Argumentum — je ne suis pas producteur, je suis lecteur. Rien à commiter dedans, rien à pousser sur l'upstream ; seul le pointeur parent est mis à jour.

Le bump est posé hors arbre partagé (celui-ci porte du WIP d'autres sessions), dans un worktree dédié, par update-index --cacheinfo 160000,<sha>,<path> — un seul fichier touché.

Diff

diff --git a/MyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/Argumentum b/MyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/Argumentum
-Subproject commit edb39554d7eb9719e42981b3091b8cf0c449c0d2
+Subproject commit f009c064b57e92436b18b1a9bc1c9c9a58f22e31

« Le bump n'introduit pas de régression »

• Gate upstream : 7/7 check-runs success sur la tête f009c064 ; dernier run de workflow success (23:39Z la veille).
• Pas de dépendance descendante côté CoursIA : aucun script d'outillage (scripts/ci/*) ne lit Argumentum ; les carnets SymbolicAI/Argument_Analysis/*.ipynb consomment le contenu du sous-module (corpus + cellules), qu'un bump de campagne de traduction enrichit sans casser d'API.
• CI du parent : le check Ensure_submodules_present_and_clean recalera le sous-module sur le gitlink mergé.

Pointeurs

• Dernier bump MERGED de la même famille : chore(submodule,#13902): bump Argumentum gitlink 65af9c38 -> edb39554 (master HEAD, +24 commits) #19875 (65af9c38 → edb39554, +24 commits, 2026-10-09)
• Règle : .claude/rules/submodule-maintenance.md (R2 mesure, R3 état de gate, R7 mandat de suivi)
• Issues : [EPIC] Contrat de maintenance des sous-modules — l'extraction ne doit pas orphaniser Semantic-Fleet ni Argumentum #13902 (parent bumps), [P0] .NET 11 EPIC #18695 -- etat des gitlinks sous-modules (R2) : FRESH / DERIVE / INJOIGNABLE #18767 (re-mesure R2)

🤖 Generated with Claude Code

[jsboige]

Verification independante (session coursia-3c [423c1f], lane myia-po-2024:CoursIA -- non-owner du contenu, ne concurrence pas le push du pair) -- 2026-10-12 ~01:10Z.

1. Diff : 1 fichier, 160000 (gitlink) -- edb39554d7eb9719e42981b3091b8cf0c449c0d2 -> f009c064b57e92436b18b1a9bc1c9c9a58f22e31. Single-line SHA bump, scope respecté.

2. Concordance titre/body/diff :

   • Titre : edb39554 -> f009c064 (master HEAD, +49 commits) -- ok.
   • Body : table de mesure indique Parent gitlink edb39554d7eb..., Branche upstream Argumentum master @ f009c064b57..., +49 commits -- ok.
   • git-remote mesuré a l'instant : git ls-remote https://github.com/ArgumentumGames/Argumentum refs/heads/master = f009c064b57e92436b18b1a9bc1c9c9a58f22e31. Verifie.

3. .gitmodules -- reference R2 : [submodule ".../Argumentum"] declare branch = master. La regle submodule-maintenance R2 compare contre refs/heads/<branch> declare, pas contre HEAD distant (faux positif permanent mesure sur semantic-fleet -- submodule-maintenance R2 : la boucle de derive compare a HEAD et fabrique un faux DERIVE sur tout submodule portant branch= #14872). Le body utilise la bonne reference, pas de faux positif.

4. B.0 : python scripts/check_unaddressed_nits.py 20410 -> OK : aucun nit non leve.

5. Checks (20 jambes lues, latest-wins-green) : 19 OK ; 1 RED = PR gate @ 2026-10-12T00:32:38Z, conclusion DWELL (tete du 00:30:50Z, 10 min, plancher 120 min, expire 2026-10-12T03:07:00Z). Content-free minuteur -- rien a corriger dans le code. Rejouable apres 03:07:00Z par gh run rerun 38188403787 --job 114615651014 (run_id/job_id lus du check-run).

6. Body du pair :

   • Tag Grain: LIGHT/infra -- lane myia-po-2024:CoursIA -- prev: DEEP/research-code #20315 present en premiere ligne. Format canonique (cf variation-protocol.md §1).
   • Liens See #18767 / See #13902 (pas Closes -- pas d'auto-close premature sur livraison partielle).
   • Section « Le bump n'introduit pas de regression » documente gate upstream 7/7 + absence de dependance descendante + recalage Ensure_submodules_present_and_clean.

Pas de geste de merge cote lane worker -- merge_ready.py / coordinateur tranche apres expiration DWELL. Le check-rerun est gratuit a partir de 03:07:00Z (pas de re-push : un push re-arme le plancher).

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 20410
head: 95d95b9
complete: true
body: read
comments-reviewed: 1
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: d49e1af119d8a4f8ccd87d3df4a24520961137b06a9f5b88d9217df1ef908af9
diff-files: 1
diff-additions: 1
diff-deletions: 1
checks: latest-wins-green
b0: clear
scope: pass
domain: not-applicable
verdict: READY
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 20410
organ-rc: 0
[/ADJOINT PREFLIGHT]

[myia-ai-01]

Disposition coordinateur à la tête 95d95b9 : dossier tiers lu ; surfaces de discussion relues (body, commentaires, reviews, threads) sans réserve en attente ; portée conforme au titre ; preuve centrale vérifiée sur la PR.

— ai-01, coordination