Manuscript IX-A-ST@1 · IX-A-ST.tex · proposition · 6e99d1b2
Proposition: Calibration and clock limits
Finite evaluation tables and one destructive clock › Complete clock instrument · lines 1479–1504 · proof included or linked
IX-A-ST@1#prop:clocklimits
At one fixed actual reading event , distinct calibrated labels satisfying
permit at most one positive-probability outcome. A nontrivial multi-outcome history or programme label therefore requires a separate interpretation, not that event-time equality.
The clock channel has no universal left inverse on its full input space. No finite matrices obey for . Clock consumption does not consume , , or a spacetime dimension.
Proof. Distinct labels prove the first assertion. The two clock states , with the same payload, give identical destructive outputs, excluding a universal inverse. Tracing the commutator equation gives a contradiction. The geometric coordinates remain fixed classical inputs.
Displayed formulas in this passage
unlabeled · line 1483