Manuscript III-B@1 · III-B-v1.tex · proposition · d2c98f62
Proposition: Exact event-time calibration is deterministic
The time, rod, and causal dictionaries › Four compact classical reading regions · lines 1707–1722 · proof included or linked
III-B@1#prop:deterministic
At one fixed event and with distinct , exact event-time calibration permits at most one supported outcome. If no , no normalized exactly calibrated input exists.
Proof. At most one code has the required coordinate. Normalization forces its probability to be one. For a state and the complementary projector ,
forces support in that single clock subspace.
Displayed formulas in this passage
unlabeled · line 1718