Complete process data: the direction of implication

This is the implication supplied by Psy02-B's :process CheungPsy02B. It does not state the converse. In particular, that theorem alone is not a residual-instrument nonidentifiability theorem.

Whether equal records identify a residual map depends on the permitted future experiments and accessible output algebra. If arbitrary tomographic tests of an identified accessible residual are allowed, differences such as Example ex:equal-records are detectable. If the comparison boundary excludes those outputs or tests, record equality need not identify them.