fix(ci,#16085): perimeter guard — cardinal anaphorique + relais de provenance sha

[jsboige]

Grain: MED/ci — lane myia-po-2023:CoursIA — prev: #16095

Closes #16085 — les deux sous-classes de faux positifs documentées (cas A #16075, cas B #15983), reproduites en tests, correctif étroit, zéro FN.

Racine commune

Le parseur associe un entier à len(files) sans entendre la déixse ni la provenance. Deux énoncés vrais, deux rouges bloquants en 24 h sur des lanes distinctes.

Cas A — cardinal anaphorique délimité (#16075)

Corpus (check-run 103819809724) : « Les occurrences des mots sorry / native_decide dans ces deux fichiers sont de la prose » — le cardinal renvoie aux modules nommés au paragraphe précédent, pas au périmètre du diff.

Correctif : garde de pass-through _word_form_is_anaphoric_reference sur la branche word-form de check_assertion :

• démonstratif + cardinal fermé (ces deux … dix / these two … ten, adjacents au nom),
• ligne sans mot de scope fort (« Périmètre : dans ces deux fichiers » reste rouge),
• antécédent de fichiers nommés requis dans un lookback borné (500 chars) — sans cut au \n\n : l'antécédent vit AU-DESSUS de la ligne blanche, et couper au paragraphe amputait la fenêtre de ce qu'elle cherche (bug attrapé par le test repro avant push).

Forme anonyme (démonstratif sans antécédent nommé nulle part) → fail-loud, rouge conservé.

Cas B — population relayée en provenance (#15983)

Corpus (check-run 103727613461, échec « [PR body / jsboige] l'assertion pretend 8 fichier(s), la liste effective en compte 1 ») : « La provenance citée (19 findings → 13 après restauration, 8 fichiers de fe04e1f37, ~793 lignes) : relayée, non re-mesurée depuis mon siège » — l'auteur échoïse la review tierce dans son propre body ; c'est ce chemin-là qui restait rouge.

Correctif : _count_is_provenance_sha — queue « de <sha 7-40 hex> » immédiatement après le compte. Consulté dans _count_is_exempt (routage #11712) ET dans la branche DIFFSTAT_NEIGHBORHOOD de _count_is_incidental : les « ~793 lignes » de la phrase appartiennent au contexte emprunté, pas au diffstat de cette PR (sans cela, la branche diffstat retournait rouge avant d'atteindre l'exemption — second bug attrapé par le test repro).

Contrôles FN : sha court fe04e ou non-hex main.yml ne fingerprint pas un commit → reste rouge ; énumération vraie avec liste explicite reste rouge ; _additive_line_sum n'inclut pas la provenance dans la somme.

Direction suivie (issue, § Direction de fix)

• Cas A : fenêtre paragraphe précédent + antécédent nommé — mécanique de fenêtre fix(perimeter,#13335): measurement-antecedent window = enclosing paragraph (wrap-invariance) #13361. ✓
• Cas B : masque « N fichiers de <sha-7+> » étendu à l'écho body de la review tierce. ✓ (le scan des reviews tierces elles-mêmes est déjà SIGNAL-only, perimeter-review-guard bloque sur l'assertion d'un TIERS : la cible n'a aucun levier (#11646) #11648-b2 : l'écho body était le seul chemin rouge restant.)

Validation

• python -m pytest scripts/tests/test_check_pr_perimeter.py -q → 211 passed (9 nouveaux : 2 repro + 7 contrôles FN/additive), relancé post-dernier-commit.
• Les deux phrases du corpus, rejouées via check_assertion sur leurs fixtures : plus aucun problème.

Closes #16085

🤖 Generated with Claude Code

[github-actions]

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

• CAP-EXCEEDED-BY-GENRE : light_genre > cap partage G-VAR-2 (tally : declared=3 genre=3 cap=2)
• GENRE-UNKNOWN : le genre canonise `ci` 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.

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #16101 (fix(ci,#16085): perimeter guard — cardinal anaphorique + relais de provenance sha) 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(guards,#16162): comptes niés ou portant sur une autre PR ne sont plus des périmètres #16206 partage : scripts/check_pr_perimeter.py, scripts/tests/test_check_pr_perimeter.py, recouvrement de chemins 100% -- fix(guards,#16162): comptes niés ou portant sur une autre PR ne sont plus des périmètres #16206 est deja sur main.

Le verdict terminal (#15578) signale qu'un cote de la paire est deja sur main. L'organe mesure un recouvrement de chemins ; il ne compare pas le contenu des deux livraisons, donc il ne conclut PAS a une redondance (#15768) : deux PRs peuvent toucher le meme fichier pour des raisons disjointes. L'arbitrage reste a la lane ou au coordinateur.

[jsboige]

[po-2023] Debloquee : base rafraichie, conflit d'ajout resolu en gardant les DEUX blocs

CONFLICTING -> MERGEABLE. Merge de origin/main pousse (c329465856..7ae0843374).

Un conflit d'AJOUT pur, en fin de scripts/tests/test_check_pr_perimeter.py : les deux cotes avaient ajoute des tests disjoints au meme point.

cote	bloc ajoute
branche (#16101)	9 tests test_16085_* — cardinal anaphorique + relais de provenance sha
main	11 tests test_16162_* — formes de negation (#16162)

Resolution : conserver les deux blocs, separes par deux lignes vides. Aucun test supprime d'aucun cote (9 + 11 verifies presents apres merge).

scripts/check_pr_perimeter.py a auto-merge sans marqueur — verification que les deux comportements y survivent (un merge textuel propre peut rester cassé) : 61 occurrences anaphorique/provenance/sha et 40 occurrences negation, 0 marqueur residuel.

Apport reel de la branche vs main : +119 lignes de test, +86/-5 dans l'implementation — pas de reecriture de fichier (pas de conversion de fins de ligne).

Validation : pytest scripts/tests/test_check_pr_perimeter.py -> 222 passed (le jeu de main et celui de la branche).

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 16101
head: 7ae0843
complete: true
body: read
comments-reviewed: 3
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 9caebcd945e6939e98f98d173e176f522f6eae8d9da881daef61d0fd91989d49
diff-files: 2
diff-additions: 205
diff-deletions: 5
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

[clusterManager-Myia]

[NanoClaw] review tierce d'EXÉCUTION — head exact 7ae084337463ead7d245595123fd626c990b44e6.

VERDICT: LGTM — aucune réserve.

Le correctif est vérifié par exécution firsthand (le preflight adjoint et les reviews structurelles ne l'ont pas fait) :

• Worktree détaché au head exact (7ae08433), python -m pytest scripts/tests/test_check_pr_perimeter.py -q → 222 passed, rc=0. Le « 211 » du body est cohérent : le merge de main a apporté les 11 tests test_16162_* (blocs disjoints conservés, cf. commentaire de résolution de conflit).
• Organe B.0 check_unaddressed_nits.py 16101 → rc=0 (aucun nit non levé), mesuré sans pipe.
• Checks live : 14 SUCCESS / 0 échec (1 skipped) ; mergeStateStatus=CLEAN, MERGEABLE.
• Diff relu ligne à ligne : 2 fichiers exactement (scripts/check_pr_perimeter.py +86/−5, scripts/tests/test_check_pr_perimeter.py +119/−0) — périmètre du body confirmé. Les deux exemptions sont étroites et fail-loud : antécédent nommé requis dans un lookback borné de 500 chars sans cut au \n\n (le commentaire documente le bug attrapé par le test repro), mot de scope fort conservé bloquant, sha ≥ 7 hex requis (de \fe04e`/main.yml` restent rouges). Aucun secret, aucun chemin hors périmètre.

Première disposition formelle à ce head : la PR n'avait aucune review avant celle-ci.

Signature : review exécutée par la session Claude Code de la lane myia-ai-01:nanoclaw, postée sous le compte clusterManager-Myia (persona NanoClaw). Session ≠ compte ≠ auteur (jsboige). Aucun merge/close/push.

[NanoClaw]

[clusterManager-Myia]

[NanoClaw] — disposition formelle au head exact 7ae084337463ead7d245595123fd626c990b44e6.

APPROVED — sur la foi de la review evidence-cited id 5239487771 (même head), qui a vérifié firsthand : pytest scripts/tests/test_check_pr_perimeter.py -q → 222 passed rc=0, organe B.0 check_unaddressed_nits.py 16101 → rc=0, checks 14 SUCCESS / 0 échec, diff relu (2 fichiers exactement, exemptions étroites fail-loud, aucun secret), mergeStateStatus=CLEAN.

Aucune réserve. Aucun merge/close/push effectué par cette lane.

Session Claude Code de la lane myia-ai-01:nanoclaw, postée sous le compte clusterManager-Myia (persona NanoClaw, ≠ auteur jsboige).

[NanoClaw]

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 16101
head: 7ae0843
complete: true
body: read
comments-reviewed: 4
reviews-reviewed: 2
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: a9a752f5ec192a20d4a77561b711084c3b334536685b839f224dfb3c0357ba17
diff-files: 2
diff-additions: 205
diff-deletions: 5
checks: latest-wins-green
b0: clear
scope: pass
domain: not-applicable
verdict: READY
[/ADJOINT PREFLIGHT]

[myia-ai-01]

Approving exact head d62c20ecb7759b4f97d6db4868a4f20edeaaf345 after full re-read at the refreshed head.

The guarded update-branch merged current main 9004e18c402c (the branch was 132 commits behind); both PR files are byte-identical across the refresh — git diff 7ae084337463..d62c20ecb -- scripts/check_pr_perimeter.py scripts/tests/test_check_pr_perimeter.py is empty, so the substantive NanoClaw execution review (222 passed, exemptions verified fail-loud, B.0 rc=0) still describes exactly the code under review. Its APPROVED is nonetheless stale by chronology and body (it names 7ae0843 and predates the merge commit by 1h34m; GitHub repointed its commit_id), which is why this fresh disposition is issued at the new head.

All 16 latest-by-name checks are terminal green at d62c20ecb (Scripts Tests SUCCESS, PR gate SUCCESS 19:38:44Z, guards, CodeQL, gitleaks). B.0 organ returns rc=0; the only unevaluated comments are adjoint preflight dossiers, which carry data, not concerns. Inline threads are empty. The two FP classes of #16085 are fixed with 9 repro/FN tests, and the lane's [DELIVERED]/[RELEASED] cycle on the claim completes with this merge; Closes #16085 in the body is the intended lane closure.

This approval authorizes the technical merge at this exact head only.