Portefeuille public et catalogue historique

Le tableau détaillé ci-dessous est un catalogue d’objets et de pistes. Il ne constitue pas une démonstration globale ni une mesure d’avancement vers RH.

Les publications actuellement diffusées sont les vérifications finies v1.0.0, HOL-01 v1.1.1 limité à p=7 et le paquet de traçabilité humain–IA v1.1.0. Voir les références et limites de chaque ensemble.

Le nombre de fiches du catalogue et le nombre de revendications du registre sont deux indicateurs différents. Chaque compteur est associé à son jeu de données, à sa date et à son périmètre. Un statut [D] sur une facette n’étend pas ce statut aux autres facettes de la fiche.

É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
79
items au total
41
portent du [D] démontré
35
avec une facette [O] ouverte
17
avec un négatif [F] corrigé

Maturité du chantier

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

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

41
[D]
Démontré
30
[M]
Mesuré
13
[C]
Conditionnel
35
[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 · 10 items
D
M 		Instrument d’observation — L'Horloge de Couret expérimental
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 · 10 items
O Présentation audio — Les Reliefs arithmétiques méditatif
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.