Current witness matching

Revised XVI-H, using revised XVI-E/F and current XVI-G, proves

at each frozen $\lambda >0$ for every real smooth scalar evaluated there. It also proves the partial kernel contraction

The obsolete claim that this equality is unproved is not retained XVIH,XVIE,XVIF,XVIG.

The smooth density $j_{\lambda }$ is a partial tensor evaluation, not the full kernel and not the two-edge graph defined below.