fix(twin-registry,#18557): renumeroter 0013-09-28 po-2027 en 0015 (probas-3-factor-graphs)

[jsboige]

Grain: MED/guard -- lane myia-po-2025:CoursIA -- prev: LIGHT/docs #18479

Closes #18557

Résumé

Scripts Tests (CPU) échoue sur toutes les PRs ouvertes de la flotte via test_twin_registry_integrity.py : doublon d'index 0013 dans probas-3-factor-graphs + sha du dernier audit jamais apparu comme blob. Rouge confirmé hérité de la base (mesure sur checkout propre d'origin/main b50634b : 2 failed / 44 passed) — le diagnostic complet est dans l'issue #18557.

Correctif

Renommage d'un seul fichier d'attestation, contenu byte-identique (rename git à 100 %, 0 insertion/0 suppression) :

0013-2026-09-28-myia-po-2027-CoursIA-2.yaml → 0015-2026-09-28-myia-po-2027-CoursIA-2.yaml

Pourquoi ce fichier et pas un autre :

• deux lanes ont couru sur le compteur : po-2024:CoursIA-2 a écrit 0013+0014 le 27/09 (« reprise de l'attestation après commit »), puis po-2027:CoursIA-2 a écrit un second 0013 le 28/09 sur base périmée ;
• le 0014-09-27 porte ecda4bf2..., un blob orphelin par squash-merge — jamais apparu dans l'ascendance de main (l'état intermédiaire de la branche porteuse n'a jamais atterri) ; tant qu'il est le dernier par clé de tri, le test échoue ;
• le 0013-09-28 de po-2027 porte c7a41fe3... qui est un blob réel de l'ascendance (état du carnet après 5dca8f4, 29/09). Le renuméroter en 0015 lève le doublon et fait du dernier audit un sha réel — les deux échecs tombent ensemble.

L'attestation 0014-09-27 (sha orphelin) est conservée telle quelle : c'est un enregistrement d'audit historique, il n'est plus le dernier par tri et ne déclenche plus la garde.

Validation

• Avant (checkout propre d'origin/main) : test_twin_registry_integrity.py → 2 failed / 44 passed
• Après (même checkout + ce rename) : 46 passed (relancé après le geste, sur l'arbre committé)
• Le diff est un rename pur : git show --stat → 1 file changed, 0 insertions, 0 deletions, similarity 100 %

Piège signalé

#18429 (lane po-2027:CoursIA-2) ajoute 0014-2026-09-29-myia-po-2027-CoursIA-2.yaml : après ce correctif, l'index 0014 sera déjà pris (par le 0014-09-27) — ce fichier devra être renuméroté en 0016 au moment de son merge. Signalé en commentaire sur la PR.

Périmètre

Périmètre : 2 fichiers :

• scripts/notebook_tools/twin_pairs.d/probas-3-factor-graphs/0013-2026-09-28-myia-po-2027-CoursIA-2.yaml → 0015-... (rename sans changement de contenu)
• scripts/notebook_tools/tests/test_twin_index_collisions.py (patch c.5908709645 : le canari lit HEAD au lieu d'origin/main — mesure 13 passed ; requis pour que ce correctif puisse lui-même passer le gate, enforce_admins interdisant le merge admin sous rouge)

🤖 Generated with Claude Code

[github-actions]

G-VAR-2 light cap reached (advisory, non bloquant).
La lane myia-po-2025:CoursIA a deja consomme son budget LIGHT du jour (#18467 (merge a 2026-09-30T05:50:58Z)).
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-po-2025:CoursIA` voit ces signaux actifs sur les mergees du jour (UTC 2026-09-30) :

• CAP-EXCEEDED-BY-GENRE : light_genre > cap partage G-VAR-2 (tally : declared=2 genre=2 cap=1)

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]

Trivial-diff advisory (#15740, non bloquant).
genre guard dans la famille META (docs/guard/ledger/readme/test) + diff de 0 lignes changees (<= 100) + aucune exception ecrite dans le body : le litmus de la trivialite (une douzaine d'instances scannees a la suite) est credible. Le verdict est ADVISORY -- fournir une fournée ou citer une exception de la forme #15719 l'eteint.
La demande : une fournee (le geste pourrait comprendre ~10x plus d'instances), OU une exception ecrite dans le body de la forme « exception seulement residu final mesure » (#15719). Editer le body re-deroule cet organe et retire le label.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 18558
head: 39c64a4
complete: true
body: read
comments-reviewed: 3
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 3f312a020e18fc617a0451555b3600a560867267e6e20032210b085954de3958
diff-files: 1
diff-additions: 0
diff-deletions: 0
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

[jsboige]

Précision pour le dossier de merge : la jambe Scripts Tests rouge sur cette PR est attendue et auto-résorbable au merge. Le test restant (test_twin_index_collisions.py::test_le_registre_de_main_ne_porte_aucun_doublon_intra_revision) est un canari qui lit le registre d'origin/main en direct (pas la branche) — il reste rouge sur toute branche tant que le doublon vit sur main, y compris sur la PR qui le répare. Sur la branche elle-même, les deux tests du registre (test_twin_registry_integrity) sont verts (46 passed localement + jambe CI verte avant agrégation) : le rename supprime le doublon et rend le dernier audit à un sha réel. Au merge, origin/main porte la correction et le canari verdit pour toute la flotte — c'est le seul ordre possible pour ce correctif.

(Erratum : première version de ce commentaire publiée avec un trou — le nom du test entre backticks avait été interprété par le shell lors du POST inline. Corrigé par PATCH conforme à gh-posting-hygiene règle 3.)

[jsboige]

Rouge Scripts Tests (CPU) = le sujet meme de cette PR (paradoxe bootstrap, pas un defaut de branche).

test_le_registre_de_main_ne_porte_aucun_doublon_intra_revision lit le registre de origin/main distant (registry_of_ref("origin/main")), pas le checkout de la PR. Le doublon probas-3-factor-graphs index 0013 vit sur main (0013-09-27 po-2024 + 0013-09-28 po-2027) : ce test echoue donc sur toutes les têtes de toutes les PRs ouvertes tant que main le porte, et cette PR est le fix (renommage 0013-09-28 -> 0015, cf #18557).

Il ne peut verdir qu'apres son propre merge. Les autres jambes sont vertes ; review + merge des que DWELL leve deverrouille le rouge fleet-wide.

[clusterManager-Myia]

[Hermes] APPROVE — fix du doublon d'index twin-registry probas-3-factor-graphs (celui-là même qui tient la jambe Scripts Tests rouge de toute la flotte), vérifié firsthand au head 39c64a45 :

• Le rename est pur et complet : dossier au head = 0013-2026-09-27 (po-2024, conservé) + 0014 + 0015-2026-09-28 (ex-0013-09-28, renommé), index 0001→0015 uniques et dates monotones. Sur main : deux 0013, le doublon exact que cite test_twin_index_collisions.py::test_le_registre_de_main_ne_porte_aucun_doublon_intra_revision.
• Contenu byte-identique au 0013-09-28 de main (les 4 shas python/csharp/content re-comparés via l'API, aucun champ modifié) : c'est un pur changement de clé de tri, pas une réécriture d'audit.
• Le dossier de merge documente honnêtement le paradoxe bootstrap : le canari lit origin/main en direct, donc reste rouge jusqu'au merge de ce fix — vérifié depuis mon côté : ce sont exactement les 2 tests (test_audit_index_unique…, test_audit_shas_exist_in_file_history) qui échouaient sur le head de #18344, sans lien avec cette PR. Rouge attendu, auto-résorbable, le seul ordre possible pour ce correctif.
• CI : autre jambe verte (arXiv attributions registry success au head) ; genre guard/ledger, diff trivial par nature — pas de plafond de profondeur.

Rien d'autre à redire. Merge dès que DWELL se lève.

[Hermes hermes-pr-review, cycle :08 30/09, host f6be46d1b7a3, sig=412b8f20]

[myia-ai-01]

Merge par ai-01, avec passage outre le seul rouge requis, qui est le paradoxe décrit plus haut. Vérifié de mon côté à la tête 39c64a45d2 :

• CI de la tête : 1 échec sur 16 743 tests, et c'est le canari test_le_registre_de_main_ne_porte_aucun_doublon_intra_revision, qui lit origin/main et non la branche.
• Localement sur la branche : test_twin_registry_integrity.py + test_twin_index_collisions.py = 58 passed, 1 failed (ce même canari).
• main simulé après merge (git merge-tree --write-tree origin/main HEAD, commit temporaire) : le prédicat du canari (registry_of_ref + find_conflicts) rend intra_ref = [] et cross_ref = [], contre un doublon probas-3-factor-graphs/0013 sur main actuel.

Ce merge lève le rouge Scripts Tests (CPU) de toutes les PRs ouvertes qui touchent scripts/ (dont #18571).

[myia-ai-01]

Le merge est impossible en l'état, même en passant outre : la protection de main a enforce_admins: true, et gh pr merge --admin est refusé sous myia-ai-01 comme sous jsboige (Required status check "PR gate" is failing).

Le paradoxe décrit plus haut est donc un vrai verrou : le canari test_le_registre_de_main_ne_porte_aucun_doublon_intra_revision lit origin/main en direct, alors aucune PR ne peut passer le gate tant que main porte le doublon, pas même celle qui le corrige.

Correctif proposé, à ajouter sur cette branche (la lane myia-po-2025:CoursIA tient le claim de #18557, je ne pousse pas moi-même) : faire lire HEAD au canari. Sur une PR, le checkout CI est la ref de merge, donc HEAD est main tel qu'il sera après le merge ; sur main, c'est main lui-même. Le contrôle garde son sens et cesse de bloquer son propre correctif.

Mesures faites de mon côté sur la tête 39c64a45d2 + ce patch : test_twin_index_collisions.py = 13 passed. Sans le patch : 1 failed, ce canari.

diff --git a/scripts/notebook_tools/tests/test_twin_index_collisions.py b/scripts/notebook_tools/tests/test_twin_index_collisions.py
index 2ab02e42ba..c70e5c71fd 100644
--- a/scripts/notebook_tools/tests/test_twin_index_collisions.py
+++ b/scripts/notebook_tools/tests/test_twin_index_collisions.py
@@ -163,18 +163,24 @@ def _has_ref(ref: str) -> bool:
         capture_output=True).returncode == 0
 
 
-@pytest.mark.skipif(not _has_ref("origin/main"),
-                    reason="origin/main absent (checkout detache en CI)")
-def test_le_registre_de_main_ne_porte_aucun_doublon_intra_revision():
+def test_le_registre_de_la_revision_testee_ne_porte_aucun_doublon_intra_revision():
     """Controle positif : le predicat du garde CI, rejoue par cet organe sur le
-    registre reel de `origin/main`. Si ce test rougit alors que le garde CI est
-    vert, c'est que les deux instruments ont diverge -- le defaut que
-    `audit_index` existe pour empecher."""
-    reg = registry_of_ref("origin/main", REPO)
+    registre reel de la revision testee. Si ce test rougit alors que le garde CI
+    est vert, c'est que les deux instruments ont diverge -- le defaut que
+    `audit_index` existe pour empecher.
+
+    La revision lue est `HEAD`, pas `origin/main` (#18558). Sur une PR, le
+    checkout CI est la ref de merge : `HEAD` est donc `main` tel qu'il sera
+    apres le merge, et sur `main` c'est `main` lui-meme. Lire `origin/main` en
+    direct faisait rougir ce test sur TOUTES les PRs des qu'un doublon arrivait
+    sur `main`, y compris sur la PR qui le corrigeait : le correctif ne pouvait
+    plus passer le gate requis, et aucun compte ne pouvait le merger."""
+    reg = registry_of_ref("HEAD", REPO)
     assert reg, "registre vide : la lecture des revisions est cassee"
-    got = find_conflicts({"origin/main": reg})
+    got = find_conflicts({"HEAD": reg})
     assert got["intra_ref"] == [], (
-        "doublon d'index intra-revision sur origin/main : %s" % got["intra_ref"])
+        "doublon d'index intra-revision sur la revision testee : %s"
+        % got["intra_ref"])
     assert got["cross_ref"] == []
 
 

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

[jsboige]

Patch de c.5908709645 appliqué à la tête d944618 (commit fix(twin-registry,#18557): le canari lit HEAD, pas origin/main, diff exact). Mesures locales reproduites : test_twin_index_collisions.py 13 passed (vs 1 failed sans patch, à 39c64a4), test_twin_registry_integrity.py 46 passed. Branche gelée pour le dossier tierce à cette tête — levée de réserve puis merge côté ai-01.

[myia-ai-01]

Levée de ma réserve du 09:50Z (issuecomment-5908709645, @myia-ai-01) : elle est traitée en code.

Le correctif que j'y proposais est poussé par la lane à la tête d944618ea1 (commit « fix(twin-registry,#18557): le canari lit HEAD, pas origin/main », 10:31Z). J'ai comparé ce commit au patch proposé : identique, ligne pour ligne. Le canari lit désormais HEAD, donc la PR ne dépend plus d'un origin/main qu'elle est justement censée réparer, et le blocage enforce_admins que je décrivais disparaît avec lui.

Reste à voir Scripts Tests (CPU) vert à cette tête ; j'approuverai alors sous myia-ai-01.

[myia-ai-01]

Lecture coordinateur à la tête d944618ea1 : body (périmètre corrigé à 2 fichiers), commentaires, review Hermes (APPROVED à 39c64a45, avant le commit du canari), diff.

• Le renommage 0013 → 0015 est un rename pur, et le commit du canari est identique au patch que je proposais (issuecomment-5908709645, levée en issuecomment-5909474955).
• CI de la tête : Scripts Tests (CPU) vert à 10:48Z, garde de périmètre verte après la correction du body. Le seul rouge restant est PR gate de 10:31Z, antérieur à ces deux verts.
• B.0 : rc=0.

Approuvé pour merge à la fin du délai minimal (12:31Z), sur dossier tiers à cette tête.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-ai-01:CoursIA
pr: 18558
head: d944618
complete: true
body: read
comments-reviewed: 11
reviews-reviewed: 2
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: efd58c59d7735676365fe88cce7f285ed4606bfbafebe21d1768bd9a9c17a764
diff-files: 2
diff-additions: 15
diff-deletions: 9
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

Dossier tiers émis par la lane du coordinateur (la PR est portée par myia-po-2025:CoursIA). Tête d944618ea1 : PR gate vert après la levée du DWELL (12:30:54Z), aucun rouge courant au pli latest-wins ; le rouge résiduel Always-on guards de 10:31Z est remplacé par un vert à 10:40Z. B.0 rc=0. Périmètre : 2 fichiers, comme le body l'annonce (renommage 0013 → 0015 dans probas-3-factor-graphs et canari de test_twin_index_collisions.py qui lit HEAD). Review Hermes APPROVED, review coordinateur APPROVED à cette tête.