fix(ci,#15758): pr_gate_missing — le bot s'écrit selon l'API, les deux sites partageaient la mauvaise orthographe

[jsboige]

Grain: MED/tooling — lane myia-po-2023:CoursIA — prev: DEEP/tooling #15725

Summary

Résiduel de #15621, survivant au correctif mergé #15622 (12321c2354). Même classe de défaut — collecteur et consommateur ne partagent pas la même forme — mais sur l'axe de l'auteur bot, que #15622 n'a pas couvert.

Le collecteur lit l'auteur en REST :

"--jq", '.[] | {number, draft: .draft, base: .base.ref, '
        'author: .user.login, labels: [.labels[] | {name}], sha: .head.sha}'

classify_input() range cette valeur sous author_login. Les deux consommateurs comparaient à une constante GraphQL :

BOT_LOGIN = "app/github-actions"                 # l.82 (avant)
if pr.get("author_login") == BOT_LOGIN:          # l.199 (classify) et l.243 (prescribe)

Or les deux API n'épellent pas le bot pareil — mesuré sur #15678 :

Source	Valeur
REST gh api repos/jsboige/CoursIA/pulls/15678 --jq '.user.login'	github-actions[bot]
GraphQL gh pr view 15678 --json author	app/github-actions
GraphQL author.login (brut)	github-actions

Le collecteur émet la première, les consommateurs comparaient à la deuxième : l'égalité était fausse pour toute PR du bot. Le verdict bot_missing et la cause bot étaient structurellement inatteignables — la PR du bot était publiée « gate absent, cause inconnue », avec « investigation manuelle » réclamée, au lieu de la cause structurelle nommée (et sans le label pr-gate-missing-bot).

Le correctif

• BOT_LOGINS + is_bot_author() : les trois orthographes mesurées, et un point de comparaison unique que les deux sites appellent — une quatrième orthographe ne peut pas n'en corriger qu'un seul. C'est la convention des autres organes qui lisent un auteur (ci/guard_comment_upsert.py GUARD_BOT_LOGINS, pick_idle_grain.py AUTOMATION_AUTHORS, review_coverage.py) ; cet organe était le seul à comparer à une chaîne unique.
• Le détail de la cause nomme désormais l'orthographe mesurée, jamais une chaîne supposée (règle de l'organe : « le commentaire nomme la cause MESURÉE, avec la valeur lue »).

Vérification

$ python -m pytest scripts/tests/test_pr_gate_missing.py -q
34 passed

Contrôle positif — les tests neufs ne sont pas verts par construction. Contre la source d'origine (origin/main@e7eb3fca7d, module chargé depuis git show), le chemin réel rend les verdicts que ce commit corrige :

has is_bot_author?   False
BOT_LOGIN = 'app/github-actions'
  classify('github-actions[bot]') -> missing        # <-- émis par le collecteur
  classify('app/github-actions')  -> bot_missing
  classify('github-actions')      -> missing
prescribe(REST)      -> unknown

L'angle mort que ce commit ferme. Les tests existants pilotaient bien list_open_prs, mais lui passaient author="app/github-actions" à la main — la valeur de la constante du consommateur, jamais celle que le collecteur rend vraiment. Le test neuf énonce le contrat du producteur : il capture les arguments gh du collecteur et exige que le sélecteur d'auteur reste .user.login (REST). Changer de source d'auteur change l'orthographe rendue ; ce test rougit à ce moment-là au lieu de suivre en silence.

Acceptance de l'issue :

1. les trois orthographes mesurées classent en bot — couvert ;
2. un auteur humain (jsboige, myia-ai-01, "") n'est pas absorbé — couvert ;
3. le test épingle la forme du producteur, pas un dict construit à la main — couvert ;
4. aucune régression des autres verdicts — les 28 tests antérieurs restent verts.

Note de voisinage — #15728

#15728 (fix/15621-prgate-collector-shape, lane po-2023) est une implémentation sœur du même #15621 (PR_ROW_KEYS/normalize_row là où #15622 a retenu classify_input), mergée 81 min après sa création. Elle est donc CONFLICTING et supplantée pour sa partie forme/labels. Elle portait en revanche la quatrième cause dont ce commit est la livraison — reprise ici sur main, dans la conception retenue, et non par une résolution de conflit qui aurait réintroduit un second design. Je ne ferme pas #15728 : la décision est coordinateur.

Closes #15758. See #15621, See #15622.

🤖 Generated with Claude Code

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #15759 (fix(ci,#15758): pr_gate_missing — le bot s'écrit selon l'API, les deux sites partageaient la mauvaise orthographe) 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.

• terminal -- fix(ci,#15621): pr-gate-missing -- collecteur et consommateur partagent une seule forme (+ 3 labels jamais crees) #15622 partage : scripts/pr_gate_missing.py, scripts/tests/test_pr_gate_missing.py (recouvrement 100%) -- fix(ci,#15621): pr-gate-missing -- collecteur et consommateur partagent une seule forme (+ 3 labels jamais crees) #15622 est deja sur main, la substance est consommee. (issues communes : [ci] pr_gate_missing : collecteur et consommateur ne partagent pas la meme forme — 3 verdicts inatteignables, 3 labels jamais crees #15621)

Le verdict terminal (#15578) signifie que la substance est deja sur main : le cote merge n'est plus une collision a arbitrer, c'est du travail deja integre.