Manuscript XX-E@1 · XX-E.tex · definition · cf7a8f40
Definition: Native prerequisite package
Target, numbering, and the missing application data › The exact absent successor package · lines 222–246
XX-E@1#def:package
For the requested quantum Q4–Q5 application, a native prerequisite package must specify:
an actual normalized covariance representative, not only its Hadamard class;
proved infrared and product estimates for the native insertion and every operation used by the proposed Ward transformation;
the admitted insertion, its output space, normalization, and allowed contact images;
the treatment of the second jets: prescribed transforming classical parameters or constructed quantum responses;
a quantum Ward operation on that same domain, with its action on field relations, products, normalizations, and any subsidiary defect;
the complete contribution inventory at the claimed perturbative and quantum orders.
A particular product involving two noncompact rod legs additionally needs the relevant two-endpoint covariance domain.