Stationarity and the stronger constraint

Covariant clock observables are an established ingredient of relational quantum dynamics Trinity. Here we require only the finite sampled condition (eq:clock-covariance); we do not import an infinite-dimensional physical-inner-product or Dirac-observable construction.