Vous êtes ici : Domaine IV · Verrous et passages ouverts · Théorème C-031
[D] démontré
[D] démontré
Ce que vous allez lire
Un théorème négatif : la preuve, en une ligne, que la voie K# ne peut pas atteindre ζ. Obstruction de support par unicité de la factorisation.
Pourquoi ça compte
C’est l’un des deux no-go structurels du programme. Une porte fermée par théorème — un gain, pas un échec.
Ce que ça ne dit pas
Ça ne ferme ni le programme, ni la voie K^p (candidat distinct, toujours ouvert). C-031 ferme une stratégie, pas l’horizon ζ.
À lire à côté
La fiche « Voie K# — fermée par C-031 » (le contexte), et F-06 (l’autre no-go structurel).