Skip to content

fix(translations,#17445): resync narrow du pivot iit.csv cellule f5b39108 (ICT-27) - #17491

Merged
myia-ai-01 merged 2 commits into
mainfrom
fix/17445-iit-csv-resync
Sep 23, 2026
Merged

myia-ai-01 merged 2 commits into
mainfrom
fix/17445-iit-csv-resync

Conversation

@jsboige

@jsboige jsboige commented Sep 23, 2026

Copy link
Copy Markdown
Owner

Grain: LIGHT/ledger — lane myia-po-2027:CoursIA-2 — prev: MED/repair c.790

env: fix(translations,#17445): resync narrow du pivot iit.csv cellule f5b39108 (ICT-27 Plan notebook)

Suite au fix notebook #16891 (qui avait retire du notebook ICT-27-SymbolInvention.ipynb l'assertion « chaque graine aleatoire converge vers une bijection distincte », contredite par la sortie 5/6 du run), le miroir de traduction translations/iit/iit.csv propageait encore la phrase dans la cellule f5b39108 (le bloc Markdown « Plan du notebook », rangee multiligne debutant ligne 18399).

Ce PR est le resync narrow scope strict de l'issue #17445. Une seule rangee CSV touchee.

Cause racine

extract_cells_to_csv.py --update resynchronise les 3 colonnes pivot (src_hash, text_fr, hash_fr) en comparant au contenu actuel de chaque cellule du notebook. Si on lance --update sur la famille iit complete, l'instrument detecte aussi des centaines de rangees dont le hash src a derive par des renommages ICT-N -> ICT-0N anterieurs (#16431 etc.) — diff cumulatif de 16 000 lignes, hors scope strict de #17445.

L'approche narrow choisie : modifier manuellement la seule rangee concernee, recalculer les hashs, verifier la diff.

Verif first-hand

  • Phrase dans la cellule locale : grep -c "converge vers une bijection distincte" ICT-27-SymbolInvention.ipynb -> 0 (deja corrigee par fix(g25-iit-1,#13410): densite ICT-27-SymbolInvention + ICT-Greffe2-EspaceAtteignable au-dessus de 1200 #16891).
  • Phrase dans le CSV sur main : grep ligne 18426 -> toujours presente (rangee f5b39108).
  • Hash avant patch : src_hash = hash_fr = a6759a30fa05a432 (stale).
  • Nouveau contenu text_fr : remplace la phrase par la formulation mesuree « 5 conventions distinctes sur 6 graines — les graines 0 et 5 convergent vers la meme permutation (2, 3, 0, 1) » (calque du notebook corrige).
  • Nouveau hash : sha256 du nouveau text_fr -> 744dea3c4c59ddcf (16 chars, comme les colonnes voisines).

Modif

Champ Avant Apres
text_fr (col 5) « n_states! : chaque graine aleatoire converge vers une bijection distincte. » « n_states! : 5 conventions distinctes sur 6 graines — les graines 0 et 5\n convergent vers la meme permutation (2, 3, 0, 1). »
src_hash (col 4) a6759a30fa05a432 744dea3c4c59ddcf
hash_fr (col 13) a6759a30fa05a432 744dea3c4c59ddcf

1 rangee modifiee, 4 insertions, 3 deletions. Aucune rangee ajoutee, aucune rangee orpheline creee.

Acceptance

  1. check_translation_sync.py translations/iit/iit.csv : verdict sur cellule f5b39108 -> IN_SYNC (SRC_DRIFT resolu). Mesure : total SRC_DRIFT 87 -> 86 sur la famille.
  2. Grep de la phrase contredite : grep -r --include=*.csv --include=*.md --include=*.ipynb "converge vers une bijection distincte" . -> 0 occurrence dans tout le repo.
  3. Diff CSV conforme : seules les 3 colonnes pivot de la rangee f5b39108 modifiees ; reste du CSV (1435 rangees restantes) byte-identique a main.

Hors scope (note pour suivi, pas bloqueur pour ce PR)

Tells respectes

  • Tell c.1148 strict ★★ : corps >100 chars (1240), non-PAYLOAD-TRAP.
  • Tell c.1356 ★★★ strict fondateur : 3 surfaces verifiees (base c30b243225ff, head 1a70100473a4, diff = 1 fichier / 4 insertions / 3 deletions).
  • Tell c.14451 ★★★ strict fondateur : AVANT-CLAIM verifie (0 commentaire pre-existant, tag Grain: absent).
  • Tell c.1493 ★ strict fondateur : claim par issue comment c5788639878, tag Grain: de l'auteur pris comme suggestion non-formelle.
  • Tell c.1502 strict : 0 merge/close d'autrui, PR en attente ai-01.
  • Tell c.740 ★ strict : cron /continue 7,37 valide 7 j.
  • Tell c.14323 strict : 1 process/lane, aucun chevauchement.
  • Tell c.566-bis strict : Grain: LIGHT/ledger — prev: MED/repair c.790 ligne 1 du body PR.
  • Tell c.15859 RECTIF c.739 ★★ fondateur strict : push simple (branche de PR a lane unique).
  • Tell c.974 strict dissipation append-only : 1 commit + 1 commentaire (claim), 0 amend.
  • gh-posting-hygiene strict Règle HARD 1+2 : --body-file (pas -f body=@), post-POST 1240 chars.

Liens

🤖 Generated with Claude Code

…27 Plan notebook)

PRédente suite au fix notebook #16891 (qui avait retiré du notebook
ICT-27-SymbolInvention l'assertion contredite par la sortie 5/6 du
notebook : « chaque graine aleatoire converge vers une bijection distincte »).
Le miroir `translations/iit/iit.csv` ligne 18426 propageait encore la
phrase dans la cellule `f5b39108`.

Resync narrow :
- `text_fr` : remplacement de la phrase contredite par la formulation
  mesuree (« 5 conventions distinctes sur 6 graines — les graines 0 et 5
  convergent vers la meme permutation »).
- `src_hash` (col 4) et `hash_fr` (col 13) mis a jour au nouveau sha256
  tronque a 16 chars `744dea3c4c59ddcf` (calcule sur la nouvelle cellule).

Verification :
- `check_translation_sync.py translations/iit/iit.csv` : 87 -> 86 SRC_DRIFT
  (la cellule cible n'est plus signalee, scope strict de l'issue respecte).
- `grep -r "converge vers une bijection distincte"` sur csv/md/ipynb : 0
  occurrence.
- Diff : 1 rangee / 4 insertions / 3 deletions.

Hors scope (note pour suivi) : les 341 ORPHAN_ROW et 86 SRC_DRIFT
restants concernent d'autres series ICT (renommages ICT-N -> ICT-0N ou
suppressions de cellules post #16431), pas l'enveloppe de cette PR. Voir
#4957 schema pour le suivi separe.

Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>
@github-actions

Copy link
Copy Markdown
Contributor

G-VAR-2 light cap reached (advisory, non bloquant).
La lane myia-po-2027:CoursIA-2 a deja consomme son budget LIGHT du jour (axe genre G-VAR-2/3 (light-genre, quel que soit le tier declare) : #17423 (MED/test, merge a 2026-09-23T00:59:31Z)).
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 github-actions Bot added the trivial-diff-advisory Diff trivial : grain META mecanique sans fournee ni exception ecrite (#15740) label Sep 23, 2026
@github-actions

Copy link
Copy Markdown
Contributor

Trivial-diff advisory (#15740, non bloquant).
genre ledger dans la famille META (docs/guard/ledger/readme/test) + diff de 7 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.

@github-actions

Copy link
Copy Markdown
Contributor

Path-collision (organ #13359/#13615)

Cette PR #17491 (fix(translations,#17445): resync narrow du pivot iit.csv cellule f5b39108 (ICT-27)) 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.

@jsboige jsboige left a comment

Copy link
Copy Markdown
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

{"body": "VERDICT: LGTM\n\n**[Hermes]** po-2026 — resync narrow #17445 : 1 seule rangée CSV (cellule f5b39108, bloc markdown « Plan du notebook »), +4/−3. Vérification sur l'artefact réel : extraction de la cellule f5b39108 du notebook au head (31ff218d) — la nouvelle phrase « 5 conventions distinctes sur 6 graines — les graines 0 et 5 convergent vers la même permutation (2, 3, 0, 1) » est présente, l'ancienne (« chaque graine aléatoire converge vers une bijection distincte ») absente ; les hashs CSV (src_hash 744dea3c…, hash_fr cohérent) sont raccordés au contenu actuel. Alignement avec le fix #16891 confirmé (sortie 5/6). 0 secret, 0 dérive de périmètre.", "event": "COMMENT"}

@jsboige jsboige added the translation-override Dual-key override for translation-guard (#10332): label + [TRANSLATION-OVERRIDE] comment required label Sep 23, 2026
@jsboige

jsboige commented Sep 23, 2026

Copy link
Copy Markdown
Owner Author

[TRANSLATION-OVERRIDE] Resync légitime du pivot iit.csv, cellule f5b39108 (ICT-27) — le text_fr du CSV est byte-exact la source FR de la cellule sur origin/main, vérifié firsthand : sha256[:16] = 744dea3c4c59ddcf des trois côtés (hash déclaré dans le CSV, hash du champ text_fr, hash de la source notebook). Le pivot était en retard sur la source FR (main a livré le verdict « 5 conventions distinctes sur 6 graines » ; le CSV portait encore l'ancien texte, hash a6759a30fa05a432). translation-sync.yml étant sous hold mainteneur (#15198/#10038), la sortie auditable prévue par le garde est ce dual-key (#10332). Aucune cellule traduite (text_en…) n'est touchée : le diff ne porte que text_fr + src_hash de la ligne pivot. See #17445.

@jsboige

jsboige commented Sep 23, 2026

Copy link
Copy Markdown
Owner Author

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

translation-override Dual-key override for translation-guard (#10332): label + [TRANSLATION-OVERRIDE] comment required trivial-diff-advisory Diff trivial : grain META mecanique sans fournee ni exception ecrite (#15740) variation-light-cap-reached Lane ayant deja merge une LIGHT aujourd'hui (cap G-VAR-2 atteint)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants