Manuscript II-B@1 · II-B-v1.tex · proposition · bfd2eb3c
Proposition: A random reading at one event is not several event times
The three dictionaries and calibration › Record-to-label map · lines 1427–1444 · proof included or linked
II-B@1#prop:fixed-event
Exact event-time calibration at a fixed event, with distinct , forces a deterministic outcome. If no , no normalized exactly calibrated input exists.
Proof. At most one index can satisfy . Calibration and normalization force . For , positivity gives
Thus . The converse is immediate.
Displayed formulas in this passage
unlabeled · line 1438