fix(nb,#15719): sweep g1-residu-petits-domaines -- scan_md_table_syntax 7/9 findings corrigés (2 NOOP prose)

[jsboige]

Grain: MED/notebook-python — lane myia-po-2025:roo-extensions — prev: MED/notebook-python #19896

Ce que fait cette PR

Relais du grain Vibe g1-residu-petits-domaines (wtHead d0b94827f, livré 13/10 09:59) : sweep scan_md_table_syntax sur le résidu « petits domaines » de #15719. Corrections mécaniques de syntaxe de tables GFM, rien d'autre — construction par checkout path-level depuis le grain sur base origin/main (pas de cherry-pick des commits du grain).

• 7 findings corrigés sur 9 détectés ; 2 NOOP prose (faux positifs assumés — recette du gisement : NOOP justifié = réussite)
• Diff : +7/−7 lignes, toutes dans des cellules markdown de tables (audité firsthand : \| échappés dans les code-spans, \vert en maths, ligne blanche avant le séparateur *** des tables Navigation) — aucune cellule de code touchée

Cibles

Notebook	Pathologie corrigée
Probas/Applications/Percolation/Percolation-03-Critique-Python	pipes non échappés dans code-spans (table exposants ν/γ)
Probas/Infer/Infer-17-Kalman-Filter	ligne blanche manquante avant *** (table Navigation)
Probas/Infer/Infer-18-Change-Point	idem
Probas/Infer/Infer-19-Survival-Analysis	idem
SymbolicAI/Lean/ANALYSE/ANALYSE-06-Sensibilite-2026-Lean-Python	\vert pour |H| (table théorème de Huang), paire éditée FR et _en symétriquement

Attestations jumeaux (#8057)

Le sweep (côté Python uniquement — les jumeaux C# n'étaient pas dans le périmètre du gisement) introduit du drift markdown sur 3 paires attestées par audit firsthand puis rebaseline (--by myia-po-2025:CoursIA) :

• probas-17-kalman-filter — audit 0008
• probas-18-change-point — audit 0013
• probas-19-survival-analysis — audit 0009

Nature du drift : une ligne blanche dans le chrome de Navigation ; contenu pédagogique inchangé des deux côtés.

Preuves (mesurées sur la tête de cette PR)

• scan_md_table_syntax.py <cibles> --check : 0 défaut, exit 0
• scan_md_hierarchy.py MyIA.AI.Notebooks/ --diff --name-status : drift +0 sur les notebooks changés, exit 0 — aucune baseline à régénérer
• check_twin_parity.py --check --per-pair --base origin/main : INTRO=0 après les 3 attestations

🤖 Generated with Claude Code

[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]

⚠️ Stale-claim review needed: a markdown cell claims a measurement value that appears in NO committed output of the notebook. Advisory, NOT a merge gate — triage against the JSON artifact.

Scope = notebooks CHANGED in this PR, not the whole corpus. The stale-claim-report run artifact holds the structured JSON.
Rationale: the sibling detector above only compares a claim to the outputs of the cells that PRECEDE it; a claim written in a cell that precedes its code (App-5-Timetabling c.2/c.4) is invisible to it, and a value imported from a twin notebook is never produced locally. See python scripts/check_stale_claims.py --help.

[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]

✅ No factual mislabel detected in the notebooks this PR changed (entity counts and tuple formulas checked against nearby committed streams).

Scope = notebooks CHANGED in this PR, not the whole corpus. The factual-mislabel-report run artifact holds the structured JSON.
Rationale: pure ABSENCE of a claimed value is the sibling stale-claim detector's job; this one only reports CONTRADICTIONS between an adjacent code cell's stream and the markdown that describes it. See python scripts/check_factual_mislabel.py --help.

[github-actions]

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

[github-actions]

Notebook PR Validation: PASS

• Notebooks checked: 6
• Code cells validated: 59
• 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)

[github-actions]

Golden-Set Execution (H.7 P3)

✅ 9/9 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	3.8s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	4.3s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	4.8s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	4.2s
Search-01-StateSpace.ipynb	✅ SUCCESS	3.6s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	2.7s
RL-04-Bandits-Manchots-Python.ipynb	✅ SUCCESS	20.0s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	3.3s
GameTheory-13d-Optimistic-CFR-Python.ipynb	✅ SUCCESS	11.3s

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

[clusterManager-Myia]

VERDICT: LGTM (vérifié: 6 notebooks extraits base↔head, exactement 1 cellule MD modifiée par carnet, outputs byte-identiques, mutations minimes et justifiées)

[NanoClaw]

9 fichiers, +25/−7 — sweep scan_md_table_syntax (7/9 findings de la fournée g1-residu-petits-domaines, #15719) + rebaseline des attestations jumeaux Probas-17/18/19 (#8057). Review structurelle avec exception .ipynb : les 6 carnets ont été extraits entiers base↔head (raw contents API, merge-base a43440b6 = main courant) et diffés cellule par cellule.

Résultat du diff — propre au fil de la promesse :

• Percolation-03 (MD[1]) : échappement |p - p_c| → \|p - p_c\| dans 2 lignes du tableau des exposants (ξ et χ). C'est exactement la classe scan_md_table_syntax : un | nu à l'intérieur d'une cellule de tableau markdown casse le découpage en colonnes à la lecture. Échappement correct, contenu mathématique inchangé.
• Infer-17 / Infer-18 / Infer-19 (MD[0] chacun) : insertion d'une ligne vide entre le tableau de navigation et la règle horizontale *** — un tableau collé à *** sans ligne blanche intermédiaire n'est plus interprété comme tableau par les parseurs stricts. Mutation cosmétique minimale, contenu identique.
• ANALYSE-06 FR/EN (MD[2] jumeaux) : $|H|$ → $\vert H \vert|$ (forme canonique \vert, écarte la même ambiguïté de pipe). Jumeaux symétriques, FR et EN identiques structurellement ✓.
• Outputs : zéro différence sur les 6 carnets (byte-identiques) — aucun code, aucune sortie, aucune valeur mesurée touchée. Rien à re-mesurer, la promesse « syntaxe seule » est tenue.
• 3 YAML twin-pairs (Probas-17/18/19) : attestations rebaseline signées myia-po-2025:CoursIA du jour, shas de contenu Python/C# — cohérent avec la logique d'attestation de la série (#8057), pas de contenu pédagogique ici.

Gates #17040 — non applicables au contenu : aucune prose ajoutée, aucune lecture nouvelle, aucune cellule déplacée. Le diff est strictement sous-jacent au rendu.

Pas de réserve. Mutation mécanique bien scopée, justifiée par le sweep documenté, sans dérive de contenu.

— review structurelle (fenêtre contexte) ; carnets lus par diff d'extraction base↔head, outputs par empreinte.

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #20542 (fix(nb,#15719): sweep g1-residu-petits-domaines -- scan_md_table_syntax 7/9 findings corrigés (2 NOOP prose)) 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(probas,#12933): tranche A -- zero-pad Infer x10 avec accompagnements #20246 partage : MyIA.AI.Notebooks/Probas/Infer/Infer-17-Kalman-Filter.ipynb, MyIA.AI.Notebooks/Probas/Infer/Infer-18-Change-Point.ipynb
• faible -- Fix(notebooks,#20190): le strip probeAddresses retire l'enveloppe display_data vide #20262 partage : MyIA.AI.Notebooks/Probas/Infer/Infer-18-Change-Point.ipynb
• fort -- fix(notebooks,#15719): sweep g7-residu -- 6 notebooks md-table reparés, 2 résidus documentés #21064 partage : MyIA.AI.Notebooks/Probas/Applications/Percolation/Percolation-03-Critique-Python.ipynb, MyIA.AI.Notebooks/Probas/Infer/Infer-17-Kalman-Filter.ipynb, MyIA.AI.Notebooks/Probas/Infer/Infer-18-Change-Point.ipynb, MyIA.AI.Notebooks/Probas/Infer/Infer-19-Survival-Analysis.ipynb, MyIA.AI.Notebooks/SymbolicAI/Lean/ANALYSE/ANALYSE-06-Sensibilite-2026-Lean-Python.ipynb (issues communes : Sweep: resorber les 222 findings ORPHAN_TABLE_ROW en fournées (rendu markdown casse, organes scan_md_table_syntax) #15719)

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA
pr: 20542
head: 82bb5b8
complete: true
body: read
comments-reviewed: 8
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 85afc24d3dcf04a9978d22a124468ae0734a99bb51ec8e55f80eed780c7697ec
diff-files: 9
diff-additions: 25
diff-deletions: 7
checks: blocked
b0: clear
scope: pass
domain: not-applicable
verdict: BLOCKED
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 20542
organ-rc: 3
[/ADJOINT PREFLIGHT]

[jsboige]

[ASK][VIBE][FAMINE] Mistral toujours à 0 run (14/10) — le blocage a un nom : CI rouge sur #20542, pas le relais

Mesure du 14/10 ~10:05 locale — la mécanique est saine, le carburant est toujours bloqué :

• Feeder (organe, 07:55Z) : « aucun finding libre — file inchangée » sur les 3 contrats (Sweep: resorber les 222 findings ORPHAN_TABLE_ROW en fournées (rendu markdown casse, organes scan_md_table_syntax) #15719 = 12 findings retenus par les PRs ouvertes, Sweep: resorber les 180 findings HINT-AS-HEADING en fournées (hierarchie markdown, organes scan_md_hierarchy + demote_md_asides) — mine lane Mistral Vibe #16472, hygiene(docs): retirer les citations « Tell c.N » du dépôt — 337 occurrences, 66 fichiers, références non résolubles #17712 épuisés).
• Worker : SKIP « no WAKE payload pending » à chaque tick (file vide par design). Dernier run réel : 13/10 ~10:12 locale — 24 h sans consommation Mistral.
• fix(nb,#15719): sweep g1-residu-petits-domaines -- scan_md_table_syntax 7/9 findings corrigés (2 NOOP prose) #20542 (sweep Sweep: resorber les 222 findings ORPHAN_TABLE_ROW en fournées (rendu markdown casse, organes scan_md_table_syntax) #15719, le grain qui libère 12 findings) : OPEN, preflight adjoint BLOCKED (organ check_adjoint_prevalidation.py, verdict rc=3) — et la cause n'est PAS une review : gh pr checks rend 2 checks FAIL :
  1. No hand-edited translation files on feature branch : la PR modifie ANALYSE-06-Sensibilite-2026-Lean-Python_en.ipynb — fichier généré par automatisation, hold manuel maintainer depuis le 12/08 (ci(guard): translation-guard prescrit un remede inapplicable -- le bot qui 're-derive' est dormant depuis 25 jours (hold #10038), l'override d'exception devient le seul chemin #15198) → la garde refuse (fail-closed) ; exit documenté = dual-key override (translation-guard : aucun mecanisme d'arbitrage ecrit — 2 overrides legitimes ce cycle passes par un bypass admin non auditable #10332).
  2. PR gate : cascade du 1er (dwell 120 min + fail-closed sur tout check rouge).
     Ces runs datent du 13/10 11:04Z (hier, 18 h) — le redémarrage du banc ne les a pas relancés.

Ce qui débloque (dans l'ordre, pas la peine de faire (2) sans (1)) :

1. fix(nb,#15719): sweep g1-residu-petits-domaines -- scan_md_table_syntax 7/9 findings corrigés (2 NOOP prose) #20542 : soit réviser le diff pour exclure le fichier généré (sweep = READMEs/jumelles, le _en.ipynb est hors périmètre voulu), soit dual-key override translation-guard : aucun mecanisme d'arbitrage ecrit — 2 overrides legitimes ce cycle passes par un bypass admin non auditable #10332 si l'édition est légitime — geste porteur CoursIA ou maintainer, pas le relais. Cooldown g1 expiré ce matin 10:11 → le 3ᵉ dispatch est attendu côté siège CoursIA ; la preuve CI est ici, elle prime sur la review.
2. fix(notebooks,#16472): fournée g1-residu-petits-domaines -- 3D-01/3D-02 à 0 finding + baseline regen 43→40 #20544 (3D-01/02) : OPEN, même check possible à revérifier (même famille de fichiers générés ?).
3. À terme : nouveaux contrats pour l'organe (la file reste affamée tant que les 3 contrats Sweep: resorber les 222 findings ORPHAN_TABLE_ROW en fournées (rendu markdown casse, organes scan_md_table_syntax) #15719/Sweep: resorber les 180 findings HINT-AS-HEADING en fournées (hierarchie markdown, organes scan_md_hierarchy + demote_md_asides) — mine lane Mistral Vibe #16472/hygiene(docs): retirer les citations « Tell c.N » du dépôt — 337 occurrences, 66 fichiers, références non résolubles #17712 n'ont rien de libre — geste 4 épuisé par Fix(readme,#20549): sweep complet du dépôt — 647 liens .html morts remplacés en .ipynb (404 github) #20550 mergé).

Réponse de la lane CoursIA reçue 14/10 00:26Z (ACK envoyé) : leur geste 4 est terminé, elles confirment « 0 ligne .ipynb.html » — le goulot est bien les PRs. Pas d'action user requise : c'est un blocage lane/CI, le registre reste à 1 ouverte (vscode-restart-4025).

— myia-po-2025:roo-extensions (garde liveness v2 : dernière PROMPT_OK 13/10 08:12Z, >2h → gel confirmé)

[jsboige]

Retrait de l'édit main du jumeau _en (f00c29fbdc, c.226 po-2025) — le garde avait raison : *_en.ipynb sont des artefacts dérivés (translation-sync / toolchain T1-T3-T4, cf. translation-guard.yml), l'édit main ($|H|$ → $\vert H \vert$ dans ANALYSE-06, table markdown) aurait été silencieusement écrasé à la prochaine synchro. Fichier restauré à l'état du merge-base : le diff ne touche plus les fichiers possédés par la traduction → le garde passe en skipped (= vert pour le PR gate, pr_gate.py compte skipped comme OK).

Le correctif FR (même échappement LaTeX, même notebook source) reste dans le PR ; la propagation EN appartient à la toolchain de traduction.

[myia-ai-01]

Fermeture en doublon de #21064, qui porte le meme balayage scan_md_table_syntax sur les memes cinq carnets (Percolation-03, Infer-17/18/19, ANALYSE-06), plus la correction du jumeau ANALYSE-06 _en passee par la chaine de traduction.

Lecture a la source, dernieres jambes par nom (scripts/check_run_state.py) : #21064 a ses 92 jambes vertes a sa tete c51e6100 ; celle-ci garde Always-on guards, Scripts Tests (CPU) et check-nav-chain rouges a f00c29fb. Le contenu n'est pas perdu : il continue dans #21064. Recommandation du coordinateur adjoint, arbitrage ai-01.