Pre-event, transition, and post-event composition

This certificate does not require the graph of cell incidence to remain fixed. It requires the registers, routes, and causal port relation to remain specified. A new graph edge cannot be used as an instantaneous communication link merely because a geometric cell has been born.