A complete finite teleportation interface

This is a standard engineered use of supplied entanglement and classical communication BennettEtAl. It is not a consequence of the oracle-synthesis claim.

If the logical synthesis channel is inserted at one endpoint, Theorem thm:transport applies to the resulting task channel after all teleportation, record, and implementation allowances are charged. The classical record is independent in the ideal comparison, but record independence alone would not prove payload preservation.