Vue d’ensemble
La version 2.0.1 de W1 retire son ancienne preuve d’une limite positive commune [H-w] pour les poids d’admissibilité de Q5a. L’ancien argument utilisait une estimation relative de profil jamais établie par U1 et assimilait les moyennes des réponses d’empreintes de Q5a à des sommes de capacités de couches sans pont démontré. La version 2.0 de U1 retire également son ancienne estimation absolue.
La fenêtre d’ajustement des cinq blocs est bornée par la profondeur 22 pour les nombres premiers assez grands. L’ancienne cible définie par une somme infinie et l’argument de queue ne découlent donc pas de cette fenêtre. Cela ne réfute pas [H-w] : il faut encore démontrer une limite pour les véritables poids de Q5a.
Portée des résultats conservés
Le théorème 4 borne un proxy distinct de sommes partielles, sous une estimation relative de profil et une application générateur–caractère fournies. Le lemme 6 donne une cible à profondeur 22 pour un profil fourni si la coupure calibrée considérée converge vers 22. Le corollaire 7 énonce l’estimation supplémentaire reliant ce proxy aux réponses de Q5a, nécessaire pour déduire une limite commune des véritables poids. Ni O25, ni Q5a, ni U1 n’établissent ces prémisses manquantes.
O25 rapporte des ajustements d’exposants sur un nombre fini de premiers, notamment la valeur historique 7,44 pour une paire et la valeur globale brute 7,61 à q = 601 ; il ne détermine pas d’exposant asymptotique. Ces ajustements ne fournissent pas de majorant global sommable pour un profil limite.
Position dans le programme
La version 2.23 du registre consigne le retrait de la preuve et maintient ouvertes les deux hypothèses de poids de Q5a. La version 2.0.1 de Q10 ne dérive aucune valeur de coefficient, et la version 2.0 de Q11, qui n'utilise plus [H-w], montre que l'invariance $\mathrm{SU}(2)$ spatiale laisse libre le coefficient temporel ; W1 ne fournit ni un pont manquant vers les poids ni un coefficient universel.
Référence
Jérôme Beau. What Weight Stabilisation Would Require: A Finite-Window Audit of Admissibility Weights, version 2.0.1, 2026. doi:10.5281/zenodo.19886319