Manuscript IV-B@1 · IV-B-v1.tex · proposition · dfb66408
Proposition: Fixed-event calibration
The same-model dictionary and Ramsey–Enter composition › Named factors and the three maps · lines 1632–1642 · proof included or linked
IV-B@1#prop:event
If a clock is read at one fixed event , and almost surely with injective , then is deterministic.
Proof. At most one has . Every other outcome must have probability zero.