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

Back to manuscript

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

Nearby in this section