Manuscript VII-J-ST@1 · VII-J-ST.tex · proposition · f1f1d82c
Proposition: No universal quantum return or finite CCR
Destructive clocks, programme records, and calibration · lines 1331–1346 · proof included or linked
VII-J-ST@1#prop:clock-obstructions
The channel is not invertible on all clock inputs. Finite matrices cannot satisfy when . Consuming does not remove , , or .
Proof. The clock states , with the same payload, have identical outputs. A left inverse is impossible. Taking the trace proves the commutator assertion. The final statement follows because these geometric objects are prescribed parameters, not output factors of .