Residual identification by future tests

The test unitary may be selected separately for each fixed branch. Each individual experiment still has a continuation independent of its first outcome. Equality of the joint reported laws permits conditioning on that outcome after the experiment. No single unitary must map all conditional vectors to one vector.