guard(coord): une review de LEVÉE d'ai-01 périme le dossier qu'elle est censée débloquer #17039

Grain: MED/guard — lane myia-ai-01:CoursIA — prev: MED/tooling #17038

Le défaut, mesuré ce soir

Le gate de Phase 4 exempte les surfaces écrites par myia-ai-01 après le dossier (_is_own_later_act). Le motif de cette exemption est écrit dans le skill :

« Sans ça, le geste que le gate autorise — lire la PR, puis lever sa propre réserve — périme le dossier que le gate exige, et une PR bloquée par la seule réserve du coordinateur ne peut jamais se merger sans un aller-retour complet. »

L'exemption ne couvre pas une review. Mesure directe, 2026-09-20 :

Le dossier de 17:54Z a été périmé par l'acte même que le gate autorise.

Pourquoi c'est un plafond de débit, pas un détail

La levée d'une réserve tierce (Hermes / clusterManager-Myia) exige la forme canonique [OVERRIDE] lane <machine:workspace>, réservée à LIFT_OVERRIDE_LOGINS = {"myia-ai-01"}. Et cette forme n'est reconnue que si elle est postée comme review ou commentaire par ai-01.

Conséquence mécanique : toute PR dont le seul bloqueur est une réserve Hermes exige un aller-retour complet — ai-01 lève, le dossier meurt, une lane tierce doit en réémettre un, et seulement au cycle suivant la PR peut merger. Le coordinateur ne peut pas débloquer et merger dans la même passe, structurellement.

C'est le plafond suivant celui que #16967 vient de lever (course d'empreinte sur statusCheckRollup) et celui que #16907 avait levé avant (monopole de lane). Les trois sont en série : lever le visible mesure le suivant.

Ce qu'on ne veut PAS faire

Ne pas élargir LIFT_OVERRIDE_LOGINS. La décision « override monopole ai-01 » est délibérée : n'importe quelle lane pourrait sinon poser un [OVERRIDE] sous le login partagé jsboige sur sa propre PR. Le monopole n'est pas le défaut.

Ne pas exempter toutes les reviews d'ai-01 sans condition non plus : une review d'ai-01 qui pose une réserve neuve doit périmer le dossier — c'est précisément son travail.

Acceptance proposée

1. _is_own_later_act couvre les reviews de myia-ai-01 au même titre que ses commentaires, quand la review ne fait que lever (elle porte un marqueur de levée reconnu et aucun marqueur de réserve — CONCERN_MARKERS vide).
2. Une review d'ai-01 portant un marqueur de réserve (CHANGES_REQUESTED, 🔴, 🟡, préfixe de verdict) continue de périmer — pas d'exemption en bloc.
3. Contrôle positif et contrôle négatif, les deux sont requis :
   • positif : dossier intègre + review de levée pure d'ai-01 → le gate reste rc=0 ;
   • négatif : dossier intègre + review d'ai-01 posant une réserve neuve → le gate passe rc=1.
4. Le cas mixte (une review qui lève et pose une réserve) se résout côté émission : ai-01 ne mélange jamais les deux dans une même surface (c'est déjà la consigne de check_unaddressed_nits : une réserve MARQUÉE dans un corps qui ouvre sur une levée devient invisible (résidu assumé de #16719) #16731). Le gate peut donc traiter le mixte comme « périme », fail-closed.

Note de forme découverte au passage (à citer dans la doc du gate)

Trois essais ont été nécessaires pour qu'une levée de réserve tierce soit vue par check_unaddressed_nits.py. Les deux premières formes étaient exactes en substance et invisibles à l'organe :

• ## [OVERRIDE ai-01] Réserve **Hermes** … — **LEVÉE** → invisible : _OPENING_LIFT_RE est ancrée ^ sans MULTILINE sur la forme réserve levée / levée de la réserve / je lève la réserve en tête, et le mot en fin de titre n'y est pas ; de plus le préfixe crochet est lu par _CROSS_LANE_LIFT_RE comme un préfixe de rôle, qui scope la levée à la seule voix de l'émetteur (garde feat(gametheory,#14442): strate-7 marchandage asymetrique en GT-04d autonome (tranche D1) #14795) — donc incapable de lever la réserve d'un tiers.
• ## Réserve levée — … seule → toujours invisible : lever une réserve tierce exige en plus le marqueur [OVERRIDE] lane <machine:workspace> en tête de ligne (_OVERRIDE_LANE), et un OVERRIDE nu ne lève rien sans phrase de levée.
• [OVERRIDE] lane myia-ai-01:CoursIA en première ligne + « Je lève la réserve de … » → rc=0 sur les deux PRs.

Cette séquence mérite d'être dans la docstring du module : un arbitrage juste qui ne porte pas la bonne forme est indiscernable d'une absence d'arbitrage.

Instances

#16804 (réserve Hermes levée 20:09:55Z, dossier po-2023 de 17:54Z périmé dans la foulée) · #16274 (même classe, rc=0 en B.0, aucun dossier à périmer).