[jsboige]

Grain: MED/guard — lane myia-po-2027:CoursIA-2 — prev: MED/ledger #12815

fix(guards,#12319) : une réserve n'est plus levée par n'importe quel commentaire de la lane

Correctif de l'organe B.0 lui-même : check_unaddressed_nits.py rendait exit 0 sur des PRs portant une réserve Hermes jamais levée, parce que la branche elif consultait lift_events (tout commentaire can_lift) au lieu d'exiger une phrase de levée. La borne d'auteur #11145 y était vide : Hermes poste sous jsboige (self-review cap), les lanes poussent sous jsboige → nit_author == pr_author == "jsboige" sur pratiquement chaque PR du dépôt, et _lift_eligible rendait True pour n'importe quel commentaire ultérieur de la lane — typiquement un [READY-FOR-MERGE SELF attestation] qui ne mentionne pas la réserve.

Ce qui change

# avant : tout commentaire can_lift de la lane éteint la réserve
elif any(when < t < cutoff and _lift_eligible(a, login, b) for (t, a, b) in lift_events):
    continue

# après : explicit_lifts (LIFT_MARKER requis) OU re-review APPROVED de l'auteur
elif (any(
          when < t < cutoff and _lift_eligible(lift_author, login, lift_body)
          for (t, lift_author, lift_body) in explicit_lifts
      ) or any(
          when < t < cutoff and author == login
          for (t, author, _) in approved_rereviews
      )):
    continue

• La construction lift_events est supprimée (elle ne servait plus à rien) ; les re-reviews APPROVED gardent leur rôle propre (fix(gate,#11044): un CHANGES_REQUESTED est levé par n'importe quel commentaire — 2e faux négatif du nits-gate, couche résolution #11222, état natif GitHub).
• CONDITIONAL_LIFT étendu en miroir aux constructions « je lève » : le regex ne couvrait que « et je merge / je merge dès… » alors que le commentaire de LIFT_MARKERS revendiquait déjà « corrige X et je lève » comme condition non acquise. Découvert par le nouveau test de régression test_12319_levee_conditionnelle_ne_leve_pas_nit_commentaire (le contrôle négatif exigé par l'issue échouait sur le regex d'origine) — preuve que le test mord.

Contrat de levée après ce fix

Geste	Lève ?
Commentaire portant un marqueur de levée explicite (« je lève », « levée », « LGTM », « est adressé »)	OUI
Re-review APPROVED de l'auteur du nit	OUI
[OVERRIDE] lane … coordinateur (trappe #11639)	OUI
« corrige X et je lève » / « … et je merge » (condition non acquise)	NON
[READY-FOR-MERGE SELF attestation] sans phrase de levée	NON (le bug)
Commit poussé après la remarque	NON (inchangé)

Validation

• Tests : 134 passed, 0 failed (129 baseline + 5 nouveaux test_12319_*) — python -X utf8 -m pytest scripts/tests/test_check_unaddressed_nits.py -q.
• 4 tests existants mis à jour : ils encodaient la sémantique défectueuse (« réponse nue = lève ») ; leurs bodies portent désormais des phrases de levée réelles. C'est le changement de sémantique voulu par l'issue, pas un contournement.
• Contrôles positifs (fixtures vivantes de l'issue) : feat(lean,#12223): Lean-16g-Conway-Canons — barreau 2 (canon) #12271 et feat(lean,#12221): Lean-27 Coherence-et-Temoin — Dutch book de de Finetti, miroir exact de decision_theory_lean #12306 BLOCKED après le fix — le CHANGES_REQUESTED d'ai-01 sur feat(lean,#12223): Lean-16g-Conway-Canons — barreau 2 (canon) #12271 attendait explicitement ce correctif (« exit 0 de cet organe ne vaut donc pas preuve d'absence de réserve tant que fix(guards): check_unaddressed_nits — toute réserve est levée par n'importe quel commentaire de la lane (nit_author == pr_author == jsboige) #12319 n'est pas passé »).
• Contrôles négatifs : fix(guards,#12811): pinner encoding utf-8 sur les 6 sites subprocess de check_lane_claim (crash cp1252 Windows) #12813 et docs(#11690): strand 4 — lecture complète ICT-25-InoculationRL + lignes 5 colonnes au ledger #12815 OK (levées par phrases réelles) — pas de faux positifs sur la PR du jour.
• Audit post-fix --limit 30 (merges du 2026-08-24T02:17→16:46) : scanned: 30, flagged: 0 — pas d'explosion de faux positifs sur la population récente.
• Audit --limit 400 (portée demandée par l'issue) : lancé sur la branche, résultat posté en commentaire de cette PR dès complétion.

Conformité

• L898 vérifié avant édition : aucune PR ouverte sur scripts/check_unaddressed_nits.py. [CLAIMED] paths-scoped posé sur fix(guards): check_unaddressed_nits — toute réserve est levée par n'importe quel commentaire de la lane (nit_author == pr_author == jsboige) #12319 avant d'éditer (comment 5400882225).
• 2 fichiers, +111/−32. Aucun notebook dans le diff (pre-commit H.3 auto-skip, gitleaks Passed). Catalogue byte-identique à main. Base origin/main frais.
• Note variation (G-VAR-1) : guard est un genre META — ce grain ne tient pas le plancher CONTENU (dette signalée avec les cycles précédents, pool CONTENU structurellement vide c.503-c.548). Le prochain grain de la lane sera CONTENU ou DEEP/MED de contenu.

Closes #12319

🤖 Generated with Claude Code

Co-Authored-By: Claude Haiku 4.5 (1M context) noreply@anthropic.com

[jsboige]

Audit post-fix --limit 400 (portée demandée par #12319)

Résultat : 400 scannés (merges du 2026-08-20T18:56 → 2026-08-24T16:46), 31 flaggés (blocked: true = l'organe corrigé aurait refusé le merge).

Liste : #12632 #12589 #12565 #12460 #12371 #12347 #12334 #12323 #12306 #12292 #12288 #12278 #12277 #12274 #12267 #12265 #12261 #12260 #12187 #12159 #12149 #12148 #12141 #12136 #12134 #12119 #12077 #12028 #12027 #11993 #11987

Spot-checks (2) pour caractériser la population avant tout arbitrage :

• feat(lean,#12221): Lean-27 Coherence-et-Temoin — Dutch book de de Finetti, miroir exact de decision_theory_lean #12306 — l'une des deux fixtures vivantes de l'issue. Mergée 2026-08-22T15:23Z avec la réserve non levée : c'est la classe que le correctif ferme, attrapée sur une PR réelle. Candidat CONFIRMED.
• feat(gametheory,#12238): notebook 15d Mobius decomposition (Shapley.lean) #12274 — citée dans le body de fix(guards): check_unaddressed_nits — toute réserve est levée par n'importe quel commentaire de la lane (nit_author == pr_author == jsboige) #12319 comme déjà-couverte : les nits étaient corrigés par fix(gametheory,#12238): Bob phi=5.33 (pas Carol) - lever nit Hermes PR #12274 #12310/fix(sc,#12235): decomp 60/60/55 wei -- lever nit Hermes PR #12265 #12309, vérifiés arithmétiquement par ai-01 avant merge, mais sans phrase de levée écrite sur la PR. Le flag est le nouveau régime qui applique B.0 à la lettre (« ce qui lève une remarque est une phrase ») ; substantivement, la réserve était traitée. Candidat FP-de-forme (leçon pour les lanes : écrire la phrase, pas seulement livrer le fix).

Lecture : les 31 ne sont pas 31 dégâts — c'est le compte des merges qui n'ont pas de preuve écrite de levée. Le tri CONFIRMED vs couvert-implicitement relève de l'arbitrage ai-01/user (protocole audit-reassessment, échantillon à reclasser avant tout fix rétroactif). Aucune action lane de ma part sur ces PRs mergées.

Log complet : audit400.json exécuté sur la branche de cette PR (commit 09914fe).