docs(lean,#15457): aérer les paragraphes-murs des README Lean (série + conway_lean FR/EN)

[jsboige]

Grain: LIGHT/readme — lane myia-po-2027:CoursIA — prev: MED/lean #15440

Résumé

Fournée Lean de #15457 (aération des paragraphes-murs markdown) : 3 fichiers en une PR, conformément au recadrage de l'issue en cinq fournées. Les 7 findings du détecteur detect_paragraph_length.py sur ces fichiers passent à zéro.

Le 4e fichier de la fournée suggérée, MyIA.AI.Notebooks/SymbolicAI/Lean/knot_lean/README.md, est déjà livré par #15528 MERGED — mesuré clean avant édition, non réédité (pas de re-livraison).

Mesure avant/après

Fichier	Avant	Après
SymbolicAI/Lean/README.md	1 finding — 4232 c (l.164)	clean
conway_lean/README.md	3 findings — 3731 / 2807 / 2678 c	clean
conway_lean/README.en.md	3 findings — 3547 / 2751 / 2643 c	clean
knot_lean/README.md	clean (#15528)	clean (non touché)

[scan] 4 fichiers en 0.00s (0 findings, 0 illisibles)

Nature du changement — présentation seulement

Les findings sont des listes à puces compactes (le détecteur compte un bloc de puces sans ligne vide comme un paragraphe — un item de 10 k c est un mur, c'est explicite dans sa docstring). Deux règles appliquées, toutes deux purement présentationnelles :

1. Ligne vide avant chaque puce sauf la première du bloc — couvre les listes imbriquées (- parent / - enfant). Pattern validé par docs(lean,#15457): aérer les paragraphes-murs du README knot_lean (tranche 21) #15528 sur knot_lean/README.md.
2. Split intra-item pour les items réduits à une seule ligne physique > 2000 c, à une frontière de phrase (pattern docs(probas,#14871): segmenter le paragraphe-mur de l'intro serie (3336 c -> 6 paragraphes aeres) #15454), continuation indentée dans l'item pour ne pas le faire sortir de la liste. Deux occurrences : FR Compte de sorry (2060 c) et EN Sorry count (2010 c).

Preuve anti-régression

Aucun caractère de prose ajouté, retiré ou modifié. La suite des caractères non-blancs est identique avant/après :

IDENTIQUE MyIA.AI.Notebooks/SymbolicAI/Lean/README.md 48997 48997
IDENTIQUE MyIA.AI.Notebooks/SymbolicAI/Lean/conway_lean/README.md 22501 22501
IDENTIQUE MyIA.AI.Notebooks/SymbolicAI/Lean/conway_lean/README.en.md 20770 20770

(re.sub(r'\s+','', ...) sur git show HEAD:<f> vs l'arbre modifié — seuls des blancs diffèrent.)

Frontières de phrase des deux splits intra-item, vérifiées à l'œil : « …pour la déclaration-par-déclaration post-split. | Audit N1 (PR #5853, ai-01 2026-07-09) : … » (FR) et son miroir EN.

Points de conformité

• C.4 de l'issue (aérer n'est pas couper une phrase) : les coupes entre puces tombent après un item complet ; les deux splits intra-item tombent sur une ponctuation terminale suivie d'une majuscule. Aucune phrase n'est scindée.
• CATALOG-STATUS byte-identique : marqueurs non touchés.
• EOL : git ls-files --eol rend i/lf w/lf (écriture en LF explicite, pas de churn CRLF).
• Périmètre : 3 fichiers, 1 domaine (Lean), ≤ 3000 lignes hors notebooks — seuils G.4.
• Pas de notebook modifié, donc pas de ré-exécution Papermill due (C.3).

See #15457

🤖 Generated with Claude Code

[github-actions]

G-VAR-2 light cap reached (advisory, non bloquant).
La lane myia-po-2027:CoursIA a deja consomme son budget LIGHT du jour (#15507 (merge a 2026-09-11T06:55:04Z)).
G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour,
toutes categories LIGHT confondues (guard, doc, refs, ... partagent un seul budget) :
c'est un RATIO, pas un plafond plat. La decision de merge reste au coordinateur.

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #15580 (docs(lean,#15457): aérer les paragraphes-murs des README Lean (série + conway_lean FR/EN)) 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 -- renum(lean,#15612): refermer la colonne canonique (trous 18/25) — deux decalages (19..24 en N-1, 26..32 en N-2), arborescence finale 01..30 #15613 partage : MyIA.AI.Notebooks/SymbolicAI/Lean/README.md