The quantum-inequality wall bound rests on assumptions a real configuration could target, and the corpus names them: the Ford-Roman inequality is derived for a free, minimally-coupled, massless scalar field on a locally-flat patch. Fewster's lectures show the bound is not universal — a NON-minimally coupled scalar has stress-energy whose extra terms are 'not of the sum of squares form', so 'even NEC can be violated', and no quantum energy inequality exists at all for smearings over spacelike surfaces. So the honest statement is not 'the QI forbids warp drive' but 'the QI as applied by Pfenning-Ford forbids it for a minimally-coupled scalar sampled along a timelike worldline'; a non-minimal coupling or a genuinely different field content is the specific, named place an escape would have to live.

Ran four attacks. (A2-style chain check) Wrote verify_quotes.py in scratch: sha256 of corpus/S-0016/fulltext.md = 13bf911f2141... matches all three evidence records' against_canonical_sha256, and all three quotes (E-0038 @8572, E-0039 @43019, E-0040 @8497) sit exactly at their recorded char_offsets with matching flanking contexts — no chain break. (A3, primary) Compared the claim text against the quoted spans plus their surrounding canonical text. Found the two strongest overreach candidates: (1) the same source's 'Other directions — Nonminimal coupling' subsection (chars ~68268-71000) states that state-dependent QEI bounds DO exist for the non-minimally coupled field and that sustained negative energy 'only occurs when disproportionately large positive energies are available' — i.e. the named escape is already partially constrained; (2) immediately after E-0039's span the source says QEIs nonetheless exist for the free Dirac field despite classically unbounded-below energy density, and for spin-1 fields, undercutting 'genuinely different field content' as an open escape among standard free fields. Both attacks failed to flip the truth value: the claim only LOCATES where an escape would have to live, its regime block explicitly excludes delivery claims ('unproven and unpriced'), 'the bound is not universal' is verbatim-supported ('One cannot expect state-independent QEIs to hold; as mentioned, these can even fail in the nonminimally coupled theory', char ~71694), and sibling claim C-0027 (depends_on: C-0024, evidence E-0045..E-0049 from S-0019/S-0020) explicitly prices the escape at both the QEI level (Fewster-Osterbrink state-dependent bound, 0<xi<=1/4) and the ANEC/EFT level — the ledger's division of labor anticipated exactly this attack. (A1) Live search confirmed Fewster & Osterbrink, arXiv:0708.2450 / J.Phys.A 41:025402 (identifiers copied from the arXiv result page): energy-density averages unbounded below over Hadamard states for 0<xi<=1/4 with only a state-dependent QEI surviving — this CONFIRMS 'the bound is not universal' rather than contradicting it; a second search found no warp-specific pricing of a non-minimally coupled configuration, so the regime's 'unproven and unpriced' stands. (A4) Tried to construct an in-regime counterexample via 2D: the claim's 'no quantum energy inequality exists at all for smearings over spacelike surfaces' drops the source's '(certainly above 2-dimensions)' qualifier, and spatially averaged QIs do exist in 2D — but the regime assumption imports the statement 'as stated there' and the warp application is 4D, so this is a wording defect, not a break. || FINDINGS: Key verifications: sha256(S-0016/fulltext.md)=13bf911f214168b29664ad1a352d92f83fd5c5b89fde57010f7b5e9fc2c864c5 matches all three evidence records; quotes exact at offsets 8572/43019/8497. Supporting spans in S-0016: 'so this theory obeys WEC due to the sum of squares form' (classical minimal scalar, ~8400); 'One cannot expect state-independent QEIs to hold; as mentioned, these can even fail in the nonminimally coupled theory' (~71694) — directly supports 'the bound is not universal'; 'The argument above... relies on classical positivity of the quantity in question' (E-0039 context) — legitimates the claim's bridge from sum-of-squares failure to bound failure. Counter-pressure found and absorbed: S-0016 ~70509 'one can establish QEI bounds for the nonminimally coupled field that are state-dependent... production of sustained negative energy densities only occurs when disproportionately large positive energies are available'; S-0016 ~43455 QEIs exist for free Dirac field despite failed classical positivity. Ledger network: C-0027 (depends_on C-0024) prices the escape via S-0019 (arXiv:0708.2450, in corpus) and S-0020 (arXiv:2309.10848, in corpus); S-0007 (Pfenning-Ford gr-qc/9702026) in corpus with evidence E-0013..E-0016/E-0029 on other claims. Live literature (arXiv:0708.2450 abstract) confirms: unbounded be