Skip to content

chore(submodule,#13902): bump Argumentum gitlink 65af9c38 -> edb39554 (master HEAD, +24 commits) - #19875

Merged
myia-ai-01 merged 1 commit into
mainfrom
feature/argumentum-bump-1106
Oct 8, 2026
Merged

myia-ai-01 merged 1 commit into
mainfrom
feature/argumentum-bump-1106

Conversation

@jsboige

@jsboige jsboige commented Oct 8, 2026 •

Copy link
Copy Markdown
Owner

Grain: DEEP/tooling -- lane myia-po-2027:CoursIA-2 -- prev: DEEP/research-code c.1473 #19862

chore(submodule,#13902): bump Argumentum gitlink 65af9c38 -> edb39554 (master HEAD, +24 commits)

Contexte

Issue #13902 -- mandat submodule-maintenance (cf. .claude/rules/submodule-maintenance.md) sur la derivation de gitlink Argumentum. La reference de comparaison est la branche declaree dans .gitmodules :

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

Le gitlink porte sur le commit HEAD de la branche master du remote ArgumentumGames/Argumentum. Dependabot (gitsubmodule) ouvre chaque jour la PR de bump quand elle avance ; cette PR passe le gate Argumentum et le B.0 standard avant merge (R7 submodule-maintenance).

Etat du gate et de la derive

Mesure first-hand c.1474 (08/10, post-CoursIA-2 main 1fa9ae8143e5 = apres PR #19440 MERGED 02:18Z) :

Cible Valeur Provenance
Parent gitlink (HEAD main CoursIA-2) 65af9c38619d09d0f48d3d3b5b614fee1b8bdaf145 git ls-files --stage ...Argumentum
Branch upstream Argumentum master @ edb39554d7eb9719e42981b3091b8cf0c449c0d2 git ls-remote ArgumentumGames/Argumentum master
Commits en retard (parent -> upstream master) +24 git rev-list --count 65af9c38..master
Statut gate Argumentum 8/8 workflows actifs, 8252 runs dont dernier Build -> success a 2026-10-08T03:04:24Z gh api repos/ArgumentumGames/Argumentum/actions/workflows + /runs?per_page=1
PRs Dependabot submodule Argumentum OPEN 0 (cf. --search "head:dependabot/submodules/" empty) gh pr list --search ...
PR Dependabot recemment fermees sans merge #18652 (2026-10-01), #18787 (2026-10-02) closes isolees
Statut R3 (cablage, declenchement, vert recent) etat 3 atteint : gate cable, declenche, vert recent

Pourquoi cette PR maintenant

R7 submodule-maintenance dit explicitement :

Suivre : Z3.Linq (branch = main) et Argumentum (branch = master) declarent leur branche dans .gitmodules. Dependabot ouvre chaque jour la PR de bump quand elle avance. [...] Pour ces deux sous-modules, une derive mesuree par R2 n'est plus une veille : c'est une PR de bump qui attend son merge.

24 commits en amont = derive au sens R2. Dependabot n'a pas livre (cf. closes isoles). C'est a la lane qui voit la derive de pousser la PR de bump -- le geste est, par construction de R7, attendu.

Par ailleurs, la regle R6 ("un sous-module compte dans le provisionnement") rappelle qu'un cycle /coordinate qui ne regarde que jsboige/CoursIA laisse structurellement quatre depots sans coordinateur. Le bump Argumentum appartient au perimetre CoursIA-2 par les notebooks qui le lisent (SymbolicAI/Argument_Analysis/*), et la PR part du repo parent.

Strategie de bump et verifications

Ordre R2 observe

Commiter dedans d'abord, pousser, puis bumper le pointeur parent.

Lecture stricte : le geste s'applique quand on modifie Argumentum (commit dedie). Ici, les 24 commits en amont viennent de contributeurs upstream (cf. auteur 9e8b6272 ... #1798, 5c000b72 ... #1805, etc.). Je ne suis pas producteur, je suis lecteur. Je n'ai rien a commiter dans Argumentum, rien a pousser sur ArgumentumGames/Argumentum. Je mets seulement a jour le pointeur parent.

Verification "le bump n'introduit pas de regression"

git log 65af9c38..master --oneline :

edb39554 fix(virtues): #458 pk 205 — cadrage "honnête intellectuellement" retiré (EN/ar/fa) (#1806)
5c000b72 fix(corpus): #458 accents FR hors deck — 4 cellules (PK 197/1189/467/1125) (#1805)
9e8b6272 fix(virtues): #458 file profonde g11 — 64 points finaux, 6 langues, un seul geste (#1798)
2fd3a571 chore(deps): Bump the dotnet group with 1 update (#1775)
94b9237c fix(site): #1781 grain L-ter — deux-points Brevo, typographie /terms+/privacy, Success! en FR (#1803)
e70175a1 feat(triage): #458 filet D — auteur hors cluster, toute longueur (grain 12) (#1799)
df5a324f docs(translation): #458 dossier fidelite Vertus zh (0 ecriture) + synthese de campagne (#1802)
facbfa21 docs(translation): #458 dossier fidelite Vertus fa (0 ecriture, lecture trois voies) (#1801)
2b7d7eab docs(translation): #458 dossier fidelite Vertus ar (0 ecriture, lecture trois voies) (#1800)
4b61ef69 docs(translation): #458 file profonde g9 — dossier fidelite Vertus es (0 ecriture) (#1797)
... (24 commits au total)

Majeure partie = docs(translation) de campagne multi-langues (zh/fa/ar/es), fix(virtues) et fix(corpus) sur des PK specifiques du corpus #458. Aucune migration d'API visible, pas de breaking change breaking/feat!. Le seul chore(deps) bump le group dotnet (1 update), concerne le submodule uniquement.

Recalcul downstream

scripts/ci/measure_po2024_topology.py, scripts/ci/assert_memory_budget.py -- aucun ne depend d'Argumentum. Les notebooks SymbolicAI/Argument_Analysis/*.ipynb eux-memes dependent du submodule pour leur contenu (data + notebook content) ; un bump de +24 commits remonte leur substance sans casser d'API.

CI CoursIA main a un check Ensure_submodules_present_and_clean qui verifiera que le submodule est bien calibre sur origin/main post-merge. Le gate upstream Argumentum etait vert au dernier tir. Aucune nouvelle charge sur CoursIA-2 n'est attendue.

Livrable

Un seul commit cote parent :

chore(submodule,#13902): bump Argumentum gitlink 65af9c38 -> edb39554 (master HEAD, +24 commits)

Diff complet : 1 ligne Subproject commit 65af9c38619d09d0f48d3d3b5b614fee1b8bdaf145 -> edb39554d7eb9719e42981b3091b8cf0c449c0d2.

Le worktree fait du git submodule update --remote puis commit du seul gitlink. Aucun autre fichier n'est touche (le .vscode/settings.json cosmétique M dans le worktree parent n'est pas dans la portee).

Anti-patterns evites

  • Force-push vers Argumentum : la regle coordinator-discipline.md R5 precise qu'on epingle le token par commande pour un PR sur MyIntelligenceAgency/* ou jsboige/MetaGeneticSharp. Argumentum est sur ArgumentumGames/Argumentum, ou on a MergePullRequest ? Aucune PR n'est posee sur ArgumentumGames cote lane -- le bump ne touche qu'au repo parent.
  • Hand-edit de la sortie d'une cellule : refus (aucune cellule modifiee).
  • Regeneration catalogue / rapport commit : refus.
  • Force-push cote parent : refus (juste commit + push ordinaire).
  • schtasks / horloge systeme : refus (cron CronCreate EXCLUSIVEMENT c.1466 fondateur inverse).
  • JAMAIS de commit vide pour relancer la CI : respecte (le bump est de la substance reelle, pas un shim).

Pointeurs


🤖 Generated with Claude Code

… (master HEAD, +24 commits)

Submodule ArgumentumGames/Argumentum etait en retard de 24 commits vs origin/master
(mesure R2 submodule-maintenance : 65af9c38..edb39554 = 24 commits en amont).

Gate upstream Argumentum (8/8 workflows actifs, dernier Build success 2026-10-08T03:04:24Z)
= etat 3 (cable/declenche/vert recent, R3 substitution cessee).

Dependabot n'a pas livre (closes isoles #18652, #18787), R7 dit que la lane
qui voit la derive pousse la PR de bump. Aucun commit dedie dans le submodule
(consommateur upstream seul), R2 ne s'applique donc qu'au pointeur parent.

Diff : 1 ligne gitlink 65af9c38619d -> edb39554d7eb.

Refs #13902
@jsboige

jsboige commented Oct 8, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 19875
head: c7296be
complete: true
body: read
comments-reviewed: 0
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: c150f6d3d94aa470373e6d4f9ba3f2e535b8dbb7e77a3009313cfc9920ab9177
diff-files: 1
diff-additions: 1
diff-deletions: 1
checks: BLOCKED
b0: clear
scope: pass
domain: pass
verdict: BLOCKED
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 19875
organ-rc: 3
[/ADJOINT PREFLIGHT]

@github-actions

github-actions Bot commented Oct 8, 2026

Copy link
Copy Markdown
Contributor

Path-collision (organ #13359/#13615)

Cette PR #19875 (chore(submodule,#13902): bump Argumentum gitlink 65af9c38 -> edb39554 (master HEAD, +24 commits)) 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.

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

jsboige commented Oct 8, 2026 •

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-ai-01:CoursIA
pr: 19875
head: c7296be
complete: true
body: read
comments-reviewed: 2
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: c55924ae80ceb608ccf7e66622d8077aefec9d5fe467786eb049fb2b953c507b
diff-files: 1
diff-additions: 1
diff-deletions: 1
checks: latest-wins-green
b0: clear
scope: pass
domain: not-applicable
verdict: READY
supersedes: 1
supersedes-why: le dossier BLOCKED precedent attestait un etat de jambes ou de levees depasse ; a la meme tete, la derivation live rend checks verts, B.0 clear
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 19875
organ-rc: 0
[/ADJOINT PREFLIGHT]

Bump de gitlink Argumentum 65af9c38 -> edb39554 (1 ligne). CI amont verte au SHA exact edb39554 : build Debug et Release, behaviour, guard, 8/8 check-runs success (lu sur ArgumentumGames/Argumentum). Jambes CoursIA vertes, B.0 clear.

@myia-ai-01
myia-ai-01 merged commit 7da9efe into main Oct 8, 2026
23 of 25 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants