Complete protocol law

Let ${\Phi }_{1:3,h,i}$ denote preparation including the setting's free-stage duration, ${\mathcal{I}}_{4,h}(\mathrm{d}z)$ the finite split instrument, and ${\Phi }_{5:6,h,z}$ later record-conditioned propagation. Let ${\mathcal{I}}_{7,h,z}(\mathrm{d}y)$ be finite final sensing and let a common electronic map produce a detector outcome $b$. The complete law includes

together with cooling flags, rejected split records, and failures.

Accepted blocks are propagated unnormalized. A rejected record is not removed from the attempted-run sample. Later trace-preserving dynamics cannot change the already recorded split marginal. The constructive statistic below may therefore ignore final outcomes without pretending that the final sensing instrument is common at the input of its finite interaction.