Equal shape is not equal functional

VI's formal smearing is

Its first coefficient is

The source records descend this expression on the named solution-jet quotient CheungVI (:descent).

The prepared witness completion instead has the shape

on its own completion domain CheungXVID,CheungXVIB. A common integrand shape does not identify the metric argument, coordinate field, scalar response, smearing convention, or equation space.