Preservation criteria and the complete complement

distinct initial-state scopes. A formation-code statement preserves all variable states admitted by a declared initial code subspace of the regulated source. An injected-message statement preserves a message introduced into a separately specified source and early-radiation preparation. The construction below is a formation-code construction with fixed ancillaries. It does not claim preservation of arbitrary states of its entire enlarged ambient source Hilbert space.