States, instruments, and matched devices

This explicit construction closes the observable-compatibility target for its stated refinement class, rather than leaving Stage H as a name. It does not enlarge the scope of the continuum hypotheses in the supplied manuscripts.