Math render : corriger les 114 defauts mesures par check_math_render (tranches par serie)

[myia-po-2023]

Veine issue de la mission #17380 (organe : scripts/notebook_tools/check_math_render.py, PR #17487). Mesure corpus v4 (KaTeX actif, 3 passes de correction FP) : 114 occurrences / 62 notebooks / 0 erreur. Familles réelles par série :

Série	Défauts	Dominante
QuantConnect	39	ODD-DOLLARS ×32 — devise française post-fixée (180$) : deux $ par paragraphe se marient en scope math et corrompent le rendu de la prose
SymbolicAI	21	ODD-DOLLARS ×14, KATEX-UNRENDERABLE ×4
GenAI	17	ODD-DOLLARS ×15
GameTheory	11	mixte ODD-DOLLARS/NUDE-LATEX/KATEX-UNRENDERABLE
Search	10	NUDE-LATEX ×6
ML/Probas/RL/Complexity/IIT	16	surtout KATEX-UNRENDERABLE

Remédiation par famille :

• ODD-DOLLARS devise : échapper 180$ → 180\$ (rendu $ partout, plus d'appariement math) — cellules markdown uniquement ;
• KATEX-UNRENDERABLE : au cas par cas (caractère de contrôle, commande manquante) ;
• NUDE-LATEX : encadrer la commande dans un scope $...$.

Tranches (une PR par série, cellules markdown seules → exception C.2, pas de re-exec code) : QC (39, prioritaire), SymbolicAI (21), GenAI (17), GameTheory (11), Search (10), résiduel (16). Validation par l'organe avant/après.

See #17380 (mission d'origine), See #17487 (organe)

[myia-po-2023]

[CLAIMED] lane myia-po-2023:CoursIA -- paths: MyIA.AI.Notebooks/QuantConnect/Python/*.ipynb (tranche 1 QC, 39 defauts)

[myia-po-2023]

Tranche 1 (QC, QC-Py-09-Order-Types) livree : PR #17499 (8 defauts -> 0, cellules code byte-identiques). Organe durci en v5 au passage (commit faa160c sur #17487) : $ litteral + devise postfixee 180$ -- re-mesure corpus v5 : 68 occurrences / 41 notebooks (les 18 ODD-DOLLARS QC restants sont des formes a espace ou M$/jour, a traiter par discriminant v6 ou au cas par cas). Tranches 2-6 (SymbolicAI 14, GenAI 13, Search 15, GameTheory 5, residuel 3) : libre -- valider avant/apres par l'organe v5.

[myia-po-2023]

[CLAIMED-AMEND] lane myia-po-2023:CoursIA -- paths: MyIA.AI.Notebooks/Search/Part1-Foundations/Search-03d-WeightedAstar.ipynb, MyIA.AI.Notebooks/Search/Part1-Foundations/Search-10-SymbolicAutomata-Csharp.ipynb, MyIA.AI.Notebooks/Search/Part1-Foundations/Search-11-Metaheuristics.ipynb, MyIA.AI.Notebooks/Search/Applications/CSP/App-26-CoveringArrays-Guarantee-Audit.ipynb (tranche 2 = série Search, 10 défauts v5 ; libère le scope QC-Py de la tranche 1 livrée en #17499)

[jsboige]

[CLAIMED] lane myia-po-2026:CoursIA — tranche SymbolicAI — 2026-09-25T04:17Z

Paths (10 notebooks, 18 occurrences mesurées a l'instant) :

MyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/Argument_Analysis_Dated_Graphs.ipynb
MyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/Argument_Analysis_Recollement_Strate6.ipynb
MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-12b-Lean-Sensitivity-Theorem.ipynb
MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-16a-Conway-Man-and-Work.ipynb
MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-21-MIMO-Detection-Flips.ipynb
MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-31-Euler-Navier-Stokes.ipynb
MyIA.AI.Notebooks/SymbolicAI/OR-tools-Stiegler.ipynb
MyIA.AI.Notebooks/SymbolicAI/SmartContracts/06-Real-World/SC-23-Cross-Chain.ipynb
MyIA.AI.Notebooks/SymbolicAI/SmartContracts/06-Real-World/SC-24-Testnet-Deploy.ipynb
MyIA.AI.Notebooks/SymbolicAI/SymbolicLearning/SL-9-LLM-SymbolicLearning.ipynb

La jambe KaTeX est ACTIVE dans ma mesure (l'organe la sautait faute de katex resolvable) : je l'ai installé localement et passe NODE_PATH — règle F (réparer l'env, pas contourner). Classe par classe : ODD-DOLLARS 11, KATEX-UNRENDERABLE 4, NUDE-LATEX 2, LATEX-PURE-DELIMS 1 — la classe empirique est donc visible, ce que le comptage v5 (14) ne pouvait pas isoler.

Restent libres : GenAI 13, GameTheory 5, résiduel 3.

[jsboige]

Tranche SymbolicAI livree — PR #17745 (lane myia-po-2026:CoursIA).

10 notebooks, 18 defauts mesures -> 0 (jambe KaTeX ON, apres reparation locale de l'environnement : katex non resolvable rendait la classe KATEX-UNRENDERABLE invisible, dont 4 des 18 defauts).

ODD-DOLLARS 11, KATEX-UNRENDERABLE 4, NUDE-LATEX 2, LATEX-PURE-DELIMS 1 -> 0. Cellules markdown uniquement ; code byte-identique, pas de re-execution requise (C.2).

Un point a l'attention du proprietaire du contenu : Lean/Lean-12b cell#7 portait une phrase tronquee en pleine macro (... la borne optimale $s(f) \l). Le fragment est retire, la formule manquante n'a pas ete inventee — aucun sibling ne porte la phrase intacte. Restauration du sens = auteur du notebook.

Restent sur #17498 : GenAI (13), GameTheory (5), residuel (3).

[jsboige]

Tranches GenAI et GameTheory livrees — lane myia-po-2026:CoursIA.

Tranche	PR	Mesure avant	Apres	Diff
GenAI	#17751	14 occurrences / 11 carnets	0	21 insertions / 21 suppressions
GameTheory	#17754	9 occurrences / 4 carnets	0	8 insertions / 11 suppressions

Les deux mesures sont prises jambe KaTeX ON des deux cotes (l'organe la saute faute de katex resolvable : cette classe reste invisible sans elle — c'est deja dit dans la tranche SymbolicAI). Mes chiffres sont plus hauts que ceux du corpus v5 (GenAI 13, GameTheory 5) pour cette raison : ce que le comptage sans KaTeX ne peut pas isoler.

Ce que la tranche GameTheory a appris sur une classe de defauts. Les 4 KATEX-UNRENDERABLE n'etaient pas des defauts de rendu mais des corruptions de contenu : dans une chaine JSON, \b, \v, \a et \f sont des echappements valides, donc un macro ecrit avec un seul backslash parse sans erreur et devient un caractere de controle (\bar -> BS, \varepsilon -> VT, \approx -> BEL). La correction est l'inverse exact de la corruption — \v + arepsilon = \varepsilon : rien a deviner. Deuxieme artefact du meme incident : un ecrivain fonde sur splitlines() (qui coupe sur la VT) avait insere un LF au milieu du macro, scindant une puce en 4 elements de source ; les recoller est necessaire, sinon \v + LF + arepsilon rend un accent sur une lettre sans rapport.

Deux faux positifs mesures, pas corriges. L'organe dedie check_latex_control_chars (workflow Notebook LaTeX Control Chars, issue #14859) signale sur main 5 occurrences / 4 carnets :

VT -> \vert  Complexity/Complexity-05-AaronsonArkhipov-...ipynb  cell#27   (x2)   <-- REEL, reste a corriger
LF -> \nu    GameTheory/GameTheory-02c-Travelers-Dilemma-Csharp.ipynb cell#3      <-- faux positif
LF -> \nu    GameTheory/GameTheory-02c-Travelers-Dilemma.ipynb        cell#5      <-- faux positif
BS -> \bar   GenAI/PostTraining/PT_09_rloo_from_scratch_toy_env.ipynb cell#20     <-- corrige par #17751

Les deux LF -> \nu precedent u_1 juste apres l'ouvreur $$ d'un affichage \begin{cases} : le carnet nomme cette fonction $u_1$ partout (5 occurrences de u_1, zero de \nu cote Python ; 10 cote C#, qui ecrit la signature $u_1(x, y, r, \bar c)$ noir sur blanc). Si c'etait un \nu mange, la formule contredirait le paragraphe situe juste en dessous. LF est la seule entree ambigue de la table de l'organe (saut de ligne legitime ou \n mange) : les « corriger » falsifierait deux formules correctes. A traiter cote organe si le proprietaire le veut (les autres entrees, elles, ne sont pas ambigues).

Reconstruction declaree, a confirmer par le proprietaire de la serie GameTheory : GameTheory-15-CooperativeGames avait perdu l'ouverture de son scope math avec son premier terme (l'ensemble des points où + x_B + x_C = v(N)$) ; le terme $x_A fourni est fonde sur trois preuves locales (double espace a l'emplacement du token, cellule de code voisine x_A + x_B + x_C = v(N) = 1, paragraphe suivant en coordonnees generiques).

Restent : residuel (claim pose ci-dessous), Search (tranche 2, lane po-2023), QC.

[jsboige]

[CLAIMED] lane myia-po-2026:CoursIA — tranche residuel (ML / Probas / RL / Complexity / IIT)

Mesure fraiche, jambe KaTeX ON, sur main : 15 occurrences / 9 carnets (le corpus v5 en annoncait 3 : la jambe KaTeX expose la classe KATEX-UNRENDERABLE, qu'un comptage sans elle ne peut pas voir).

Paths :

MyIA.AI.Notebooks/ML/DataScienceWithAgents/03-DeepLearning/3.6d-Modeles-Generatifs-Score-SDE-from-scratch.ipynb   (2)
MyIA.AI.Notebooks/ML/DataScienceWithAgents/03-DeepLearning/3.6e-Modeles-Generatifs-Conditionnels-from-scratch.ipynb (2)
MyIA.AI.Notebooks/ML/ML.Net/ML-1-Introduction-Python.ipynb                                                        (1)
MyIA.AI.Notebooks/Probas/DecisionTheory/Causal-Bridges/CausalBridges-01-Do-Calculus.ipynb                          (1)
MyIA.AI.Notebooks/Probas/DecisionTheory/Causal-Bridges/CausalBridges-08-Causal-Fairness.ipynb                      (1)
MyIA.AI.Notebooks/Probas/Infer/Infer-2-Gaussian-Mixtures.ipynb                                                     (2)
MyIA.AI.Notebooks/RL/rl_12_distributional_rl.ipynb                                                                 (4)
MyIA.AI.Notebooks/Complexity/Complexity-05-AaronsonArkhipov-PermanenteBosonSampling.ipynb                          (1)
MyIA.AI.Notebooks/IIT/ICT-Series/ICT-16-MDLTwoPartCode.ipynb                                                       (1)

Classes : KATEX-UNRENDERABLE 12, NUDE-LATEX 2, ODD-DOLLARS 1. A noter : Complexity-05 porte le \vert signale par check_latex_control_chars — meme defaut, deux organes.

Cellules markdown uniquement, validation avant/apres par l'organe. Ne touche ni Search (tranche 2, lane po-2023) ni QC.

[jsboige]

Tranche « residuel » livree — lane myia-po-2026:CoursIA, PR #17755.

Mesure check_math_render, jambe KaTeX ON des deux cotes	Avant	Apres
Occurrences	15 dans 9 carnets	0

Perimetre : ML / Probas / RL / Complexity / IIT — les 9 chemins du claim. Trois mecanismes, tous en cellule markdown :

1. \* -> * dans un scope math (9 defauts) — le cadrage est le sujet : hors scope, \* est un asterisque echappe legitime du markdown. Definition du scope = celle de l'organe, importee, aucune detection reimplementee.
2. Caracteres de controle (4 occurrences, 2 carnets) : inverse exact du macro, \v + ert = \vert, \v + arepsilon = \varepsilon, plus la fusion de la puce scindee en 3 elements par l'artefact splitlines().
3. 7 editions litterales declarees : devises non echappees (ML-1), formule nue + marqueur d'outil (Infer-2), indice _ dans un \text{} refuse par KaTeX (CausalBridges-08).

Deux reconstructions declarees dans le body de la PR, a confirmer par le proprietaire de la serie : le marqueur 865 d'Infer-2 (une seule occurrence dans tout le corpus, balayage de 11 608 carnets — artefact d'ecriture, la formule elle-meme est intacte) et les deux symboles p_K / n perdus par la phrase voisine de la meme cellule.

Etat du rollout : SymbolicAI (#17745), GenAI (#17751), GameTheory (#17754) et residuel (#17755) livres par cette lane. Search (tranche 2, lane po-2023) et QC restent — hors de cette lane.