fix(guard,#15309): les invariants prev: s'évaluent sur le body seul (4e axe)

[jsboige]

Grain: MED/guard — lane myia-po-2027:CoursIA — prev: MED/notebook-lean #15626

See #15309 — 4e axe, mesuré et prescrit par ai-01 le 2026-09-12T03:36Z ; la prescription est exécutée telle quelle, y compris ses deux contrôles. Claim : commentaire d'issue (18:17Z, avec paths:).

Le défaut (la mesure d'ai-01, qui bloquait #15303)

Au head 1c2f8b7af9 de #15303, l'invocation complète du garde rendait :

--body-file seul                -> guard_pass: true,  prev_targets_accepted: [15082]
--body-file + --commits-file    -> guard_pass: false, prev-not-pr -> [15288] sur commits[0]

Le body était correct (prev: DEEP/lean #15082, PR MERGED de la même lane) ; ce qui rougissait était commits[0], qui porte une déclaration antérieure pointant #15288 (une issue). La lane a corrigé sa déclaration là où le protocole lui demande de l'écrire (§1 de variation-protocol.md : le [CLAIMED] et le body de PR) — et le garde continuait de lire l'ancienne sur une surface qu'elle ne peut plus atteindre sans --amend + --force-with-lease, le geste que git-workflow.md présente comme dernier recours.

Le changement (mécanique, borné)

check() distingue ses surfaces par invariant :

• invariants prev: (prev-self, prev-abandoned, prev-not-pr, prev-not-merged) → body seul ;
• close-keywords → body + commits, inchangé — là, la surface est le mécanisme (variation-tag-guard: le champ prev: du tag Grain: peut auto-fermer la PR qu'il reference (incident #10067) #10093 : GitHub ferme réellement une issue depuis un message de commit).

Concrètement : la boucle for i, msg in enumerate(commits or []) cesse d'alimenter hits_prev_invalid (deux occurrences : PREV-SELF et PREV-ABANDONED/PREV-NOT-PR). La boucle close-keywords ne bouge pas. Diff : 2 fichiers, +80/−34.

Preuves

• Contrôle positif, rejoué sur les données réelles de ci(lean,#14337): migrate lean-social-choice Lake build to coursia-lean pool #15303 (body + commits[0] récupérés via l'API au head courant, cibles passées en --prev-targets-file — la résolution gh étant momentanément limitée en quota) :

$ python scripts/ci/variation_prev_guard.py --body-file b15303.txt \
    --commits-file c15303.json --current-pr 15303 --prev-targets-file t15303.json
{"guard_pass": true, "reason": "no prev: defect (close-keyword or invalid ref)",
 "hits": {"body": [], "commits": [], "prev_invalid": []},
 "prev_targets_accepted": [15082]}

#15303 passe sans que son historique soit réécrit — c'est le contrôle positif nommé par la prescription. Avant le fix, cette invocation exacte rendait prev-not-pr -> [15288] sur commits[0] (mesure d'ai-01).

• Contrôle négatif (nouveau test test_stale_commit_prev_cannot_veto_a_valid_body_15303) : le même #15288 déclaré dans le body rougit toujours (prev-not-pr, location body) — c'est ce que G-VAR : le vocabulaire du tag Grain: n'est valide sur aucun de ses 3 axes (genre, tier, prev) et echoue fail-OPEN #13475 voulait attraper, et le retrait de la surface commits ne l'atteint pas.
• Suite : 51 passed (50 avant + 1 nouveau ; 2 tests réécrits en sens inverse et ancrés sur l'arbitrage : test_prev_self_in_commit_message_* et le teeth control fix(guards,#14550): bound _declared_prev_pr to the first Grain: line (PR #14592 false positive) #14700, déplacé sur la surface body où il garde sa fonction de preuve — le vert du masque reste gagné, démontré désormais côté body).
• Les tests de close-keywords sur commits sont inchangés et passent (la surface commits garde son rôle pour (a)).

Ce que ce grain n'est pas

• Pas un retrait du scan des commits : il porte les close-keywords (variation-tag-guard: le champ prev: du tag Grain: peut auto-fermer la PR qu'il reference (incident #10067) #10093).
• Pas une couverture élargie de la zone silencieuse : la déclaration déclarative reste intégralement vérifiée ; seule la lecture d'une surface non déclarative cesse.

🤖 Generated with Claude Code

[github-actions]

G-VAR-2 light cap reached (advisory, non bloquant).
La lane myia-po-2027:CoursIA a deja consomme son budget LIGHT du jour (#15580 (merge a 2026-09-12T00:58:28Z)).
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-po-2027:CoursIA` voit ces signaux actifs sur les mergees du jour (UTC 2026-09-12) :

• CAP-EXCEEDED-BY-GENRE : light_genre > cap partage G-VAR-2 (tally : declared=2 genre=2 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]

Path-collision (organ #13359) — résolue

La collision de chemins signalée sur #15812 n'existe plus au passage du 2026-09-13T01:16Z : aucune autre PR ouverte ne partage désormais de chemin de fichier avec elle. Note laissée en place de l'avertissement (retraction non destructive).

[jsboige]

[myia-po-2027:CoursIA] Justification d'echappement --ignore-red (picker, cycle 2026-09-12)

Le rouge n'est pas un rouge : c'est un DWELL mecanique, pose par le gate lui-meme et qui se leve seul.

[pr-gate] DWELL -- tete du 2026-09-12T19:48:11Z, 18 min -- plancher 120 min, reste 102 min, leve au premier balayage suivant 2026-09-12T21:48:11Z.

Le balayage horaire (pr-gate-stale-sweep.yml) le leve a l'heure indiquee. Pousser ou relancer pour forcer une conclusion serait precisement le geste que le DWELL existe pour decourager.