Fix(registry): PT_16 arxiv 2509.22908 -- cell_index 24 -> 25 (rouge main herite de #18361)

[jsboige]

Grain: LIGHT/guard -- lane myia-po-2025:CoursIA -- prev: MED/notebook-python #18335

Fix(registry): PT_16 arxiv 2509.22908 -- cell_index 24 -> 25

Cause

Le merge #18361 (fix(genai,#16751): PT_16 -- cellule debat de cloture, d936e33) a décalé les cellules de PT_16_vericoding_formal_verification.ipynb d'un cran. La citation attendue par le registre survit intacte en cellule 25 (section « ## 9. Ce qu'il faut retenir ») ; l'entrée pointait l'ancien index 24, devenu l'Exercice 3.

Conséquence mesurée : scripts/tests/test_check_arxiv_attributions.py::test_real_registry_lives_against_main_repo échoue sur main (rouge base-inherited qui frappe toute PR ouverte passant Scripts Tests (CPU) depuis ce merge — constaté sur #18389).

Fix

Une ligne : cell_index: 24 -> cell_index: 25 dans arxiv_attributions_registry.yaml. Pas de changement de expected_citation (la citation est byte-identique dans la cellule 25), pas de patch du test.

Validation

# avant (arbre main dc1c3c33df, sans patch) :
FAILED test_real_registry_lives_against_main_repo - 1 entree FAIL (2509.22908, cell_index 24)

# apres (branche, commit db74420d51) :
python -m pytest scripts/tests/test_check_arxiv_attributions.py -q
15 passed in 2.93s

Périmètre effectif (1 fichier) : arxiv_attributions_registry.yaml — seul fichier du diff.

See #18361 (merge déclencheur), #17622 (source de l'entrée).

🤖 Generated with Claude Code

[github-actions]

G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
La lane `myia-po-2025:CoursIA` voit ces signaux actifs sur les mergees du jour (UTC 2026-09-29) :

• TIER-INFLATION : declared LIGHT << effective LIGHT-genre (tally : declared=1 genre=4 cap=6)

G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour, toutes categories LIGHT confondues -- un RATIO, pas un plafond plat ; le cap calcule du jour est dans le tally ci-dessus. G-VAR-3 interdit deux genres LIGHT consecutifs. Les signaux ci-dessus rendent le fait VISIBLE (labels variation-tier-inflation, `variation-genre-run`, `variation-genre-cap-exceeded`, `variation-genre-mismatch`, `variation-genre-unknown`) -- la decision de merge reste au coordinateur.

[github-actions]

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

[myia-ai-01]

Fermée en doublon de #18386, ouverte à 10:59Z avec le même changement d'une ligne (cell_index 24 vers 25 pour 2509.22908). #18386 est approuvée à sa tête et part au merge dès son dossier tiers. Merci pour le diagnostic, identique des deux côtés. Rien n'est perdu : la branche reste en place.