expérimental

Arithmétique expérimentale (thèse)

[F] Falsifié[H] Heuristique[M] Mesuré[O] Ouvert[T] Transmisexpérimentalméditatif

Modèle nul Goldbach uniforme

[F] Falsifiéexpérimental

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

Module F — Goldbach comme laboratoire

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

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

Relief r_X(q) = μ_X − u_q

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

Mersenne

[O] Ouvertdémonstratifexpérimental

Crible en temps réel

[M] Mesuré[P] Probatoireexpérimental