Remark: Effect and instrument budgets remain different

Lemma lem:povm controls classical probabilities. A guarantee about residual states, untouched-reference outputs, or subsequent adaptive experiments requires a complete instrument comparison. Neither a one-particle seminorm bound nor a list of effect expectations automatically supplies it. This retains the boundaries of Em06-B and Em03-D CEm06B,CEm03D.