From 0816055716f9079f9068d8d2f4e78a4cf053d6ac Mon Sep 17 00:00:00 2001 From: jsboige Date: Thu, 8 Oct 2026 17:18:32 +0200 Subject: [PATCH] fix(notebook,#17550): KNOTS-02 -- 1 cellule markdown dedoublee (signature stricte) Cellule 41 (id intro_cusp_bridge, section 7 pont geometrique) : 10 -> 5 elements source, 5 lignes vides injectees retirees. Markdown-only, aucune cellule code touchee (pas de re-exec due, exception C.2). Invariant programmatique : texte normalise identique, aucune autre cellule modifiee (44 non-ciblees byte-identiques). See #17550 Co-Authored-By: Claude Sonnet 5.5 --- .../SymbolicAI/Lean/KNOTS/KNOTS-02-Invariants-Python.ipynb | 5 ----- 1 file changed, 5 deletions(-) diff --git a/MyIA.AI.Notebooks/SymbolicAI/Lean/KNOTS/KNOTS-02-Invariants-Python.ipynb b/MyIA.AI.Notebooks/SymbolicAI/Lean/KNOTS/KNOTS-02-Invariants-Python.ipynb index 90e1101a8b..ab23c275d4 100644 --- a/MyIA.AI.Notebooks/SymbolicAI/Lean/KNOTS/KNOTS-02-Invariants-Python.ipynb +++ b/MyIA.AI.Notebooks/SymbolicAI/Lean/KNOTS/KNOTS-02-Invariants-Python.ipynb @@ -2063,14 +2063,9 @@ }, "source": [ "## 7. Le pont geometrique : la cubique cuspidale en polaires sur le tore\n", - "\n", "Une cubique cuspidale en coordonnees polaires `r = f(theta)` est la racine commune des quatre sections precedentes : elle **est** la courbe de bifurcation `4a^3 + 27b^2 = 0` de la fronce de Thom (mesuree dans ICT-23 : residu max `4.3e-14`), et son epure se trace **sur la surface du tore** — le graphe de la fonction `phi(theta)` pour un nœud torique `(2, n)`.\n", - "\n", "La parametrisation `(a, b) = (-3t^2, 2t^3)` annule le discriminant identiquement — la preuve Lean du pont vit dans `Knots.Conway` (section `alexander_trefoil`, ligne 1076), tandis que la **mesure** des nombres d'enroulement (`torus_knot_winding`, section 6.2) et le calcul des racines du polynome d'Alexander (`alexander_roots_torus_knot`, section 5) vivent dans `ict.catastrophe` (Epic #19333-G).\n", - "\n", "Cette section **re lie** ces deux univers : elle reutilise les fonctions de `ict.catastrophe` pour tracer la cubique cuspidale **dans les coordonnees polaires naturelles du tore** (le tore de la section 6.4, pas un torus decoratif), elle verifie que le treffle `(2, 3)` se trace bien le long de cette cubique, et elle renvoie a ICT-23 pour la theorie de la fronce et a `Knots.Conway` pour la preuve formelle du lien.\n", - "\n", - "\n", "\n" ] },