Le dispositif qui interdit à une victoire locale de se déguiser en victoire globale.
Le Senseur n’est pas un résultat : c’est la discipline qui garde tous les autres. Un censeur — et un senseur : il mesure la portée d’un énoncé, et il refuse qu’elle soit surdite.
La convergence inter-modèles est un test de robustesse, pas une preuve. Née de l’incident σ_G* ≈ π/10. [T]
Une idée qui tombe est conservée comme négatif utile, datée et tracée. Rien n’est effacé. [F]
Toute coïncidence numérique séduisante est rejugée à mpmath dps=50 avant tout statut. [M]
Une coïncidence float64, amplifiée par un consensus de plusieurs modèles, corrigée par un calcul à 50 décimales : σ_G* ≈ 0,31426, à ~0,03 % de π/10. Ni un résultat, ni un mystère — un artefact. [F] C’est le moment exact où le Senseur intervient.
« Le Senseur n’est pas le bouclier d’une défaite. Il est le dispositif qui interdit à une défaite locale de se déguiser en victoire globale. »
Huit statuts ([D] [M] [C] [O] [H] [F] [T] [P]) et six invariants permanents (RHClaimed=false, …) forment le pare-feu. Le Senseur veille à ce qu’aucun énoncé ne franchisse son statut sans l’avoir mérité.
Un dérivé appliqué — une architecture de sûreté à fermeture par défaut pour systèmes critiques — fait l’objet d’une protection séparée et n’est pas documenté publiquement ici.
Le Senseur · journal F
24 falsifications inscrites · 24 corrigées · aucune réécriture rétroactive (T14).
Ce qui a été dépromu n’est pas effacé : c’est conservé comme mémoire immunitaire. Chaque no-go porte son mécanisme et sa leçon. La doctrine qui rend ces inscriptions possibles est exposée dans Cadre & doctrine.
| Code | Date | Énoncé dépromu → correction | Mécanisme | Conséquence / leçon |
|---|---|---|---|---|
| Critique · impact structurel · 6 entrées | ||||
| F-01 | mars 2026 | Spectre de Fourier de T_C annoncé {3,3,1,1,1,1,1,1} — toutes valeurs positives→Spectre correct {3², 1⁴, (−1)²} — deux valeurs propres négatives | Recalcul exact (NumPy / SageMath / Lean native_decide) | Positivité spectrale globale invalidée ; Parseval = 24 inchangé mais structure différente. |
| F-02 | mars 2026 | Deux « extinctions spectrales » : ĉ_χ nuls (caractères quadratiques mod 3 et mod 5)→Aucun coefficient nul — les 8 valeurs sont 3/8, −1/8, 1/8 | Recalcul exact sur les 8 caractères | Explication du rang PCA ≈ 6,9 par « 6 caractères actifs » retirée ; « aveugle aux discriminants » retiré. |
| F-03 | mars 2026 | Décomposition F(s)=Σ ĉ_χ L(s,χ) présentée comme « résolution du Lock 2 »→Fait standard d’algèbre linéaire finie, pas un théorème analytique nouveau | Analyse critique | Statut « résolu » → « encodé » ; le problème analytique reste ouvert. |
| F-04 | mars 2026 | Test de Schur sur V ; P(σ) convergent affirmé pour σ > 1/2→P(σ) converge pour σ > 1 ; à σ=1/2, ‖V‖_HS diverge ~ N^0,42 | Correction v17 → v18 | Remplacé par ‖M‖_HS ≤ P(3/2)=0,8495<1 ; auto-adjonction via KLMN sur M. |
| F-05 | avril 2026 | Invariant Parseval/φ = 3 affirmé pour toute la tour primorielle→À L5 (mod 2310), 11 | module → χ(11)=0 → Parseval = 960, E = 2 | Calcul exact sur la tour | E = 3 restreint à la « tour sûre » (primes p ∉ {11, 29}). |
| F-06 | avril 2026 | Convergence conjecturée de la mesure spectrale μ_k vers une masse de Dirac δ₁→Ratio M₄/M₂² stagne à 5/3 ; kurtosis M₄ = 15 exactement | Calcul des moments | Conjecture → résultat négatif [D] : la mesure spectrale ne se concentre pas. |
| Modérée · impact local · 6 entrées | ||||
| F-07 | mars 2026 | Λ(x)=p₁(x)+p₁₁(x)+p₂₉(x) affirmé converger vers 1/√7→Λ converge vers 3/8 (Dirichlet) ; λ=1/√7 = σ(⟨v̂_C,X⟩) en unités Rubinstein–Sarnak | Clarification de définition | Terminologie corrigée partout ; les trois lectures λ_geo / λ_spec / λ_info séparées. |
| F-08 | mars 2026 | T_C = {1, 11, 29} présenté comme le triplet spectralement distingué / unique→≥ 5 triplets isospectraux : {1,7,13}, {1,11,19}, {1,11,29}, {1,17,23}, {1,19,29} | Énumération exhaustive | « Triplet unique » → « triplet dans une classe isospectrale de cardinalité ≥ 5 ». |
| F-09 | mars 2026 | Mélange de trois objets : (A) Cayley sur C₂×C₄, (B) covariance σ_H, (C) Sonine S_{α,q}→Trois objets distincts à séparer formellement | Audit de cohérence | Séparation imposée ; transfert de propriétés interdit sans pont explicite démontré. |
| F-10 | mars 2026 | Terme archimédien : log(t/2) confondu avec ½·log(t) dans le pont Guinand–Weil→Forme correcte rétablie | Correction analytique | Erreur relative globale passée à GREEN (η < 10⁻⁶). |
| F-11 | mars–avril 2026 | Route multiplicative directe (bottom-up par coefficients) envisagée→Exposant empirique α ≈ +5,2 (croissance au lieu de décroissance) | Vérification numérique | Route abandonnée ; route top-down Guinand–Weil retenue comme alternative. |
| F-12 | mars 2026 | Universalité du modèle H3.6 affirmée pour tous les caractères→Caractère de Legendre (±1 mod 4) effondre ε* à 0,005 (76–81 % d’erreur) | Test sur caractère réel | Universalité H3.6 restreinte aux caractères complexes. |
| Lean / numérique · 6 entrées | ||||
| F-13 | 7 avril 2026 | V_eff annoncé comme montrant l’isotropie spectrale→Ratio V_eff = 0,39 ≠ 1 ; diagnostic négatif définitif | Session d’audit exhaustive | Résultat négatif inscrit [D] : réfutation du lien λ ↔ zéros dans le cadre testé. |
| F-14 | 20 avril 2026 | σ_G* = 0,3142 présentée comme constante structurelle (≈ π/10)→mpmath 50 décimales : coïncidence d’arrondi float64 ; la valeur monte avec N | mpmath haute précision | Constante → fonction opaque sigma_G_critical(N,τ,σ_s) dans Lean. |
| F-15 | fév.–avril 2026 | Pont direct via produit eulérien entre noyau fini et ζ (v34)→Réfutation numérique | Vérification numérique (transition v35→v36) | H3 décomposé en Verrou F (sous-obstructions F1–F4) ; chaîne conditionnelle C0–C5 introduite. |
| F-16 | mai 2026 (audit v55) | Pont K^# → ζ comme correcteur eulérien direct de ζ′/ζ→Théorème C-031 [D] : ∀ n≥3, ∀ r≥2, r·log qₙ ∉ {m·log p} (obstruction de support Dirichlet) | Preuve par unicité de la factorisation | Voie K^# définitivement fermée ; inscrite dans la formule canonique du programme. |
| F-17 | mai 2026 | Énoncé inscrit au journal public de falsification (F.7)→Falsification formelle documentée selon le protocole T12 | Protocole T12 | C-016 dépromu pour la voie K^# ; reste [O] pour la voie K^p. |
| F-18 | mai 2026 | Terminologie « incarnation opératoire »→Remplacement systématique par « recevabilité opératoire » (thèse v55) | Révision doctrinale | « Incarnation » impliquait une réalisation concrète non démontrée. |
| Précoce · scripts & conceptuel · 2 entrées | ||||
| F-19→23 | juil.–sept. 2025 | Erreurs de scripts Python (5)→π(100000) vs π(104729) · p-value χ² approximative · comptes jumeaux/triplets % vs absolus · Monte-Carlo multinomial incorrect · syntaxe SageMath fautive | Revue de code | Corrigées ; protocoles de mesure durcis (seed, hash, seuil ex ante, modèle nul). |
| F-24 | juil.–août 2025 | Phase exploratoire « mystique » : prédictions temporelles (44,65 ans), modèles non falsifiables→Entièrement abandonnée | Révision épistémique fondatrice | Remplacée par la démarche [D]/[M]/[H]/[O] et le registre statutaire. |
Deux dépromotions sont des impossibilités démontrées, inscrites comme résultats négatifs au noyau :
| C-031 | ∀ n≥3, ∀ r≥2 : r·log qₙ ∉ { m·log p }. La voie K^# parle l’alphabet diagonal des primorielles, jamais l’alphabet eulérien de ζ. K^# fermée par obstruction de support. |
| F-06 | μ_k ↛ δ₁ : M₄/M₂² = 5/3, kurtosis = 15. La mesure spectrale ne se concentre pas — réfutation inscrite [D]. |