The first scalar slot of the completed kernel

Consequently, the first scalar slot of a completed tree is bounded by $O_f$, not necessarily by $K_f$. Replacing the too-small bound by (eq:Dsupport) preserves the relevant compactness arguments. It does not change the affine-slot or direct plateau identities.

In this paper X-F's direct polynomial background identity is used as a prior premise, with this support correction. The unavailable earlier manuscripts are not presented as independently verified proofs.