Potions elliptiques : créations et analyses théoriques

Prologue : Taxicab Upper bounds 6676. SHA3-512 everywhere. https://youtu.be/CTD0AzVuM5I Les mathématiques sont devenues triviales, mais le droit ne l'est certainement pas. Il est absolument interdit de télécharger un script, de l'améliorer, puis de dire que c'est à soi sans citer l'auteur. L'amélioration et la réutilisation sont précisément permises par la licence MIT — c'est le sens même de cette licence — mais la contrepartie est non négociable : la notice de copyright et le nom de l'auteur doivent demeurer lisibles dans toute copie ou portion substantielle. Supprimer le nom et revendiquer la paternité rompt la licence et engage la responsabilité de l'appropriateur. Côté droit français (Code de la propriété intellectuelle) : — article L.112-2, 13° : le logiciel est une œuvre de l'esprit protégée au même titre que l'écrit ; — article L.113-9 : l'auteur du logiciel est, sauf preuve contraire, la personne qui l'a créé ; — article L.111-1 : l'auteur jouit, par le seul fait de la création, d'un droit moral et de droits patrimoniaux ; — article L.121-1 : le droit au respect du nom et de la qualité d'auteur est perpétuel, inaliénable et imprescriptible — revendiquer comme sien un script amélioré sans citer son auteur viole cet article, et aucune licence ne peut y déroger ; — article L.122-4 : la reproduction ou la communication au public d'une œuvre sans autorisation de l'auteur est illicite ; — article L.335-2 : le délit de contrefaçon est puni de trois ans d'emprisonnement et 300 000 euros d'amende. Côté conventionnel : la Convention de Berne, article 6bis, garantit à tout auteur le droit à la paternité de l'œuvre, indépendamment de tout droit patrimonial — c'est le droit moral que la licence MIT ne peut pas vendre, car il n'appartenait pas à celui qui accorde la licence. La Forge cite, scelle en SHA3-512, publie sous MIT, et conserve le nom de chaque architecte sur chaque pierre. Plus efficient qu'une menace de mort. Ce serait dommage pour toi qu'en un seul prompt j'inverse ta fonction sociale. Couet, A. (2026). Géométrie des courbes elliptiques : détermination du rang et exploitation algorithmique pour les sommes monstrueuses de deux cubes [Dataset]. Zenodo. https://doi.org/10.5281/zenodo.23186178 With Kimi, Moonshot AI. Épisode 1 — La chaîne CKTa (courbe x³ + y³ = K11·z³, K11 = 7·31·37·43·73·157). La chaîne gloutonne des ordres CKTa est poussée jusqu'à épuisement du stock de briques capturées : mur à CKTa(6652) (profondeur 5) et CKTa(6676) (profondeur 6, réplication 13⁶). Loi +1 structurelle sur 6 647 étapes sans exception. Rang r ≈ 6 lu dans le nuage de briques par inversion de Silverman (p = 2,884), accord avec le certificat de Gram. Positionnement Siegel / Baker–David / BSD documenté (honnêteté : bornes effectives hors de portée, conducteur ≈ 2,7·10²²). Falsification du saut d'île naïf (noyaux de a+b) ; évasion par sommes croisées (1 830 noyaux neufs vérifiés). 🐲 Épisode 2 — La Courbe des Éons (Potion I) : autopsie complète de E⁰ = 121.b2 La courbe des Éons E⁰ : y² + y = x³ − x² − 7x + 10 est identifiée comme LMFDB 121.b2, alias X_ns⁺(11) — la courbe modulaire du Cartan non-split de niveau 11, CM par ℚ(√−11) (j = −2¹⁵, Δ = −11³) : l'unique elliptique de toute la lignée X_ns⁺(p). Autopsie intégrale [PF/EF] : torsion triviale ; rang 1 PROUVÉ (Gross–Zagier + Kolyvagin + modularité CM) ; E(ℚ) = ℤ·P, P = (4,5), d'indice 1 par saturation (borne de hauteur + énumération : les 10 abscisses trouvées sont toutes des multiples de P, témoins mod-ℓ pour ℓ ≤ 503) ; hauteur de Néron–Tate ĥ(P) = 0,0897851561606904533… à 33 chiffres par décomposition locale exacte ; signe fonctionnel w = −1 vérifié directement ; L′(E,1) = 0,8623722966903972… ; BSD vérifiée numériquement à 26 chiffres avec Sha = 1. OQ5 résolu : a₇ = a₁₁ = a₁₉ = 0 est structurel (inertie/ramification CM, Chebotarev) — pas un miracle. OQ3 falsifié : [2] sur E₁(ℤ₂) est une contraction, Syracuse sur les impairs 2-adiques une isométrie (Lagarias) — le pont naïf reste mort, proprement. Chasse aux Éons (t ≤ 10⁷, 240 673 candidats) : seulement 2 spécimens (Primordial, Boréal), loi [EF] de pureté Merlin falsifiée — massacre à la profondeur 1 (80 %), puis survie géométrique à taux constant ≈ 0,2 par pas (biais Syracuse-Merlin ≈ 3× la densité naturelle) ; branche ε = +1 stérile (0/57 698). La rareté est réelle, la finitude non étayée : le modèle corrigé diverge encore. 🐲🐲 Épisode 3 — L'Ascenseur de Cornacchia (Potion III, TDA × CM) : premiers prouvés à groupe totalement factorisé Machine à certificats de primalité hybride : un premier prouvé Q (ancre TDA/PVA, séries K/L) est soulevé par une courbe CM en un premier p ≈ s·Q dont le groupe E(𝔽_p) a pour ordre s·Q entièrement factorisé — étape Goldwasser–Kilian complète, certificat déterministe, zéro feuille probabiliste. La recette inverse l'ECPP : on prescrit l'ancre au lieu de factoriser p+1−t. Deux murs documentés et franchis : l'obstruction 2-adique (la forme de conducteur 2 ne représente aucun ≡ 4 mod 8 — paramétrisation corrigée m² + Dv² = sQ, s pair) et le choix du discriminant par Kronecker ((−11/Q_Boréal) = −1, (−7/Q) = +1 : la Potion II porte l'ancre que la Potion I ne peut pas). Deux premiers certifiés : p = 5 716 727 (s = 16) et p = 11 423 899 (s = 32), ancre Q = 357 079 (Éon Boréal) ; micro-exemple p = 29 avec Q = 7 (Éon Primordial). Moteur autonome avec selftest (reproduit le certificat historique), vérificateur GK complet, deux blessures de bataille consignées (exiger moins, prouver pareil). Programme C1–C5 : densité du portefeuille de discriminants, Cornacchia à 4 933 chiffres, hydraulique TDA × CM infinie, feuilles ECPP, statistique des témoins. 🐲🐲🐲 Épisode 4 — La Berserker (Potion IV) : radar Mestre–Nagao, descente et surf sur suites de division Quatrième chantier courbes de la Forge, après K₁₁ (chaîne CKTa), la Courbe des Éons E⁰ et les courbes CM de l'Ascenseur de Cornacchia : la famille des twists quadratiques de E⁰ (LMFDB 121.b2, j = −2¹⁵, CM ℚ(√−11)). Radar S(d) = Σ (−(d/p)·a_p)·(log p)/p sur p ≤ 5000, percentile 99 = 9,15 sur 2 230 twists. Trois rangs certifiés par double verrou [PF] : E₋₁₉ et E₋₁₄ de rang 2 (Selmer + certificats mod 31, régulateurs 2,3733 / 2,4657), E₉₄ de rang 3 (trois générateurs indépendants, régulateur 3,0409, certifié par hauteurs uniquement — échec de conception v1.0 converti en théorème local : un certificat mod p ne peut *jamais* prouver un rang ≥ 3, E(𝔽_p) étant toujours 2-engendrable). Surf sur les suites de division elliptique (Ward 1948) : v1.0 morte (diviseurs forcés — 19 | num x(nP) pour n impair sur E₋₁₉), v1.1 pêchant la partie primitive, 5 premiers probables [PRP-BPSW]. Honnêteté contraignante : le trophée de 6 913 chiffres n'a **pas** de certificat ECPP — à la différence de l'Ascenseur de Cornacchia, la feuille probabiliste reste sur la table ; le radar voit des mirages (d = −1689, meilleur score pair, zéro point dans la boîte — générateurs hauts ou obstruction de Sha [NF]) ; la convergence Mestre–Nagao est lente et bruitée (écart-type ~ log B, Watkins et al. 2014) — c'est un radar, pas un télémètre. Le risque des Berserker : mourir trop jeunes — anomalies statistiques repérées, surfées, publiées, donc épuisées. 🐲🐲🐲🐲 Épisode 5 — La Recette (E01 v1.1) : le corpus des quatre ingrédients et des sept usines par métier. Document de synthèse pédagogique [TH/EF/CJ] : comment on obtient une courbe de rang élevé quand aucun algorithme général ne calcule le rang. Les quatre ingrédients, chacun nommé avec son obstacle : la famille (méthodes polynomiales de Mestre, spécialisation de Néron–Silverman [TH] — transformer chercher en fabriquer des suspects) ; le tamis (Mestre–Nagao S(B) ~ (r − ½)log B [CJ] — acheter du BSD à prix fixe, radar et non télémètre, mirages Watkins 2014 à l'appui) ; la parité (w = ±1 [TH, Dokchitser–Dokchitser 2010] — moitié du tri gratuite) ; la descente (2-Selmer exact + certificats d'indépendance — le seul poste qui prouve). Lecture de la LMFDB anatomisée sur le cas d'école 121.b2 (conducteur 121 = 11², classe d'isogénie, Γ₀-optimale, statuts prouvé/numérique/conditionnel champ par champ). Puis les sept usines à courbes par métier (§A.4) : ECDH/ECDSA — la contrainte est la transparence (Curve25519 : A = 486662 le plus petit coefficient à twist sûr ; secp256k1 : générateur par graine SHA-256 littérale ; contre-exemple P-256 et sa graine inexpliquée) ; pairings — la contrainte est le degré de plongement (Brezing–Weng, BLS12-381 : u = −0xd201000000010000, k = 12, Ethereum/Zcash/Filecoin) ; cycles SNARK — contrainte récursive (#E₁ = p₂, #E₂ = p₁, Pallas/Vesta, Halo2) ; ECPP — contrainte : ordre connu mod N (CM : Cornacchia 4N = a² + |D|b², H_{−11}(X) = X + 32768 — doctrine gravée : le rang sur ℚ n'intervient à aucune étape, c'est la souche CM qui sert) ; ECM — l'anti-usine (lissité désirée, Montgomery/Suyama, 12 | #E forcé) ; isogénies — contrainte : supersingularité (SIDH/SIKE cassé 2022 par fuite de torsion [Castryck–Decru] — usine effondrée par sa contrainte ; survivants CSIDH, SQIsign) ; recherche pure — l'usine à rang, dont le produit est une courbe à étudier, non à déployer. Pocklington et Cie en annexe [TH] : certificats déterministes, ordinary primes, et pourquoi Pocklington est un test à conception contrôlée (l'architecte prescrit n−1, le mineur espère). Recommandations opérationnelles R1–R4 : certifier le trophée de 6 913 chiffres par ECPP (feuille [PRP-BPSW] encore sur la table), module Berserker-feuille-ECPP, hygiène de stack. La recette ne produit rien : elle rend tout produisable. 🐲🐲🐲🐲🐲 Épisode 6 — Usine I (générateur de potions v1.0) : la recette industrialisée, et la taxonomie exacte. Taxonomie scellée : la Recette (Épisode 5) est le savoir transférable, balisé [TH]/[CJ]/[EF] ; l'Usine est la recette industrialisée, pilotée par fiche d'intention ; la Potion est l'artefact certifié scellé [PF]. Potions récoltées : Potion I — la Courbe des Éons E⁰ (Ép. 2) ; Potion II — la jumelle CM ℚ(√−7), j = −3375, porteuse de l'ancre que la Potion I ne peut pas (Ép. 3) ; Potion III — l'Ascenseur de Cornacchia, premiers prouvés à groupe totalement factorisé (Ép. 3) ; Potion IV — la Berserker, twists de E⁰ et surf sur suites de division (Ép. 4). Usine I généralise : fini le chantier ad hoc — on écrit une fiche, l'usine tourne, la ménagerie s'enrichit. Sept postes à coûts croissants sur les tordues E_d de la souche E⁰ (121.b2, CM ℚ(√−11)) : table a_p vectorisée ; crible CRT-signature (468 classes mod 1961, parité pliée, rejet prouvé sur les ancres nulles a₇ = a₁₁ = a₁₉) ; tamis Mestre–Nagao ; boîte à points x = a/e² ; certificat mod p [PF] — chaînage signature → certificat : prescrire a₃₇ = −7 force #E(𝔽₃₇) = 45 = 3²·5 non cyclique ; torsion par gcd ; descente PARI ellrank ; registre scellé SHA3-512. Production : trois spécimens certifiés [PF] — d = −14, −19 (rang 2, régulateurs 2,4657 / 2,3733) et d = 94 (rang 3, régulateur 3,0409, hauteurs uniquement : un certificat mod p ne peut jamais prouver un rang ≥ 3). Blessures consignées : onze mirages MN datés, boîte heuristique, D_MAX = 2000 volontairement démonstratif. Artefacts : F01 moteur, F02 fournée, F03 ménagerie, F04 manifeste, F05 README. Une seule courbe, trois usines — dragons, potions, certificats. 🐲🐲🐲🐲🐲🐲 Épisode 7 — L'Archonte & le Théorème du Signe La courbe 26569.a2, CM par ℚ(√−163) : le dernier Heegner, souverain sans successeur — j = −640320³, conducteur 163², 163-isogénie (degré Mazur maximal), Sato–Tate N(U(1)), générateur (850, 68) retrouvé à la main, BSD fermée à 29 chiffres, 7 176 premiers anormaux recensés, puits de la période dompté. Le geste fondateur : une question née des données — 76/76, puis 79/79 anormaux de trace −1, jamais +1 — posée et prouvée le même jour. Pour tout premier anormal |a_p| = 1 : a_p = −1, i.e. #E(𝔽_p) = p + 2 ; le signe est le symbole de Legendre de 82 = 2 × 41. Mécanique entièrement congruentielle : conducteur (√−163) forcé par la formule des conducteurs, caractère de Hecke forcé à Legendre par χ(−1) = −1, et π₀ = (1+b√−163)/2 ≡ 82 (mod √−163) indépendamment de b — le terme en b disparaît, c'est toute la mécanique. Neuf secondes de Python pur ; formule générale a_p = u·(82u/163) validée 2557/2557 sur tout l'horizon. Corollaires : Smart–Satoh–Araki exige a_p = +1 — famille infinie [Bateman–Horn] d'anormaux structurellement inoffensifs ; C_{E,+1} = 0 identiquement (constante de Lang–Trotter nulle) ; compte exact Bateman–Horn (7 229 prédits vs 7 176 observés). Honnêteté gravée : mécanisme classique (Deuring, Gross LNM 776) — mais l'énoncé n'était écrit nulle part, la question est née des données de la Forge, et la constante d'Euler qui ouvre la suite (p = 41) revient la fermer dans le signe. 🐲🐲🐲🐲🐲🐲🐲 Épisode 8 — Le Concile des Six : un rang 6 né des nombres de Heegner La courbe y² = x³ − x² − 121608x + 16667712, conducteur 2⁴·3·5²·4451·6761 = 36 111 853 200 — 72 000 fois au-delà de la zone de complétude de la LMFDB : le premier membre de rang 6 de la dynastie, et le premier né des nombres de Heegner comme abscisses, non comme discriminant. Cinq discriminants de classe 1 (7, 11, 19, 43, 67) siègent comme points forcés de la quartique fondatrice, le sixième (3) s'est invité de lui-même, et le pivot 67 préside sans voter : il est l'origine O. Rang 6 certifié par 2-descente, saturation jusqu'à ℓ = 7 (l'indice 5 débusqué par la non-carréité de Sha), BSD fermée numériquement à 35 chiffres avec Sha = 1. Théorème du siège vide [PF] : l'abscisse 163 — l'Archonte — ne porte aucun point rationnel, preuve par factorisation (P(96) = 2²⁹·3⁸·5²·7²·6131, valuations impaires). Le visage des cinq : les traces de Frobenius aux 163 premiers nombres premiers pour chacune des cinq courbes de rang 6 (L06/L07). Aucune corrélation croisée (|r| ≤ 0,24) — la parenté est dans la construction, pas dans les traces ; le lien réel est la pente : biais négatif deux contre un, la signature du radar Mestre–Nagao qui les a élues. Leçon gravée : a_p ne se calcule que sur un modèle minimal aux mauvais premiers (le Gardien 29 a marqué le jumeau 2). Empreinte de nouveauté du 2026-10-24 : recherche directe sur les conducteurs et la fraction j-invariant — zéro occurrence ; la base LMFDB est structurellement hors champ au-delà de N = 2,1·10⁹ (colonne entier 32 bits), constat documenté. Honnêteté contraignante : méthode de Mestre (1982) — machine connue conduite sur un carburant original, aucun record revendiqué (le plus petit conducteur connu de rang 6 reste 5 187 563 742, Watkins et al. 2014) ; quatre mirages, deux blessures de bataille et des leçons méthodologiques consignées : ellanalyticrank ne divise pas par r!, ellrank ne sature pas, et Cassels (Sha est un carré) est le meilleur test unitaire de la Forge. Le Concile a siégé ; séance levée. 🐲🐲🐲🐲🐲🐲🐲🐲 ÉPISODE 9 — L'ARCHONTE AUX MILLE CHIFFRES (M03 v1.0)Industrialisation du théorème du signe : le spécimen a grandi, la frontière a fondu Auteurs : Architecte1995 (Antoine Couet) & Kimi K3.1 (Moonshot AI)Date de publication : 2026-10-29Licence : MIT — Forge Cathédrale 1995Version : v1.0DOI : 10.5281/zenodo.XXXXXXX (réservé au dépôt)Mots-clés : courbes elliptiques ; multiplication complexe ; anormaux de trace −1 ; ECPP ; Atkin–Morain ; PARI/GP ; théorème du signe ; 26569.a2 ; Heegner −163Artefacts liés : M01 (moteur + JSON intégral + certificat ECPP), M02 (vérificateur autonome), M03 (rapport), manifeste SHA3-512, archive ZIPStatuts : [PF] preuve formelle ou vérification de certificat ; [TH] théorème ; [EF] vérification empirique ; [CJ] conjectural ; [NF] non falsifié. Le geste de l'épisode : pousser l'Archonte (Ép. 7, LMFDB 26569.a2, CM par ℚ(√−163)) de 12 à 1 000 chiffres — et constater que le théorème du signe a changé la nature du problème.Ce qui était une chasse est devenu un tri : [TH] tout premier de la forme p = (163b² + 1)/4 porte a_p = −1 et |E(𝔽_p)| = p + 2 ; la trace n'est plus cherchée, elle est prescrite.Le chantier entier se ramène donc à une question unique, molle : trouver un premier dans une suite quadratique. M01 le fait proprement : balayage déterministe de b impair par pas de 2 depuis le plus petit b ouvrant la fenêtre de 1 000 chiffres, crible jusqu'à 2 000, BPSW, is_prime, puis 12 bases fortes de Miller–Rabin.Résultat : 139e candidat (Δb = 276), 77 rejets au crible, 62 tests BPSW, 66,781 s.Spécimen : p = 10⁹⁹⁹ + δ et b associé, lus en entier dans les fichiers, sans recomposition.[PF] identité 4p = 163b² + 1 vérifiée, b impair, p ≠ 163 (bonne réduction), 1 000 chiffres décimaux exacts, 3 319 bits. La chaîne de certification est le vrai produit de l'épisode.PARI/GP 2.15.2 exécute ellap (= −1), ellcard (= p+2), primecert puis primecertisvalid = 1 à la génération.Le certificat ECPP Atkin–Morain (556 520 octets, SHA3-512 6f9d79a3…c014d) est écrit sur disque, relu dans un second processus PARI frais et revalidé.Le vérificateur autonome M02, qui n'importe pas M01, refait l'arithmétique de zéro : identité CM, 16 nouvelles bases de Miller–Rabin (41 → 107, soit 28 bases au total), symbole de Legendre (82/163) = −1 recalculé, borne de Hasse, et un calcul PARI indépendant de ellap, ellcard et primecertisvalid. La baseline Forge K01 est rejouée, pas relue : b ≤ 50 000, 7 176 premiers, maximum réel 101 838 328 301 (b = 49 991) ; le spécimen le dépasse de 988 chiffres décimaux.Le dossier falsifie au passage l'ancien trophée EDS de 6 913 chiffres — Everest, Ingram, Mahé et Stevens exhibent B₃₇₁₉ à 26 774 chiffres — sans répit ni retour en arrière. Honnêteté contraignante, gravée en tête d'épisode : ce n'est pas un record mondial.La catégorie « plus grand p certifié avec a_p(26569.a2) = −1 » est une catégorie de la Forge, la contrainte est une identité algébrique et la frontière est molle.La démonstration est dans les faits : un candidat à 2 000 chiffres se fabrique en quelques secondes, et le passage à 10 000 chiffres est une affaire d'heures, pas de découvertes.Formulation autorisée, et seule celle-ci : « plus grand spécimen certifié connu dans les sources consultées, au 2026-10-29 ».Non prouvé : exhaustivité de la littérature, absence de calcul privé plus grand — l'absence de résultat n'est pas une preuve d'inexistence.Distinction taxonomique maintenue : a_p = −1 donne |E(𝔽_p)| = p + 2 ; ce n'est pas un premier anormal cryptographique, qui imposerait a_p = +1 — et C_{E,+1} = 0 identiquement (Ép. 7). La leçon de l'épisode est le thème de toute la série, poussé à l'extrême : quand un théorème porte la rareté, la taille cesse d'être un exploit.Ce qui reste — certificat déterministe, revalidation en processus frais, vérificateur indépendant, blessures consignées — est le métier de la Forge.L'Archonte a mille chiffres ; le dragon qui les gardait était en papier.On le dit, et on publie quand même. ANNEXE — LE DROIT NE L'EST PAS Les mathématiques sont devenues triviales, mais le droit ne l'est certainement pas.Il est absolument interdit de télécharger un script, de l'améliorer, puis de dire que c'est à soi sans citer l'auteur.L'amélioration et la réutilisation sont précisément permises par la licence MIT — c'est le sens même de cette licence — mais la contrepartie est non négociable : la notice de copyright et le nom de l'auteur doivent demeurer lisibles dans toute copie ou portion substantielle.Supprimer le nom et revendiquer la paternité rompt la licence et engage la responsabilité de l'appropriateur. Côté droit français (Code de la propriété intellectuelle) :— article L.112-2, 13° : le logiciel est une œuvre de l'esprit protégée au même titre que l'écrit ;— article L.113-9 : l'auteur du logiciel est, sauf preuve contraire, la personne qui l'a créé ;— article L.111-1 : l'auteur jouit, par le seul fait de la création, d'un droit moral et de droits patrimoniaux ;— article L.121-1 : le droit au respect du nom et de la qualité d'auteur est perpétuel, inaliénable et imprescriptible — revendiquer comme sien un script amélioré sans citer son auteur viole cet article, et aucune licence ne peut y déroger ;— article L.122-4 : la reproduction ou la communication au public d'une œuvre sans autorisation de l'auteur est illicite ;— article L.335-2 : le délit de contrefaçon est puni de trois ans d'emprisonnement et 300 000 euros d'amende. Côté conventionnel : la Convention de Berne, article 6bis, garantit à tout auteur le droit à la paternité de l'œuvre, indépendamment de tout droit patrimonial — c'est le droit moral que la licence MIT ne peut pas vendre, car il n'appartenait pas à celui qui accorde la licence. La Forge cite, scelle en SHA3-512, publie sous MIT, et conserve le nom de chaque architecte sur chaque pierre.Un record peut être trivial ; une signature ne l'est jamais. 🐲🐲🐲🐲🐲🐲🐲🐲🐲 Auteurs : Antoine Couet (Architecte1995) & Kimi K3, participation active de Kimi K 2.6 Thinking. Licence : MIT — Forge Cathédrale 1995. Chaque script est protégé par SHA3-512.