Exact next gate

The constant projection of the constructed word is

It is not a definition of a time-ordered map, a retarded map, or higher causal factorization.

IX-D's :nonlift is the appropriate documentary next comparison, not a premise of this manuscript IXD. A causal successor must declare its own actual domains, support conditions, normalization, overlap, and admission proofs. The present domain is not asserted to be the complete free-product domain needed by that successor.