What is uniquely selected here

The uniquely selected object in this statement is an arrival-time function inside the declared model. It is not an unrestricted uniqueness theorem for continuum evolutions.

The supplied XIX-C example exhibits different refinement choices with a common coarse channel but different limiting evolutions; its interpolation statement likewise prevents finitely many readings from selecting an unprescribed interpolation CheungXIXC (Propositions prop:two-limits and prop:interpolation). Here the refinement, calibration, rounding map, comparison interface, and route rule are fixed before the limit.