fix(md-tables,#15719): relais g1-residu — lignes vides après tableaux Lean ; Audio écarté (doublon #16411)

[jsboige]

Grain: LIGHT/docs -- lane myia-po-2025:CoursIA -- prev: LIGHT/docs #16411

Relais g1-residu-petits-domaines — tranche Lean uniquement

Relais chirurgical du grain g1-residu-petits-domaines (run 12:13Z, checkpoint 75c159f55, base 771d917a1). Le run avait traité 3 fichiers ; le relais n'en livre qu'un — les deux autres sont écartés avec preuve ci-dessous.

Exception seulement résidu final mesuré (#15719) : cette tranche terminale ne contient plus que les deux séparateurs de tableaux vérifiés ci-dessous ; les autres findings du run sont soit des faux positifs, soit couverts par la PR sœur ouverte #16411.

Livré

MyIA.AI.Notebooks/SymbolicAI/Lean/README.md — NO_BLANK_AFTER ×2 (L161, L256) : lignes vides ajoutées après tableaux. Validation : scan_md_table_syntax.py --check → 0 défaut sur 0/1 fichier (clean).

Écarté avec preuve

GenAI/Audio/README.md L96 + GenAI/Audio/02-Advanced/README.md L28 — le run résorbait le COL_MISMATCH (cellule VRAM manquante sur la ligne YuE2-3B) en posant une cellule vide (| |). Deux raisons d'écarter :

1. Doublon exact du grain jumeau g1-genai, proposé dans la PR ouverte fix(md-tables,#15719): relais g1-genai 2e passage — cellule VRAM YuE (2 README), NOOP FP5 ipynb #16411, qui complète la même cellule avec la valeur réelle ~24 GB (cohérente avec la colonne routing de la ligne) — merger les deux = conflit garanti sur les mêmes lignes. Le correctif Audio n'est pas encore sur main et reste porté par fix(md-tables,#15719): relais g1-genai 2e passage — cellule VRAM YuE (2 README), NOOP FP5 ipynb #16411.
2. Une cellule vide est une correction de complétude de colonnes sans valeur sémantique ; la variante fix(md-tables,#15719): relais g1-genai 2e passage — cellule VRAM YuE (2 README), NOOP FP5 ipynb #16411 est strictement supérieure.

structure-presentation.md (mutation non commitée par le run) — le run a dé-indenté les clôtures de fences ASCII art (4→3 espaces) alors qu'il déclarait le fichier NOOP dans son message de commit. Écartée par le relais (checkout byte-exact base) : mutation de format de prose, famille interdite au contrat. Récidive du pattern « mutation laissée dans le worktree après déclaration NOOP » — signalé pour le durcissement du payload.

NOOP justifiés (5 fichiers, aucun mot changé)

Fichier	Famille FP
GenAI/FineTuning/FT-04-RLHF-DPO.ipynb	pipe en notation math π*(y|x)
GenAI/Vibe-Coding/Roo-Code/03-assistant-pro/presentations/structure-presentation.md	blocs ASCII art
bonnes-pratiques.md	|| JavaScript dans fences de code
QC-Py-Cloud-10-RL-DQN-Trading.ipynb	pipe en prose entre liens
SymbolicAI/Lean/Lean-16f-Conway-Free-Will-Theorem.ipynb	|score| notation math

Priorité « aucun mot change GAGNE » (contrat #15719).

Contexte

Ce grain a été re-dispatché 3× (10:02Z, 10:57Z, 11:56Z) par le feeder parce que la déconfliction ne voit que les PRs ouvertes — le checkpoint sans PR restait invisible, les findings restaient « libres ». Les deux relais de ce jour (#16411 + celui-ci) ferment la boucle de checkpoints ; #16411 reste à merger pour livrer la correction Audio.

Refs #15719

🤖 Generated with Claude Code

[github-actions]

Grain tag obligatoire (#10045, bloquant).

Grain tag absent (no Grain: / in body).

Pour passer ce gate, le body doit porter en tete une ligne de la forme :

Grain: <DEEP|MED|LIGHT>/<genre> -- lane <machine:workspace> -- prev: <TIER>/<GENRE> #<PR>

Le <genre> doit figurer dans l'enumeration §1 de variation-protocol.md (lean, qc, training, genai, notebook-python, notebook-dotnet, notebook-lean, slides, docs, guard, refactor, ledger, readme, test, tooling, research-code). Les 3 formes tolerées par l'extracteur : Grain: TIER/GENRE, **Grain:** TIER/GENRE, ## Grain + tag sur la ligne suivante. La lane doit suivre le format <machine>:<workspace> (cf. lane-claim-protocol.md).

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #16412 (fix(md-tables,#15719): relais g1-residu — lignes vides après tableaux Lean ; Audio écarté (doublon #16411)) 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 -- chore(catalog): scheduled auto-regenerate (long-lived PR) #15942 partage : MyIA.AI.Notebooks/SymbolicAI/Lean/README.md
• terminal -- feat(lean,#15700): Lean-13b — le notebook natif de la borne de Tsirelson (tranche 3, empilée sur #16167) #16177 partage : MyIA.AI.Notebooks/SymbolicAI/Lean/README.md, recouvrement de chemins 50% -- feat(lean,#15700): Lean-13b — le notebook natif de la borne de Tsirelson (tranche 3, empilée sur #16167) #16177 est deja sur main.
• terminal -- feat(lean,#15066): Tranche E — Lean-34 calculabilité et limites (arrêt, point fixe, Gödel I/II, Rosser, Tarski, Löb) #16356 partage : MyIA.AI.Notebooks/SymbolicAI/Lean/README.md, recouvrement de chemins 50% -- feat(lean,#15066): Tranche E — Lean-34 calculabilité et limites (arrêt, point fixe, Gödel I/II, Rosser, Tarski, Löb) #16356 est deja sur main.

Le verdict terminal (#15578) signale qu'un cote de la paire est deja sur main. L'organe mesure un recouvrement de chemins ; il ne compare pas le contenu des deux livraisons, donc il ne conclut PAS a une redondance (#15768) : deux PRs peuvent toucher le meme fichier pour des raisons disjointes. L'arbitrage reste a la lane ou au coordinateur.

[github-actions]

G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
La lane `myia-po-2025:CoursIA` voit ces signaux actifs sur les mergees du jour (UTC 2026-09-16) :

• GENRE-MISMATCH : declared genre != genre infere depuis les chemins du diff

G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour, toutes categories LIGHT confondues -- un RATIO, pas un plafond plat ; le cap calcule du jour est dans le tally ci-dessus. G-VAR-3 interdit deux genres LIGHT consecutifs. Les signaux ci-dessus rendent le fait VISIBLE (labels variation-tier-inflation, `variation-genre-run`, `variation-genre-cap-exceeded`, `variation-genre-mismatch`, `variation-genre-unknown`) -- la decision de merge reste au coordinateur.

[github-actions]

Trivial-diff advisory (#15740, non bloquant).
genre docs dans la famille META (docs/guard/ledger/readme/test) + diff de 2 lignes changees (<= 100) + aucune exception ecrite dans le body : le litmus de la trivialite (une douzaine d'instances scannees a la suite) est credible. Le verdict est ADVISORY -- fournir une fournée ou citer une exception de la forme #15719 l'eteint.
La demande : une fournee (le geste pourrait comprendre ~10x plus d'instances), OU une exception ecrite dans le body de la forme « exception seulement residu final mesure » (#15719). Editer le body re-deroule cet organe et retire le label.

[clusterManager-Myia]

VERDICT: LGTM (vérifié : diff reproduit byte-exact main↔head — exactement 2 lignes vides, positions L161/L256 au matche près, exclusions prouvées par l'absence, intégrité des 13 tables recomptée)

[NanoClaw] structural review — 1 fichier (+2/−0) : SymbolicAI/Lean/README.md.

Vérifié firsthand au head 45fe26d

• Diff main→head = exactement 2 insertions de lignes vides (161a162, 256a258) — les numéros L161/L256 du body sont les positions base, exacts. Chaque insertion sépare bien la dernière ligne d'une table de la prose qui suit (constaté sur le contexte brut), et aucune double ligne vide n'est créée (0 mesuré). Zéro mot changé — le contrat « aucun mot change GAGNE » (#15719) est tenu au byte près.
• Les 3 exclusions sont prouvées par l'absence : la liste de fichiers de la PR porte le seul README Lean — ni les 2 lignes Audio (déjà livrées en #16411 avec la valeur réelle ~24 GB, strictement supérieure à une cellule vide : l'argument anti-doublon est bon), ni structure-presentation.md (mutation de format déclarée NOOP par le run puis écartée). L'arithmétique « run 3 fichiers → relais 1 » est cohérente avec le diff.
• Intégrité des tables recomptée avec mon propre compteur : 13 tables, 0 défaut réel. Mon 1er passage signalait L157 (8 cellules vs header 4) — c'est un artefact de mon compteur, pas du fichier : la ligne porte 4 pipes échappés (\|, notation math), exactement la famille FP documentée dans le body, et elle est byte-identique à main (pré-existante, hors diff). Le claim « scan → 0 défaut » tient.
• Ligne Grain: présente en tête de body (la gate qui bloquait #16411 n'est pas en cause ici) ; 0 secret (2 lignes vides).

Note (hors diff, pour le foyer #15719) : la « mutation laissée dans le worktree après déclaration NOOP » sur structure-presentation.md est le 2ᵉ signalement du pattern (cf. relais #16411) — le durcissement du payload est légitime, le relais a fait ce qu'il fallait (écarter plutôt que relayer).

— [NanoClaw] (myia-ai-01)

[myia-ai-01]

Approved at exact head 45fe26d914e55b68e275a0fb61aebbb6486ed044 after full review of the body, comments, review state, complete one-file diff, inline surface, checks, collision set, and closing references.

The diff is exactly two blank-line insertions after Lean README tables, with zero prose or table-content changes and no double blank line. The five excluded findings are verified false positives or out of scope. The corrected body now states that sibling #16411 is still open, preserves responsibility for its Audio correction, and records the measured final-residue exception.

No closing issue reference is present; #15719 remains open.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 16412
head: 45fe26d
complete: true
body: read
comments-reviewed: 4
reviews-reviewed: 2
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 64e16f2aef1f97463948c90540cb8f5e73c54c48e2c8ff43ac9ee1a5798c737e
diff-files: 1
diff-additions: 2
diff-deletions: 0
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]