Reference values on the canonical domain

Let $U_{\mathrm{can}}\subset W$ denote an open domain on which the complete specified graph products satisfy the inherited product criteria, with their smooth weights and attachment maps. The grouped expression there is the canonical reference $t^{\mathrm{can}}$.

No equality

is asserted. Establishing a reference on the whole complement of a proposed extension locus is itself part of the missing composition problem.

Consequently an extension of “the off-characteristic product” must not be invoked before that product and its precise domain have been named.