- F« K# correcteur eulérien de ζ » falsifié
- DC-031 support
Ce que cela montre
une voie fermée proprement — un négatif utile.
Ce que cela ne prouve pas
rien (voie close).
◆ Face Objet — le terrain mathématiquevous êtes ici · porte fermée par théorème [D]
◆ Face Méthode — la discipline →le code de conduite · tenue ouverte [O]
◆ Face Méthode — la discipline →le code de conduite · tenue ouverte [O]
Sur le pont vers ζ — une porte fermée proprement
◉Départle socle prouvé[D]
⋯⋯
○λ = 1/√7étape d’avant[D]
———
●Voie K#vous êtes ici · fermée[F]
———
○Voie K^pétape d’après[O]
⋯┄┄
◎Arrivéehorizon ζ — non atteint[O]
Une porte fermée est un résultat, pas un échec. La voie K# vers ζ est démontrée impossible (C-031) ; la recherche se redirige vers la voie K^p, encore ouverte. L’horizon reste à distance.
Pourquoi cette pièce
Elle démontre qu’un pont longtemps cherché vers ζ (la voie K#) est impossible : les deux objets parlent des alphabets de fréquences qui ne se croisent jamais (obstruction de Dirichlet, C-031 / no-go quadratique C-037). Elle ne prouve pas que tout pont est impossible — d’autres voies restent ouvertes.
Voie K# — obstruction de support : une stratégie d’agrégation primorielle vers ζ, démontrée impossible par le théorème C-031 (disjonction des supports de Dirichlet). Une porte fermée proprement, donc un négatif utile.
Statut épistémique — composite (D · F)
Dl’impossibilité de la voie K# est elle-même un résultat démontré (théorème C-031, no-go)
Fla voie K# comme chemin vers ζ est falsifiée / fermée : elle ne peut pas aboutir
Ce que cela montre
qu’une voie longtemps envisagée vers la fonction zêta — l’agrégation primorielle K# — est structurellement impossible. Une impossibilité, c’est un résultat.
Ce que cela ne prouve pas
que toute voie vers ζ soit fermée : C-031 ferme une voie précise, pas l’horizon entier. D’autres voies (K^p) restent ouvertes.
Risque de mauvaise lecture — lire « voie fermée » comme un échec ou un abandon honteux. Dans la discipline du programme, une porte fermée proprement est un gain : elle élimine définitivement une fausse piste et concentre la recherche sur ce qui reste possible.
Régime · démonstratif (le no-go est démontré)
[D] Démontré
Une impossibilité démontrée : le no-go C-031
La voie K# désignait une stratégie d’agrégation primorielle : tenter de relier la structure finie du noyau mod 30 (et ses extensions primorielles) à la fonction zêta de Riemann, en agrégeant les signatures spectrales locales pour reconstituer un objet global.
Le théorème C-031 démontre que cette voie ne peut pas aboutir. L’argument est une obstruction de support, et il se démontre en une ligne par l’unicité de la factorisation. On note q_n le primoriel d’ordre n — le produit des n premiers nombres premiers :
q_n = p₁ · p₂ · … · p_n (q₂ = 6, q₃ = 30, q₄ = 210, …)
L’énoncé est le suivant : pour tout n ≥ 2, tout r ≥ 2, tout premier p et tout entier m ≥ 1,
C-031 : r · log q_n ≠ m · log p
soit : r · log q_n ∉ { m · log p : p premier, m ≥ 1 }
La démonstration est élémentaire. Si l’égalité avait lieu, en exponentiant les deux membres on obtiendrait :
r · log q_n = m · log p ⟹ q_n^r = p^m
Or, dès n ≥ 2, le primoriel q_n contient au moins deux facteurs premiers distincts (au minimum 2 et 3). Donc q_n^r en contient encore au moins deux, chacun avec l’exposant r. À l’inverse, p^m ne contient qu’un seul facteur premier. Par unicité de la factorisation, l’égalité q_n^r = p^m est impossible. (Le cas n = 1 est dégénéré : q₁ = 2, et 2^r = p^m a des solutions ; il est exclu.)
La voie K# parle donc l’alphabet diagonal des primorielles ; ζ, via son produit eulérien, parle l’alphabet eulérien des premiers individuels. C-031 établit que ces deux alphabets ne se recouvrent jamais :
{ r · log q_n } ∩ { m · log p } = ∅ (n ≥ 2, r ≥ 2)
Il ne s’agit donc pas d’un échec à trouver une preuve, mais d’une preuve qu’il n’y a rien à trouver par ce chemin : la voie est fermée par théorème, pas par renoncement.
No-go structurel C-031 · falsification F-16 au Journal F (mai 2026, audit v55) · preuve par unicité de la factorisation. Voie K# inscrite comme fermée dans la formule canonique du programme.
Ce que ce bloc montre
- une impossibilité démontrée, pas supposée
- un mécanisme : disjonction des supports
- une élimination définitive d’une fausse piste
Ce que ce bloc ne prouve pas
- aucune fermeture des autres voies (K^p reste ouverte)
- aucune impossibilité globale de relier le fini à ζ
- aucun résultat sur ζ elle-même
[F] Falsifié / fermé
Ce que la fermeture libère
Fermer la voie K# n’arrête pas le programme : cela le redirige. En éliminant l’agrégation primorielle, C-031 a obligé à reformuler la question, et a fait émerger la voie K^p — une stratégie distincte, encore ouverte, qui ne tombe pas sous le même no-go. Le négatif a donc été fécond : il a produit une nouvelle direction.
C’est le principe de la cicatrisation cognitive du programme : une idée réfutée n’est pas effacée, elle devient une borne. La voie K# reste inscrite au Journal F comme une frontière connue du territoire — un endroit où l’on sait, désormais, qu’il ne faut pas chercher.
Ce que ce bloc montre
- la fécondité d’un négatif (émergence de K^p)
- la conservation de l’échec comme borne
Ce que ce bloc ne prouve pas
- aucune garantie que K^p aboutisse
- aucune percée vers ζ obtenue par la fermeture
C-031 ne ferme pas Couret–Unification.
C-031 ferme une stratégie précise : faire coïncider l’alphabet
diagonal primoriel avec l’alphabet eulérien de ζ.
La voie K# est donc un négatif utile, pas un échec à effacer.
C-031 ferme une stratégie précise : faire coïncider l’alphabet
diagonal primoriel avec l’alphabet eulérien de ζ.
La voie K# est donc un négatif utile, pas un échec à effacer.
Pourquoi cette fiche compte. Presque aucun programme de recherche ne montre proprement ses voies fermées. C-031 est l’inverse d’un surclaim : c’est la démonstration que le programme sait perdre sans mentir, et transformer une impasse en frontière connue. Une porte fermée par théorème vaut mieux qu’une porte qu’on laisse croire ouverte.