Manuscript I-B@1 · I-B-v1.tex · proposition · 5357688f
Proposition: A record is not a residual-state certificate
What destructive clock reading does and does not do › Consumption, nonreturn, and the surviving record · lines 824–840 · proof included or linked
I-B@1#prop:record-residual
Identical clock record laws do not determine the surviving matter state, even on exactly event-calibrated inputs.
Proof. Choose orthogonal matter vectors . Both inputs
return the deterministic record . Their matter residuals are orthogonal. More generally, postcomposing every selective block with either of two different trace-preserving matter channels preserves the clock probabilities while changing the residual instrument.
Displayed formulas in this passage
unlabeled · line 832