Manuscript Em01-F@3 · Em01-F-v3.tex · section · 225e59af
Complete sum before a verdict
The preliminary bound and the exact analytic target › Complete sum before a verdict · lines 3021–3042
At any candidate singular scale, the coefficient must be collected from all contributing rows, tensor components, root terms, and vertex terms before cancellation or divergence is declared.
The specialization is not admissible here: the advanced root condition gives when . It can only be a separately declared diagnostic model, not a detecting test for this application.
A moving-frequency witness is also insufficient. For example,
gives , although the constant family converges strongly. The moving tests are not a bounded test family.
Displayed formulas in this passage
unlabeled · line 3033