Finite programs and complete selective maps

The parent class with at most four live qubits is a subclass of this interface XEnter. The proofs here hold for every fixed finite instrument. Additional task clocks, route registers, or payloads are charged separately; their attachment does not preserve an unqualified four-qubit total budget.