fix(ci,#16143): frontiere de mot explicite — un marqueur SNAKE_CASE est reconnu

[jsboige]

Grain: MED/tooling — lane myia-po-2026:CoursIA — prev: DEEP/notebook-python #16123

Closes #16143.

Le defaut

\b ne franchit pas le tiret bas. _ est un caractere de mot en re Python, donc dans final_residual il n'y a de frontiere ni avant final, ni avant residu : le marqueur SNAKE_CASE etait inerte aux deux motifs, et l'organe rendait verdict: trivial + written_exception: null — exactement ce qu'il rend quand rien n'est invoque, donc faux dans le sens qui accuse l'auteur.

Correctif applique, identique a celui propose par l'issue (le correctif SOTA, pas une variante degradee) :

_EXCEPTION_LEXICAL = re.compile(r"(?<![a-z0-9])(?:exception|residu|justification)")
_EXCEPTION_SCOPE   = re.compile(r"(?<![a-z0-9])(?:final|dernier|seul)(?![a-z0-9])"
                                r"|(?<![a-z0-9])(?:mesur|restant)")

Ne pas simplement retirer les \b : final sans frontiere droite mordrait finalement, finaliser, seulement — la sur-accusation symetrique, et moins visible. [a-z0-9] suffit des deux cotes, l'entree etant deja accent-strippee et minusculisee par _strip_accents_lower.

Mesure avant / apres, sur l'instance reelle #15849

Rejoue sur le corps de #15849 prive de la ligne de contournement en prose que la lane myia-po-2023 y avait ajoutee sur place (--stats 11,5,5, meme entree) :

organe	verdict	written_exception
avant (tete 635f95abd)	trivial	null
apres (cette PR)	ok	la ligne du marqueur : titre FINAL_RESIDUAL, fixed_count 5 < plancher 10

Une precision d'honnetete sur la lecture de ce tableau. Sur le corps live de #15849, l'ancien organe rendait deja ok — mais pas grace au marqueur : grace aux mots de prose exception / residu final mesure de la ligne de contournement. Ce que la comparaison montre est donc un basculement de verdict (trivial -> ok) et un changement de ligne citee : le verdict ok porte desormais sur le marqueur, la ou il portait sur la prose. Le defaut etait reel et masque ; il fallait retirer le contournement pour le voir.

Le controle : deux colonnes

test_table_des_deux_colonnes_de_la_frontiere fige les deux colonnes de la table de l'issue. La colonne de droite compte autant que celle de gauche : un test qui ne verifierait que la gauche repasserait au vert avec les \b simplement retires, en rouvrant la sur-accusation.

Un troisieme test (test_sans_frontiere_droite_final_mordrait_finalement) controle le raisonnement lui-meme : il verifie que la forme naive — celle qu'on obtiendrait en retirant les \b — mord bien finalement, alors que la forme livree non. Sans lui, rien ne prouve que c'est la frontiere droite qui protege, et pas autre chose.

Passe « meme erreur » sur le fichier : terminee

L'issue demandait de relire toutes les expressions du fichier dans la meme passe. Fait par grep, pas a l'oeil : scripts/check_trivial_diff.py porte exactement 2 re.compile (_EXCEPTION_LEXICAL l.102, _EXCEPTION_SCOPE l.104). 2 sur 2 corrigees. Aucune troisieme expression ne reste a auditer dans ce fichier.

Au-dela de la demande de l'issue : le CLI a ete execute de bout en bout sur une instance reelle (les deux modes, --body-file et le contrat de sortie JSON), pas seulement les deux expressions isolees en python -c.

Ce que cette PR ne fait pas

• Frequence non mesuree. L'issue le disait deja : personne n'a mesure combien de corps de PR reels portent un marqueur SNAKE_CASE. Cette PR ne le mesure pas davantage — le defaut reste etabli sur la mecanique du moteur d'expressions regulieres et sur une instance observee (fix(probas,#15719): échapper les pipes des tables — tranche Probas (Percolation, PyMC-04, DoWhy-1, voi) — FINAL_RESIDUAL #15849), pas sur une frequence. Un marqueur SNAKE_CASE peut donc avoir ete rendu trivial a tort sans que quiconque l'ait releve.
• Organes freres non audites. Le defaut appartient a la famille des organes de detection partageant cette forme de frontiere (cf check_unaddressed_nits : la fenetre de citation (_is_cited, 30 car.) ne s'arrete pas a la frontiere de paragraphe — un titre de section nu eteint un verdict NEUF #15989 pour la classe « mesure 0 la ou il croit mesurer »). Le meme \b-contre-_ a pu se repeter ailleurs dans scripts/ : non verifie ici. Ce serait un grain distinct, pas une extension de celui-ci (un sujet par PR).

Verification

• python -m pytest scripts/tests/test_check_trivial_diff.py -q -> 14 passed (11 existants + 3 ajoutes)
• Les 4 controles fondateurs de ci: un organe advisory qui rougit sur la TRIVIALITE d'un diff, pas sur sa taille (2e moitie du concern user sur #15724) #15740 non regeneres : docs(ict,#15457): aerate D1-C4 encounter notes #15630 (9 lignes) et fix(qc-mixte,#15457,#15719): aérer FuturesTrend + corriger ORPHAN_TABLE_ROW (3 tables) #15724 (20 lignes) restent trivial ; docs(#15457): consolider la fournée d'aération en un grain (absorbe 10 PRs) #15737 (756 lignes) et le fix 2 lignes d'un bug critique restent ok
• Hooks pre-commit : gitleaks Passed, text=True sans encoding= Passed
• Diff : 2 fichiers, +74/-2

🤖 Generated with Claude Code

[github-actions]

G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
La lane `myia-po-2026:CoursIA` voit ces signaux actifs sur les mergees du jour (UTC 2026-09-14) :

• TIER-INFLATION : declared LIGHT << effective LIGHT-genre (tally : declared=0 genre=2 cap=5)
• 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.