Theorem: Complete seven-row leading assembly

The expansion (eq:main-expansion) and remainder bound (eq:main-remainder) hold with coefficient (eq:Cseven). In particular,

The coefficient is a finite-order distribution on arbitrary localized joint tests, including tests crossing $N$.

Proof. Add Proposition prop:six and Theorem thm:5z. The first-component inverse-scale term is lower order and remains inside the $O({\delta }^{-2})$ remainder. Theorem thm:tip-cancellation gives the second form of the coefficient. Every formula uses compact segment or cone-measure integration of finite ambient test jets, so it defines a continuous distribution.