Manuscript XVI-O1-ST@5 · XVI-O1-ST-v5.tex · proposition · dd45e0d1
Proposition: No universal return and no record-only residual
Complete destructive report instruments · lines 564–578 · proof included or linked
XVI-O1-ST@5#prop:noreturn
The report instrument has no universal left inverse. Its classical marginal does not determine its surviving quantum state.
Proof. The distinct coherent clock states , tensored with the same laboratory state, have identical outputs. Also, and , with , have the same deterministic record and different residuals.