Purpose and scope

The selected route permits individual symbols only after their relations, orders, and bundles have been named. The following audit does that for two elementary factors of the retained numerical incidence.

It does not assign a symbol to the complete regrouped coefficient. It does not evaluate a singular graph at a point and does not add separate branch numerators.

We retain the original temporal numerical factors only for this pullback diagnostic. The full fiber coefficient and every other retained branch remain outside its conclusion.

Write $F_{\mu }$ for the frozen scalar time-ordered numerical line of mass $\mu$, with its fixed nonzero fiber constants separated. Consider, on $W$,

Smooth inherited weights may be included. The statements about ellipticity below concern the retained open region where those weights are nonzero.

The two products defining $U$ and $V$ will be justified individually. Their further multiplication is not assumed.