Audit · source de vérité
Registre F0
Cette page est une vue du registre des affirmations du programme. Chaque énoncé fort y porte son statut épistémique, son support (artefact disponible), sa maturité artefactuelle, et la mention de ce qui manque. L’écart entre ce qui est affirmé et ce qui est relié est rendu public, sans détour.
État réel au 5 juin 2026. Les 7 artefacts liés sont des références externes publiques — non des preuves du programme. Aucun résultat interne n’est encore relié à un artefact public ; ces chiffres sont faits pour bouger dès qu’un dépôt est publié.
Maturité du site = couverture artefactuelle + dette rendue visible + dépromotions exploitées.
Maturité artefactuelle & états de support
partiel artefact partiel, preuve incomplète
à vérifier annoncé, non audité
à produire aucun support public
dépromu claim tombé, avec résidu
Principaux claims
Tant qu’un artefact public ne les relie pas, les résultats finis du programme restent à vérifier et portent le marqueur claim > support. C’est l’asymétrie assumée, pas masquée.
| Claim | Statut | Support | Mat. | Manque |
|---|---|---|---|---|
| Borne KLMN — H1 fermée (‖M‖HS ≤ 0,8495 < 1) | [D] | à vérifier claim>support | M1 | preuve écrite ; dépôt Lean à publier |
| Trichotomie spectrale Spec(T_C) = {3, 1, −1} | [D] | à vérifier claim>support | M2 | Lean compilé localement ; build public requis |
| Classification 63/255 (spectre de Cayley entier) | [D] | à vérifier claim>support | M2 | commit + log CI requis |
| Résonance A.4 — dominance 3/5, χ = Legendre mod 5 | [D] | à vérifier claim>support | M2 | commit + log CI requis |
| Classification G₃₀ — 24 type Q / 32 type C ; type Q ⟺ fibre quadratique | [D] | à vérifier claim>support | M2 | commit + log CI requis |
| C-031 — obstruction de Dirichlet (supports disjoints) | [D-papier] | à vérifier claim>support | M1 | note argumentée ; formalisation Lean idéale |
| Quality Pack InterIA | — | à produire | M0 | aucune preuve publique |
| Références recherche 2026 (corpus externe) | [T] | lié | M3 | sources publiques (arXiv, Nature…) |
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⁷.
Ce qui n’est pas lié reste à produire.
Ce qui tombe devient résidu.
Ce qui résiste devient question.
Vue du registre F0 · dernière vérification 5 juin 2026 · RHClaimed = false.