Definition: Sequential evaporation interface

At a finite sequence of cuts, let

be emission isometries. Previously emitted systems are retained. The initial code embedding, early resource, and fixed purified auxiliaries are specified. Their composition produces an isometry $W:C\to A\otimes B$ as in Definition def:completeoutput.