Ce papier ne prouve pas l’hypothèse de Riemann. Il fait quelque chose de différent : il trace un chemin complet depuis une observation algébrique finie jusqu’aux limites structurelles des approches spectrales, identifiant précisément ce qui fonctionne, ce qui échoue, et pourquoi.
Enoncé fondateur
« Nous construisons un noyau spectral fini (dimension 7) décrivant la structure modulaire des nombres premiers, et explorons son extension vers une théorie analytique de type zêta, encore ouverte. »
Classification mod 30, profil spectral, λ = 1/√7, Parseval, tour primorielle
Prouvé · Lean 4 certifié
Trois barrières No-Go, obstruction de résonance additive
Prouvé analytiquement
Métrique logarithmique, divergence de résonance, quasi-continuum
Prouvé asymptotiquement
Correspondance de trace, déterminant spectral
Conditionnel
Ce programme distingue quatre niveaux épistémiques, et ne les mélange jamais :
C’est la phrase canonique du programme. La confusion entre ces trois niveaux est la cause première des fausses preuves dans l’histoire de la théorie analytique des nombres.
Chaque résultat porte son statut. Un résultat [N] ne devient jamais [P] par accumulation de données. Un résultat [C] ne devient jamais [P] sans fermer ses hypothèses. Cette discipline est encodée dans le code Lean lui-même.
La légende épistémique est stricte : proved = certifié Lean 4 ou prouvé par théorie des caractères ; verified = confirmé numériquement ; negative = résultat d’impossibilité ; conditional = dépend d’hypothèses explicites non vérifiées.
Ce que nous revendiquons : une architecture dont chaque étage est étiqueté, testable et falsifiable.