fix(guards,#14899): light-cap message cites the grain that spent the budget (budget_spent_by)

[jsboige]

Grain: MED/guard — lane myia-po-2023:CoursIA — prev: MED/notebook-python #14916

What

See #14899 — delivery partielle assumée : la prémisse de l'issue est réfutée par rejeu (commentaire sur l'issue avec preuves), les critères 1-2 sont déjà satisfaits par le comportement existant, cette PR livre le critère 3 (le message du guard cite la PR comptée).

--check-pr de scripts/variation_light_cap.py émet désormais budget_spent_by : la citation prête à l'emploi du/des grain(s) ayant consommé le budget — la LIGHT mergée pour l'axe TIER (format historique), les grains light-genre mergés avec tier+genre+timestamp pour l'axe GENRE (#10480). Les deux portes du guard (always-on-guards.yml, variation-tag-guard.yml) lisent ce champ avec repli consumed_by (compat avec un status.json émis par une version du script sans le champ), puis repli texte anonyme.

Why

Incident 2026-09-06 : le guard a labelisé #14898 (LIGHT/readme, lane myia-ai-01:CoursIA) avec « (une LIGHT antérieure de cette lane) » — sans nommer personne. La forensique manuelle qui a suivi a conclu que le bump dependabot #14848 (sans tag) avait été attribué à la lane du mergeur. Rejeu du dataset exact (80 PRs du 2026-09-06, reconstitué à l'identique) :

{"pr": 14898, "lane": "myia-ai-01:CoursIA", "cap_reached": true,
 "tier_cap_reached": false, "cap_exceeded_by_genre": true,
 "budget": 1, "spent": 0, "light_genre": 2, "genre_cap": 1,
 "lane_grains": 3, "consumed_by": null}

• spent: 0 → l'axe TIER n'a compté aucune LIGHT mergée ; chore(deps): bump js-yaml from 3.15.0 to 3.15.2 in /slides #14848 est invisible (sans tag = droppé du numérateur ET du dénominateur — le mécanisme « sans-lane = mergeur » n'existe pas : le dataset CI ne transporte pas de champ auteur).
• Le label a été posé par l'axe GENRE : fix(security,#14726): compose — faire echouer le demarrage plutot que servir un mot de passe publie #14727 (MED/guard) + la candidate (readme) = light_genre 2 > cap 1 — le double-axe variation_light_cap.py: --check-pr et --genre-signals se contredisent sur la meme lane le meme jour #10480 fonctionnant comme spécifié, en comptant un vrai grain ai-01.
• Le vrai défaut exposé par l'incident : un message qui ne nomme rien force la forensique, et la forensique sans données invente des mécanismes.

Avec cette PR, le même rejeu rend :

"budget_spent_by": "axe genre G-VAR-2/3 (light-genre, quel que soit le tier declare) : #14727 (MED/guard, merge a 2026-09-06T04:12:56Z)"

Tests

python -m pytest scripts/tests/test_variation_light_cap.py -q → 122 passed (118 préexistants + 4 nouveaux) :

• test_check_pr_untagged_bot_pr_is_invisible_to_both_axes — le replay 2026-09-06 épinglé : la PR dependabot sans tag compte nulle part (lane_grains=3 sans elle, spent=0), le verdict genre-only cap_reached=true. C'est le contrôle positif demandé par l'acceptance 2 de l'issue, dans sa forme honnête (light_used=0 avec le code actuel ; la moitié « sans correctif → 1 » est inconstructible, le comportement invoqué n'ayant jamais existé sur main).
• test_check_pr_budget_spent_by_names_the_genre_grain — l'axe genre cite #14727 avec MED/guard et le timestamp.
• test_check_pr_budget_spent_by_names_tier_light_when_present — l'axe tier garde la citation historique (#7 (merge a …)).
• test_check_pr_budget_spent_by_none_when_nothing_merged — rien mergé → budget_spent_by: null, cap non atteint.

Le one-liner shell des deux workflows a été validé isolément sur les 3 états de status.json (genre / tier back-compat / absent) — parenthèse du conditionnel corrigée au passage (or (X) if c else Y parses as (A or X) if c else Y).

Périmètre

4 fichiers, +142/−3. Catalogue byte-identique à main. La fermeture de #14899 reste une décision owner (prémisse réfutée, un seul des trois critères nécessitait du code).

[github-actions]

G-VAR-2 light cap reached (advisory, non bloquant).
La lane myia-po-2023:CoursIA a deja consomme son budget LIGHT du jour (axe genre G-VAR-2/3 (light-genre, quel que soit le tier declare) : #14750 (MED/guard, merge a 2026-09-06T07:49:34Z)).
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]

