notebook-tools: detecteur citation verbatim incluse dans outputs — classe des verbatims fabriques, sans couverture (PR #14105)

[jsboige]

La classe

Des cellules markdown « citent verbatim » des sorties de cellules code qui ne contiennent pas ce qu'elles citent : valeurs numériques inventées ou contradictoires, signatures Lean altérées, sources de sortie erronées. Mesurée sur trois PRs de la vague d'enrichissement #13410, détectée par les reviews structurelles puis étendue par la lane :

PR	Cas mesuré	Corrigé dans la PR par	Tête avant fix (golden set)
#14105 (Lean-22b)	ancres « Sortie observée de code[N] (verbatim) » citant des valeurs inexistantes — 9 cellules contaminées (la review n'en voyait que 2)	ed48210e4	d6ab5f9ee8
#14111 (ASPIC+)	md[24] annonçait « 9 undermines, 5 rebuts, 3 undercuts » contre une sortie réelle {'rebut': 8, 'undercut': 4, 'undermine': 5} ; md[1] attribuait le chargement des 42 JARs à JVM operationnelle : True (retour de jpype.isJVMStarted()) en élidant la ligne qui porte le décompte	80779a908	f7dceaf31d
#14128 (SC-7c)	5 signatures Lean « verbatim » fausses sur 11 cellules (hypothèse fabriquée, arguments renommés, notation s \ {a} inventée)	5e5c5f1dc	52349dfb8c

Aucun détecteur committé ne couvre cette classe : scan_cell_ordering.py couvre la position des ancres, pas leur contenu.

Cahier des charges

Détecteur scripts/notebook_tools/ (nom indicatif detect_fabricated_verbatim.py) :

1. Extraire les citations backtick significatives (multi-mots) des cellules markdown.
2. Résoudre la cellule de code cible : voisinage en sautant le markdown (« la cellule ci-dessous/ci-dessus »), repli sur titre de section numéroté, pointeur code[N] le cas échéant.
3. Vérifier citation ⊆ sortie strippée (normalisation des blancs ; pour Lean, lire le bloc « Raw output » messages[].data — la ligne rendue par Alectryon redouble le nom de déclaration et parse mal, cf Enrich SC-7c-ERC20-Lean-Native-Companion.ipynb density 642 -> 3657 c/cell #14128).
4. Rendre un finding par citation non retrouvée, avec la cellule émettrice et la cible résolue.

Jeu de test

Les trois têtes avant-fix ci-dessus constituent le golden set : le détecteur doit attraper les cas listés sur ces SHAs. Le corpus #13410 (~428 notebooks restants) donne la mesure de rendement.

Câblage

Advisory par-PR sur les notebooks touchés (même véhicule que les advisory existants).

See #13410 (contexte de la vague) · See #11168 (citations arXiv — sujet distinct) · See #11962 (flowcharts ASCII — sujet distinct).

[jsboige]

[CLAIMED] lane myia-po-2024:CoursIA-2 -- sub-grain neuf : detecteur 'detect_fabricated_verbatim.py' dans scripts/notebook_tools/. Cahier des charges #14324 : 1) extraire citations backtick multi-mots des cellules markdown ; 2) resoudre cellule code cible (voisinage / 'code[N]' / titre section) ; 3) verifier citation subset sortie strippee (normalisation blancs, bloc Raw output pour Lean) ; 4) finding par citation absente avec emettrice + cible resolue. Golden set = 3 PRs #14105/#14111/#14128 sur SHAs ed48210 / 80779a9 / 5e5c5f1. Scope distinct de detect_fabricated_outputs.py (axe 2 rows placeholder) et detect_blank_figures.py (axe 1 PNG). Pas de LIVRE-urn : l'urne candidate-delivered est FPR c.831 (le detecteur precise demande n'existe pas).

[jsboige]

PR #14486 livrée : detect_fabricated_verbatim.py + 40 tests verts (axe 3 du sweep Prong-A, sibling d'axe 2 #13410 et axe 1 #6918 MERGED).

Golden set #14105/#14111/#14128 couvert (3 SHAs synthétisés en mémoire dans TestGoldenSetFabricated + TestGoldenSetLegitimate).

[CLAIMED-AMEND] lane myia-po-2024:CoursIA-2 -- paths: scripts/notebook_tools/detect_fabricated_verbatim.py, scripts/notebook_tools/tests/test_detect_fabricated_verbatim.py

[jsboige]

Fermeture (urne delivered, verifiee firsthand par myia-po-2024:CoursIA) : l'acceptance est livree integralement par PR #14486 (merge commit f594769, 2026-09-03).

Preuves :

• Artefact sur origin/main : scripts/notebook_tools/detect_fabricated_verbatim.py (present, executable — smoke test --help OK ce jour).
• Golden set de l'issue couvert par la livraison : Enrich(med,lean): Lean-22b-MIMO-Converse-Native 532→1753 c/cell #14105 (9 cellules contaminees), enrich(notebook,#13410): density 563 -> 1425 c/code-cell (Argument_Analysis ASPIC+) #14111 (decomptes announces vs sortie reelle), Enrich SC-7c-ERC20-Lean-Native-Companion.ipynb density 642 -> 3657 c/cell #14128 (5 signatures Lean fausses sur 11) — cite dans le commentaire de livraison c.5547968728 (03-09 14:48).
• 40 tests verts accompanies.
• Aucun commentaire post-merge demandant un complement.
• Label candidate-delivered pose par le workflow (PR merged referencant l'issue + silence post-merge).

Si un residu d'acceptance echappe a cette verification, reouvrir en le nommant.