Vérifier

Arithmétique expérimentale (thèse)

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

qₙʳ = pᵐ · Kᵖ(a) TD4 · dominance 3/5 · lectures λ

[F] Falsifiéméditatif

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

Modèle nul Goldbach uniforme

[F] Falsifiéexpérimental

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

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

Module F — Goldbach comme laboratoire

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

Voie K# — fermée par C-031

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

Théorème C-031

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

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

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

Trichotomie spectrale {3, 1, −1}

[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