Ograniczenie nierówności kwantowej na ścianę opiera się na założeniach, w które realna konfiguracja mogłaby celować — i korpus je wymienia: nierówność Forda-Romana jest wyprowadzona dla swobodnego, minimalnie sprzężonego, bezmasowego pola skalarnego na lokalnie płaskim płacie. Wykłady Fewstera pokazują, że ograniczenie nie jest uniwersalne — NIEminimalnie sprzężony skalar ma tensor energii-pędu, którego dodatkowe człony 'nie mają postaci sumy kwadratów', więc 'nawet NEC może być naruszony' — a dla rozmyć po powierzchniach przestrzennopodobnych żadna kwantowa nierówność energetyczna w ogóle nie istnieje. Uczciwe sformułowanie brzmi więc nie 'QI zakazuje napędu warp', lecz 'QI w zastosowaniu Pfenninga-Forda zakazuje go dla minimalnie sprzężonego skalara próbkowanego wzdłuż czasopodobnej linii świata'; sprzężenie nieminimalne albo naprawdę inna zawartość pól to konkretne, nazwane miejsce, w którym musiałaby mieszkać ucieczka.

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