Domaine IV - Verrous et passages ouverts

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

Lemme 7 / résidu critique

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