- D‖F_p‖² ∼ p^{-5} (calcul fini)
- Msignature locale de la borne KLMN ‖M‖_HS ≤ 0,8495
Ce que cela montre
que les défauts décroissent vite — accumulation perturbativement contrôlable (Σ ρ_p < ∞).
Ce que cela ne prouve pas
la convergence du pont global.
◆ Face Objet — le terrain mathématiquevous êtes ici · résultat démontré [D]
◆ Face Méthode — la discipline →le code de conduite · tenue ouverte [O]
◆ Face Méthode — la discipline →le code de conduite · tenue ouverte [O]
Sur le terrain d’essai — du prouvé vers l’ouvert
◉Départle socle prouvé[D]
⋯⋯
○KLMNétape d’avant[C]
———
●DefectNormvous êtes ici[D]
———
○Route Cétape d’après[O]
⋯┄┄
◎Arrivéehorizon ζ — non atteint[O]
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
Elle borne la taille des défauts locaux (‖F_p‖² ∼ p⁻⁵) : leur accumulation reste finie (Σ ρ_p < ∞), une condition nécessaire pour tenter le pont. Elle ne prouve pas que le pont tient.