Manuscript IX-A@1 · IX-A.tex · section · 55aa6f6d
A nonzero boundary trace for every nonzero smearing
The compatibility boundary: regular approximation is not admission › A nonzero boundary trace for every nonzero smearing · lines 1217–1223
The sign in (eq:witness-positive) uses . Copying the witness sign from the opposite signature without recomputing the advanced moment would be incorrect.