S’orienter · la carte du territoire
Le territoire et ses murs
Cette page donne la vue d’ensemble du programme : d’où l’on part, par où l’on passe, et où s’arrête le chemin. Tout commence sur le socle prouvé, et tout vise un même horizon — la fonction zêta de Riemann — jamais déclaré atteint. Entre les deux, le terrain : ses résultats démontrés, ses portes fermées proprement, et ses verrous ouverts.
G₃₀ ≅ C₂×C₄ [D]
H₃₀ · dim 7 [D]
Trichotomie {3,1,−1} [D]
λ = 1/√7 [D]
Caractères mod 30 [D]
Le sol rigide, hérité des manuscrits de Bernard. Assez petit pour qu’une machine vérifie chaque pas — et que le faux s’y voie.
Un relief signale « il y a quelque chose à regarder ». Il signale ; il ne prouve pas.
La voie K# est démontrée impossible (C-031). Une porte fermée est un résultat. La recherche se redirige vers K^p, encore ouverte sous quatre verrous.
¬TRACE · trace globale [O]
¬EULER · complétion [O]
¬ARCHIM · terme Γ′/Γ [O]
Verrou F · recollement [O]
Quatre obstructions nommées, toutes ouvertes. Tant qu’une seule tient, le pont n’est pas franchi.
L’horizon n’est pas un trophée : c’est le nom du passage global. Le dernier tronçon n’est pas construit.
Le programme ne prétend jamais être arrivé. Ces interdictions sont gravées en invariants permanents : tant qu’aucune n’est levée par une démonstration en règle, elle reste = false.
GoldbachProofClaimed = false · EngineeringVerdictClaimed = false · ScopeExpansionClaimed = false
Comment lire les statuts
Chaque pièce du territoire porte un statut qui décide ce qu’on a le droit d’en dire. Un [M] ne devient jamais [D] par accumulation de données ; un [C] ne devient jamais [D] sans fermer ses hypothèses.
Le repère « deux faces »
Sur chaque fiche, un petit bandeau dit sur quelle face vous êtes, et où. Le programme présente deux choses indissociables :
Les mathématiques finies modulo 30 : le sol rigide où la discipline s’exerce. C’est là que vivent les seuls résultats démontrés [D].
La grammaire des statuts : le code de conduite de la recherche assistée par IA. C’est ce qui anime le projet — et c’est une question ouverte [O], pas un acquis.
L’une est le code de la route ; l’autre, la route. On ne comprend chaque face que par l’autre.
Cette carte est un point d’entrée : pour le détail, chaque pièce mène à sa fiche.
« Nous n’avons fait qu’observer, mon grand-père et moi, le “déjà là”. »