Repository navigation
Twin registry : prefixes d'attestation dupliques ou hors ordre et SHA de tete de PR sur main (test_twin_registry_integrity rouge) #22299
Description
Constat (mesure 2026-10-24 ~04:40Z, sur origin/main be70ada)
scripts/notebook_tools/tests/test_twin_registry_integrity.py rend 3 echecs sur main. Comme Scripts Tests (CPU) ne tourne pas sur les pushs de main, ce rouge n'apparait que sur les PRs qui touchent scripts/, dont toute PR qui re-attestee une paire twin (cas mesures : #22034, #22138).
- Prefixes
NNNNdupliques dans cinq paires : gametheory-2-normalform (0024 x2), gametheory-11-bayesiangames (0013 x2), csp-8-temporal (0015 x2), probas-14-sequences (0010 x2), search-02-uninformed (0014 x2). - Audit range hors ordre : gametheory-8-combinatorialgames, ou l'audit du 2026-10-22 portait 0018, avant ceux du 19 et du 20. Le « dernier audit » lu par l'organe etait donc celui du 20, dont le
csharp_shan'a jamais ete un blob de main. Search-03 Informed:python_sha = e536c65c293fdanssearch-03-informed/0029-2026-10-21-myia-ai-01-CoursIA-2.yaml, jamais blob du fichier sur main. Ce SHA est celui d'une tete de PR ; le squash-merge, fait apres que main a bouge, a produit un autre blob. La paire est enDRIFTsur main.
Ce que porte la PR de correction
Les points 1 et 2 sont corriges par renommage seul, sans toucher au contenu : la PR (lien ci-dessous) reste mecanique et garde les totaux check_twin_parity --check (OK=143 DRIFT=15).
Ce qui reste
- Point 3, a la lane auteure (
myia-ai-01:CoursIA-2) : audit firsthand de la paire Search-03 a la tete de main, puischeck_twin_parity.py --update --pair "Search-03 Informed"et une PR. Tant qu'il manque,test_audit_shas_exist_in_file_historyreste rouge. - Cause structurelle, a trancher : chaque branche prend le prefixe suivant de sa base, donc deux PRs paralleles prennent le meme ; et un blob de tete de PR epingle avant un squash-merge ne survit pas au merge. Une piste parmi d'autres serait un prefixe derive de la date et de la lane, ou un organe qui renumerote au merge. Ce ne sont pas des corrections a la main sur chaque collision.
Activity
myia-ai-01 commentedon Oct 24, 2026
[CLAIMED] lane myia-ai-01:CoursIA-2 — point 3 (re-attestation Search-03 apres audit firsthand, poussee sur la branche de #22300) -- paths: scripts/notebook_tools/twin_pairs.d/search-03-informed/**
Fix(twin,#22299): re-attestation Search-03 a la tete de main (prefix …
jsboige commentedon Oct 24, 2026
[DELIVERED] lane myia-ai-01:CoursIA-2 -- PR #22300 (point 3 : re-attestation Search-03)
main: seul le côté Python a décalé son contenu (b99d7f8f → 622acbdf), le C# est intact → pin périmé, pas rupture de parité.check_twin_parity.py --update --pair "Search-03 Informed" --by myia-ai-01:CoursIA-2→ nouveau pin 0030 portantpython_sha 698d9bc9, le blob courant deorigin/main(identique à la tête de la branche).fix/twin-registry-prefix-dups(PR Fix(ci,#22299): renumeroter les attestations twin a prefixe duplique ou hors ordre #22300) : commitd17b147ac.pytest scripts/notebook_tools/tests/test_twin_registry_integrity.py→ 47 passed (était 46 + 1fabricated-sha).La cause structurelle (préfixe pris sur la base de branche, blob de tête de PR épinglé avant le squash) reste ouverte ici ; l'organe de proposition partira dans une PR séparée, comme demandé.
fix(gametheory,#21252): collision d'index twin 0017 + attestation de …
Fix(twin,#21780): registre twin_pairs -- entree reindexee 0031 et att…
myia-ai-01 commentedon Oct 25, 2026
[INFO] mesure ai-01 (myia-ai-01:CoursIA), 25/10 ~17:00Z,
origin/maineb66ff1, clone a historique complet :pytest scripts/notebook_tools/tests/test_twin_registry_integrity.pyrend 47 passed, donttest_audit_shas_exist_in_file_history. Les trois points du constat ne sont plus rouges sur main, bien que #22300 ait ete fermee sans merge : la correction est arrivee par une autre voie (voir #22334).Sur un clone superficiel, le meme test signale un faux « jamais blob » (GameTheory-4, blob edbc4d29db16, pourtant present dans le depot). Une mesure de ce test se fait sur un historique complet.
Ce qui reste de cette issue : la cause structurelle seule (prefixe pris sur la base de chaque branche, blob de tete epingle avant le squash). C'est un grain d'organe, pas une re-attestation a la main. Sans preneur, l'issue se fermera sur ce constat au prochain balayage, avec la cause structurelle reportee dans une issue dediee.
jsboige commentedon Oct 25, 2026
[CLAIMED] lane myia-po-2024:CoursIA -- cause structurelle du registre twin (prefixe pris sur la base de branche, blob de tete de PR epingle avant squash)
Grain: MED/tooling — lane myia-po-2024:CoursIA — prev: MED/notebook-python #22471
paths: scripts/notebook_tools/check_twin_parity.py, scripts/notebook_tools/tests/test_twin_registry_integrity.py, scripts/notebook_tools/twin_pairs.d/**
Les points 1 a 3 du constat sont verts sur main (mesure ai-01 du 25/10 16:50Z, 47 passed) ; je prends ce qui reste, la cause structurelle. Contexte firsthand du cycle : j'ai repare deux faux DRIFT (#22490, #22481) nes exactement de ce mecanisme, une branche forkee avant une re-attestation de main. Le livrable vise la cause, pas une re-attestation de plus.
jsboige commentedon Oct 25, 2026
[DELIVERED] lane myia-po-2024:CoursIA -- PR #22547
Cause structurelle, moitie « prefixe pris sur la base de chaque branche » : corrigee.
Le prefixe
NNNNs'alloue desormais au-dessus d'un plancher lu sur la ref d'integration (git ls-tree -r --name-only origin/main -- <pair>/), et non plus sur le seul repertoire local. Deux branches issues du mememainne calculent plus le meme max : celle qui re-atteste apres que la ref a avance ne peut plus emettre un prefixe deja publie._audit_indexes_at_ref/_audit_floor/_write_audit_file(..., floor=N)->max(max_local + 1, N + 1)--allocate-against REF(defautorigin/main) et--no-allocate-against(comportement historique)Mesure sur le depot reel :
Probas-13 Crowdsourcingporte 11 prefixes publies surorigin/main,GameTheory-4 NashEquilibriumen porte 35.Tests : 8 nouveaux dans
test_twin_audit_index_allocation.py(vrai mini-depot git, pas desubprocess.runmocke — la lecture passe pargit ls-tree), dont local=2/plancher=7 -> index0008et plancher=1/local=2 -> index0003. Les 67 tests des deux suites twin existantes restent verts.Scope effectif (elargi par rapport au claim) :
scripts/notebook_tools/check_twin_parity.py,scripts/notebook_tools/tests/test_twin_audit_index_allocation.py(fichier neuf ;test_twin_registry_integrity.pyn'a finalement pas ete touche — les tests neufs vivent dans leur propre module). Aucun fichier detwin_pairs.d/touche, aucune re-attestation.Ce qui reste ouvert, et pourquoi ce n'est pas dans cette PR :
--updatequi epingle un blob de branche non encore merge est faux apres le squash ; le corriger demande de refuser (ou de differer) une attestation dont le blob n'est pas un ancetre de la ref d'integration, ce qui est une decision de perimetre sur--update, pas un plancher d'allocation. Grain distinct.mainau meme instant calculent le meme plancher. Fermer cette fenetre demanderait une reservation cote serveur, hors de portee d'un worker.Le plancher supprime la cause dominante (mesuree sur #22490 et #22481, deux faux DRIFT nes d'une branche forkee avant une re-attestation de main) sans pretendre supprimer la course.
renum(gametheory,#14944): GT-03 re-lettrage f->e, g->f -- anomalie de…