Conditional unknown-strategy transfer

The primary results use specified Born semantics. A conditional transfer can be made only after purifying and globally accounting for the complete experiment, including the remnant, reference, and undelivered carriers.

Under En02-A's admissibility and global diagonal-faithfulness hypotheses, its outcome-rigidity theorem and projective-update corollary apply when each readout of $s$ factors from a global $g$-qubit state satisfies

Induction then transfers that finite programme's histories and positive residuals to specified Born execution.

This global record budget is not the laboratory peak two or the Hayden–Preskill ledger $b+d+2k$. No unrestricted finite-capacity uniqueness claim is added.