démonstratif

Identité v18 (sinc) · Anti-tournoiement F6 · Table des moments τk

[F] Falsifiédémonstratif

‖Mₙ‖op = √(3/8) stable · Pont K# → ζ

[F] Falsifiédémonstratif

Spectre erroné {3², 1⁶}

[F] Falsifiédémonstratif

σ_G* ≈ π/10

[F] Falsifié[T] Transmisdémonstratifméditatif

ParityGate · ResGoldLocal · FixedTargetLift

[D] Démontré[M] Mesuré[O] Ouvertdémonstratif

Collapsus spectral · passage discret–continu

[H] Heuristique[O] Ouvertdémonstratif

Martingale primorielle · entropie · rang effectif

[M] Mesuré[O] Ouvertdémonstratif

Caractères mod 210 · conducteurs effectifs

[D] Démontré[M] Mesurédémonstratif

Projecteur P_π · résidu vertical V

[D] Démontrédémonstratif

Positivité de Ŵ ≥ 0

[O] Ouvertdémonstratif

Plan Verrou T — 12 lemmes

[C] Conditionnel[D] Démontré[O] Ouvertdémonstratif

Schatten S₂ · det₂(I − zS)

[C] Conditionnel[D] Démontré[O] Ouvertdémonstratif

Rigidité spectrale Δ₃(L) ≈ λ log L

[M] Mesurédémonstratif

Opérateur de Couret–Sonine S_{α,q}

[D] Démontrédémonstratif

Voie Kᵖ — ouverte sous verrous

[C] Conditionnel[D] Démontré[F] Falsifié[O] Ouvertdémonstratif

Voie K# — fermée par C-031

[D] Démontré[F] Falsifiédémonstratif

Complétion eulérienne · pont archimédien

[C] Conditionnel[O] Ouvertdémonstratif

Verrou F — recollement global adélique

[C] Conditionnel[O] Ouvertdémonstratif

H3 — trois mondes à recoller

[C] Conditionnel[D] Démontré[O] Ouvertdémonstratif

Copie de Pont det₂ ↔ ξ

[C] Conditionnel[O] Ouvertdémonstratif

Pont det₂ ↔ ξ

[C] Conditionnel[O] Ouvertdémonstratif

F.6 — ‖Bₙ‖op = 1

[D] Démontré[F] Falsifiédémonstratif

Théorème C-037 — no-go quadratique

[D] Démontré[F] Falsifiédémonstratif

Sophie Germain mod 30

[D] Démontré[H] Heuristique[M] Mesuré[O] Ouvertdémonstratif

Théorème C-036 — projecteur P_H

[D] Démontrédémonstratif

Théorème C-031

[D] Démontré[F] Falsifiédémonstratif

Théorème E — NT(sₙ) = 2/3

[D] Démontré[M] Mesuré[O] Ouvertdémonstratif

Théorème A.4′ — orbite A₄ = {1,11,19,29}

[D] Démontré[P] Probatoiredémonstratif

Théorème A.4 / A.4′ — résonance quadratique

[D] Démontré[F] Falsifié[M] Mesurédémonstratif

Fibres additives mod 210

[D] Démontrédémonstratif

Notation des reliefs — R = (Z, U, A, F)

[D] Démontré[H] Heuristique[O] Ouvertdémonstratifméditatif

Reliefs mod 210 / 2310 / 30030

[M] Mesuré[O] Ouvertdémonstratifméditatif

Reliefs mod 30

[H] Heuristique[M] Mesurédémonstratifméditatif

Copie de Relief r_X(q) = μ_X − u_q

[D] Démontré[H] Heuristiquedémonstratifméditatif

Borne KLMN

[C] Conditionnel[O] Ouvertdémonstratif

Caractères de Dirichlet mod 30

[D] Démontrédémonstratif

Trichotomie spectrale {3, 1, −1}

[D] Démontrédémonstratif

Triplet canonique T_C = {1, 11, 29}

[D] Démontré[M] Mesuré[O] Ouvertdémonstratif

H₃₀ — espace centré dim 7

[D] Démontrédémonstratif

G₃₀ ≅ C₂ × C₄

[D] Démontrédémonstratif

U₃₀ — huit classes admissibles mod 30

[D] Démontrédémonstratif

Lemme 7 / résidu critique

[C] Conditionnel[F] Falsifié[O] Ouvertdémonstratif

λ = 1/√7

[D] Démontré[H] Heuristique[M] Mesuré[O] Ouvertdémonstratif

Mersenne

[O] Ouvertdémonstratifexpérimental

Le (S)enseur

[O] Ouvertdémonstratifpoétique

Cay(G₃₀, T_C) — Ramanujan finie

[D] Démontré[M] Mesuré[O] Ouvertdémonstratif