État du chantier · vue d’ensemble
La démonstration en chantier
chaque brique porte son statut.
Un tableau de bord unique de l’état global du travail : ce qui est démontré, mesuré, conditionnel, ouvert, hérité — et ce qui a été corrigé. Le noyau fini est certifié ; les murs globaux restent ouverts ; rien n’est effacé.
Noyau fini · certifiéReliefs · mesurésVerrous globaux · ouvertsNégatifs · tracésRHClaimed = false
Maturité du chantier
Répartition des 74 items selon la présence d’une facette ouverte ou d’un négatif. Un item peut porter plusieurs statuts : le noyau démontré d’une brique reste acquis même si une facette globale demeure ouverte.
28 stabilisés — aucune facette ouverte29 en chantier — comportent une facette [O]17 avec un négatif [F] corrigé
Présence des statuts
Nombre d’items portant chaque statut (un item peut en porter plusieurs).
Tableau récapitulatif des items
Filtrer par statut
[D] [M]
[C] [O]
[H] [F]
[T] [P]
[Q]
tout afficher
Statuts
Item
Régime
Domaine I - Le socle fini · 9 items
C
O
Borne KLMN démonstratif
D
Caractères de Dirichlet mod 30 démonstratif
D
Trichotomie spectrale {3, 1, −1} démonstratif
D
M
O
Triplet canonique T_C = {1, 11, 29} démonstratif
D
H₃₀ — espace centré dim 7 démonstratif
D
G₃₀ ≅ C₂ × C₄ démonstratif
D
U₃₀ — huit classes admissibles mod 30 démonstratif
D
H
M
O
λ = 1/√7 démonstratif
D
M
O
Cay(G₃₀, T_C) — Ramanujan finie démonstratif
Domaine II - Reliefs arithmétiques · 10 items
D
M
P
Local Residue Relief Database · Crible en temps réel expérimental
H
M
O
Résidu Δ(t) — indépendance du triplet expérimental
M
P
Matrices de préférence / asymétrie / transition expérimental
D
Fibres additives mod 210 démonstratif
D
H
O
Notation des reliefs — R = (Z, U, A, F) démonstratif
M
O
Reliefs mod 210 / 2310 / 30030 démonstratif
H
M
Reliefs mod 30 démonstratif
D
H
Copie de Relief r_X(q) = μ_X − u_q démonstratif
D
M
Relief r_X(q) = μ_X − u_q expérimental
M
P
Crible en temps réel expérimental
Domaine III - Résultats et théorèmes · 8 items
D
F
F.6 — ‖Bₙ‖op = 1 démonstratif
D
F
Théorème C-037 — no-go quadratique démonstratif
D
H
M
O
Sophie Germain mod 30 démonstratif
D
Théorème C-036 — projecteur P_H démonstratif
D
F
Théorème C-031 démonstratif
D
M
O
Théorème E — NT(sₙ) = 2/3 démonstratif
D
P
Théorème A.4′ — orbite A₄ = {1,11,19,29} démonstratif
D
F
M
Théorème A.4 / A.4′ — résonance quadratique démonstratif
Domaine IV - Verrous et passages ouverts · 17 items
H
O
Collapsus spectral · passage discret–continu démonstratif
M
O
Martingale primorielle · entropie · rang effectif démonstratif
D
M
Caractères mod 210 · conducteurs effectifs démonstratif
D
Projecteur P_π · résidu vertical V démonstratif
O
Positivité de Ŵ ≥ 0 démonstratif
C
D
O
Plan Verrou T — 12 lemmes démonstratif
C
D
O
Schatten S₂ · det₂(I − zS) démonstratif
M
Rigidité spectrale Δ₃(L) ≈ λ log L démonstratif
D
Opérateur de Couret–Sonine S_{α,q} démonstratif
C
D
F
O
Voie Kᵖ — ouverte sous verrous démonstratif
D
F
Voie K# — fermée par C-031 démonstratif
C
O
Complétion eulérienne · pont archimédien démonstratif
C
O
Verrou F — recollement global adélique démonstratif
C
D
O
H3 — trois mondes à recoller démonstratif
C
O
Copie de Pont det₂ ↔ ξ démonstratif
C
O
Pont det₂ ↔ ξ démonstratif
C
F
O
Lemme 7 / résidu critique démonstratif
Domaine V - Goldbach local et MU210 · 17 items
O
AnalyticBridge — pont global ResGold expérimental
M
Correcteur eulérien K_{ζ→C₂} expérimental
D
Old/New Split · FiniteEulerStrata expérimental
D
M
DefectNorm — décroissance des strates expérimental
D
SpectralDefect — fuite propre expérimental
D
M
O
ParityGate · ResGoldLocal · FixedTargetLift démonstratif
C
M
P
Bootstrap · Cramér modulaire · Score de relief expérimental
O
TransportTest expérimental
D
O
P
L_race · L_HL · hybride (Phase 2.8.7) expérimental
D
F
M
P
L_joint_split (Phase 2.8.6-F1) expérimental
C
D
M
L_uniform · L_geo · L_CRT expérimental
M
O
T
Null-Model Ladder expérimental
O
Extension MU210 → 2310 → 30030 expérimental
C
M
O
Comparaison Hardy–Littlewood locale expérimental
D
M
Canaux jumeaux mod 30 expérimental
F
M
O
MU210-JOINT-LAW expérimental
D
O
Module F — Goldbach comme laboratoire expérimental
Domaine VI - Négatifs utiles et dépromotions · 7 items
F
H
M
O
T
Arithmétique expérimentale (thèse) expérimental
F
qₙʳ = pᵐ · Kᵖ(a) TD4 · dominance 3/5 · lectures λ méditatif
F
Identité v18 (sinc) · Anti-tournoiement F6 · Table des moments τk démonstratif
F
‖Mₙ‖op = √(3/8) stable · Pont K# → ζ démonstratif
F
Modèle nul Goldbach uniforme expérimental
F
Spectre erroné {3², 1⁶} démonstratif
F
T
σ_G* ≈ π/10 démonstratif