Manuscript XIX-D@1 · XIX-D.tex · definition · 1f47e33b
Definition: Declared quantum target
Four objects and a precisely typed quantum audit › A certificate is more than a formula · lines 291–307
XIX-D@1#def:target
A declared quantum target specifies:
its classical configuration or equation space, background, observable prescription, and gauge conventions;
its quantum field content, graded test spaces, contraction data, and operator or functional domain;
the coupling and orders retained;
the products, extensions, normalization conditions, and counterterm freedom permitted at those orders;
the identity, expectation, or limit that is actually requested.
An external-source response, a bulk two-point identity, a relational composite, and a complete measurement instrument are different targets unless comparison maps identify them.