Manuscript XX-C@1 · XX-C.tex · section · 7a8cab37
What compact testing does supply
Covariance tails, coordinate pullback, and failure of unconditional infrared control › What compact testing does supply · lines 1245–1257
Condition (eq:IR) is a sufficient infrared condition, not a consequence of being Hadamard. A weaker weighted domain may suffice, but it must be specified with the required derivative and moment bounds before it replaces (eq:IR).
There is no assertion that the XX-B class has been normalized to satisfy this condition. Theorem thm:conditional is therefore not the missing unconditional native covariance theorem.