Configurations and complete control

This concerns the entire specification, not only one displayed source expectation. It is the local control discipline needed for the comparisons with CheungVIIE,CheungVIIG.

An exact incidence clock and a rounded length report are different inputs. A $G$-guard uses its declared exact clock. It may not substitute a zero rounded report or read occupancy without changing the interface.