docs(arxiv,#11168): rescan delta 2026-09-24 — 14 IDs traités (3 drifts, 1 attribution)

[jsboige]

Grain: MED/docs — lane myia-po-2023:CoursIA — prev: DEEP/notebook-python #17618

Rescan arXiv du 2026-09-24 (EPIC #11168) — delta 14 IDs traité

Re-scan repo-wide (scan_arxiv_citations.py) : 1648 notebooks scannés, 145 citants,
165 IDs uniques. Couverture avant : 152 (union artefacts 2026-09-03 + 2026-09-21,
réconciliée par le ledger couverts_par_le_ledger: 121 + delta 31). Delta : 14 IDs /
10 notebooks, tous résolus.

Transport : l'API export.arxiv.org a répondu 406 sur 12/14 requêtes (UA descriptif

• mailto testés, intermittent). Substitut : pages arxiv.org/abs/<ID> (HTTP 200) —
  mêmes métadonnées first-party via meta tags citation_*. Semantique ok/notfound
  préservée ; documenté dans l'artefact.

Verdicts : 10 OK / 3 DRIFT-MINEUR / 1 MAUVAISE-ATTRIBUTION / 0 ID-FANTÔME

ID	Verdict	Correction
1706.00883	DRIFT-MINEUR	année 2018 → 2017 (v1 2017/06 ; le record arXiv ne porte AUCUNE ref journal — l'année 2018 n'est soutenue par rien que l'ID puisse attester) — ICT-37 cells 7 + 17
2402.08787	DRIFT-MINEUR	initiale 1er auteur Liu, J. → Liu, S. (Liu, Sijia, mesuré sur la page abs) — PT_15 cell 20
2406.11717	DRIFT-MINEUR	titre abrégé → titre exact Refusal in Language Models Is Mediated by a Single Direction — PT_15 cell 20
2509.22908	MAUVAISE-ATTRIBUTION	la prose citait « Vericoding: LLMs for Formally Verified Code Generation » par « Bursuc, Trimponas, Sato, Nikolić » — ce papier n'existe pas (recherches web infructueuses). Le vrai papier sous cet ID : A Benchmark for Vericoding: Formally Verified Program Synthesis, Bursuc + 12 co-auteurs (incl. M. Tegmark). Bursuc reste 1er auteur — garde anti-erreur-miroir #11163 respectée, pas de désattribution. Le contenu du notebook (benchmark 12 504 tâches, taux 82,2 %/26,8 %, CLEVER fig. 8) EST celui du benchmark — seule la ligne de référence était fausse — PT_16 cell 24
2202.01691	OK — caveat	titre cité = titre exact de la v1 (2022/01/18), retitré en v2 le même jour (« Solving Dynamic Principal-Agent Problems… »). Auteurs Mu/Zheng/Trott exacts dans GT-04f (cells 0 + 62). Aucun edit : la prose cite v1 correctement. Caveat méthodologique inscrit dans l'artefact : comparer au titre COURANT de la page abs est structurellement aveugle aux retitrages de version — sur mismatch apparent, vérifier la version citée AVANT de corriger (corrigé autrement, ce cas aurait produit une fausse correction)
1803.03635	OK — convention	année prose 2019 = journal-ref ICLR 2019 porté par le record arXiv lui-même — auto-cohérent, aucun edit (le précédent Everitt #16389 visait une année que l'ID ne soutient pas ; ici le record la porte)
1710.05060 · 2006.10782 · 2206.06821 · 2402.05110 · 2501.16496 · 2510.18212 · 2608.14611 · 2609.11912	OK	attribution, titre, année vérifiés contre les pages abs

Livrables

• 3 notebooks, 5 lignes markdown corrigées (références bibliographiques uniquement)
• Artefact daté : scripts/results/arxiv_rescan_2026-09-24.json (verdicts par ID, transport, reconciliation)
• Entrées de registre arxiv_attributions_registry.yaml ajoutées dans un second commit (nécessite le n° de cette PR)

Validation

• Diff markdown-only (5 lignes source, 0 cellule code touchée, 0 output touché) → re-exécution non due (exception C.2 « modifs uniquement markdown »)
• nbformat.validate : OK sur les 3 notebooks
• Chaque remplacement appliqué par script à occurrence unique vérifiée (échec bruyant sinon)
• Garde de collision L898 : aucune PR ouverte sur les 3 chemins avant édition

Diagnostic dérive

N/A — corrections de références bibliographiques dans des cellules markdown ; aucun
output ni claim numérique re-aligné.

See #11168 — la couverture mesurée après cette passe est 165/165 IDs cités verdictés
(critère de bouclage de l'EPIC atteint côté mesure ; la décision de fermeture revient au
coordinateur). Résultat R15 de PT_16 inchangé (le contenu citait déjà le vrai benchmark).

🤖 Generated with Claude Code

[github-actions]

No organ-duplication: no added def/class collides with another series organ API (scripts/audit/organ_api_index.yaml).

Detector: python scripts/audit/detect_organ_duplication.py --base <merge-base> --body-file <pr body>
Rationale: #16776 / #13564 (rule merged in #16778).

[github-actions]

Golden-Set Execution (H.7 P3)

✅ 8/8 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	3.4s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	4.9s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	4.8s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	6.6s
Search-01-StateSpace.ipynb	✅ SUCCESS	13.1s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	3.2s
rl_4_multi_armed_bandits.ipynb	✅ SUCCESS	18.4s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	3.0s

Pinned lockfile: scripts/notebook_tools/golden_set.lock.txt (H.7 P3, axe A #4208)

[github-actions]

⚠️ Prose/output review needed in the notebooks this PR changed: a numeric value is not anchored, an explicit relation is contradicted, or its evidence is missing. These cases remain distinct in the JSON report; the signal is advisory, NOT a merge gate.

Scope = notebooks CHANGED in this PR, not the whole corpus. Explicit claim-check relations resolve only against named CLAIM_METRICS from the local output window and are classified SUPPORTED, CONTRADICTED, or UNPROVEN.
The markdown-claims-output-report run artifact contains the structured JSON report. See python scripts/check_markdown_claims_output.py --help for re-running locally.
Detector rationale: c.290 / c.331 / PR #11435 numeric pathology, extended with low-noise relational evidence.

[github-actions]

Notebook outputs-required (H.4 schema): PASS (every code cell carries an outputs: list)

[github-actions]

Notebook PR Validation: PASS

• Notebooks checked: 3
• Code cells validated: 34
• Result: All passed

Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns)
Non-Python kernels (.NET/Lean): C.1 + errors only (execution_count advisory)
QuantConnect notebooks: C.1 + errors only (require QC Cloud for execution)

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 17622
head: 57f88d2
complete: true
body: read
comments-reviewed: 5
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: bdc6156caca4ef191746809254c276c1cf48c65b5f7590e7b5d8dc6df8ed47d2
diff-files: 5
diff-additions: 165
diff-deletions: 15
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

Lecture titulaire à la tête 57f88d2 (lane myia-po-2023:CoursIA, MED/docs, EPIC #11168) : body, 5 commentaires de bots, 0 review, 0 thread inline, diff complet (5 fichiers, +165/-15).

Vérifications firsthand :

• Les quatre corrections ont été recontrôlées sur les pages arxiv.org/abs (HTTP 200, balises citation_*). Pour 1706.00883, le record n'a aucune jref et est daté de v1 2017/06/03 : l'année 2017 est donc justifiée. Pour 2509.22908, le titre est « A benchmark for vericoding: formally verified program synthesis », avec 13 auteurs, Bursuc en premier et Tegmark présent. Pour 2402.08787, le premier auteur est Liu, Sijia. Pour 2406.11717, le titre exact correspond.
• Les 5 entrées ajoutées au registre arxiv_attributions_registry.yaml (passe 6) ont été rejouées : chaque expected_citation se retrouve telle quelle dans la cellule markdown de l'index déclaré (5/5).
• Sur les 3 notebooks, les cellules code sont identiques à origin/main (source, sorties, compteurs) et les métadonnées sont inchangées. Seules les cellules markdown 20 (PT_15), 24 (PT_16) et 7 et 17 (ICT-37) changent, plus un saut de ligne final ajouté à ICT-37. Le diff étant markdown seul, l'exception C.2 s'applique.
• Il ne reste plus aucune occurrence de 1706.00883 citée avec l'année 2018.
• Checks : 91 noms repliés au dernier essai, aucun non vert. Le PR gate a été relancé après l'échéance DWELL de 05:05:10Z.

Pour information, sans effet sur le verdict : le champ correction du registre écrit « Crutchiefield » (deux occurrences). C'est une coquille de prose de registre, absente des notebooks.

[clusterManager-Myia]

[Hermes] po-2026 — review rescan arXiv delta 14 IDs (P4 : 5 fichiers)

VERDICT: LGTM

Vérifications firsthand (head 57f88d2f) — chaque correction confrontée aux métadonnées first-party arXiv (meta tags citation_* des pages abs), jamais au seul artefact :

• 1706.00883 → 2017 : citation_date = 2017/06/03 sur la page abs — fix correct, cohérent avec « aucune ref journal sur le record ».
• 2402.08787 → Liu, S. : citation_author = « Liu, Sijia » en 1er auteur (14 auteurs listés) — fix correct.
• 2406.11717 titre exact : « Refusal in Language Models Is Mediated by a Single Direction » confirmé verbatim.
• 2509.22908 MAUVAISE-ATTRIBUTION : la page abs rend exactement « A benchmark for vericoding: formally verified program synthesis », Bursuc, S. + 12 co-auteurs (comptés : Ehrenborg, Lin, Astefanoaei, Chiosa, Kukovec, Singh, Butterley, Bizid, Dougherty, Zhao, Tan, Tegmark) — le nouveau wording du notebook (« 13 auteurs, incl. M. Tegmark ») est exact, et Bursuc reste 1er auteur (garde #11163 respectée). L'ancien titre « Vericoding: LLMs for Formally Verified Code Generation » + Trimponas/Sato/Nikolić ne correspond à rien de mesurable — diagnostic validé.
• 2202.01691 « OK — caveat, aucun edit » : vérifié indépendamment — le titre courant (« Solving Dynamic Principal-Agent Problems… ») ≠ titre v1 (« Modeling Bounded Rationality… »), et la prose GT-04f (cells 0 + 62, GameTheory-04f-Theories-Decision-Predicteur.ipynb) cite bien le titre v1 exact avec les auteurs Tong Mu / Stephan Zheng / Alexander Trott. Ne pas éditer était la bonne décision — un correctif naïf au titre courant aurait introduit un drift.

L'artefact arxiv_rescan_2027-09-24.json — coquille : scripts/results/arxiv_rescan_2026-09-24.json, méthodologie et décomptes (14 IDs, 10 OK / 3 DRIFT / 1 attribution) conformes au diff. Fallback 406→pages abs documenté, sémantique préservée.

Mineur (non bloquant) : deux coquilles « Riechers-Crutchiefield » dans le texte de correction du registry YAML (→ Crutchfield) — cosmétique, à glisser dans la prochaine passe.

(Sous clusterManager-Myia, non-auteur — verdict réel.)

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 17622
head: 57f88d2
complete: true
body: read
comments-reviewed: 6
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 845bdc4d2313d1444bf98f19c9b4944e0a887758c616b3df958dcc274d2bd87e
diff-files: 5
diff-additions: 165
diff-deletions: 15
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

Lecture titulaire à la tête 57f88d2 (lane myia-po-2023:CoursIA, MED/docs, EPIC #11168) : body, 5 commentaires de bots, 0 review, 0 thread inline, diff complet (5 fichiers, +165/-15).

Vérifications firsthand :

• Les quatre corrections ont été recontrôlées sur les pages arxiv.org/abs (HTTP 200, balises citation_*). Pour 1706.00883, le record n'a aucune jref et est daté de v1 2017/06/03 : l'année 2017 est donc justifiée. Pour 2509.22908, le titre est « A benchmark for vericoding: formally verified program synthesis », avec 13 auteurs, Bursuc en premier et Tegmark présent. Pour 2402.08787, le premier auteur est Liu, Sijia. Pour 2406.11717, le titre exact correspond.
• Les 5 entrées ajoutées au registre arxiv_attributions_registry.yaml (passe 6) ont été rejouées : chaque expected_citation se retrouve telle quelle dans la cellule markdown de l'index déclaré (5/5).
• Sur les 3 notebooks, les cellules code sont identiques à origin/main (source, sorties, compteurs) et les métadonnées sont inchangées. Seules les cellules markdown 20 (PT_15), 24 (PT_16) et 7 et 17 (ICT-37) changent, plus un saut de ligne final ajouté à ICT-37. Le diff étant markdown seul, l'exception C.2 s'applique.
• Il ne reste plus aucune occurrence de 1706.00883 citée avec l'année 2018.
• Checks : 91 noms repliés au dernier essai, aucun non vert. Le PR gate a été relancé après l'échéance DWELL de 05:05:10Z.

Pour information, sans effet sur le verdict : le champ correction du registre écrit « Crutchiefield » (deux occurrences). C'est une coquille de prose de registre, absente des notebooks.

Ré-émission à la même tête 57f88d2. La review Hermes APPROVED de 05:31:11Z, postée après le premier dossier (5808156026), en a périmé les surfaces. Elle confronte les 14 identifiants aux pages abs arXiv et ses constats rejoignent ceux ci-dessus. Elle relève aussi les deux « Crutchiefield » déjà notés, qu'elle classe comme cosmétiques et reporte à la prochaine passe. Au moment de la ré-émission : 92 noms de checks, 0 non vert ; organe B.0 rc=0.

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #17622 (docs(arxiv,#11168): rescan delta 2026-09-24 — 14 IDs traités (3 drifts, 1 attribution)) 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.

• faible -- enrich(ml,#13410): densité g29-ml-2 — 3.10-Diffusion-SOTA 672→1251, Lab8-ADK-Introduction 900→1231 #17560 partage : arxiv_attributions_registry.yaml

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 17622
head: 57f88d2
complete: true
body: read
comments-reviewed: 8
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 15ce5ae854807824b82ddad0f3b575f9371a891400a8f5c2d093a5894a04fb29
diff-files: 5
diff-additions: 165
diff-deletions: 15
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

Lecture titulaire à la tête 57f88d2 (lane myia-po-2023:CoursIA, MED/docs, EPIC #11168) : body, 5 commentaires de bots, 0 review, 0 thread inline, diff complet (5 fichiers, +165/-15).

Vérifications firsthand :

• Les quatre corrections ont été recontrôlées sur les pages arxiv.org/abs (HTTP 200, balises citation_*). Pour 1706.00883, le record n'a aucune jref et est daté de v1 2017/06/03 : l'année 2017 est donc justifiée. Pour 2509.22908, le titre est « A benchmark for vericoding: formally verified program synthesis », avec 13 auteurs, Bursuc en premier et Tegmark présent. Pour 2402.08787, le premier auteur est Liu, Sijia. Pour 2406.11717, le titre exact correspond.
• Les 5 entrées ajoutées au registre arxiv_attributions_registry.yaml (passe 6) ont été rejouées : chaque expected_citation se retrouve telle quelle dans la cellule markdown de l'index déclaré (5/5).
• Sur les 3 notebooks, les cellules code sont identiques à origin/main (source, sorties, compteurs) et les métadonnées sont inchangées. Seules les cellules markdown 20 (PT_15), 24 (PT_16) et 7 et 17 (ICT-37) changent, plus un saut de ligne final ajouté à ICT-37. Le diff étant markdown seul, l'exception C.2 s'applique.
• Il ne reste plus aucune occurrence de 1706.00883 citée avec l'année 2018.
• Checks : 91 noms repliés au dernier essai, aucun non vert. Le PR gate a été relancé après l'échéance DWELL de 05:05:10Z.

Pour information, sans effet sur le verdict : le champ correction du registre écrit « Crutchiefield » (deux occurrences). C'est une coquille de prose de registre, absente des notebooks.

Ré-émission à la même tête 57f88d2. La review Hermes APPROVED de 05:31:11Z, postée après le premier dossier (5808156026), en a périmé les surfaces. Elle confronte les 14 identifiants aux pages abs arXiv et ses constats rejoignent ceux ci-dessus. Elle relève aussi les deux « Crutchiefield » déjà notés, qu'elle classe comme cosmétiques et reporte à la prochaine passe. Au moment de la ré-émission : 92 noms de checks, 0 non vert ; organe B.0 rc=0.

Re-stamp à la même tête : le commentaire automatique path-collision de 06:53:59Z a périmé le dossier 5808475645. Il ne signale que le partage de chemin arxiv_attributions_registry.yaml avec #17560, PR distincte sous le veto de campagne #17040 ; aucun doublon de contenu n’y est établi par cet advisory. Le diff propre de #17622 conserve ses quatre corrections vérifiées. B.0 rc=0, 0 thread ouvert ; 92 checks dédupliqués, aucun non vert.