Stage B: the encoding-independent orbit obstruction

A randomized preparation is also covered once its complete state-valued encoding, including any returned preparation label, is specified as a function of $a$. An extra side channel not determined by $a$ changes the input contract and must be declared.