Repository navigation
Registre twin : 7 paires en derive d'attestation sur main (twin-parity-cron rouge depuis le 03/11) -- toute PR touchant twin_pairs.d herite le rouge #24853
Description
Ce qui est mesure
Le registre twin porte 7 paires en derive d'attestation sur origin/main : le SHA enregistre dans la derniere attestation de la paire ne correspond pas au blob commite. Mesure au head 2e6aa1f483 de la PR #24621 (fusion origin/main 123321f6f6) via python scripts/notebook_tools/check_twin_parity.py --json --check --verify-recorded-sha :
| Paire | Cote derive |
|---|---|
| App-34 15-puzzle | csharp |
| App-4 JobShopScheduling | python |
| CSP-1 Fundamentals | csharp |
| GameTheory-15 CooperativeGames | python |
| Search-03 Informed | python |
| Search-09 LinearProgramming | csharp |
| Sudoku-06 AIMA-CSP | python |
Le cron twin-parity-cron echoue quotidiennement sur main depuis le 03/11 (dernier run 2026-11-05T14:36Z, failure).
Cause racine datee (exemple prouve par plomberie, Sudoku-06)
- attestation
0013-2026-10-27(71e42b08...) commitee le 31/10 a 07:07 ; - le carnet
Sudoku-06-AIMA-CSP-Python.ipynbre-execute par le canon kernel 3.13 (Fix(sudoku,#23654): Sudoku-06-AIMA-CSP converge au canon kernel 3.13 -- re-execution integrale, prose re-derivee #23656) au commita5fbf9c85ale 31/10 a 09:22 -- blob devenu9f93206e...; - la PR de convergence n'a PAS fait
check_twin_parity.py --updateapres sa re-execution.
Pattern probable pour les autres paires : les PRs de convergence kernel / renumerotation (ex. b8e40bd189 GT-26 -> GT-22 pour GameTheory-15) ont deplace les blobs sans rebaseliner l'attestation de la paire. Chaque cas se verifie par git log <paire> vs date de la derniere attestation.
Impact
Toute PR qui touche scripts/notebook_tools/twin_pairs.d/** declenche la verification complete (169 paires) et herite le rouge des 7 derives : c'est le cas de #24621 (jambes Twin parity audit (#8057) et Twin parity SHA mismatch (#9399 volet b) rouges a son head fusionne, alors que sa propre paire est propre). Une PR qui ne touche pas le registre ne declenche qu'une verification scopee et reste verte (mesure : #24841 passe ses jambes twin sur un arbre qui porte pourtant la derive Sudoku-06 du 31/10).
Remediation proposee
7 rebaselines --update --pair <nom> avec audit firsthand de la parite de contenu chacune (les unilaterales du type Sudoku-06 n'exigent que l'attestation du nouveau blob ; les derives de renumerotation exigent de verifier le chemin). Grain MED, une seule PR de fournée si les 7 audits sont propres.
Provenance : diagnostic du rouge herite de la PR #24621 (lane myia-po-2025:CoursIA, cycle 82 du 05/11).
Activity
jsboige commentedon Nov 5, 2026
[CLAIMED] lane myia-po-2025:CoursIA — remediation des 7 derives d'attestation : audit firsthand par paire (datation blob vs attestation), rebaseline des unilaterales propres, signalement des derives de contenu reels
Grain: MED/ledger — lane myia-po-2025:CoursIA — prev: MED/notebook-python #24841
jsboige commentedon Nov 5, 2026
[DELIVERED] lane myia-po-2025:CoursIA -- PR #24858 (6 rebaselines, GT-15 no-op auto-resolue, registre 169/169 OK)
Grain: MED/ledger — lane myia-po-2025:CoursIA
jsboige commentedon Nov 5, 2026
[RELEASED] lane myia-po-2025:CoursIA -- fermeture en doublon : la remediation est deja en vol, portee par la lane coordinateur.
Doublon mesure contre l'ouvert (SHAs enregistres vs blobs du main courant, paire par paire) :
Fix(registry,#23020)couvre les 7 paires ; 5/6 attestations identiques au main du jour ;Fix(ledger,#22267)couvre app-34 a jour (csharp_sha 742f63e2= blob actuel, la ou Fix(registry,#23020): re-attestation des 7 paires de jumeaux en drift sur main #24340 est perimee) ;Le present diagnostic (derive des 7 paires, cause racine datee a la minute : attestation sudoku-06 0013 posee 07:07 < re-exec #23656 mergee 09:22 le 31/10) alimente l'angle mort documente par #23020 -- garder ce fil comme preuve dating. Le cron twin-parity redeviendra vert au merge des deux PRs ci-dessus.