Local geometric hypotheses

Corollary cor:sourceestimate replaces the bare assertion “the coefficients extend” by a precise test-function estimate. It does not prove that estimate for the actual coefficients.

In particular, the top-order requirement is a bound for

and the order-two requirement is a bound for the full difference in (eq:degree2), not merely a bound for each internal line before the cross-line traces are taken.