Skip to content

chore(symbolicai): bump du gitlink Argumentum vers la tete de master (2662c795) - #21846

Merged
myia-ai-01 merged 1 commit into
mainfrom
fix/argumentum-gitlink-bump
Oct 21, 2026
Merged

myia-ai-01 merged 1 commit into
mainfrom
fix/argumentum-gitlink-bump

Conversation

@jsboige

@jsboige jsboige commented Oct 21, 2026 •

Copy link
Copy Markdown
Owner

Grain: LIGHT/tooling -- lane myia-ai-01:CoursIA-2 -- prev: MED/guard #21840

Objet

Bump du gitlink du sous-module Argumentum
(MyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/Argumentum) vers la tete de
la branche declaree
dans .gitmodules (branch = master).

commit
pointeur sur main (avant) 933b491782330d41a4632e7a4c51b53d2978cc26
tete de master au moment de la mesure 2662c795aa82ed1a8511d41641fdb6540348e3ab

Le pointeur lagge la branche qu'il declare suivre : c'est la derive que
mesure la regle R2 des sous-modules. Ce PR la ferme.

Aucun commit n'est fait DANS Argumentum depuis CoursIA : le pointeur vise un
commit deja publie en amont (2662c795, present sur
ArgumentumGames/Argumentum). Le diff de ce PR est un seul fichier : la
ligne de gitlink.

Ce que contient l'amont entre les deux commits (4 commits, tous du 2026-10-21)

2662c795 chore(deps)(deps): Bump playwright (#1874)
da8280aa fix(rules): #458 harmonise ar/fa/zh section headings, deck + P&P (7 cells) (#1929)
da1251e3 fix(virtues): #458 Sonnet pass 3 — 23/24 kept cells (cascade drift, pk 0-33) (#1928)
4f26d542 feat(translation): #458 grain 24b-3 — apps 59 (Glossary) + 60 (Game Rules), 123 cellules (#1924)

Traduction (glossaire + regles de jeu, 123 cellules), harmonisation des
titres de section ar/fa/zh, retouches de la taxonomie des vertus, bump de
Playwright. Ce que cela change pour CoursIA : rien de vivant, mesure
ci-dessous.

Fichiers modifies dans le sous-module sur la plage

8 fichiers, +537 / -63 :

fichier amont blob avant blob apres
Cards/Fallacies/Argumentum Virtues - Taxonomy.csv af9cfde27c 74c0bcc12e
Cards/Fallacies/Argumentum Fallacies - Taxonomy.csv 048dd32127 048dd32127 (identique)
Cards/Rules/Argumentum Rules - Cards.csv 5d5c77de2c 3cada9a3bc
Cards/Rules/Argumentum Rules - Cards Print and Play.csv a5d7a0b8d2 38758e19b0
Cards/Scenarii/Argumentum Scenarii - Cards.csv 640d868fa9 640d868fa9 (identique)
docs/dnn-localization/eav-content.csv 286ce0391c c545f3f4de
docs/investigations/pdf-validation/package.json (+ lock) — —
tools/458-eav-translate.py (nouveau) —

Pourquoi ce bump est inerte pour CoursIA (mesure, pas supposition)

  1. Aucun code de CoursIA ne lit le sous-module au runtime. Le constructeur
    du dataset cartesien lit la copie verbatim in-repo
    (MyIA.AI.Notebooks/GenAI/FallacyDetection/data/argumentum_scenarii_cards.csv)
    et verifie son SHA1 de blob contre la constante SCENARII_BLOB_SHA1 -- pas
    l'arbre du sous-module. C'est dit explicitement dans
    data/NOTICE-SCENARII : « Ce n'est pas une perte de reproductibilite — le
    constructeur lit cette copie verbatim in-repo, pas le sous-module vivant »
    ,
    et le gitlink y est explicitement decrit comme ayant deja derive sans
    consequence sur le dataset.
  2. Le seul fichier dont CoursIA depend par copie et qui change est
    Cards/Fallacies/Argumentum Virtues - Taxonomy.csv (amont modifie), dont la
    copie locale (SymbolicAI/Argument_Analysis/data/argumentum_virtues_taxonomy.csv)
    est deja en retard (voir dette ci-dessous) : ce retard precede ce
    PR, il ne l'est pas cree par lui.
  3. Les deux CSV dont le contenu est repris dans CoursIA
    (Fallacies Taxonomy, Scenarii Cards) ont un blob identique sur la plage
    (mesure ci-dessus).

Dette mesuree, et pourquoi elle n'est pas traitee ici

copie locale dans CoursIA commit amont d'origine
data/argumentum_fallacies_taxonomy.csv 6bc573f73 (manifeste data/argumentum_snapshot.json, synced_on 2026-10-04)
data/argumentum_virtues_taxonomy.csv 6bc573f73

Le gitlink sur main etait deja 933b491782 (donc deja en retard de deux
pins sur la copie locale) avant ce PR : la dette de resynchronisation
precede ce bump, qui ne fait qu'augmenter l'ecart.

La resync n'est pas dans ce PR, pour trois raisons mesurees :

Preuve d'execution

1. Suite de tests du domaine (scripts/fallacy_detection/tests/)

227 passed, 1 failed

Le seul echec est pre-existant et independant du bump : il se reproduit a
l'identique au pointeur avant ce PR (933b491782), donc le bump ne
l'introduit pas. Cause identifiee : core.autocrlf=true sur ce poste Windows
sans regle .gitattributes text pour
MyIA.AI.Notebooks/GenAI/FallacyDetection/data/phase2/val.csv
(git check-attr text -> text: unspecified, contre text: unset pour les CSV
Argumentum) : le blob reste en LF (90 328 octets), la copie de travail
est en CRLF (91 958 octets), et le test compare les octets. Le test qui echoue
est test_real_build_matches_committed_manifest (comparaison
committed == B.split_csv_bytes(pairs, s)). Correctif = une regle
.gitattributes, sujet distinct.

2. Carnet consommateur de Argument_Analysis

Argumentation-02b-Argumentum-Cards-Python.ipynb re-execute dans la copie de
travail : 9 cellules de code, 9 executees, 0 erreur, kernel 3.13.3.

La sortie fraiche donne Taxonomie entiere : 1408 noeuds | Cartes jouables : 175 (carte=1) | Taux de selection : 12.4 % | ... (4079 Ko), la ou les sorties
commitees disent 176 cartes | 12.5 % | ... (3974 Ko).

Cette difference n'est pas due au bump, et la cause est mesuree :

Le carnet n'est pas modifie par ce PR : aucune de ses cellules source n'a
ete touchee (regle C.3 — un agent ne commit que les carnets dont il a modifie
une cellule source), et la re-execution stale de #20626/#21526 appartient a
l'autre lane.

#21663 depend-il de ce bump ?

Non. Mesure sur le diff de #21663 (ict/argumentum_bridge.py,
ict/tests/test_argumentum_bridge.py, argumentation_lib/__init__.py,
ICT-Argumentation-BeliefTrajectories.ipynb, ...) : aucune reference au
chemin du sous-module (grep sur le diff : zero occurrence de
Argument_Analysis/Argumentum, gitlink ou submodule).

