Manuscript VIII-ST@1 · VIII-ST.tex · proposition · fe979f3b
Proposition: Calibration and clock limits
One destructive clock and complete table instruments · lines 1876–1904 · proof included or linked
VIII-ST@1#prop:clocklimits
For distinct labels , exact event-time calibration at a single actual reading event ,
forces one deterministic outcome, or is impossible if no label equals .
A history/programme calibration may instead label different stored events or schedules and need not equal the reading-event time.
The clock instrument has no universal left inverse. No finite matrices satisfy , . Consuming does not consume the geometric time coordinate.
Proof. Distinctness permits at most one event-calibrated outcome. For noninvertibility, the two clock states , with the same payload, have identical destructive outputs. The commutator assertion follows by tracing the equation. The metric and are external data, not output factors removed by .
Displayed formulas in this passage
unlabeled · line 1880