Homogeneity, inventory, and the finite graded span

The inventory is not a basis. For example, (eq:trace) is a constant-coefficient relation within ${\mathcal{H}}_6$. No independence claim for the other spanning kernels is required below. The scaling bounds are numerical-kernel bounds, not a sharp scaling-degree statement for the complete decorated sum or the root-attached functional.