Finite local instruments and typed records

Coherent recording itself is not a classical-record channel. The output types above differ. Arbitrary later interactions with the retained measured factor, carrier, or outcome-dependent feedback require additional hypotheses.