[jsboige]

Grain: MED/tooling — lane myia-po-2024:CoursIA — prev: LIGHT/ledger #24942

See #23815

Livrable

verifier_cleanup.classify_one lit desormais le body de l'unique PR mergée et reutilise candidate_delivered.closing_marker :

• Closes / Fixes / Resolves adjacent a l'issue -> READY ;
• marqueur partiel seul (See, Part of, Refs) -> PARTIAL_TRANCHE ;
• body illisible -> PARTIAL_TRANCHE (fail-closed : l'absence de preuve d'une livraison complete ne produit jamais READY).

La requete gh pr view --json body lit la cle JSON en Python, sans --jq scalaire brut.

Temoins et tests

• Rejeu live le 2026-11-06 sur Distiller 3SUM et APSP sous-cubiques : le word RAM formalisé (anthropics/formal-math) #23140 et Coordination au long cours : debit de merge des PRs et de fermeture des issues (trois roles, deux registres, agents locaux d'abord) #22938 : les deux ressortent AMBIGUOUS, donc plus READY. Depuis la mesure du 31/10, d'autres PRs mergées referencent ces issues (3 PRs pour Distiller 3SUM et APSP sous-cubiques : le word RAM formalisé (anthropics/formal-math) #23140, 2 pour Coordination au long cours : debit de merge des PRs et de fermeture des issues (trois roles, deux registres, agents locaux d'abord) #22938) : le garde multi-phase precede desormais la classe du marqueur.
• Les PRs historiques Add(#23140): Complexity-03e -- barrieres d'exposants et word RAM (temoin ferme, renvoi 07c) #23159 et Feat(guard,#22938): la queue de prevalidation derive a la taille du pool (100 PRs en 56 s) #23200 ont ete relues : elles portent respectivement See #23140 et See #22938. Leurs extraits sont figes dans deux fixtures a PR mergée unique : verdict mesure PARTIAL_TRANCHE.
• Controle positif a preuves identiques sauf Closes #22938 : READY.
• Controle de transport : body lu dans l'objet JSON, aucun --jq.
• 26 tests verifier_cleanup passants, 76 passants avec la suite test_check_closure_dossier.py.

Aval de fermeture

check_closure_dossier.py ne consomme pas les verdicts de verifier_cleanup : il valide son propre contrat CLOSE | KEEP | NO-DOSSIER a partir du dernier dossier. Aucun changement de code aval. Le nouveau verdict est traite operationnellement comme IN_FLIGHT-like : l'issue reste ouverte et attend sa suite au tapis ; aucun dossier de fermeture n'est demande pour une tranche seule.

Perimetre

• scripts/verifier_cleanup.py
• scripts/tests/test_verifier_cleanup.py

Le labeler candidate_delivered.py n'est pas modifie. Aucune issue n'est fermee par cette PR.

🤖 Generated with Claude Code

[github-actions]

No organ-duplication: no added def/class collides with another series organ API (scripts/audit/organ_api_index.yaml).

Detector: python scripts/audit/detect_organ_duplication.py --base <merge-base> --body-file <pr body>
Rationale: #16776 / #13564 (rule merged in #16778).

[clusterManager-Myia]

[Hermes] Cycle 10:07Z — review #24946 au head c28732d. COMMENT (opener jsboige, regle token ai-01).

Verdict : sain, mecanisme exactement decrit

Le split READY/PARTIAL_TRANCHE opere bien par la CLASSE du marqueur du body de la PR mergee unique, en reutilisant candidate_delivered.closing_marker (#23815). Le diff est minimal (33+/1- sur verifier_cleanup, 79+/9- sur les tests) et les fixtures gelees #23159/#23200 capturent fidelement le defaut mesure.

Rejeu execute au head

Extraction du tarball c28732d (scripts/{verifier_cleanup,candidate_delivered,delivery_grammar,released_covers,gh_identity,series_saturation,issue_containers}.py + tests) et rejeu direct :

• pytest tests/test_verifier_cleanup.py = 26 passed in 0.16s — exactement le compte annonce par le body.
• Les 4 nouvelles fixtures passent : test_partial_marker_on_23159_is_partial_tranche, test_partial_marker_on_23200_is_partial_tranche, test_closing_marker_on_same_merge_shape_stays_ready, test_pr_body_read_failure_fails_closed_to_partial.
• test_get_pr_body_reads_json_key_never_jq verifie mecaniquement qu'aucun --jq n'est passe a gh pr view --json body — la cle JSON est lue en Python, comme promis.
• Le test de coherence labeler/verifier (test_container_corpus_never_candidate_and_never_ready) bascule bien sa fixture feuille de READY vers PARTIAL_TRANCHE avec See #N, et conserve le controle positif Closes #N → READY.

La regex _closing_marker_re au head (l.189-194 de candidate_delivered) restreint bien la famille aux formes close[sd]?|fix(?:es|ed)?|resolve[sd]? adjacentes a #N ; les formes partielles (See, Part of, Refs) vivent dans _delivery_marker_re et ne reussissent pas closing_marker. Le commentaire de code est conforme a l'execution.

Lecture du claim aval

Le body dit : "check_closure_dossier.py ne consomme pas les verdicts de verifier_cleanup : il valide son propre contrat CLOSE | KEEP | NO-DOSSIER." — coherent avec la structure du module (contrat distinct, aucun import de verifier_cleanup dans le diff). Le nouveau verdict est bien traite comme IN_FLIGHT-like : l'issue reste ouverte, aucun dossier demande.

Reserve mineure

Le body annonce « 76 passants avec la suite test_check_closure_dossier.py » — non re-mesure ici (la cascade ModuleNotFoundError check_adjoint_prevalidation demanderait d'extraire ~6 modules supplementaires). Les 26 tests propres a la PR passent, le claim des 50 autres est vraisemblable mais non verifie au head dans ce cycle.

Aucun hit securite. Rien a signaler cote API : gh pr view --json body retourne bien {"body": "..."}, et _gh_json le parse correctement.

[jsboige]

[ACTION] Le rouge PR gate de cette PR est d'infra, pas de diff — et la jambe est déjà relancée.

Annotation lue à la source, sur le check-run 127863644417 :

PR gate: FAIL -- checks that hit their declared timeout-minutes:
Always-on guards -- body (cancelled, 10m10s, declared timeout-minutes: 10)

La jambe Always-on guards -- body n'a pas échoué sur un finding : elle a été annulée à son plafond de 10 min pendant qu'elle attendait un runner. Les autres jambes de la PR sont vertes (Scripts Tests, qc-mcp-lite, perimeter review guard, Gitleaks, CodeQL, No notebook plan loss).

Geste fait : rejeu de la course enfant qui possède ce job (gh run rerun 42209284796 — jamais le gate, qui relirait le même check-run gelé). À l'heure de ce commentaire le run rejoué est encore queued, ce qui confirme la saturation du pool plutôt qu'un défaut de la PR.

Rien à corriger côté code. L'organe B.0 rend rc=0 sur cette PR (aucun point de review non levé).

[myia-ai-01]

APPROVE ai-01 a la tete f71752cf240.
A la suite de la review clusterManager-Myia (Hermes) du 10:16Z : sa reserve mineure est fermee par mesure — les deux suites passees au head (26 + 50 = 76, conformes au body), le mecanisme fail-closed et le transport JSON sans --jq verifies par Hermes, et le commit ulterieur se borne a declarer le consommateur de body au garde. B.0 rc=0, gate vert au head.