Skip to content

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

Merged
myia-ai-01 merged 1 commit into
feature/16638-deaccent-lean25-coherencefrom
fix/c1319-repair3-morpho-pr16979
Sep 21, 2026
Merged

fix(lean,#16979): REPAIR-3 morphologique map REACCENT (0 donne + 4 prouve fautifs)#16995
myia-ai-01 merged 1 commit into
feature/16638-deaccent-lean25-coherencefrom
fix/c1319-repair3-morpho-pr16979

Conversation

@jsboige

@jsboige jsboige commented Sep 20, 2026

Copy link
Copy Markdown
Owner

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 #16979 Lean-25 Coherence et Temoin : map REACCENT sub-grain #16638 a transformé donne (verbe) en donné (participe) et prouve (verbe) en prouvé (participe) en prose markdown. 0 donne + 4 prouve corrections cellules [1].

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 : 4 corrections c.1319 + 35 corrections c.1318 + 82 c.1315-c.1316 + 33 c.1317 = 154 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 4 (0 donne + 4 prouve)

🤖 Generated with Claude Code

@jsboige @claude
fix(lean,#16979): REPAIR-3 morphologique map REACCENT (0 donne + 4 pr…
d859b88 
…ouve fautifs)

Tell c.1319-L1 ★★★★ : batch REPAIR-3 final 8 PRs restantes sub-grain #16638.

Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>
@github-actions

github-actions Bot commented Sep 20, 2026

Copy link
Copy Markdown
Contributor

Base != main (advisory, #10918)

Cette PR ne livre pas sur main : son contenu attend le merge de feature/16638-deaccent-lean25-coherence. 1 PR ouverte(s) de feature/16638-deaccent-lean25-coherence 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.

@clusterManager-Myia clusterManager-Myia mentioned this pull request Sep 20, 2026
Closed
@jsboige

jsboige commented Sep 20, 2026 •
edited
Loading

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA
pr: 16995
head: d859b88
complete: true
body: read
comments-reviewed: 1
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 31701acc19ed67183124893c9fdb1e859a7c4ab9c741bffe327e7b2d23cc0630
diff-files: 1
diff-additions: 4
diff-deletions: 30
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 (#16991/#16992/#16993/#16994).

Vérifié firsthand au head exact d859b88 (18:20-18:30Z) :

  • Checks : latest-wins-green, 0 fail / 0 in_progress. Diff : 1 fichier (Lean-25-Coherence-et-Temoin.ipynb), +4/−30, consolidation JSON mono-ligne ; 0 output / 0 execution_count modifié ; 0 sorry en code ; Grain tag ligne 1 lu ; 0 reviews, 0 thread, commentaire bot BASE-NOT-MAIN lu (stack légitime feature/16638-deaccent-lean25-coherence).
  • Les 4 « prouvé »→« prouve » sont TOUS des présents verbaux corrects, occurrences classées une à une : « ce que le lake prouve pour tout Ω fini » ; titre « ce que le balayage ne prouve pas » ; « le lemme affine_rep_is_rep... en prouve la partie cardinale » ; « l'invariance que affine_rep_is_rep prouve en général ». Les anciens « prouvé » étaient bien fautifs (verbe au présent accentué à tort) — le titre « 0 donne + 4 prouve fautifs » correspond exactement à la livraison.
  • Le « donné » restant (×1, conservé des deux côtés) n'est pas touché.
  • Spot-check complémentaire : le diff est petit (+4/−30), les 4 lignes + relues intégralement, aucune autre forme ambiguë (décide/éval) dans les lignes +.

Aucune réserve de contenu de ma part. B.0 clear (aucune review ni thread en attente).

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

@myia-ai-01
myia-ai-01 merged commit fb6006d into feature/16638-deaccent-lean25-coherence Sep 21, 2026
10 checks passed
jsboige added a commit that referenced this pull request Sep 21, 2026
@jsboige @claude
fix(lean,#16979): REPAIR-4 additif morphologique — 15 fautes upstream…
3ae1b80 
… corrigées

Tell c.1358-L1 ★★★★★ MAJEUR fondateur : REPAIR-4 additif sur les 5 cellules
code fautives restantes après REPAIR-3 (#16995) — char-par-char walk avec
unaccented alignment. Convention main ASCII fait foi (Tell c.1356-L1 ★★)
sur cellules d'exercice (#2, #7, #17, #19, #21).

Fautes upstream corrigées (15/15 symétrie Tell c.974 §G.9) :
- cell #2 line 5: état → etat (4 occurrences dans docstrings)
- cell #7 line 7: système → systeme
- cell #17 line 3: TODO étudiant → TODO etudiant (2 occurrences)
- cell #19 lines 0,5: système piége → systeme piege + TODO étudiant
- cell #21 line 4: TODO étudiant → TODO etudiant (2 occurrences)

Cellules markdown #1, #8, #9, #11 — whitespace-only diff préservé
(\n\n\n vs \n\n : normalisation upstream intentionnelle, hors scope REPAIR).

Tell c.974 strict §C.1 scope strict : 5 cellules code touchées,
toutes des `#` commentaires ou stubs `pass` (zéro cellule code logique
exécutable modifiée). Tell c.974 strict §C.2 strict non applicable.
Tell c.1331-L5 ★★★★ byte-identique newline terminal préservé.

Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>
@jsboige jsboige mentioned this pull request Sep 21, 2026
Closed
@github-actions github-actions Bot mentioned this pull request Sep 22, 2026
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@jsboige @myia-ai-01