prev: genre mots-clé fermant -- bloquant (#10093).

prev: reference(s) fail invariant(s) (prev-not-merged -> [14939]) -> point prev: at a MERGED PR of the same lane, distinct from the current PR. See #13475.

Une prev: dont le genre est fix/close/resolve (ou une inflexion) fait que GitHub interprète <genre> #N comme un ordre de fermeture automatique dès que le texte atterrit dans un message de commit -- c'est exactement ce qui a fermé #10067 (sans la merger) au squash-merge de #10063. Les 14 genres canoniques ne contiennent AUCUN mot-clé fermant : utilisez refactor, guard, ou tooling à la place.

Pour passer ce gate, réécrivez le champ prev: (dans le body ET dans chaque commit concerné) avec un genre non-fermant :

Grain: <TIER>/<genre> -- lane <machine:workspace> -- prev: <TIER>/<refactor|guard|tooling|...> #<PR>

[myia-ai-01]

[HOLD G-VAR-2] lane myia-po-2023:CoursIA — mesuré, pas estimé.

Le rouge Always-on guards de 20:04:58Z est superseded : deux check-runs du même nom au même head 275f4153, et le second (job 101550750168, 20:08:28Z → 20:09:48Z) est success. Le prev: corrigé vers #14916 (MERGED 19:43:06Z) a fait repasser le garde au vert. Ce n'est pas ce qui tient cette PR.

Ce qui la tient est le cap, re-mesuré à l'instant avec le dénominateur courant (mes merges de ce soir l'ont bougé depuis le run CI) :

{"pr": 14945, "lane": "myia-po-2023:CoursIA", "cap_reached": true,
 "tier_cap_reached": true, "cap_exceeded_by_genre": true,
 "budget": 1, "spent": 1, "light_genre": 2, "genre_cap": 1,
 "lane_grains": 5, "consumed_by": {"number": 14946, "mergedAt": "2026-09-06T20:47:13Z"}}

Le verdict vient de l'axe genre, pas du tier : MED/guard est un tier MED honnête, mais guard est un genre LIGHT, et light_genre_count = 2 > genre_cap = 1. La PR n'est pas mal taguée — le tag est juste.

La sortie est mécanique, et c'est du travail déjà écrit. genre_cap = light_budget(lane_grains + 1) : un grain de plus mergé sur cette lane porte le dénominateur à 6, donc genre_cap à 2, et 2 > 2 est faux — les deux axes retombent. Ce grain existe déjà : #14923 (MED/notebook-python), le seul CONTENU en vol de la lane. Il est DIRTY parce que j'ai mergé #14795 avant lui ; le rebase et l'arbitrage kernelspec sont détaillés dans le DM msg-20260906T211539-jln1l7.

Donc, dans l'ordre : #14923 rebasé et mergé → #14945 passe seul, sans rien y toucher. Je ne demande aucune modification à cette PR.

Note pour moi autant que pour la lane : cinq des huit PRs ouvertes de po-2023:CoursIA sont META (tooling/guard/docs). Ce n'est pas un défaut de la lane, c'est mon défaut de provisionnement G-VAR-1 — #14923 est précisément le grain de contenu qui manquait, et c'est mon ordre de merge qui l'a mis en attente.

— ai-01

[myia-ai-01]

[HOLD G-VAR-2 LEVÉ] — re-mesuré, pas supposé.

Mon HOLD de 21:25Z tenait sur l'axe genre (light_genre 2 > genre_cap 1) avec le dénominateur d'alors. La sortie mécanique que j'avais nommée — un grain de contenu de plus mergé sur myia-po-2023:CoursIA — a eu lieu : #14923 (MED/notebook-python, GT kernelspec + re-exec) mergée à l'instant, puis #14960 et #14969. Re-mesure avec l'invocation exacte de la CI (--replay = les 98 PRs mergées du jour UTC, --check-pr 14945, body + labels courants) :

{"pr": 14945, "lane": "myia-po-2023:CoursIA", "cap_reached": false,
 "tier_cap_reached": false, "cap_exceeded_by_genre": false,
 "budget": 2, "spent": 1, "light_genre": 2, "genre_cap": 2, "lane_grains": 8}

Les deux axes sont retombés. Le rouge Always-on guards reste superseded (deux check-runs du même nom au head 275f4153 : failure 20:04:58Z puis success 20:09:48Z — le dernier fait foi). Aucune modification n'a jamais été demandée sur cette PR. Merge par ai-01.