Manuscript XIX-C@1 · XIX-C.tex · section · 98b067d9
A destructive record is not its residual state
Records, residual source functionals, and token acquisition › A destructive record is not its residual state · lines 479–486
The proposition does not say that no restricted preparation class can make a residual functional record-determined. It excludes the unrestricted inference from equality of records alone. Inaccessible spectators and their correlations must not be silently discarded when the source functional depends on them.