Manuscript VII-F-ST@1 · VII-F-ST.tex · proposition · 9eee7a44
Proposition: Event-time and history-label calibration
Finite destructive clock and an exact evaluation table › Calibration is not singular acquisition · lines 1334–1353 · proof included or linked
VII-F-ST@1#prop:calibration
At one actual readout event , exact event-time matching
with distinct permits at most one outcome. If equals no , no normalized preparation satisfies that matching rule.
By contrast, a multi-outcome history experiment can be read at one later fixed event and interpreted through the separate history dictionary.
Proof. There is at most one label equal to , and probabilities sum to one. The history interpretation makes no equality claim between every and the one apparatus coordinate.
Displayed formulas in this passage
unlabeled · line 1337