Repository navigation
Chore(submodule): bump Argumentum d257443df0 -> a88947e5c2 (26 commits, Cards inchange pour les carnets) - #23375
Merged
Merged
Conversation
…s, Cards inchange) La DERIVE signalee par submodule_watch.py porte 26 commits de master sur le gitlink du sous-module Argumentum (branche declaree dans .gitmodules : master). Les carnets de CoursIA ne lisent que Cards/ du sous-module, et le delta ne change aucun fichier sous Cards/ : git diff --name-only d257443df0 a88947e5c2 -- Cards/ rend 0 chemin. Le contenu consomme est identique octet pour octet entre les deux pins, donc aucune sortie de carnet ne change. Les XML d'export 2sxcContentExport_Argumentum_*.xml sont modifies (+90 222 lignes sur Fallacies) mais ne sont lus par aucun fichier du depot : git grep -l 2sxcContentExport sur origin/main rend 0 resultat. Gate du sous-module : Build, Mindmap wrapper behaviour, Deploy static content et Healthcheck sont verts au sha a88947e5c2 (2026-10-29T16:13-16Z), donc la substitution R3 cesse. Cette PR supersede #23045, qui vise 0de5058c90 -- quatre commits en arriere du pin actuel, soit une regression de pin. La fermeture de #23045 revient au coordinateur ; cette PR ne la fait pas. Co-Authored-By: Claude Haiku 5.5 <noreply@anthropic.com>
github-actions
Bot
added
the
variation-tag-genre-offlist
Contributor
|
G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
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 |
Contributor
Path-collision (organ #13359/#13615)Cette PR #23375 (
|
jsboige
added a commit
that referenced
this pull request
Oct 30, 2026
…de sortie Cinq points releves par la review du 2026-10-29 sur la PR #23314. 1. `rc=1` ambigu (le point bloqueur). Python rend 1 aussi bien sur une derive mesuree que sur une exception non rattrapee : le step de verdict, branche sur `steps.drift.outputs.rc`, publiait « derive de gitlink au-dela du seuil » sur un `drift.json` de 0 octet. Le step de mesure n'expose plus `rc` (il reste dans le log, indicatif) ; le verdict lit `drift.json` avec jq et traite un artefact absent ou illisible comme une PANNE DE MESURE, distincte d'une derive. Test de non-regression : aucun step ne lit un output `rc`. 2. Seuil franchi avant le merge. Mesure du jour sur Argumentum, la plus active des cinq : 100 commits sur 6 jours actifs (24-29/10), mediane **16 commits par jour actif**. A 10, le garde rougissait apres une seule journee d'activite amont -- tous les jours pour un cron quotidien. Seuil porte a 40 (~2,5 jours actifs medians), justifie dans la docstring et dans l'en-tete du workflow. Mesure a la tete : Argumentum DERIVE 26 commits, semantic-fleet 1, rc 0. Le bump de rattrapage reste la PR #23375, ouverte independamment. 3. Le seuil n'est plus ecrit deux fois : `MAX_AHEAD` dans l'env du job, lu par la mesure et par le verdict ; un test verifie qu'il egale `DEFAULT_MAX_AHEAD`, pour que CI et local ne divergent pas en silence. 4. `INJOIGNABLE` : `ahead_by` passe de 0 a `None`, pour qu'un consommateur qui ne lit que ce champ ne conclue pas « pas de derive » sur un depot muet. 0 reste reserve a l'etat `OK`, ou il est le resultat d'une mesure. 5. « Advisory » et `exit 1` n'etaient pas compatibles. Le garde est bloquant sur `schedule` et `push` -- les evenements qui font autorite sur `main` -- et advisory (annotation, sans echec du job) sur `pull_request`, ou une derive anterieure au contenu de la PR n'est pas imputable a son auteur. Tests : 19 passed (15 + 4). Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
myia-ai-01
pushed a commit
that referenced
this pull request
Oct 31, 2026
…ules (#23314) * Add(tooling): garde quotidienne de la derive des gitlinks de sous-modules La Regle 2 mesurait la derive, mais l'organe ne tournait qu'a la main, au rythme des cycles de coordination : une derive de 26 commits (Argumentum, d257443df -> a88947e5) a pu s'accumuler en trois semaines sans regard. Le proprietaire naturel de cette derive, Dependabot, s'est tu : aucune PR (tous ecosystemes) depuis le 2026-10-27. Mesure du 2026-10-29, cause du silence : le pin de main a ete avance a la main de 84 commits (PR #22958, 27/10 20:57:30Z), soit 5 minutes avant que Dependabot n'auto-cloture sa propre PR (#22823, 27/10 21:02:08Z, "up-to-date now") -- il n'avait alors plus de cible, et sa resolution de branche s'etait figee sur une ref du 23/10. L'organe existant est etendu plutot que duplique : - compare_ahead() mesure la distance (ahead_by de l'API compare) en stdlib (urllib) : ni gh, ni secret requis dans la CI ; - gitlink_drift() rend ahead_by (0 pour OK, la distance pour DERIVE, None si la mesure est impossible) ; - drift_exit_code() : 0 = rien, 1 = derive au-dela du seuil, 2 = mesure impossible (un incident de reseau ne fait pas rougir la veille) ; - --drift-only : mode sans GraphQL, sans jeton, sans liste de PRs ; la veille historique garde son comportement et son exit_code inchanges. Le workflow .github/workflows/submodule-drift.yml (cron 17 4 * * *, hors :00 pile) publie l'artefact de mesure et echoue sur un bump en retard. Le seuil de 10 commits distingue "le pin suit" de "le bump est en retard" : un garde qui rougirait sur toute derive serait rouge en permanence. Le garde est advisory, non enregistre comme check bloquant. 15 tests dans scripts/tests/test_submodule_watch_drift.py verrouillent les pieges : une mesure absente n'est jamais un zero, une derive courte n'est pas un retard, un depot muet n'est pas une egalite, la branche declaree fait foi. Cette PR ne bump pas le pin Argumentum : la decision de bumper releve de l'adjoint et du coordinateur. L'outillage mesure desormais la derive au lieu de la laisser s'accumuler. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> * Fix(tooling,#23314): le verdict du garde lit le JSON, jamais le code de sortie Cinq points releves par la review du 2026-10-29 sur la PR #23314. 1. `rc=1` ambigu (le point bloqueur). Python rend 1 aussi bien sur une derive mesuree que sur une exception non rattrapee : le step de verdict, branche sur `steps.drift.outputs.rc`, publiait « derive de gitlink au-dela du seuil » sur un `drift.json` de 0 octet. Le step de mesure n'expose plus `rc` (il reste dans le log, indicatif) ; le verdict lit `drift.json` avec jq et traite un artefact absent ou illisible comme une PANNE DE MESURE, distincte d'une derive. Test de non-regression : aucun step ne lit un output `rc`. 2. Seuil franchi avant le merge. Mesure du jour sur Argumentum, la plus active des cinq : 100 commits sur 6 jours actifs (24-29/10), mediane **16 commits par jour actif**. A 10, le garde rougissait apres une seule journee d'activite amont -- tous les jours pour un cron quotidien. Seuil porte a 40 (~2,5 jours actifs medians), justifie dans la docstring et dans l'en-tete du workflow. Mesure a la tete : Argumentum DERIVE 26 commits, semantic-fleet 1, rc 0. Le bump de rattrapage reste la PR #23375, ouverte independamment. 3. Le seuil n'est plus ecrit deux fois : `MAX_AHEAD` dans l'env du job, lu par la mesure et par le verdict ; un test verifie qu'il egale `DEFAULT_MAX_AHEAD`, pour que CI et local ne divergent pas en silence. 4. `INJOIGNABLE` : `ahead_by` passe de 0 a `None`, pour qu'un consommateur qui ne lit que ce champ ne conclue pas « pas de derive » sur un depot muet. 0 reste reserve a l'etat `OK`, ou il est le resultat d'une mesure. 5. « Advisory » et `exit 1` n'etaient pas compatibles. Le garde est bloquant sur `schedule` et `push` -- les evenements qui font autorite sur `main` -- et advisory (annotation, sans echec du job) sur `pull_request`, ou une derive anterieure au contenu de la PR n'est pas imputable a son auteur. Tests : 19 passed (15 + 4). Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> --------- Co-authored-by: Claude Sonnet 5.5 <noreply@anthropic.com>
2 tasks
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Grain: LIGHT/tooling — lane myia-ai-01:CoursIA-2 — prev: MED/ledger #23206
Bump du gitlink Argumentum vers la tête de
mastersubmodule_watch.pysignalait uneDERIVE: le gitlink deMyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/Argumentum(d257443df0) avait 26 commits de retard surrefs/heads/master(a88947e5c2).La branche déclarée dans
.gitmodulesestmaster; la référence de comparaison est doncrefs/heads/master, et non unHEADdistant.Les 26 commits
Ce que les carnets consomment — et ce qui ne change pas pour eux
Les carnets et scripts de CoursIA ne lisent que
Cards/du sous-module. SousCards/, le delta ne change aucun fichier :git diff --name-only d257443df0 a88947e5c2 -- Cards/rend 0 chemin — le contenu que les carnets lisent est identique octet pour octet entre les deux pins.Le reste du delta est hors de la portée des carnets :
DNNPlatform/**: ressources.resxet pages DNN ;Generation/Converters/Argumentum.AssetConverter/**: code d'export et ses tests ;docs/dnn-localization/,tools/large-blob-guard.py.Les XML d'export
2sxcContentExport_Argumentum_*.xml(dontFallacies, modifié de +90 222 lignes) ne sont lus par aucun fichier du dépôt :git grep -l 2sxcContentExportsurorigin/mainrend 0 résultat. Ce sont des charges utiles de déploiement DNN, pas la source que les carnets lisent.Aucune sortie de carnet ne change. Je n'ai rejoué aucun carnet : la vérification porte sur l'égalité des octets de
Cards/entre les deux pins, pas sur une ré-exécution.Consommateurs recensés sur
origin/main(git grep -l "Cards/Fallacies\|Cards/Scenarii\|Argumentum Fallacies") :MyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/Argumentation-Onto-01-AIF-OWL2-Python.ipynbMyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/Argumentation-Onto-02-CrossLinks-CSV-Python.ipynbMyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/README.mdMyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/_archive/Argument_Analysis_Agentic-1-informal_agent.ipynbMyIA.AI.Notebooks/GameTheory/GameTheory-18c-Humour-Banc-Python.ipynbMyIA.AI.Notebooks/GenAI/FallacyDetection/README.mdscripts/fallacy_detection/cartesian_dataset_builder.pyscripts/fallacy_detection/tests/test_argumentum_taxonomy_integrity.pyGate du sous-module (état 3)
8 workflows actifs sur
ArgumentumGames/Argumentum. Au shaa88947e5c2:Le gate existe, tire et est vert sur la branche par défaut : la substitution R3 (deux vérifications firsthand sur deux sièges distincts) cesse — A2 est acquis.
Deux PRs de bump déjà ouvertes — ce que celle-ci fait
d2574430de5058c90dc42437ce9NOTICE,NOTICE-VIRTUES, ontologie)Cette PR pointe vers la tête de la branche déclarée et supersède #23045, qui est une régression de pin. Je ne ferme pas #23045 : la fermeture revient à
myia-ai-01:CoursIA.#22415 est un resync de contenu (les copies de taxonomie du dépôt CoursIA), pas un bump : il n'entre pas en collision de fichier avec celle-ci, et son sort reste à trancher par le coordinateur — son contenu vise un pin 71 commits en arrière, alors que
Cards/a bougé entredc42437ce9etd257443(les quatre lignes de taxonomie décrites par #22958).Vérification
git ls-remote https://github.com/ArgumentumGames/Argumentum refs/heads/master→a88947e5c2209c6c0471f52c3573a2f66912dd47.git log --oneline d257443df0..a88947e5c2 | wc -l→ 26, mesuré deux fois par des voies indépendantes (clone local et APIcompare), résultat identique.git merge-base --is-ancestor→d257443df0,0de5058c90etdc42437ce9sont tous trois ancêtres dea88947e5c2.git diff --name-only d257443df0 a88947e5c2 -- Cards/→ 0 chemin.git grep -l 2sxcContentExport origin/main→ 0 résultat.1 insertion(+), 1 deletion(-), mode160000(gitlink).🤖 Generated with Claude Code