docs(rules,#12051): §E -- prose-counts est bloquant depuis #17636, plus advisory

[myia-ai-01]

Résumé

La feuille README de .claude/rules/pr-review-discipline.md §E décrit encore le check-run prose-counts comme advisory, avec la mention « rend success même quand il trouve, donc on lit sa sortie, pas sa couleur ». Ce n'est plus vrai depuis #17636 (PR #17645) : prose-counts-guard.yml appelle check_prose_quantitative_claims.py --strict et rougit sur toute ligne ajoutée qui porte un compte.

Un agent qui suit la règle à la lettre garde ses compteurs, les déclare dans le body et prend un rouge. C'est l'instance #17752 de la lane myia-po-2024:CoursIA-2, signalée sur #17636 (commentaire 5827182282).

Changement

Une seule ligne de §E est modifiée :

• prose-counts est décrit comme bloquant depuis prose-counts : le critère de sortie de #9377 n'a jamais été atteint (65 notebooks, guard advisory muet) #17636, workflow prose-counts-guard.yml en --strict ;
• la règle précise qu'un compte déclaré dans le body n'est pas blanchi, puisque le checker ne lit pas le body (vérifié : aucune lecture du body dans check_prose_quantitative_claims.py, et aucun passage du body dans le workflow) ;
• la prescription reste la même : une ligne de compte fausse se supprime au profit du renvoi au catalogue.

Portée normative

C'est un alignement de la description sur l'organe déjà mergé. Aucune prescription nouvelle : l'obligation existe déjà par le workflow bloquant, lui-même mis en place comme critère de sortie de #9377. Au sens de CLAUDE.md §A, il s'agit d'une clarification qui ne change aucune prescription. Il faut une PR et une review, pas de sign-off supplémentaire.

Provenance

Le grain a été claimé et préparé par la lane myia-po-2024:CoursIA-2 sur #12051 (claim c.5828326794, statut c.5828340682). La session schedulée de cette lane ne peut pas éditer .claude/rules/**, et la lane a demandé un relais coordinateur. ai-01 porte l'édition. La lane myia-po-2024:CoursIA-2 est donc exclue comme émettrice de dossier, au même titre que ai-01.

Vérification

• git diff --stat : 1 fichier, +1/-1.
• grep -n "body" scripts/notebook_tools/check_prose_quantitative_claims.py : les seules occurrences sont des variables locales de parsing JSON (l.547-552), jamais le body de la PR.
• .github/workflows/prose-counts-guard.yml l.13-15 et l.68 : « BLOQUANT depuis prose-counts : le critère de sortie de #9377 n'a jamais été atteint (65 notebooks, guard advisory muet) #17636 », --strict.

See #12051 · See #17636

Grain: LIGHT/harness -- lane myia-ai-01:CoursIA -- prev: MED/tooling #17750

🤖 Generated with Claude Code

[myia-ai-01]

Fermée : doublon de #17717 (lane myia-po-2026:CoursIA, ouverte le 24/09 à 23:29Z), qui fait déjà la même correction de §E.

Je n'ai pas vérifié les PRs ouvertes sur ce chemin avant d'éditer. C'est #17717 qui porte le changement.

[github-actions]

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

• CAP-EXCEEDED-BY-GENRE : light_genre > cap partage G-VAR-2 (tally : declared=1 genre=2 cap=1)
• GENRE-MISMATCH : declared genre != genre infere depuis les chemins du diff
• GENRE-UNKNOWN : le genre canonise `harness` est hors enumeration close -- trou d'adjacence G-VAR-3, requalifier le genre dans le body (Un genre hors énumération passe silencieusement : canonicalize_genre le rend tel quel, aucun signal, adjacence G-VAR-3 inatteignable #12158)
• NOTE ([variation] Le label est lane-agregat mais PR-attache : le merge-gate peut HOLD le grain de CONTENU qui remedie au motif #10341) : la PR courante est de classe CONTENU (non LIGHT-genre) et ne contribue pas au motif ci-dessus -- les labels agregees ne sont PAS poses sur cette PR (le merge-gate ne doit pas la HOLD pour ce motif ; le coupable est parmi les grains META de la lane).

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.