Bookkeeping and complete summation

If a rowwise certificate has independently been proved, rows can be collected into one common distributional germ:

Missing chain entries are handled by first collecting the full distribution of each degree and forming its chain.

The conclusion depends on the resulting complete ${A_{\lambda ,k}}^{\rho }$, not on the nonvanishing of one $H_{\lambda ,j;b,v}$. In particular the two tensor products in (eq:C) remain part of the complete summation.