Complete branches and approximation budgets

If the flag is retained, the target must specify its ideal output law and the channel distance must be recomputed on that larger output space. Conditional success normalization can also be nonlinear when success depends on the input; it is not then a channel replacement for the complete instrument.