Manuscript X-L-ST@1 · X-L-ST.tex · proposition · 20a32a22
Proposition: No universal clock return
Recovery of complete residual-report instruments › Report compatibility is weaker than residual compatibility · lines 1697–1713 · proof included or linked
X-L-ST@1#prop:noreturn
The destructive channel has no left inverse on the full clock input space.
Proof. With the same surviving input, the distinct clock states
have identical outputs. No fixed left inverse can recover both.
Displayed formulas in this passage
unlabeled · line 1706