Assumption: Admitted dynamics and instruments

All propagators and sensing instruments used in a comparison are CPTP when their complete outcomes are retained. The unbounded operators have admitted realizations on the required moment domains. The moments differentiated below exist and justify the displayed adjoint-generator identities. Continuous record spaces are standard Borel spaces. Any instrument approximation is accompanied by an explicit complete-law error or a separately derived moment-error bound.