Definition: Calibrated source experiment

A source experiment of resolution $\epsilon >0$ has tick duration $\tau =\epsilon /c$. At each tick, its active blocks are singletons or pairs $\{x,y\}$ with ${\Vert x-y\Vert }_2\le \epsilon$, completed by identity blocks.

The closed footprint of a block firing during $[k\tau ,(k+1)\tau ]$ is

For a singleton, $\mathrm{conv}(B)$ is that site.

Logical registers use fixed typed output ports. Between consecutive uses they remain at their designated sites; a register transfer inside a pair block is contained in that block's footprint. All such retained segments are included in the physical support $F$. Initial and terminal port events are also included.

A report acquired by a block is acquired at that block's declared output tick and output site. Its actual acquisition event is part of the source data. The declared support is any nonempty compact $K\supseteq F$.