Voie local-primaire ouverte sous verrous (voir mise à jour §D).
Composite
Ce nombre a son théâtre : à la Douane, la valise dorée « GREEN sur 10⁹ tests » se fait tamponner FT-007 — les gaussiennes peuvent se gausser, elles ne sont pas toutes les fonctions.
⋯⋯
———
———
⋯┄┄
Vous vous situez entre le prouvé (départ) et l’ouvert (l’horizon). Le dernier tronçon n’est pas construit — la méthode ne prétend pas y être arrivée.
Pourquoi cette pièce
La mesure opposable de la distance de Beurling–Nyman mod 30 : reproductible au bit près, résidu corrigé décroissant (0,408 → 0,281), conditionnement croissant. Trace visible, jamais densité (FT-057) ; RHClaimed = false.
P8-GRAM — la mesure opposable : la distance de Beurling–Nyman du système mod 30, calculée comme un artefact reproductible (code, paramètres, sorties sauvegardées, diagnostics de conditionnement, protocole, voies de récusation). Elle satisfait l’exigence FT-056. Elle montre une trace numérique — jamais une densité.
qu’un calcul assisté peut être rendu recevable : reproduction indépendante exacte, variation sous la taille N de la famille, conditionnement suivi. Le résidu corrigé (correction eulérienne mod 30) décroît quand la famille grandit.
ni la densité de Beurling–Nyman, ni RH. Une décroissance sur trois points ne détermine pas la limite ; et le conditionnement croît, ce qui borne la fiabilité avant qu’on puisse trancher.
On mesure la distance de 𝟙₍₀,₁₎ au sous-espace engendré par les ρ_{1/n}(t) = {t/n}, n copremier à 30, n ≤ N. Le second membre est en forme close exacte ; la matrice de Gram est exacte par morceaux, tronquée à T ; la résolution est un moindres carrés. Deux variantes : brute et corrigée (recombinaison de Möbius sur les diviseurs de 30 — la « correction eulérienne »).
Reproduction indépendante (environnement neuf) de la ligne de référence N = 300, T = 8000 : identique au bit près. Variation sous N (T = 8000), résidu corrigé et conditionnement :
Le résidu corrigé décroît avec N ; le conditionnement croît d’un ordre. Les deux tendances jouent l’une contre l’autre — c’est le nœud honnête, et il n’est pas tranché.
Pousser N (400, 600, 800…) testerait si le résidu continue de décroître ou plafonne. Mais le conditionnement de la Gram corrigée franchit tôt les seuils où le moindres carrés cesse d’être fiable : le mur numérique arrive avant la décision. C’est pourquoi le statut reste pilote, et pourquoi la fiche donne les voies de récusation plutôt qu’une conclusion.