Assumption: Observable-level continuum matching

The application supplies:

1. specified cutoff theories, physical states or representations, and complete prepared observables;

2. interpretation- and access-preserving comparison maps placing the observables in one $E_{\mathrm{out}}$;

3. convergence $F_{\Lambda }\to F_{\infty }$ in that topology as ${\Lambda }_{\mathrm{UV}}\to \infty$;

4. a continuous target symmetry map $Q:E_{\mathrm{out}}\to Y$ and transported defects $A_{\Lambda }$ with

   $$A_{\Lambda }\to 0,Q{F}_{\Lambda }-A_{\Lambda }\to 0;$$

5. a low-energy comparison with an independently constructed prepared EFT observable, including the density-weighting residual, all preparation and switch derivatives, propagated layer data, and both required completion legs, with a controlled truncation remainder;

6. a theorem fixing independent physical parameters and any independent observable calibrations.

If a physical record is compared, the instrument and its observable comparison must additionally be specified. Matching the bulk action alone does not discharge U5.