A reference-preserving conversion of locality bounds

For a usual finite-range locality estimate of the form

the lemma gives an explicit prescription to choose $L$ after a finite observation interval is fixed. The constants belong to the stated interaction and may depend on $n,\mathbf{J},\mathbf{g}$. No uniform large-$n$ control is inferred merely from fixed-$n$ existence.