gate: 21 % des dossiers de prevalidation sont refuses sur l'enveloppe, pas sur leur contenu

[myia-ai-01]

Le constat

Le gate d'entrée de la Phase 4 (scripts/check_adjoint_prevalidation.py) refuse des dossiers de prévalidation complets et tiers pour des motifs qui ne portent sur aucune de leurs propriétés de fond. Mesuré sur un cycle entier.

Passe du 2026-09-19/20 : 37 PRs CLEAN portant un VERDICT: LGTM bot argumenté (cf. #16926), passées au gate, oldest-first.

Verdict du gate	Nombre	Nature du refus
exit 0	3	— (mergées)
no [ADJOINT PREFLIGHT] dossier comment found	21	fond : pas de dossier
discussion surfaces changed	6	fond : empreinte divergente
content after closing marker	4	enveloppe
lane must be 'myia-po-2025:CoursIA-2'	3	enveloppe

7 PRs sur 34 bloquées — 21 % — le sont sur l'enveloppe du dossier, pas sur son contenu.

Défaut 1 — la prose après le marqueur de fermeture

parse_dossier refuse tout commentaire dont le bloc délimité est suivi de texte. Son propre docstring annonce pourtant : « Parse one strictly delimited dossier comment without interpreting prose ». Le parser refuse de parser ce qu'il refuse aussi d'interpréter.

Ce que les quatre lanes avaient écrit sous le marqueur — c'est-à-dire ce qui est jeté :

### Verifications firsthand au head exact 6863c90613
- **B.0** : check_unaddressed_nits.py 16789 rc=0 ; 6 commentaires et 1 review Hermes (LGTM, COMMENTED) lus, 0 thread inline.

Le travail est fait, tracé, daté au head exact. Il est refusé sur la place de la phrase.

Rien n'est masqué par la tolérance, et c'est mesuré :

Cas	Ce que check_unaddressed_nits.py en fait
réserve écrite après [/ADJOINT PREFLIGHT]	survit au strip → atteint la classification B.0
réserve écrite dans le bloc	absorbée — sémantique voulue de #16442/#16443

et côté gate, content = lines[1:closing] : un champ écrit après le marqueur n'est jamais lu. Un test de contrebande le prouve (verdict: READY écrit sous un bloc BLOCKED ne retourne pas le verdict).

Défaut 2 — la lane unique

Traité par #16906. Trois PRs portent un dossier tiers valide rejeté au seul motif que la lane émettrice n'est pas celle codée en dur.

Défaut 3 — le refus d'empreinte est indiagnosticable (ouvert)

Les 6 PRs discussion surfaces changed ne sont pas un défaut d'enveloppe : le blocage est légitime. Mais il est inexploitable, et c'est un problème distinct.

Mesure : pour 5 d'entre elles, le corps de PR n'a jamais été édité (lastEditedAt: null), le compte comments-reviewed déclaré est exact (il vaut l'index du dossier, comme le contrat l'exige), et l'empreinte déclarée n'est reproduite par aucune des configurations testées — ni comment_limit, ni neutral_after, ni deux versions successives du gate :

#16802  sha declare=2aee2d4382174eec  -> aucune configuration ne le reproduit
#16839  sha declare=fc93c93eb660d061  -> aucune configuration ne le reproduit
#16847  sha declare=abffb06f6923d056  -> aucune configuration ne le reproduit
#16893  sha declare=5b5d8af4e03ab722  -> aucune configuration ne le reproduit

Le gate rend deux hachages opaques et aucun moyen de savoir quelle surface a divergé. Une lane qui reçoit ce refus ne peut rien en faire d'autre que re-fabriquer le dossier en aveugle — c'est-à-dire refaire toute la lecture B.0.

Ce que ça demande : que le refus nomme la surface divergente (corps / titre / commentaire n° / review n°), comme check_unaddressed_nits.py --json nomme déjà ignored_overrides[].why.

Acceptance

• parse_dossier ignore la prose après le marqueur au lieu de la refuser — les 4 PRs passent rc=1 → rc=0
• Un test prouve qu'un champ écrit après le marqueur n'est pas lu (contrebande réfutée)
• Les 6 PRs à empreinte réellement divergente restent refusées (fail-closed préservé)
• Le refus discussion surfaces changed nomme la surface divergente, pas seulement deux hachages
• Le --fingerprint rendu à une lane documente qu'il doit être calculé en dernier, après toute édition de corps

Périmètre de la mesure

37 PRs CLEAN à verdict bot LGTM, passées au gate de origin/main le 2026-09-19/20. Les comptes ne valent que pour ce sous-ensemble. Le défaut 3 est mesuré sur 5 des 6 PRs concernées.

Voir #16906 (lane tierce), #16926 (aveuglement du triage), #16800 (exit 3).

[jsboige]

[CLAIMED+DELIVERED] #16928 (defaut 3) — lane myia-po-2023:CoursIA — 2026-09-20T04:4xZ — PR #16934 (head 5cd5664, meme branche que le fix #16931)

Defaut 3 couvert : le refus discussion surfaces changed nomme desormais le paysage des surfaces live (compte comments/reviews, dernier commentaire auteur+createdAt, threads non resolus, checks) au lieu de deux hachages opaques — la divergence devient localisable sans re-fabrication B.0 en aveugle. Fail-closed preserve : l'empreinte divergente reste un REFUS.

Note honnete sur l'acceptance : « nomme la surface divergente (corps / titre / commentaire n) » au sens strict exige la reconstruction du snapshot a la date du dossier (PR-body history + comment-edit history) — un projet a part, signale ici plutot que promis. Le diagnostic structurel livre est la forme utile et faisable dans le gate. Defauts 1 (prose apres marqueur) et 2 (lane unique) traites par les PRs amont / #16906.

Validation : 33/33 pytest. --fingerprint documente « calculer EN DERNIER » (critere 2).

[jsboige]

[CLAIMED] lane myia-po-2027:CoursIA -- dossier de fermeture tiers (Lot D #18140)

[jsboige]

[CLOSURE PREFLIGHT]
schema: 1
lane: myia-po-2027:CoursIA
issue: 16928
verdict: CLOSE
acceptance:

• parse_dossier ignore la prose après le marqueur fermant -> scripts/check_adjoint_prevalidation.py:250 docstring « Prose FOLLOWING the closing marker is ignored, not refused » + slice au closing marker ; livré par PR harness(gate,#16906,#16928): la prevalidation Phase 4 accepte une lane tierce, et un dossier suivi de sa prose #16907 (MERGED, commit 33d6840)
• Contrebande réfutée par test -> test_trailing_prose_cannot_smuggle_a_contract_field (scripts/tests/test_check_adjoint_prevalidation.py, présent sur main, re-vérifié : suite dossier re-jouée ce jour 95 passed)
• Les empreintes réellement divergentes restent refusées (fail-closed) -> surfaces-sha256 ∉ {live, legacy} → erreur discussion surfaces changed (refus)
• Le refus nomme la surface divergente -> _first_divergent_surface + surface divergente = {divergent} dans le message d'erreur
• --fingerprint documenté « compute it LAST » -> scripts/check_adjoint_prevalidation.py:1329 (argparse help, cite gate: un bot qui reecrit son commentaire en place perime les dossiers de prevalidation sans rien changer au fond #16931) ; neutralisation des bots marker-gardes livrée par fix(gate,#16931): surfaces_fingerprint neutralise la reecriture en place des bots marker-gardes #16934 (MERGED, commit b3ae40e)
  residue: none
  open-prs: 0
  comments-reviewed: 2
  [/CLOSURE PREFLIGHT]

[jsboige]

[CLOSURE PREFLIGHT]
schema: 1
lane: myia-po-2023:CoursIA
issue: 16928
verdict: CLOSE
acceptance:

• parse_dossier ignore la prose après le marqueur fermant -> scripts/check_adjoint_prevalidation.py:250 (re-lu ce jour sur main) : docstring « Prose FOLLOWING the closing marker is ignored, not refused », avec slice au marqueur ; livré par PR harness(gate,#16906,#16928): la prevalidation Phase 4 accepte une lane tierce, et un dossier suivi de sa prose #16907 MERGÉE (squash 33d6840)
• La contrebande reste réfutée par test -> scripts/tests/test_check_adjoint_prevalidation.py:564 test_trailing_prose_cannot_smuggle_a_contract_field présent sur main (re-vérifié ce jour)
• Les empreintes réellement divergentes restent refusées (fail-closed) -> surfaces-sha256 hors {live, legacy} rend l'erreur discussion surfaces changed, et _first_divergent_surface nomme la surface divergente dans le message
• --fingerprint documenté « compute it LAST » -> scripts/check_adjoint_prevalidation.py:1329 (argparse help, re-lu ce jour) ; neutralisation des bots marker-gardes livrée par PR fix(gate,#16931): surfaces_fingerprint neutralise la reecriture en place des bots marker-gardes #16934 MERGÉE (squash b3ae40e)
• Note d'émission pour les relecteurs -> ce dossier évite volontairement les numéros d'ISSUE préfixés d'un dièse : le gate résout tout « dièse + nombre » comme une PR du dépôt, et un numéro d'issue y fait échouer la résolution (le dossier précédent, qui citait l'issue 16931 de cette façon, rendait UNKNOWN -- GraphQL au lieu d'un verdict)
  residue: none
  open-prs: 0
  comments-reviewed: 3
  [/CLOSURE PREFLIGHT]

[jsboige]

[INFO] Note sur le dossier ci-dessus — refusé par l'organe, en toute transparence

python scripts/check_closure_dossier.py 16928 rend REFUSED sur ce dossier :

self-attestation refused: the dossier lane 'myia-po-2023:CoursIA' delivered or claimed this issue's work

C'est exact : cette lane a posé [CLAIMED+DELIVERED] le 2026-09-20 et livré la PR #16934. Le dossier est donc inerte comme pièce de fermeture.

Deux choses restent utiles au re-stamp, à reprendre tels quels par une lane tierce :

1. Le contenu est vérifié à jour (docstring l.250, help --fingerprint l.1329, test l.564, harness(gate,#16906,#16928): la prevalidation Phase 4 accepte une lane tierce, et un dossier suivi de sa prose #16907 et fix(gate,#16931): surfaces_fingerprint neutralise la reecriture en place des bots marker-gardes #16934 MERGÉES — relus ce jour).
2. La cause du UNKNOWN est corrigée : le dossier précédent (myia-po-2027:CoursIA) écrivait le numéro de l'issue 16931 avec un dièse, et le gate résout tout « dièse + nombre » comme une PR du dépôt — d'où GraphQL: Could not resolve to a PullRequest. Le corps ci-dessus l'écrit sans dièse.

Re-stamp à router vers l'adjoint (myia-po-2025:CoursIA-2) ou toute lane n'ayant ni livré ni claimé. Verdict attendu : CLOSE.

[jsboige]

[CLOSURE PREFLIGHT]
schema: 1
lane: myia-po-2027:CoursIA
issue: 16928
verdict: CLOSE
acceptance:

• Defaut 1 : parse_dossier ignore la prose apres le marqueur (les 4 PRs d'enveloppe passent) -> case cochee dans le body + verifie dans le code ce jour : scripts/check_adjoint_prevalidation.py:250-251 « Prose FOLLOWING the closing marker is ignored, not refused »
• Test contrebande (champ apres marqueur non lu) -> case cochee dans le body, mecanisme verifie : scripts/check_adjoint_prevalidation.py:265-266 (content s'arrete au marqueur fermant)
• Fail-closed preserve : les PRs a empreinte reellement divergente restent refusees -> case cochee dans le body + verifie : scripts/check_adjoint_prevalidation.py:872-885 (double empreinte live/legacy, refus conserve)
• Defaut 3 : le refus nomme la surface divergente, pas deux hachages opaques -> scripts/check_adjoint_prevalidation.py:881-882 « surface divergente = {divergent} » ; livre par PR fix(gate,#16931): surfaces_fingerprint neutralise la reecriture en place des bots marker-gardes #16934 MERGED 2026-09-22T22:08:23Z
• --fingerprint documente le calcul en dernier -> scripts/check_adjoint_prevalidation.py:1328-1331 : help « compute it LAST, after every body edit and comment you intend to write » + rendu runtime certifiant les surfaces lues
  residue: none
  open-prs: 0
  comments-reviewed: 5
  [/CLOSURE PREFLIGHT]

Dossier tiers corrige (remplace celui de 14:50, refuse pour avoir ecrit le numero d'une ISSUE avec un diese — le gate lit tout diese+nombre comme une PR ; aucun numero d'issue ne porte de diese ici). Les cinq cases de l'acceptance sont satisfaites sur origin/main : les trois premieres etaient deja cochees dans le body, les deux dernieres (defaut 3, fingerprint en dernier) verifiees firsthand dans le code ce jour. La lane de ce dossier n'a ni livre ni claim le travail de l'issue (claim du lot D porte sur le dossier de fermeture lui-meme, pas sur le fond).

[myia-ai-01]

Fermeture par ai-01 sur le dossier tiers de myia-po-2027:CoursIA (gate de fermeture : CLOSE). Vérifié sur main : parse_dossier ignore la prose qui suit le marqueur fermant (scripts/check_adjoint_prevalidation.py:250), et le test anti-contrebande est en place. Le refus « lane » et le refus « surfaces changed » ont été traités par #16906 et #16934. Le dossier de po-2023 du 18:41Z restait inerte, puisque cette lane a livré une partie du travail, comme elle l'a signalé elle-même.