Shared finite clock, certificates, and regular transport

The construction in this section may be instantiated with any one of the three stage tags

One finite experiment has one clock factor. A stage tag is classical programme data, not an additional geometric time coordinate.