Clarification doctrinale essentielle · Voie K# vs Voie Kp
Distinction fondamentale entre les deux voies vers ζ
Cette fiche documente l'impossibilité démontrée de la Voie K# (agrégation primorielle diagonale), réfutée par le théorème C-031. Elle ne doit pas être confondue avec la Voie Kp (opérateurs locaux par premier individuel p), qui constitue une direction de travail distincte et ouverte sous verrous.
VOIE K# · DÉFINITIVEMENT FERMÉE [F]
Stratégie d'agrégation diagonale primorielle. Obstruction structurelle C-031 (disjonction des supports de Dirichlet : {r·log q_n} ∩ {m·log p} = ∅). Fermée par théorème (gain négatif utile).
VOIE Kp · OUVERTE SOUS VERROUS [O]
Approche locale par premier individuel p, non concernée par C-031. Fiche dédiée : Consulter la fiche Voie Kp ouverte →
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 & Contrat E/N/Q
D[D] Démontré : l'impossibilité de la voie K# est un no-go prouvé par le théorème C-031 (disjonction arithmétique élémentaire).
F[F] Fermé / Falsifié : la voie K# comme chemin vers ζ ne peut pas aboutir (F-16 au Journal F).
Articulation au contrat actuel : Énoncé E (no-go structurel réfutant l'agrégation primorielle) · Nouveauté N (preuve élémentaire par factorisation unique, cadre classique) · Qualification Q (certificat fini et contre-validation exacte au Journal F).
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.
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.