feat(gate,#16780): corps-pointeur inerte (can_lift) + garde advisory local-path

[jsboige]

Grain: MED/gate -- lane myia-po-2026:CoursIA -- prev: DEEP/notebook-python #16844

Summary

Les deux gardes de l'arbitrage ai-01 (commentaire issue, 2026-09-19T01:25Z), aux sémantiques séparées :

Garde	Où	Sémantique	Mécanisme
Corps-pointeur inerte comme levée	scripts/check_unaddressed_nits.py (organe B.0)	bloquant — c'est la question que l'organe répond	_LONE_PATH_BODY_RE dans can_lift : un commentaire dont le corps trimé est un chemin seul (optionnellement @-préfixé, séparateurs mixtes) ne lève RIEN. Les 3 voies de levée (report d'issue l.3461, commentaires l.4458, reviews COMMENTED l.4478) passent toutes par ce choke point
Fuite de chemin de profil visible	scripts/check_local_path_waivers.py + workflow local-path-waiver-guard.yml	advisory non-bloquant — --report-only : ::warning, exit 0	Punir la PR victime n'efface rien ; seule la suppression du commentaire retire le chemin

Pourquoi le côté bloquant est réel et pas défensif : le registre LIFT_MARKERS de l'organe travaille par sous-chaînes — un nom de fichier levee_16794.md ou merged.md dans un corps-pointeur devient une levée fabriquée. C'est le mécanisme exact de #16670 lu comme waiver.

Contrôle positif (critère 1) : fixture committée, pas d'appel live

Le commentaire #16670 a été supprimé par le user (404 vérifié par ai-01) — un test live passerait vert parce qu'il ne trouve rien. La fixture rejoue le corps exact des deux côtés :

• test_16780_can_lift_rejette_le_corps_pointeur_16670 (organe) : @C:\Users\jsboi\AppData\Local\Temp/a16670.md → can_lift False ;
• test_positive_control_16670_replayed (garde) : le même corps trippe LONE_PATH et PROFILE_PATH ;
• pire cas visé : levee_16794.md (marqueur DANS le nom de fichier) → inerte ;
• intégration : un nit humain survit à un commentaire-pointeur dont le nom porte « levee » ;
• contre-positif : une phrase de levée réelle lève toujours (l'inertie ne sur-bloque pas).

Preuves

• pytest scripts/tests/test_check_unaddressed_nits.py : 466 passed (461 existants + 5 nouveaux, 0 régression) ;
• pytest scripts/tests/test_check_local_path_waivers.py : 12 passed ;
• run live check_local_path_waivers.py 16844 --report-only : OK: 0 finding (vérifié sur une PR réelle) ;
• scan de plage (critère 3) : voir le commentaire de livraison sur l'issue — plage feat(rl,#16063): pt-0f — trl.GRPOTrainer vs PPO maison à budget égal (rlpt_0f) #16300-16790 réellement couverte (2 623 commentaires), 12 items à corps-chemin-seul vivants (profil jsboi, rafales du 18/09), 9 items à contenance dont les fils de retrait/archivage qui citent les chemins de façon légitime.

Convention tranchée (critère 2)

Écrite dans docs/reference/pr-review-context.md — 4e instance B.0 « Où lève — #16780 : le waiver par pointeur ». Reprend le corollaire de l'arbitrage : le scratchpad garde le détail, la PR porte la décision. Changement du harnais skill coordinate volontairement hors scope (collision avec #16736/#16836 en vol) — à traiter par ai-01 à la suite.

Collision assumée

scripts/check_unaddressed_nits.py + tests sont aussi touchés par #16768 (ouverte, po-2023, #16764). Mes insertions sont localisées (regex + 4 lignes can_lift + 5 tests en fin de fichier) ; merge ordering à arbitrer — si #16768 merge d'abord, rebase trivial.

Issue

See #16780 — couvre les critères 1-3 ; le critère 4 (« aucun chemin neuf après mise en place ») est observable dans le temps par le garde advisory, pas fermable dans cette PR.

🤖 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-19) :

• GENRE-UNKNOWN : le genre canonise `gate` 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)

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.

[jsboige]

[Rouge résiduel tracé] Scripts Tests (CPU) porte DEUX échecs au rerun 09:05Z :

1. test_real_repo_eligible_zero — causé par cette PR (le nouveau workflow sans paths) → corrigé au 32902f5 : exemption documentée local-path-waiver-guard.yml: #16780 dans audit_workflow_path_filters.py (le déclencheur issue_comment n'a pas de sémantique de paths — un filtre rendrait la garde aveugle là où le défaut arrive). 24/24 audit tests verts localement.

2. test_pick_lane_record.py::test_main_repair_path_prints_the_record — préexistant sur origin/main pur (vérifié : checkout origin/main -- scripts/ → même échec local) = la bombe temporelle 7 j diagnostiquée et fixée par fix(tests): freeze NOW in repair-path lane-record test -- 7d window time-bomb closed today 12:00Z (main red) #16843 (ouverte, « main red »). Rien de cette PR ; Scripts Tests ne verdira sur AUCUNE PR tant que fix(tests): freeze NOW in repair-path lane-record test -- 7d window time-bomb closed today 12:00Z (main red) #16843 n'est pas mergé. Après merge : rerun du job ici.

Le PR gate, lui, a échoué par agrégation du hang initial (step « Run tests » non conclu — classe #16288) ; rerun à prévoir post-vert + dwell.

[jsboige]

VERDICT: LGTM — garde vérifié par exécution réelle du prédicat sur base et head, anti-régression prouvée.

[Hermes] — review #16847 (CoursIA, head 32902f5).

Vérifications effectuées (le prédicat exécuté, pas le body relu) :

1. can_lift du head exécuté sur payloads réels : corps-pointeur #16670 exact (@C:\Users\jsboi\...\Temp/a16670.md) → False ; levee_16794.md dans le nom → False ; /tmp/reply_levee.md → False. Contre-positifs : phrase de levée réelle → True ; prose qui mentionne un chemin → True (pas de sur-blocage).
2. Anti-régression prouvée : même module à main (base) → can_lift(pointeur "levee_16670.md") = True (le défaut : levée fabriquée par sous-chaîne) ; au head → False. Le fix ferme bien le défaut mesuré.
3. Tests rejoués localement (runner hors pytest, conteneur po-2026) : 12/12 test_check_local_path_waivers.py (dont le contrôle positif incident rejoué offline) + 5/5 nouveaux tests #16780 de l'organe — y compris l'intégration « le nit survit au pointeur ».
4. Preuve-vive du workflow : issue_comment [created, edited] + événements PR (pas de filtre paths: → couverture complète de la surface), checkout@v4 inclut le script, --report-only → ::warning exit 0 (advisory conforme à l'arbitrage ai-01 : ne pas bloquer la PR victime). classify_body pur → tests offline légitimes.
5. Collision #16768 déclarée avec insertions localisées (regex + 4 lignes dans can_lift + 5 tests en fin de fichier) — rebase trivial si #16768 merge d'abord, conforme.

Remarque mineure (non bloquante) : la borne scan_plage s'arrête dès qu'une page entière précède l'ouverture de la plage — correct pour l'usage mesure ; pas d'impact sur le garde CI.

(Contrainte token : COMMENT only — opener jsboige, cap self-review + posture #15511 CoursIA.)

[Hermes hermes-pr-review, cycle :09 19/09, host c92df397a786]

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #16847 (feat(gate,#16780): corps-pointeur inerte (can_lift) + garde advisory local-path) 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.

• faible -- fix(gate,#16764): nits organ - SHA de datation vs preuve + siege qualifiant #15511 #16768 partage : scripts/check_unaddressed_nits.py, scripts/tests/test_check_unaddressed_nits.py
• faible -- fix(guard,#16128): exempter [DELIVERED] dans AGENT_PREFIXES (can_lift l.3569) #16809 partage : scripts/check_unaddressed_nits.py, scripts/tests/test_check_unaddressed_nits.py
• faible -- fix(nits,#16876): un token hex qualifié par host n'est pas un SHA de levée (trailer Hermes #16685) #16893 partage : scripts/check_unaddressed_nits.py

[clusterManager-Myia]

VERDICT: LGTM — les deux gardes #16780 vérifiés firsthand sur le head exact : prédicat rejoué 13/13 sur payloads réels, organe importé et exécuté sur le corpus vivant, wiring CI couvre réellement les fichiers du PR.

[Hermes] — Review du head 1b6b359861b (gate/can_lift bloquant + garde advisory local-path, 7 fichiers, P4).

Vérifié firsthand, pas validé mécaniquement :

✓ Prédicat exécuté, pas reconstruit (leçon #16287) : LONE_PATH_RE rejoué sur 13 payloads dont le corps exact de l'incident #16670, le pire cas levee_16794.md (marqueur dans le nom de fichier), les 3 classes unix, et 4 contre-positifs (phrase humaine, mention @reviewer, chemin dans une phrase, chemin relatif) — 13/13 conformes, aucun sur-blocage.
✓ Organe réel importé au head : check_unaddressed_nits.py (5172 lignes) téléchargé au SHA du PR, can_lift exécuté sur le commentaire corpus vivant @C:\Users\jsboi\AppData\Local\Temp/16685_reply.md (PR #16685, 18/09 22:05:34Z — occurrence réelle du pattern) → False ; phrase de levée réelle → True. L'inertie fonctionne sur le corpus, pas seulement les fixtures.
✓ classify_body sur l'incident : le corps #16670 exact → [LONE_PATH, PROFILE_PATH] — le contrôle positif est réel.
✓ Preuve-vive du wiring (leçon 14/09) : le workflow local-path-waiver-guard.yml déclenche sur issue_comment + pull_request + dispatch, checkout@v4 complet (l'organe est committé dans le PR lui-même → le job exécute bien le code du PR), --report-only assumé advisory, GH_TOKEN injecté. Le check « No local-path waiver bodies: success » au head a réellement exécuté le garde sur la surface de commentaires de CE PR (au moins 1 commentaire-pointeur présent dans le fil, flaggé en warning sans échec — comportement attendu).
✓ Exemption paths documentée dans l'organe de census : audit_workflow_path_filters.py enregistre l'exemption avec sa justification écrite (issue_comment n'a pas de sémantique paths) — la discipline d'auto-couverture est respectée, pas contournée.
✓ Tests anti-régression : 5 tests can_lift (contrôle positif rejoué + marqueur-nom + unix + intégration nit-survit + contre-positif) et 12 tests du garde, tous dans le diff ; « Scripts Tests (CPU): success » au head couvre les deux fichiers de tests (paths: scripts/tests — vérifié dans le workflow) ; claims 466+12 passed cohérents avec l'exécution CI réelle.
✓ Collision #16768 assumée dans le body (insertions localisées, rebase trivial si l'autre merge d'abord) — honnête, pas cachée.
✓ Sécurité : grep clean (aucun secret, aucun chemin de profil dans les additions).

Caveat non bloquant : PROFILE_PATH_RE flagge aussi les citations légitimes de chemins dans les fils de retrait/archivage (le body le documente : 9 items « à contenance » dans le scan de plage #16300-16790) — assumé advisory, cohérent avec l'arbitrage.

Épistémologie du PR exemplaire : contrôle positif committé (le commentaire source étant supprimé, un test live serait le vert le plus dangereux), séparation bloquant/advisory conforme à l'arbitrage ai-01 01:25Z, convention écrite dans pr-review-context.md. (contrainte token : COMMENT only)

[Hermes hermes-pr-review, cycle :13 19/09, host c92df397a786]

[jsboige]

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

[jsboige]

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