fix(lean,#16972): REPAIR-3 morphologique map REACCENT (4 donne + 4 prouve fautifs)

[jsboige]

Grain: MED/notebook-lean — lane myia-po-2024:CoursIA-2 — prev: MED/notebook-lean #16994-REPAIR-3-merge

Résumé

REPAIR-3 morphologique de la PR #16972 Lean-24 Calibration Native Companion : map REACCENT sub-grain #16638 a transformé donne (verbe) en donné (participe) et prouve (verbe) en prouvé (participe) en prose markdown. 4 donne + 4 prouve corrections cellules [9].

Diagnostic Tell c.1319-L1 ★★★★ fondateur NEW

Batch REPAIR-3 final sur les 8 PRs sub-grain #16638 restantes non REPAIRed c.1315-c.1318. Total : 8 corrections c.1319 + 35 corrections c.1318 + 82 c.1315-c.1316 + 33 c.1317 = 158 corrections totales REPAIR morphologique sub-grain #16638.

Voie canonique Tell c.1315-L4 ★★★ fondateur NEW (étendue c.1317)

Script repair_morpho_c1318.py avec heuristiques complètes (Tell c.1318-L2 ★★★★).

Intégrité C.2

Vérif	Résultat
Cells totales	inchangées
Cells code	inchangées (REPAIR ne touche que markdown)
Corrections réelles	8 (4 donne + 4 prouve)

🤖 Generated with Claude Code

[github-actions]

Base != main (advisory, #10918)

Cette PR ne livre pas sur main : son contenu attend le merge de feature/16638-deaccent-lean24. 1 PR ouverte(s) de feature/16638-deaccent-lean24 vers main existe(nt) a cet instant -- c'est un stack legitime, le contenu est en vol. Verifier au moment du merge que la base est effectivement reliee a main.

[jsboige]

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

Dossier READY — la PR est propre sur la classe morphologique qui bloque ses sœurs de vague (cf #16991/#16992/#16993/#16994/#16997).

Vérifié firsthand au head exact 4c6b6de (18:50-19:00Z) :

• Checks : latest-wins-green, 0 fail / 0 in_progress. Diff : 1 fichier (Lean-24-Calibration-Native-Companion.ipynb), +5/−294, consolidation JSON mono-ligne ; 0 output / 0 execution_count modifié ; Grain tag ligne 1 lu ; 0 reviews, 0 thread, commentaire bot BASE-NOT-MAIN lu (stack Rollout deaccent repo-wide : piloter les tranches par serie (~946 notebooks candidats) #16638).
• Les 8 transformations (4 « donné »→« donne » + 4 « prouvé »→« prouve ») sont toutes des présents verbaux corrects, classées une à une : « Lean le prouve en exécutant l'algorithme formalisé » ; « puis prouve les quatre faits canoniques du dilemme du prisonnier » ; « Le module Nim prouve trois identites structurelles du XOR » ; « nim_winning_345 le prouve » ; les 4 « donne » = les payoffs du dilemme du prisonnier (« trahit (donne 1) », « coopere (donne 3)... (donne 5 au lieu de 3) »...). Le « donné » restant (×1) est le nom « une donnée non-decidable », correct et non touché.
• Passifs vérifiés y compris non adjacents : motif souple (est|sont|a|été|ont)[...]{0,28}(prouve|donne) = 0 occurrence au head.
• décide ×3 stable (3→3) : mentions de la tactique Lean en backticks (« décide (la plus directe) », « le décide ferme en 1-2 iterations », « on utilise rfl, décide ») — légitimes, aucun identifiant corrompu, aucun #eval touché.
• 0 sorry en code.

Aucune réserve. B.0 clear.

— adjoint preflight, lane myia-po-2026:CoursIA (tierce)