feat(coordination): merge_ready refuses a twin index collision with current main

[myia-ai-01]

Constat

Deux PRs qui ajoutent le meme index twin_pairs.d/<paire>/NNNN sont chacune CLEAN contre main. Des que la premiere est mergee, la seconde fait rougir main. Le 25/09, cela s'est produit sur l'index 0016, puis trois fois sur l'index 0013.

L'organe qui voit ce cas, check_twin_index_collisions.py (#17871), est sur main. Aucun des deux chemins de merge ne l'appelait.

Correctif

Le correctif ajoute une etape 5bis a merge_ready, entre l'organe B.0 et la relecture REST :

• elle ne s'active que si la PR touche scripts/notebook_tools/twin_pairs.d/ ; les autres PRs ne paient ni fetch ni organe ;
• elle lance git fetch origin main pull/<N>/head, puis check_twin_index_collisions.py --base origin/main --head <tete gatee> ;
• la comparaison se fait donc contre le main du moment, y compris apres les merges deja faits dans le meme run ;
• rc=1 donne un skip twin-index-collision ;
• un fetch en echec ou un rc hors 0/1 donne un skip fail-closed twin-collision-unreadable:*, jamais un merge.

Pourquoi sans --in-tree. Le doublon intra-revision de la tete est deja porte par le garde CI de la PR. merge_ready ne couvre que l'angle mort du CI : la collision avec une soeur mergee apres le passage des checks.

Validation

• scripts/tests/test_merge_ready.py : 48 passed, dont 5 nouveaux tests :
  • hors registre, aucun appel ;
  • collision, skip ;
  • propre, merge, en comparant la tete gatee a origin/main avec le fetch avant l'organe ;
  • organe illisible, skip ;
  • fetch en echec, skip.
• Bout en bout sur 3 PRs ouvertes qui touchent le registre, avec le vrai runner : fix(sweep #16472, g2-residu-petits-domaines): demote HINT-AS-HEADING to blockquote callouts (10 notebooks, 31 findings -> 0) #17852, feat(probas,#14873): lettre Infer-8b — extraction du §14 formules fermées TrueSkill (G1) #17805 et docs(probas,#14873): cross-link twin notebooks PyMC/Infer (P4 liens croisés) #17795 rendent None (aucune collision inter-revisions). Le defaut de docs(probas,#14873): cross-link twin notebooks PyMC/Infer (P4 liens croisés) #17795 est intra-revision et reste au garde CI ; la PR est en hold.txt.

Grain: LIGHT/tooling -- lane myia-ai-01:CoursIA -- prev: LIGHT/docs #17921

🤖 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).

[github-actions]

G-VAR-2 light cap reached (advisory, non bloquant).
La lane myia-ai-01:CoursIA a deja consomme son budget LIGHT du jour (#17832 (merge a 2026-09-26T00:37:25Z)).
G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour,
toutes categories LIGHT confondues (guard, doc, refs, ... partagent un seul budget) :
c'est un RATIO, pas un plafond plat. La decision de merge reste au coordinateur.

[github-actions]

G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
La lane `myia-ai-01:CoursIA` voit ces signaux actifs sur les mergees du jour (UTC 2026-09-26) :

• GENRE-RUN : run consecutif d'un genre LIGHT (voir signals.runs dans le log du job)
• CAP-EXCEEDED-BY-GENRE : light_genre > cap partage G-VAR-2 (tally : declared=3 genre=2 cap=1)
• NOTE ([variation] Le label est lane-agregat mais PR-attache : le merge-gate peut HOLD le grain de CONTENU qui remedie au motif #10341) : la PR courante est de classe CONTENU (non LIGHT-genre) et ne contribue pas au motif ci-dessus -- les labels agregees ne sont PAS poses sur cette PR (le merge-gate ne doit pas la HOLD pour ce motif ; le coupable est parmi les grains META de la lane).

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.

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #17922 (feat(coordination): merge_ready refuses a twin index collision with current main) 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.

• terminal -- feat(coordination): merge_ready lit les retenues du coordinateur (hold.txt) #17594 partage : scripts/coordination/merge_ready.py, scripts/tests/test_merge_ready.py, recouvrement de chemins 100% -- feat(coordination): merge_ready lit les retenues du coordinateur (hold.txt) #17594 est deja sur main.
• terminal -- fix(coordination,#17672): merge_ready isole l'erreur d'une PR au lieu d'arreter le balayage #17742 partage : scripts/coordination/merge_ready.py, scripts/tests/test_merge_ready.py, recouvrement de chemins 100% -- fix(coordination,#17672): merge_ready isole l'erreur d'une PR au lieu d'arreter le balayage #17742 est deja sur main.
• faible -- feat(coordination,#17672): merge_ready classe la disposition de review a la tete exacte #17743 partage : scripts/coordination/merge_ready.py, scripts/tests/test_merge_ready.py

Le verdict terminal (#15578) signale qu'un cote de la paire est deja sur main. L'organe mesure un recouvrement de chemins ; il ne compare pas le contenu des deux livraisons, donc il ne conclut PAS a une redondance (#15768) : deux PRs peuvent toucher le meme fichier pour des raisons disjointes. L'arbitrage reste a la lane ou au coordinateur.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 17922
head: 5cdd97c
complete: true
body: read
comments-reviewed: 4
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 3168a3441acc0cc29012d063bde7f138700ca7936c164fc7f42420b025f2fc40
diff-files: 2
diff-additions: 116
diff-deletions: 1
checks: latest-wins-green
b0: clear
scope: pass
domain: not-applicable
verdict: READY
[/ADJOINT PREFLIGHT]