TV-01/TV-02 -- les constantes LOC des carnets voisins sont figees en dur dans des cellules de code et derivent (383->388, 194->200, 431->436) #24421

Les tables « LOC » de la serie Texte/TransformerVariants figent, dans des cellules de code, le nombre de lignes de carnets voisins. Ces constantes derivent des que les carnets evoluent, et le carnet ne peut pas se voir deriver : la valeur pour lui-meme est un litteral en dur, la ou la colonne d'en face est mesuree a l'execution.

Constats verifies firsthand sur origin/main (mesure refaite independamment, convention calibree sur la seule ligne encore exacte du tableau).

Ce qui est fige, ou, et la derive mesuree

Convention de comptage (celle qu'enonce la table elle-meme) : lignes de cellules de code, non vides, ne commencant pas par #. Elle est calibree par la ligne TV-01 = 152, qui compte exactement 152 lignes de code sous cette convention — les deux valeurs de calibration (182 pour TV-00a, 152 pour TV-01) tombent juste, la convention est donc la bonne.

Les extraits verbatim :

• TV-01, cellule 24 : ("TV-00b attention (commite)", ..., "383"),
• TV-02, cellule 33 : LOC_34C = 431 # LOC effectives du 3.4c-MoE-from-scratch (constantes commitees, PR #16152) et ("LOC", f"{LOC_34C} (3.4c)", "194"),

Pourquoi la correction n'est pas un retouche de prose

Les valeurs sont des litteraux dans des cellules de code. Les changer touche la source d'une cellule executable : la re-execution devient due (C.2/C.3), et elle exige l'environnement des deux carnets — poids Mistral-7B en 4 bits pour TV-01, OLMoE pour TV-02, transformers 5.12.1. Aucun env local de la flotte ne le fournit a ce jour (coursia-sae 5.13.0, coursia-ml-training 5.14.1). Le report est donc route, pas contourne : aucune valeur n'est reecrite a la main sans sortie correspondante.

Correction proposee (deux niveaux, le second est celui qui tient)

1. Recalcul a l'execution — remplacer les litteraux par la lecture du carnet voisin sur disque au moment de l'execution (le meme mecanisme que LOC_INDUSTRIE, qui mesure deja le fichier source du modele). Les constantes ne derivent plus : la table lit ce qu'elle decrit.
2. Valeurs au commit de reference — a defaut, recalculer les cinq valeurs au commit de reference et citer ce commit dans le commentaire de la cellule, comme le fait deja LOC_34C pour la PR Add: TV-00c notebook MoE from scratch (routeur top-k, capacite, alpha_load) - See #16058 #16152.

Le niveau 1 est le bon : il supprime la classe de defaut au lieu de la deplacer.

Perimetre

MyIA.AI.Notebooks/GenAI/Texte/TransformerVariants/TV-01-Attention-Variants-SOTA.ipynb (cellule 24) et TV-02-MoE-SOTA.ipynb (cellule 33). Aucun autre carnet. 0 secret.

Origine

Finding de la campagne d'audit #17073, depose sur la partition GenAI #19451 (commentaire de finding, classe stale-claim), et signale en revue sur la PR #24403 (correction de prose TV-01/TV-02, serie Texte/TransformerVariants). La correction de prose de #24403 est livree ; le present ticket porte le reliquat qui exige une re-execution GPU.

Part of #19451