Galerie des dépromotions
Onze entrées au journal F, inscrites publiquement, datées, append-only.
Chaque entrée porte son mécanisme et sa leçon.
Le programme n’efface pas ses séductions ; il les conserve comme matériau de discipline.
Un programme qui sait dépromouvoir ses propres séductions devient plus scientifique, non moins.
Inscription : mars 2026
Spectre erroné {3(2), 1(6)}
Énoncé dépromu
« Le spectre de la matrice de Cayley ATC sur G30 est {3(2), 1(6)}. »
Mécanisme
Recalcul exact par énumération directe sur les 8 caractères de G30, vérifié par trois implémentations indépendantes : NumPy, SageMath, Lean 4 native_decide.
Verdict correct
σ(ATC) = {3(2), 1(4), (−1)(2)}. Présence de valeurs propres négatives. Pas de toutes positives.
Leçon
La beauté apparente d’un spectre uniformément positif ne dispense pas du calcul exact.
Conséquences : Pas de spectre uniformément positif. Pas d’extinctions spectrales (les 8 coefficients sont dans {3/8, −1/8, 1/8}). 5 triplets isospectraux dans G30, pas un seul.
Inscription : janvier 2026
Modèle nul Goldbach uniforme
Énoncé dépromu
« La distribution attendue des décompositions de Goldbach mod 30 est uniforme sur les 64 paires de classes. »
Mécanisme
Audit critique. Le modèle uniforme ne prend pas en compte les densités asymptotiques réelles des classes mod 30, qui dépendent du module via φ.
Correction
Remplacement par un modèle pondéré Dirichlet, avec V de Cramér comme taille d’effet.
Leçon
Un modèle nul naïf donne des faux positifs ; le bon modèle nul incorpore la structure connue du domaine.
Inscriptions : versions v30 à v34
Falsifications héritées
Cinq dépromotions héritées des versions antérieures du programme, conservées en synoptique.
| Entrée | Objet | Mécanisme |
|---|---|---|
| F.1 | Identification spectrale directe (Route A) | Spectre fini insuffisant pour matcher les γn |
| F.2 | V ∈ S2 par test de Schur sur V | P(σ) = ∑p−σ converge pour σ > 1, pas 1/2 ; reconstruction via M = (H0+I)−1/2 V (H0+I)−1/2 |
| F.3 | Route C : produit d’Euler direct sur la droite critique | Divergence vérifiée numériquement |
| F.4 | Contre-terme G(z) ad hoc | Test TD4 (anti-tautologie) ; reformulation en porte de promotion T10 |
| F.5 | Identité det2 = G · ξ formelle | Sans démonstration des classes Schatten ; statut [O] maintenu, pas [P] |
Inscription : mai 2026
‖Mn‖op = √(3/8) stable
Énoncé dépromu
« La norme opératoire de la matrice Mn est uniformément √(3/8) ≈ 0,6124 pour tout n ≥ 3. »
Mécanisme
Renormalisation correcte. Sous la normalisation Bn = (1/|T|) Pn0 An Pn0 avec |T| = 3, la norme opératoire vaut ‖Bn‖op = 1 uniformément, pas √(3/8). L’erreur venait d’une normalisation incohérente entre versions v28 et v35.
Inscription corrective
C-027 (norme opératoire unitaire sous Cayley centré avec |T| = 3).
Leçon
Une constante numérique stable n’est valide que sous la normalisation pour laquelle elle a été dérivée.
Inscription : mai 2026
Identité v18 sur harnais sinc
Énoncé dépromu
« Le harnais sinc avec poids local mod 30 satisfait identiquement la borne ‖S‖HS2 = π/(2δ) pour tout δ > 0. »
Mécanisme
Audit numérique. L’identité v18 confondait borne supérieure et identité. La forme correcte est ‖Sδ‖HS2 ≤ π/(2δ), vérifiée comme inégalité, pas comme égalité.
Leçon
Une borne ≤ n’est pas une identité = ; la confusion est silencieuse mais structurelle.
Inscription : mai 2026
Anti-tournoiement spectral F6
Énoncé dépromu
« Le commutateur F6 = [A, A*] est non nul pour la matrice de Cayley ATC. »
Mécanisme
G30 étant abélien, ATC est normal, donc [A, A*] = 0 identiquement. L’énoncé F.6.c reposait sur une confusion entre opérateur normal et opérateur générique.
Conséquence
Reformulation des résultats spectraux en termes de Théorème B (transport tensoriel des préimages) et Théorème C (spectre symbolique cyclotomique).
Leçon
La structure du groupe sous-jacent (abélien ou non) détermine la classe d’opérateur ; une analyse spectrale doit toujours expliciter cette structure.
Inscription : mai 2026
Table des moments τk
Énoncé dépromu
« La famille (τk)k≥1 des moments d’un opérateur secondaire Tw satisfait τk = ck · 3k pour des constantes ck explicites. »
Mécanisme
La famille (τk) n’avait pas de définition opératoire vérifiable. L’opérateur Tw n’était pas formellement construit ; seule la table numérique existait.
Verdict
Retirée définitivement du registre, sans remplacement.
Leçon
Une table de valeurs sans définition opératoire complète n’est pas un objet mathématique ; c’est une étiquette.
Inscription : 19 mai 2026
Pont K# → ζ
Énoncé dépromu
« L’opérateur K# = ⨁n qn−(s+η) Bn constitue un correcteur eulérien direct de ζ′/ζ via la voie primorielle agrégée. »
Mécanisme — convergence de quatre tests indépendants
‖ζ′/ζ‖std = 0,30 sur t ∈ [10, 100] ;
‖DK#(M=6, η=0,5)‖std = 1,8 × 10−3.
Sub-dominance de trois ordres de grandeur.
ΔM,N,η(t) superpose à 10−3 près pour (M,N,η) ∈ {(6,30,0,5), (6,100,0,5), (6,100,0,005)}.
Le déterminant spectral ne pilote pas le résidu.
Tous les pics négatifs profonds de Δ coïncident avec les zéros t = 14,13 ; 21,02 ; 25,01 ; 30,42 ; 32,93 ; 37,59 ; … — comportement attendu de ζ′/ζ seul, sans contribution de K#.
Six triplets de contrôle dans G30, tous décorés canoniquement, donnent un résidu identique à ∼ 2,5 × 10−4 relatif. La condition TD4 est violée : le résidu est piloté par ζ′/ζ indépendamment du triplet.
Mécanisme structurel — Théorème C-031
Obstruction de support Dirichlet : ΛK# ∩ Λζ′/ζ = ∅ par unicité de la factorisation.
Conséquences
Voie K# définitivement close. Dépromotion C-016 (pont det2 ↔ ξ via K#). Voie Kp ouverte, avec cahier des charges et deux verrous explicites.
Leçon
Un signal qui survit numériquement à 10−3 peut être falsifié structurellement si son support de Dirichlet ne coïncide pas avec celui de la cible. La clôture n’est pas empirique : elle est de support.
Inscription : 19 mai 2026
Tautologie asymptotique du candidat (a) Cayley local pour Kp
Énoncé dépromu
« Le candidat (a) Cayley local avec |Tp| = 3 fournit une voie Kp recevable, sous une convention canonique de choix de Tp. »
Mécanisme — quatre tests numériques exhaustifs
‖B̃p‖HS2 = (p − 4)/3 identiquement, pour tout triplet Tp = {1, a, b} avec a, b ∈ Gp distincts de 1 et entre eux. Vérification : 92 premiers p ∈ [7, 500], 4 conventions (QR, GEN, COURET, SYM).
Pour p ≥ 19, les contributions individuelles au résidu DKp(s) sont identiques entre les quatre conventions à la précision machine (10−12 à 10−17).
La différence relative entre conventions chute par un facteur ~14 quand on retire p = 11, puis ~200 quand on retire p ≤ 17. Pour pmin ≥ 19, la différence devient ≈ 10−4, résiduelle, pilotée uniquement par les trois premiers p = 11, 13, 17.
Pour p = 31, 14 triplets symétriques {1, k, p − k} : Tr(B̃p2) = 7/3 strictement constant ; Tr(B̃p3) varie sur seulement deux exceptions (k = 5, 6, structure quadratique).
Mécanisme structurel
Pour Gp cyclique d’ordre p − 1, l’action du groupe d’automorphismes Aut(Gp) ≅ (ℤ/(p−1)ℤ)× sur les sous-ensembles {1, a, b} contenant 1 est quasi-transitive pour p grand : presque tous les triplets sont équivalents par automorphisme. Donc Tr(B̃pm) ne dépend, asymptotiquement, que de la cardinalité |Tp| = 3, et non du choix particulier des éléments.
Mécanisme structurel analogue à F.7 (clôture de K# par C-031). Cette fois, ce n’est pas l’orthogonalité de support Dirichlet qui ferme la voie, mais l’effacement de la combinatoire dans la limite primorielle.
Conséquences
Candidat (a) avec |Tp| = 3 fixé dépromu pour la voie Kp. Sous-verrou ¬DEF (choix canonique de Tp) ne peut être levé par aucune convention dans la classe |Tp| = 3. Inscriptions au registre : C-033 [P] → [F] ; C-034 [O] structuré → [F] pour cette classe ; C-035 [C] → [D−finite] (formule fermée démontrée). Piste alternative C-036 ouverte : candidat (a’) sous-groupe structurel.
Leçon
La cardinalité fixe |Tp| = 3 est insuffisante pour produire une médiation différenciante (TD2 + TD4) ; toute discrimination s’efface dans la limite primorielle. Un candidat structurel est nécessaire, non un candidat combinatoire arbitraire.
Voir aussi : page dédiée Voie Kp — état au 19 mai 2026 pour le détail des résultats numériques, le code de reproduction et la piste alternative C-036.
Candidats à l’opérateur de Hilbert–Pólya, éliminés
Négatifs complémentaires du journal F : cinq opérateurs candidats testés pour la formule de trace (verrou H3), chacun écarté par un diagnostic quantitatif. Publiés au titre de la reproductibilité — le mur H3 reste ouvert, RHClaimed = false.
| Candidat | Diagnostic | Verdict |
|---|---|---|
| sinc · χ30 | ratio A/B diverge : −1,73 → 1011 | pas l’opérateur de Hilbert–Pólya |
| Connes naïf (Hecke pondéré) | |λn| ~ γ−0,33, cible γ−1 | mauvaise loi de puissance |
| Berry–Keating (xp + px) | non compact, spectre continu | pas de det2 sans troncature |
| Pont des moments Lk·a(k) | Lk ~ O(1), Σ 2/γ2k ~ O(14−2k) | tour ≠ zéros (magnitudes incompatibles) |
| Dérive ∆(q) = a·loglog q + b | prédit −46,83, observé −309,86 | erreur 84,9 % — falsifié |
Bilan du journal F
12 sous-entrées inscrites au 19 mai 2026 : F.0, F.0bis, F.1, F.2, F.3, F.4, F.5, F.6.a, F.6.b, F.6.c, F.6.d, F.7, F.8.
Toutes inscrites publiquement, datées, avec mécanisme et leçon. Aucune réécriture rétroactive.
Le Verrou IA n’est pas le bouclier d’une défaite. Il est le dispositif qui interdit à une défaite locale de se déguiser en victoire globale.