M03-v2 second audit: no new mathematical gap identified.
The physical Nambu mixing acts on the full2N jump list and is unitary, so it
preserves the actual dissipator. It is not a change of the allowed generator.
The real-matrix assumption is essential to the written P_+c+P_-c^dagger CAR
identity and is present in the original. Positive and negative bands imply
N>=2, which justifies absorbing the fixed trace-distance prefactor into logN.

Odd jump localization uses K gamma_i, an even observable, before applying
the local expectation. The resulting odd approximant preserves the free
jump and has volume-independent tails. The two locality factors in kappa
are the support size and the number of centers containing a fixed site;
both are polynomial and summable against the stated stretched-exponential
tail. Uniform smallness follows by a fixed-radius split followed by lambda
small, not by bounding the extensive norm of V.

The inhomogeneous oscillator evolution uses the actual sum of all site
Lindbladians except i, a contractive unital CP generator, and the omitted
free site supplies damping1 or1/2. All nonlocal tails are charged to the
forcing. Ground-state darkness requires fhat(0)=0; integrability of f makes
fhat continuous and the source's zero nonnegative-frequency branch includes
zero. Contraction on even states then forces a unique parity-eigenstate
ground vector; purity upgrades stationary uniqueness to the full state space.
The old locality-interface.txt ends with a historically partial status; the
complete proof.txt supersedes that status. Candidate v3 should label this
dependency status explicitly, without overwriting the original R01 record.
