Declared instruments and their Kraus refinements

A failure is an ordinary member of $A_v$ with a complete continuation or a complete terminal output. An unavailable preparation or rejected task must have an explicit failure convention if it belongs to the released input domain.

Adaptive control may depend on the public history. It may not depend on an unobserved Kraus label or an unknown state through an undeclared nonlinear rule.