Remark: The context restriction is necessary

Equation (eq:recordequivalence) permits deferred canonical readout of the record after the measured factor has been made inaccessible and the record is used only through basis-diagonal classical controls and readout. It is not an equivalence with an unrestricted coherent context that may access $S$, erase $K$, or interfere different record branches.