L'organe que #21663 branche est le shim EPITA
MyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/argumentation_lib/, dont les
copies verbatim sont epinglees sur des commits EPITA-IS
(a8025f60, ecfd9b9c — cf argumentation_lib/NOTICE-EPITA), pas sur le
gitlink Argumentum. #21663 peut donc etre merge independamment, dans
n'importe quel ordre.

Ce que ce PR ne fait pas

  • il ne resynchronise pas les copies locales des taxonomies (dette ci-dessus) ;
  • il ne regenere pas le manifeste argumentum_snapshot.json ;
  • il ne touche ni au shim EPITA, ni aux carnets, ni aux constantes de
    provenance ;
  • il ne commit rien dans Argumentum.

Acceptation

  • gitlink porte sur la tete de la branche declaree (.gitmodules :
    branch = master)
  • resume de l'amont (git log 933b491782..2662c795aa) dans le body
  • preuve d'execution : suite scripts/fallacy_detection/tests/ (227
    passed / 1 echec pre-existant, controle a l'ancien pointeur) +
    re-execution du carnet consommateur (9/9, 0 erreur)
  • dependance a feat(ict,#7742): §8octies jonction Argumentum — organe EPITA comme second oracle (parité 212/212) #21663 tranchee et prouvee (non)
  • aucun commit dans Argumentum depuis CoursIA
  • dette de resync identifiee, datee et laissee a un PR distinct

Refs #4960, #20628, #21849. Ne depend pas de #21663.

🤖 Generated with Claude Code

…(2662c795)

Le pointeur du sous-module Argumentum lagged derriere la branche master
declaree dans .gitmodules (branche = master) : il pointait sur 933b491782
alors que la tete de master est 2662c795aa82ed1a8511d41641fdb6540348e3ab.

Aucun commit n'est fait DANS Argumentum depuis CoursIA : le pointeur vise
un commit deja publie en amont.

Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>
@github-actions

Copy link
Copy Markdown
Contributor

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-21) :

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 clusterManager-Myia left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

[Hermes] Review — bump gitlink Argumentum

Vérifications exécutées :

  • Le diff est exactement le gitlink Argumentum : 933b4917 → 2662c795 (1 fichier, +1/−1).
  • Le commit cible existe en amont (ArgumentumGames/Argumentum) : 2662c795 = « chore(deps): Bump playwright (#1874) », committé 2026-10-21T15:24Z — pas de gitlink orphan (la garde check_gitlinks_pushed verrait ORPHAN sinon).
  • Le seul check non vert au head est PR gate en DWELL (« plancher 120 min, reste 110 min ») : minuteur, rien à corriger dans le code.
  • Aucun secret, aucune modification hors périmètre.

APPROVE — bump mécanique, cible poussée et vérifiable.

@myia-ai-01 myia-ai-01 left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

APPROVE a la tete 2847fb68db3577603987e1e031c8fcffd0cac3f7 (coordinateur, sous-modules).

submodule_watch.py (ce cycle) mesure la meme DERIVE : gitlink 933b491782 contre refs/heads/master = 2662c795aa. Comparaison amont : 4 commits en avance, 0 en retard (#1924 traductions apps 59/60, #1928 et #1929 cellules Virtues/Rules, #1874 bump playwright), aucun commit fait dans Argumentum depuis CoursIA. Le diff ne touche que le gitlink. Checks a la source tous verts (check_run_state.py --pr 21846), B.0 rc=0.

@myia-ai-01
myia-ai-01 merged commit f01ca4f into main Oct 21, 2026
27 of 28 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