Observer

AnalyticBridge — pont global ResGold

[O] Ouvertexpérimental

Correcteur eulérien K_{ζ→C₂}

[M] Mesuréexpérimental

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

Bootstrap · Cramér modulaire · Score de relief

[C] Conditionnel[M] Mesuré[P] Probatoireexpérimental

TransportTest

[O] Ouvertexpérimental

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

Null-Model Ladder

[M] Mesuré[O] Ouvert[T] Transmisexpérimental

Extension MU210 → 2310 → 30030

[O] Ouvertexpérimental

Comparaison Hardy–Littlewood locale

[C] Conditionnel[M] Mesuré[O] Ouvertexpérimental

Canaux jumeaux mod 30

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

MU210-JOINT-LAW

[F] Falsifié[M] Mesuré[O] Ouvertexpérimental

Sophie Germain mod 30

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

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

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

Local Residue Relief Database · Crible en temps réel

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

Résidu Δ(t) — indépendance du triplet

[H] Heuristique[M] Mesuré[O] Ouvertexpérimental

Matrices de préférence / asymétrie / transition

[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

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

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

Triplet canonique T_C = {1, 11, 29}

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

λ = 1/√7

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

Crible en temps réel

[M] Mesuré[P] Probatoireexpérimental

Cay(G₃₀, T_C) — Ramanujan finie

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