Typed hybrid evolution and the two notions of time

The relational label $t_k$ and the external operational schedule parameter $s$ have different roles. The former labels a conditional state extracted from one preparation. The latter locates preparation, readout, and later operations in a declared experiment.