Proposition: A sufficient independence test

If both limits exist and, on each compact $L⋐U$,

then the limits are equal. If compatible local limits agree on all overlaps, they glue uniquely to a distribution on the covered domain.

Proof. Take the limit in the comparison estimate. Overlap agreement gives distributional gluing by applying a partition of unity to tests; independence of the partition follows from the agreement.