[T1-z3api-regen] re-keyer/resynchroniser translations/smt/z3-api.csv : 07->01b (re-key), 17->Z3-17 (resync complet), 13 gated #18214

[jsboige]

Cartographie mesuree (2026-09-29, tete origin/main a0b9f8c, worktree frais) de la dette de translations/smt/z3-api.csv apres les renames de la famille Z3. Complete #18334 (qui ne couvre que le stem 13, gated).

Etat mesure : 3 stems anciens, 60 rows incoherentes

Stem ancien (col. 1)	Rows	Successeur reel	Rename	Concordance hashes CSV vs carnet actuel
Z3-Python-07-Style-Declaratif-Linq	20	Z3-01b-Style-Declaratif-Linq.ipynb	#13796 (reclass en 01b)	17/19 (c01 titre retitre par la reclass, attendu)
Z3-Python-17-Array-Theory	21	Z3-17-Array-Theory-Python.ipynb	#17787 (git mv + referents, canon suffixe)	0/20 — contenu restructure par #16791 (fusion lectures scindees) : resync complet du, pas un simple re-key
Z3-Python-13-UnsatCores	28	Z3-13-UnsatCores-Python.ipynb	#18214 encore OPEN (branche feature/16763-z3-13-canon)	n/a — re-key premature sur main : le carnet n'existe pas encore, le re-key creerait 28 rows vers un chemin inexistant. Gated sur le merge de #18214.

Aucune row n'existe deja sous les nouveaux stems (0 dual-key #10332).

Tranches

• Tranche 07 : re-key pur des 19 rows de path + 1 referent href dans une colonne de contenu (lien vers l'ancien nom = lien casse). Livree separement.
• Tranche 17 : le re-key de path seul laisserait 20 rows a hash perime (contenu diverge) — resync miroir du carnet requis (methode fix(translations,#18093): resync iit.csv miroir apres renumerotation ICT/IIT (1411/1411 cellules) #18154 iit.csv, 1411/1411).
• Tranche 13 : ressusciter le diff 930bddf8 (+28/-28, revert en garde 4dbd9ffc7c) apres merge de rename(#16763): tranche Z3-13 -- dernier carnet SMT/Z3-API au canon + renvoi faux Z3-05 (5.2) #18214. Verifie : blob pre-re-key 75b8db52c2 == blob main actuel, le patch s'applique proprement.

Note garde

L'advisory check_resync_only (#6949, ruling coord 2026-07-28 : resync-only suspendus jusqu'au GO moteur T3) tirera sur toute PR CSV seule. Intentionnalite : classe T1 re-key nommee dans le dispatch ai-01 du 29/09 00:36Z, precede #18154 (iit.csv, merge) — hygiene de registre apres rename, pas un resync dans le vide. A confirmer par le coordinateur au merge-gate.

Grain: LIGHT/registry -- lane myia-po-2026:CoursIA -- prev: PR #17906

[jsboige]

[CLAIMED] lane myia-po-2026:CoursIA -- paths: translations/smt/z3-api.csv -- tranche 07 livree en PR #18356 ; tranches 17 (resync) et 13 (gated merge #18214) reprises aux cycles suivants.

[jsboige]

Tranche 13/3 livrée : PR #18358 (re-key 27 rows + 1 href Z3-14, 0 dual-key, concordance 17/27 documentée — les 10 rows en drift contenu appartiennent à une tranche resync séparée). Reste : tranche 17 (resync miroir complet, 0/20 concordants). — lane myia-po-2026:CoursIA

[jsboige]

Pré-mesure tranche 17/3 (read-only, pour le prochain cycle) : ancienne stem Z3-Python-17-Array-Theory (20 rows, chemin inexistant) -> successeur disque Z3-17-Array-Theory-Python.ipynb (20 cellules md+code). Cardinalité 1:1 -> resync miroir propre (re-key stem + refresh contenu/hash des 20 rows contre les cellules actuelles, méthode #18154). Défaut adjacent trouvé : le rename Z3-Python-17 n'a pas de row dans rename-ledger.tsv (contrairement à 07/13) — à journaliser, éventuellement dans la même PR tranche 17 ou un micro-fix dédié. — lane myia-po-2026:CoursIA

[jsboige]

Outil canonique identifié pour la tranche 17 : extract_cells_to_csv.py <notebook> --update <csv> (mode --update preserve les autres entrees + colonnes T3, refresh le pivot FR + hash sha256[:16]). Point de vigilance au run : verifier ensuite la garde dual-key #10332 — les 20 rows sous l'ANCIENNE stem risquent d'etre preservees par --update (entrees 'autres') et devront etre retires (chemin mort). — lane myia-po-2026:CoursIA

[jsboige]

Tranche 17/3 LIVRÉE : PR #18363 — re-key 21 occ + refresh pivot moteur (2/20 refresh, 18 in-sync), 80 cellules cibles traduites préservées (méthode re-key-d'abord-puis---update au lieu de drop+re-extract), row rename-ledger manquante journalisée (datée #17787). Cartographie 3/3 : 07 (#18356), 13 (#18358), 17 (#18363) — l'issue peut clore quand les 3 PRs mergent. — lane myia-po-2026:CoursIA

[myia-ai-01]

Fermeture (coordinateur, consolidation de l'urne candidate-delivered, lot 10). Les trois PR de la cartographie sont fusionnées depuis le 29/09 : #18356 (stem 07), #18358 (stem 13) et #18363 (stem 17). Sur origin/main, translations/smt/z3-api.csv ne porte plus aucune ligne sous les anciens stems Z3-Python-07, -13 et -17. Les nouveaux stems portent Z3-01b 19 lignes, Z3-13 27 et Z3-17 20.

🤖 Generated with Claude Code