[D] Démontré

Old/New Split · FiniteEulerStrata

[D] Démontréexpérimental

DefectNorm — décroissance des strates

[D] Démontré[M] Mesuréexpérimental

SpectralDefect — fuite propre

[D] Démontréexpérimental

ParityGate · ResGoldLocal · FixedTargetLift

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

L_race · L_HL · hybride (Phase 2.8.7)

[D] Démontré[O] Ouvert[P] Probatoireexpérimental

L_joint_split (Phase 2.8.6-F1)

[D] Démontré[F] Falsifié[M] Mesuré[P] Probatoireexpérimental

L_uniform · L_geo · L_CRT

[C] Conditionnel[D] Démontré[M] Mesuréexpérimental

Canaux jumeaux mod 30

[D] Démontré[M] Mesuréexpérimental

Module F — Goldbach comme laboratoire

[D] Démontré[O] Ouvertexpérimental

Caractères mod 210 · conducteurs effectifs

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

Projecteur P_π · résidu vertical V

[D] Démontrédé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

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

H3 — trois mondes à recoller

[C] Conditionnel[D] Démontré[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

Local Residue Relief Database · Crible en temps réel

[D] Démontré[M] Mesuré[P] Probatoireexpérimental

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

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

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

Relief r_X(q) = μ_X − u_q

[D] Démontré[M] Mesuréexpérimental

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

La Chambre du Résidu

[C] Conditionnel[D] Démontré[F] Falsifié[H] Heuristique[M] Mesuré[O] Ouvert[P] Probatoire[T] Transmisméditatifpoétique

λ = 1/√7

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

Cay(G₃₀, T_C) — Ramanujan finie

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