The Fell-Heisenberg positive-energy result is narrower than its abstract: positivity is proven for the Eulerian energy density only, within a restricted ansatz. On the full WEC their text states both halves in consecutive sentences, and both must be carried together: 'No amount of modification to the configuration could get rid of these WEC-violating regions' — immediately followed by — 'it may still be possible to satisfy the WEC in the presented configurations too, given sufficient modifications', conditional on another cited configuration's claimed WEC compliance. The paper concedes present WEC violation while leaving a conditional door open; it does not lift the negative-energy requirement for a superluminal jump today, and it does not close it forever.
What it rests on
Attacks run against it
Four-vector attack. A3 (main): every quoted span re-verified byte-for-byte at ledger offsets (all EXACT); E-0025 (offset 27040) and E-0030 (offset 27133) are separated by exactly one space, so 'consecutive sentences' is literally true; the stripped citation in the conditional sentence resolved via body.tex line 403 to \cite{lentz_breaking_2020}, confirming 'another cited configuration' is external (Lentz 2020); grep of the fulltext for any positivity statement broader than Eulerian ('all observers', 'any observer', 'all frames') finds only the paper's own WEC definition; the abstract names 'Eulerian energy' three times, says 'within a certain subclass', omits the frame qualifier in its operative positivity sentences and never mentions the Sec 3.2 WEC violation — 'narrower than its abstract' holds. A2: compute/fh_ssv_identity.py re-run (both identities 0) plus an independent eigenvalue-route check (compute/redteam_x0025/independent_check.py): 8*pi*rho = h1+h2+h3 to 4.2e-14 max relative error over 2000 random symmetric Hessians. A1: live arXiv abs page for 2104.06488 still v4 (2021-08-09), no withdrawal/erratum — the quoted concession sentences are the text of record. A4: regime assumptions match body.tex line 174 (time-independent shift, unit lapse, identity induced metric) and lines 241-268 (irrotational sector) exactly; invalid_outside correctly fences full-WEC statements. No vector produced a break.