Assumption: Supplier access

The source systems are delivered without an exported source-component label and without a token containing the exact unknown value of $\theta$. Source purifications remain supplier-side. Fresh trial inputs have the stated independent preparation law when a fixed-shot theorem is invoked.