Manuscript En06-A@1 · En06-A.tex · proposition · e04c9892
Proposition: Common-final-tick obstruction
The five-part transport proposal and its exact boundary › Why the literal source covariance cannot be retained · lines 1597–1617 · proof included or linked
En06-A@1#prop:simultaneous
The limit class defined literally in TRANSPORT, whose designated readouts all occur at one final tick, is not closed under boosts. This fails already for two independent deterministic readouts.
Proof. Every realizing family in that class has one acquisition time for every designated readout. If two readout events converge, their limiting time coordinates must therefore agree.
Two singleton deterministic readouts at and , , are realizable, with law . A boost of nonzero velocity in direction gives time coordinates and , which differ. The transformed object has no realizing family satisfying the common-final-tick definition.