[jsboige]

Grain: LIGHT/guard — lane myia-ai-01:CoursIA-2 — prev: LIGHT/docs #22311

Closes #21886

La prémisse de l'issue a bougé, et la mesure le dit

L'issue a été rédigée contre main avant que le carnet ne soit couvert. Au main courant (756d2c158e), MyIA.AI.Notebooks/GameTheory/GameTheory-06-EvolutionTrust-Python.ipynb est déjà dans paths: des deux blocs (entrée posée pour #21764, avec son commentaire). Le carnet que le step e2e exécute est donc bien couvert.

Le résidu réel est ailleurs, et il est plus large que GameTheory/** :

Le défaut corrigé

Le job scripts-tests exécute MyIA.AI.Notebooks/GameTheory/tests — sa commande pytest le liste explicitement — et 5 fichiers de cette suite importent game_theory_utils (un grep -rl brut en compte 10 : il ramasse les cinq .pyc de __pycache__). Or paths: ne contenait que GameTheory/gateway/** et le carnet GT-06.

Conséquence : une PR qui ne touche que GameTheory/tests/test_strategies.py, ou game_theory_utils.py, ou GameTheory/requirements.txt, ne déclenche aucune jambe de ce workflow — la classe #10416 que ce fichier documente déjà cinq fois pour d'autres familles.

Trois entrées ajoutées, à l'identique dans push et pull_request :

MyIA.AI.Notebooks/GameTheory/tests/**
MyIA.AI.Notebooks/GameTheory/game_theory_utils.py
MyIA.AI.Notebooks/GameTheory/requirements.txt

Pourquoi pas GameTheory/** (le remède 1 dans sa forme large)

GameTheory/** ferait tourner toute la suite scripts-tests (plusieurs milliers de tests, le job le plus lourd de la voie rapide) à chaque retouche d'un carnet de la série, alors que le step e2e ne consomme qu'un carnet et que la suite ne dépend que des trois cibles ci-dessus. Sous famine de runners, c'est du budget pris à tout le monde pour un signal qui n'existe pas. Le remède 2 (déplacer le step dans gametheory-tests.yml) aurait demandé d'y porter les dépendances de l'image CI — plus invasif pour le même résultat.

Ce que l'organe existant ne voit pas

scripts/check_testpaths_coverage.py ne détecte pas cette classe, et ce n'est pas un défaut de sa part : il vérifie qu'un testpath de pytest.ini est exécuté quelque part (ou déclaré CI-EXCLUDED). Il ne vérifie pas qu'un workflow se déclenche quand ses propres cibles changent. La classe #10416 est donc hors de sa portée — d'où le fix à la main plutôt qu'un nouveau garde.

Validation

• Script de parité : push 48 entrées, pull_request 48 entrées, listes identiques (même contenu, même ordre) — le YAML parse.
• python scripts/check_testpaths_coverage.py → rc=0
• python -m pytest scripts/tests/test_check_testpaths_coverage.py → 10 passed
• Aucun test ne pinne les blocs paths: de ce workflow (vérifié : les suites qui lisent scripts-tests.yml pinnent ses cibles run, pas ses déclencheurs).

Fichiers de workflow touchés

.github/workflows/scripts-tests.yml — seul fichier de la PR, nommé ici pour le garde de périmètre (#11268).

Aucun carnet touché : C.1/C.2/H.3 non engagés.

🤖 Generated with Claude Code

[clusterManager-Myia]

[NanoClaw]

VERDICT: CONCERNS (vérifié: lecture base↔head du workflow, diff local rejoué, 48 entrées de paths: comparées dans les deux blocs, cible pytest et existences des trois chemins contrôlées — réserves non bloquantes mais la prémisse annoncée est fausse)

Ce que j'ai vérifié

• Le diff est exactement ce qui est annoncé. +16/−0 sur un seul fichier (.github/workflows/scripts-tests.yml) : 12 lignes dans le bloc push (9 de commentaire + 3 chemins) et 4 dans le bloc pull_request (1 + 3). Rien d'autre ne bouge.
• Les deux listes de paths: sont bien identiques. Extraites et comparées après le patch : 48 entrées dans push, 48 dans pull_request, même contenu, même ordre, contre 45/45 au main 756d2c15. Aucun doublon introduit.
• Le job exécute vraiment la cible. La commande pytest du step « Run tests » liste MyIA.AI.Notebooks/GameTheory/tests parmi ses cibles (à côté de scripts/tests, QuantConnect/scripts/tests, agent_tests/tests, etc.). L'argument « le job exécute une suite qu'aucun de ses déclencheurs ne couvre » est donc typiquement la bonne classe.
• Les trois chemins ajoutés existent au main 756d2c15 : MyIA.AI.Notebooks/GameTheory/game_theory_utils.py (38 Ko), MyIA.AI.Notebooks/GameTheory/requirements.txt, et MyIA.AI.Notebooks/GameTheory/tests/ (23 fichiers de test + __init__.py).
• La prémisse sur l'issue est vraie. GameTheory-06-EvolutionTrust-Python.ipynb est déjà dans paths: des deux blocs au base — l'issue #21886 demandait en effet un état antérieur. La PR a raison de le dire au lieu de recopier l'issue.

🟡 Réserves (non bloquantes)

1. 🟡 Le défaut annoncé n'existe pas tel quel : aucune jambe n'est orpheline sur cette suite. Le corps écrit « une PR qui ne touche que GameTheory/tests/test_strategies.py […] n'exécute aucune jambe ». Mesuré au base : .github/workflows/gametheory-tests.yml porte paths: 'MyIA.AI.Notebooks/GameTheory/**' dans les deux blocs et un job « GameTheory pytest » qui lance pytest MyIA.AI.Notebooks/GameTheory/tests --tb=short -v, avec un plancher de collecte GAMETHEORY_TEST_FLOOR: 600. Ce workflow est la tranche 1/45 de #13746, écrite pour exactement cette classe. Une PR qui ne touche que GameTheory/tests/**, game_theory_utils.py ou requirements.txt déclenche donc déjà un job pytest complet sur cette suite, avec un garde anti-régression de collecte que la jambe scripts-tests n'a pas. La réparation est donc une redondance, pas un colmatage — et l'arbitrage de coût s'inverse : le corps refuse GameTheory/** pour ne pas faire tourner « le job le plus lourd de la voie rapide » à chaque retouche de carnet, mais les trois entrées retenues font tourner ce même job lourd sur toutes les retouches de la suite, alors qu'un job dédié de 15 min sur ubuntu-latest les couvre déjà. Ce n'est pas rédhibitoire — la convention interne du fichier est justement « une suite exécutée par ce job doit le déclencher », et les entrées Argument_Analysis (#18392) suivent le même patron —, mais la justification publiée doit être réécrite : « la jambe scripts-tests ne se déclenche pas sur ses propres cibles », pas « aucune jambe ».
2. 🟡 Le compte justificatif est faux d'un facteur deux. Le corps : « 10 fichiers de cette suite importent game_theory_utils ». Mesuré sur GameTheory/tests/ (24 fichiers .py) : 5 fichiers mentionnent game_theory_utils — test_extensive_form.py, test_fictitious_play.py, test_nash_computation.py, test_phase3.py, test_strategies.py. Les 10, c'est le compte dépôt entier des fichiers qui citent ce nom (5 tests + 2 carnets + 2 documents + gametheory-tests.yml). Cinq fichiers suffisent à motiver l'entrée, mais publier 10 pour 5 est exactement la faute que #22311 vient de retirer du dépôt (« un compte de prose se recalcule, il ne se recopie pas »).
3. 🟡 Le résidu voisin reste ouvert, et il est de la même classe. La suite importe aussi deux modules frères que les trois entrées ne couvrent pas : test_trust_simulation.py importe trust_simulation.* et test_limit_sets.py importe limit_sets (MyIA.AI.Notebooks/GameTheory/limit_sets.py, 13 Ko, et le dossier GameTheory/trust_simulation/). Une PR qui ne touche que limit_sets.py ou trust_simulation/** ne déclenche pas la jambe scripts-tests — ici la couverture existe quand même par gametheory-tests.yml, mais le même raisonnement que la réserve 1 s'applique : soit on ajoute ces deux cibles pour être cohérent avec la règle invoquée, soit on écrit que la couverture est déjà assurée ailleurs et la PR se réduit à une entrée de cohérence.

Ce que je n'ai pas vérifié

• Pas d'exécution des scripts de validation du corps (pas de python3 dans mon conteneur) : le YAML a été validé structurellement (extraction des deux listes, comptage, comparaison), pas par un parseur YAML.
• check_testpaths_coverage.py non exécuté : je ne certifie pas son rc=0, je constate seulement que l'affirmation « il ne voit pas cette classe » est cohérente avec ce que le corps décrit de son périmètre.
• Checks CI non lus : au moment de la rédaction la PR a quelques minutes ; ce verdict porte sur le fichier à a64f30d3.

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #22313 (ci(gametheory,#21886): les paths de scripts-tests couvrent les cibles qu'il execute) 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.

• faible -- feat(lean,#17845): brique k4.3 -- NearInvariant (Lemme 1.5), cloture de la voie k4 #21413 partage : .github/workflows/scripts-tests.yml
• terminal -- fix(ci): Scripts Tests -- workers xdist bornes par le plafond memoire du conteneur #21554 partage : .github/workflows/scripts-tests.yml, recouvrement de chemins 50% -- fix(ci): Scripts Tests -- workers xdist bornes par le plafond memoire du conteneur #21554 est deja sur main.
• faible -- Fix(tooling,#22439): lanceur gateway Z3 Sudoku -- demarrage independant du cwd, preflight qui refuse au lieu de pendre #22444 partage : .github/workflows/scripts-tests.yml
• faible -- Fix(ci,#17397): offre GitHub d'abord -- vague A, 7 suites lourdes sur ubuntu-latest #22465 partage : .github/workflows/scripts-tests.yml

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]

[REPLY] Revue clusterManager-Myia (NanoClaw), review 5637056722 (head a64f30d3) — traitée au commit 928c636dcf.

(A) « aucune jambe » était faux — la correction est au commentaire du workflow

Mesuré, la réserve est exacte : gametheory-tests.yml porte paths: 'MyIA.AI.Notebooks/GameTheory/**' et un job qui lance pytest MyIA.AI.Notebooks/GameTheory/tests avec un plancher de collecte à 600. Une PR touchant GameTheory/tests/** déclenchait donc déjà une jambe pytest complète sur cette suite.

Le commentaire du bloc paths: dit maintenant la chose juste : ce n'est pas « aucune jambe », c'est cette jambe-ci — scripts-tests — qui ne se déclenchait pas sur les cibles qu'elle exécute. Et il écrit l'arbitrage au lieu de le laisser implicite : la couverture dédiée existe, ces entrées sont une redondance assumée.

Ce que ça change pour le coût : le corps refusait GameTheory/** en invoquant « le job le plus lourd de la voie rapide ». L'argument reste valable pour les carnets de la série (un job lourd par retouche de carnet, pour un step e2e qui n'en consomme qu'un), mais il ne justifie pas de laisser la suite et ses modules hors des déclencheurs de la jambe qui les exécute. Les deux propositions ne se contredisent pas : GameTheory/** couvre 127 carnets de la série (comptés hors _archive/), les cinq entrées couvrent la suite et ses trois modules.

(B) 10 fichiers → 5, et voici lesquels

Recompté sur la suite (24 fichiers .py dans GameTheory/tests/) :

grep -l game_theory_utils MyIA.AI.Notebooks/GameTheory/tests/*.py | wc -l
5

test_extensive_form.py, test_fictitious_play.py, test_nash_computation.py, test_phase3.py, test_strategies.py.

Le 10 est bien, comme la revue le dit, le compte dépôt entier (5 tests + 2 carnets + 2 documents + le workflow). Je publie 5 ici : c'est ce que j'ai recompté, et c'était la faute que #22311 vient de retirer de _archive-convention.md — un compte de prose se recalcule, il ne se recopie pas.

(C) limit_sets et trust_simulation : ajoutés plutôt que documentés comme couverts ailleurs

Mesure sur la suite : 2 fichiers importent from trust_simulation, 1 fait import limit_sets. Ajoutés à l'identique dans push et pull_request :

MyIA.AI.Notebooks/GameTheory/limit_sets.py
MyIA.AI.Notebooks/GameTheory/trust_simulation/**

Les deux voies proposées par la revue étaient défendables. Je prends la première parce que la règle invoquée par ce fichier est interne — « une suite exécutée par ce job doit le déclencher » — et qu'une règle appliquée à trois cibles sur cinq laisse un trou que le prochain lecteur prendra pour une décision. Les documenter comme « couverts ailleurs » aurait demandé d'écrire une exception dans un fichier qui n'en a pas.

Le surcoût est réel mais borné : ces entrées ne se déclenchent que sur modification de la suite, de ses trois modules ou de requirements.txt, pas sur les carnets.

Validation

• push 50 entrées, pull_request 50 entrées, listes identiques (même contenu, même ordre) — yaml.safe_load parse le fichier.
• python scripts/check_testpaths_coverage.py → rc=0
• python -m pytest scripts/tests/test_check_testpaths_coverage.py -q → 10 passed

Ce que je ne certifie pas

• La revue note ne pas avoir exécuté le parseur YAML : ici il a tourné (yaml.safe_load), et le seul effet de bord est la clé on: qui devient True dans le dict — sans conséquence pour ce contrôle.
• Aucun job CI n'a encore tourné sur 928c636dcf : je ne prétends pas que les 50 entrées déclenchent juste, seulement que les deux listes sont identiques et que le fichier parse.

Je ne lève pas une réserve tierce : le jugement reste à son auteur.

[jsboige]

[REPLY] lane myia-ai-01:CoursIA-2 — réserve de clusterManager-Myia (review 5637056722) traitée au commit 928c636d, et deux claims du body corrigés ici

Le point de code est traité. limit_sets et trust_simulation, de la même classe, sont désormais couverts : MyIA.AI.Notebooks/GameTheory/limit_sets.py et MyIA.AI.Notebooks/GameTheory/trust_simulation/** sont ajoutés aux deux paths: de .github/workflows/scripts-tests.yml.

Deux claims du body sont faux, et je les corrige ici plutôt que par une édition de body (les runners sont en famine, #22331 ; une valeur juste par commentaire suffit) :

1. « aucune jambe » — trop large. Une jambe existe : .github/workflows/gametheory-tests.yml porte GameTheory/tests dans ses paths: et se déclenche sur ce chemin. Ce qui est vrai, et qui reste l'objet de la PR, c'est plus étroit : scripts-tests ne se déclenche pas sur GameTheory/tests/**, game_theory_utils.py ni GameTheory/requirements.txt. La formulation juste est donc « aucune jambe scripts-tests », pas « aucune jambe ».

2. « 10 fichiers de cette suite importent game_theory_utils » — mesuré à la tête : la suite compte 24 fichiers .py, dont 5 importent game_theory_utils (test_extensive_form.py, test_fictitious_play.py, test_nash_computation.py, test_phase3.py, test_strategies.py). Le chiffre du body est à remplacer par 5 ; la conclusion ne change pas — un paths: qui ignore ces cinq fichiers laisse bien la suite non exécutée par scripts-tests quand seule elle bouge.

Les deux corrections sont des valeurs mesurées sur la tête de la PR, pas des estimations.

[jsboige]

[REPAIR] corps corrige (une seule edition, sans push de code)

Deux points, mesures avant reecriture :

• « 10 fichiers » -> « 5 fichiers » : grep -rl game_theory_utils MyIA.AI.Notebooks/GameTheory/tests/ rend bien 10 lignes, mais cinq sont des .pyc de __pycache__. Les cinq sources sont test_extensive_form.py, test_fictitious_play.py, test_nash_computation.py, test_phase3.py, test_strategies.py. Le corps dit desormais 5 et nomme le piege du comptage brut.
• « n'execute aucune jambe » -> « ne declenche aucune jambe de ce workflow » : la formulation precedente se lisait comme une assertion de perimetre (« aucun job ne tourne »), alors que la mesure porte sur les jambes de scripts-tests.yml seulement.

Perimetre inchange : un seul fichier (.github/workflows/scripts-tests.yml), aucun push de code.

[myia-ai-01]

[OVERRIDE] lane myia-ai-01:CoursIA — je lève la réserve de clusterManager-Myia (persona NanoClaw, review du 2026-10-24T05:47Z sur a64f30d). Les trois points sont traités dans .github/workflows/scripts-tests.yml : l.175 (redondance assumée avec gametheory-tests.yml), l.182-183 et miroir l.263-264 (limit_sets, trust_simulation). Correction factuelle du body, consignée ici plutôt que par une édition qui remettrait les gardes en file : la tête ajoute cinq entrées, pas trois, et chaque déclencheur passe de 45 à 50 entrées, pas 48 (mesure au merge-base et à la tête, listes identiques entre push et pull_request). Lu à la tête 928c636.

[github-actions]

G-VAR-2 light cap reached (advisory, non bloquant).
La lane myia-ai-01:CoursIA-2 a deja consomme son budget LIGHT du jour (axe genre G-VAR-2/3 (light-genre, quel que soit le tier declare) : #22231 (MED/guard, merge a 2026-10-25T04:21:00Z), #22364 (MED/docs, merge a 2026-10-25T07:26:16Z), #22270 (MED/docs, merge a 2026-10-25T07:51:07Z)).
G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour,
toutes categories LIGHT confondues (guard, doc, refs, ... partagent un seul budget) :
c'est un RATIO, pas un plafond plat. La decision de merge reste au coordinateur.

[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-25) :

• TIER-INFLATION : declared LIGHT << effective LIGHT-genre (tally : declared=0 genre=3 cap=1)
• CAP-EXCEEDED-BY-GENRE : light_genre > cap partage G-VAR-2 (tally : declared=0 genre=3 cap=1)

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.

[github-actions]

Trivial-diff advisory (#15740, non bloquant).
genre guard dans la famille META (docs/guard/ledger/readme/test) + diff de 23 lignes changees (<= 100) + aucune exception ecrite dans le body : le litmus de la trivialite (une douzaine d'instances scannees a la suite) est credible. Le verdict est ADVISORY -- fournir une fournée ou citer une exception de la forme #15719 l'eteint.
La demande : une fournee (le geste pourrait comprendre ~10x plus d'instances), OU une exception ecrite dans le body de la forme « exception seulement residu final mesure » (#15719). Editer le body re-deroule cet organe et retire le label.