Complete binary instruments and quantitative transfer

All Hilbert spaces are complex and separable. Instruments act on trace-class operators; their adjoints act normally on bounded operators. Inner products are antilinear in the first entry. We use $\hslash =1$ in the represented models.