É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és
  • Verrous globaux · ouverts
  • Négatifs · tracés
  • RHClaimed = false
77
items au total
40
portent du [D] démontré
34
avec une facette [O] ouverte
17
avec un négatif [F] corrigé

Maturité du chantier

Répartition des 77 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.

31
29
17
31 stabilisés — aucune facette ouverte 29 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).

40
[D]
Démontré
29
[M]
Mesuré
13
[C]
Conditionnel
34
[O]
Ouvert
10
[H]
Heuristique
17
[F]
Falsifié
7
[T]
Transmis
9
[P]
Probatoire
0
[Q]
Quarantaine

Tableau récapitulatif des items

Filtrer par statut [D] [M] [C] [O] [H] [F] [T] [P] [Q]

Statuts Item Support Mat. 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 F-08 — cinq triplets canonique indiscernables 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 · 9 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 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 · 9 items
D P H1 — l'auto-adjonction, fermée par une borne démonstratif
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 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 · 18 items
M P8-GRAM — la mesure opposable démonstratif
O T QMod-30 — une juridiction quasimodulaire démonstratif
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
à produire
M1 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^p 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 — le recollement adélique démonstratif
C D O H3 — trois mondes à recoller démonstratif
C O Pont det₂ ↔ ξ - Verrou F3 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 — 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 Échelle des modèles nuls 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 · 8 items
D F-06 — no-go structurel démonstratif
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 · Moments τk démonstratif
F ‖Mₙ‖op = √(3/8) stable · Pont K# → ζ démonstratif
F Symétrie de Goldbach expérimental
F Spectre erroné {3², 1⁶} démonstratif
F T σ_G* ≈ π/10 démonstratif

Maturité artefactuelle & états de support

M0 — aucun artefactM1 — annoncé, non liéM2 — compilé localementM3 — reproductible liéM4 — vérifié + log + date + revue
lié artefact public consultable
partiel artefact partiel, preuve incomplète
à vérifier annoncé, non audité
à produire aucun support public
dépromu claim tombé, avec résidu

Dépromotions fécondes

Une dépromotion n’est pas une suppression : c’est une transformation. surclaim → épreuve → dépromotion → résidu → verrou → nouvelle recherche.

λ comme invariant global

Chute : aucun pont démontré hors du noyau fini.

Résidu : λ = 1/√7 robuste localement (espace centré, dim 7).

Question : quelles opérations préservent ou détruisent λ ?

Test : relèvements q = 210, 2310, 30030 + modèles nuls.

σ_G* ≈ π/10

Chute : faux positif, non confirmé à dps = 50.

Résidu : règle R8 — quasi-coïncidence ≠ invariant.

Question : quel modèle nul disqualifie un quasi-alignement ?

Test : recalcul dps ≥ 50 + ensemble nul.

λ comme invariant universel de RH

Chute : V_eff = 0,055 ne soutient pas l’universalité.

Résidu : la portée de λ est locale.

Question : λ a-t-il un correspondant mesurable hors du noyau ?

Test : protocole spectral + modèles nuls.

Pont multiplicatif K# → ζ

Chute : supports disjoints par factorisation unique (C-031).

Résidu : no-go décontaminé, non affaibli.

Question : existe-t-il une route non multiplicative (K^p) ?

Test : formaliser C-031 + explorer K^p.

Candidat K^p(a)

Chute : no-go quadratique ‖B̃_p‖²HS = (p−4)/3 (cardinal seul).

Résidu : candidat K^p(a′) — projection sur le sous-groupe d’ordre 3 (vrai projecteur).

Question : évite-t-il le no-go quadratique ?

Test : verrous ¬FUN, ¬TRACE, ¬EULER, ¬ARCHIM.

Transport de la dominance 3/5

Chute : Z = −2,70 σ à 5×10⁷ — pas de transport empirique.

Résidu : dominance algébrique ≠ transport (cas-type R8).

Question : quelle quantité algébrique se transporte, s’il en est ?

Test : balayage modulaire + modèles nuls 5×10⁷.

Preuve négative — l’absence explicitéeTout artefact n’est pas positif. Le registre reconnaît : preuve formelle, script de calcul, log CI, référence externe, modèle nul, contre-exemple, échec reproductible, dépromotion documentée — et, au stade actuel, la plus importante : l’absence explicitée. Savoir exactement ce qui manque est déjà une maturité.

Le site affirme seulement à la hauteur de ses artefacts.
Ce qui n’est pas lié reste à produire.
Ce qui tombe devient résidu.
Ce qui résiste devient question.