Complete identity, references, and consumption

Conditional reference states can be steered by conditioning. Equation (eq:drop-record) asserts invariance of the unconditional surviving marginal, not of every normalized branch.

The identity is the finite instrument comparison emphasized in En09-A CheungEn09; here it has been proved for the retained possibly infinite-dimensional $X$.