Outer native inverse kernel
Abstract
FourFieldMiddleInverseKernel
The three native binomial inverses expand U+STU, U and TU. Exact finite convolutions reindex the first power Q as H+M, deriving the four outer indices. The N3 balanced kernel is reused by the coefficient theorem.