Requirement: Frozen application data

Before constructing an interacting coefficient, specify:

1. the action, density representatives, field parametrization, gauge fixing, graded signs, and inverse normalization;

2. the background, equations, configuration domains, initial or final data, and gauge-parameter support class;

3. one preparation prescription, a fixed $\epsilon >0$, its switch ${\sigma }_{\epsilon }$, and the compact observation smearing;

4. the quantum two-point product data and their transport, separately from the physical state;

5. the bare relational observable and its complete expansion;

6. interaction switches and perturbative-order conventions;

7. the output space, topology, equation quotient, and any representation domain;

8. admissible bulk, insertion, preparation, and switch counterterms, with their coherence and descent relations;

9. the exact symmetry identity and its normalization conditions;

10. any ultraviolet regularization, cutoff-removal limit, and intended observable-level matching theorem.

A measurement claim also requires the separately specified instrument and surviving-output interface of def:targets.