Findings

For the Alcubierre metric, the energy density seen by Eulerian observers is non-positive everywhere and strictly negative wherever the shape function varies off-axis, so the weak and dominant energy conditions are violated.

Generic warp drives violate the null energy condition under plausible subsidiary conditions.

Whether warp-drive configurations necessarily violate the energy conditions is an open and actively contested question in the peer-reviewed literature, disputed continuously from 2021 through 2026; it is not settled in either direction.

For the original Alcubierre metric with the tanh shape function, the total negative energy scales as |E| ~ v_s^2 R^2 / d, where R is the bubble radius and d the wall thickness. There is no wall thickness that makes the requirement small.

A 100 m Alcubierre bubble travelling at v_s = c with a 1 mm wall requires about 3.74e32 kg of negative mass-equivalent, that is roughly 188 solar masses. The requirement is astrophysical in scale, not engineering.

The symbol r_c in Alcubierre's energy-density equation denotes the spherical radius r_s. Recomputing the density from the metric via the Hamiltonian constraint reproduces the published equation exactly, and only, under that reading.

The quantum inequality constrains the Alcubierre bubble wall to at most about 10^2 v_b Planck lengths, roughly 1.6e-33 m at light speed — about 10^-18 of a proton radius.

Under that constraint a 100 m warp bubble at light speed requires of order 10^20 galaxy masses of negative energy. Recomputing it independently from the paper's own eq. 22 and eq. 26 gives 3.47e20 galaxy masses against the 3e20 the paper states.

No energy source addresses the warp-drive requirement, because the requirement is for negative energy density and every source of energy produces positive energy. Even with the quantum inequality set aside entirely and a full 1-metre wall allowed, a 100 m bubble at light speed still needs of order a solar mass of NEGATIVE energy.

Van Den Broeck's modification reduces the total negative mass for a macroscopic warp bubble from of order 1e62 kg to of order a few solar masses (~1e30 kg) — about 32 orders of magnitude — by keeping the bubble's exterior surface microscopically small while expanding the spatial volume inside it. The author states it satisfies the Ford-Roman quantum inequality.

The strongest recent no-go result for warp drives does not cover the Van Den Broeck construction. Santiago, Schuster and Visser (2022) state that the van den Broeck spacetime 'cannot simply be dismissed out of hand' and must be addressed with different techniques, because it lies outside the Natario class their theorem treats.

Van Den Broeck's own follow-up concludes that superluminal warp bubbles are unlikely within general relativity plus quantum field theory, while stating that SUBLUMINAL bubbles remain an open possibility and that microscopic ones might even occur naturally.

For a 4-person Sol to alpha Centauri round trip, special relativity is not the obstacle — the rocket equation is. Round-trip coordinate time is 175.8/87.9/43.9 years at 0.05c/0.1c/0.2c, with crew time shorter by only 0.13/0.50/2.02 percent. At 0.2c a 1000 t ship needs, as floors, 1.25e6 kg of annihilation fuel, 1.17e10 kg of D-T at the full mass defect, or 1.08e15 kg of D-T if only charged products are steerable — the spread is driven by two-body kinematics putting 79.76 percent of the Q-value into the neutral neutron. Stopping at the target multiplies the flyby fuel by 11.4, not 2, because rapidity adds and mass ratios multiply. At 0.05c open-loop consumables alone exceed the dry mass.

Navigation to alpha Centauri A is dominated by catalogue disagreement, not by relativity: three published parallaxes for the same star imply distances spanning 4673 au, which at 0.1c is 270 days of arrival-time ambiguity — 1.7 times the 161-day relativistic clock divergence accumulated over the entire 88-year round trip. The image aimed at is also 4.4 years old on arrival. A jump-targeting computation therefore needs, in order: one adopted Gaia-grade parallax, an AB-barycentre orbit solution, and only then relativistic corrections.

Independent recomputation confirms the Type IV certification of warp-bubble walls: at v_s = 0.5 the Alcubierre wall's stress-energy carries a complex-conjugate eigenvalue pair — no rest frame, no observer-invariant energy density — over 90.6 to 99.7 percent of the wall across two sigma*R scales, bracketing S-0003's stated 87-99 percent. On the motion axis the density vanishes but an irremovable flux keeps the point Type IV. The classification is scale-stable and the Van Den Broeck f-wall is metric-identical to the Alcubierre wall, so it transfers; the VdB B-transition is Type I, as a static region must be. The energy-condition escape recorded in C-0011 is therefore closed in practice: the construction the 2022 theorem missed fails the same physical requirement by direct computation.

Targeting alpha Centauri A with the catalogue state vector extrapolated linearly misses by 24 to 35 au over coasts of 22 to 88 years from a 2026.6 departure — a planetary system's width, from geometry alone — because component A orbits the AB barycentre with a 79.91-year period and eccentricity 0.524. The full Kepler solution that removes the error costs one Newton iteration per epoch.

Independent recomputation confirms the Van Den Broeck construction IN FULL, correcting C-0013: region IV reproduces to 1% with our closed form, and — under the profile the paper does state (B = alpha(-(n-1)w^n + n w^(n-1)) + 1 with n = 80, E-0032) — the region II sign split also reproduces to 1%: -1.380e30 vs the printed -1.4e30 and +4.865e30 vs +4.9e30 kg, sign boundary w = 0.9812 vs the printed 0.981. C-0013's 'profile-dependence' finding rested on a false premise (the profile was invisible because the canonicaliser strips inline math and, at the time, the extractor missed macro-wrapped equations) and on a C^1 counterexample outside the paper's stated twice-differentiable class. Residual anomaly, unresolved: VDB's printed POINTWISE peak values appear inconsistent with his own stated profile under recomputation, even though his integrated totals reproduce.

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.

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.

The quantum-inequality obstruction to warp drive has independent corroboration in the corpus beyond the single Pfenning-Ford paper. Everett & Roman (1997), analysing the Krasnikov tube — a different superluminal geometry — apply the same Ford-Roman inequalities and reach the same class of conclusion, explicitly noting the parallel Pfenning-Ford warp result; and Fewster's lectures derive quantum energy inequalities from first principles as 'remnants of the classical energy conditions' that quantum field theory does satisfy. The wall bound C-0007 therefore no longer rests on one paper: the inequality it uses is a reviewed, independently-applied result, which lifts the single-source downgrade even as the specific 10^2 coefficient remains Pfenning-Ford's.

A concrete escape from the negative-energy requirement exists in the corpus, but only by leaving standard general relativity. Varieschi & Burstein (2012) recompute the Alcubierre metric in Conformal Gravity — a fourth-order theory whose field equations replace Einstein's — and find that with the Hartle shaping function the Eulerian energy density T^00 is non-negative, so no exotic matter is needed. The result is stated by its authors as strictly conditional: 'if CG is the correct extension of GR'. Two limitations the corpus makes visible: conformal gravity is a speculative alternative to GR, not the accepted theory; and the positivity demonstrated is of the Eulerian T^00, the same one-observer quantity Santiago-Schuster-Visser showed is necessary but not sufficient for the full weak energy condition, while the paper itself concedes the dominant energy condition is violated.

First independent recomputation of the Conformal Gravity warp drive (S-0018), via a full numerical Bach tensor: the paper's Eulerian-level claim REPRODUCES, and its WEC conclusion does NOT survive the all-observer test. With the Hartle shaping function (m=4, R=1, alpha_g=1) the Eulerian energy density is one-signed on the scanned grid (opposite-sign residual at 1.4e-7 of scale, consistent with zero), matching the paper's central figure, and the Alcubierre-shape control case reproduces their mixed-sign structure. But scanning T_ab u^a u^b over boosted timelike observers (rapidity up to 2, 26 directions) finds BOTH signs at magnitudes far above numerical noise at every speed tested (v_s = 0.5, 1, 2, 3): at v_s = 1 the sign-flipped extreme is 2.4x the Eulerian peak, and at the bubble centre — where the ship sits — a rapidity-2 observer measures energy density of the opposite sign at 2.4x the Eulerian peak magnitude. Since the weak energy condition quantifies over all timelike observers, the CG warp drive violates the WEC within Conformal Gravity itself, for either overall sign convention of the Bach tensor. This is the same Eulerian-only gap C-0021/C-0023 document for the positive-energy soliton programme, now demonstrated by direct computation in the one modified-gravity escape the corpus contains. The paper's own speed-limit claim (WEC up to ~2.5c) is thereby superseded: the relevant condition fails at ALL speeds once non-Eulerian observers are admitted.

A jump-navigation loop for alpha Centauri A converges in three jumps to the quality of the orbit solution, and no further: with the catalogue as the only input, jump 1 misses by 486 au RMS — priced almost entirely by the adopted parallax, along the line of sight. One onboard astrometric re-fix later (1 mas assumed, parameterised), the AB pair itself acts as a known-baseline rangefinder — the pair's angular separation grows as 1/d, so range error falls as sigma_fix * d^2/separation — bringing jump 2 to 1.15 au. Jump 3 lands on the 0.300 au floor set by the quality of the Pourbaix-Boffin orbital elements, and jumps 4-5 buy nothing: past that point the limit is the ephemeris, not the instrument. A 100-fold better sensor changes nothing at jump >= 3; only a better AB orbit solution does. Monte Carlo (4000 samples, persistent catalogue errors, exact 1/parallax nonlinearity) agrees with the closed-form covariance budget to 0.982-0.996 across all legs; with a perfect sensor the loop converges to 0.3001 au = the ephemeris floor, not to zero. The instant-jump image-aiming offset of 33.54 au reproduces targeting_sim exactly. Legs shorter than ~10x the pair separation are flagged out-of-regime for the small-angle model rather than reported.

Within verified physics the CEO's 'stream, don't store' reframe has exactly one working architecture: beamed energy. The rocket equation is what makes storage fatal (C-0014: stopping multiplies flyby fuel by 11.4), and beaming removes the exponential because the power plant stays home. The corpus now holds a peer-reviewed, quantitative precedent for the hardest segment — arriving without carrying fuel: Heller & Hippke show the target stars themselves can decelerate an incoming photon sail via photogravitational swings, with maximum injection speed about 13,800 km/s (4.6 percent of c; the percent sign is stripped by the canonicaliser in the quoted span) for their sail parameters, giving 95 years Earth to alpha Cen A. The architecture that follows for a jump-mission support line is: high-power beaming for outbound acceleration, stellar photon pressure plus gravity assists for arrival — with the beam-power scale for a crewed ship still unpriced in the corpus and flagged as the open engineering question.

Energy streaming without a physical carrier exists and has been measured: quantum energy teleportation is real laboratory physics, not speculation. The corpus holds the first experimental observation of local activation of energy density on an entangled state (NMR, Rodriguez-Briones et al., PRL 2023) and a realization on IBM superconducting hardware requiring only local operations and classical communication (Ikeda 2023, preprint). What QET demonstrates in principle is precisely the CEO's mechanism — extracting energy at a distance using correlations rather than transport. What it does not provide is scale: demonstrated energies are single-quanta, device-scale, some 40 orders of magnitude below propulsion relevance, and no peer-reviewed path to macroscopic QET exists in the corpus. QET's live relevance to this programme is therefore not power delivery but exotic-state engineering — its connection to negative-energy-density states is the one place quantum streaming touches the theorems that gate everything else.

The 'concentrate the energy to higher density' half of the streaming idea runs into a limit that is currently a live, unresolved dispute in the literature — not settled physics in either direction. Alvarez-Dominguez, Garay, Martin-Martinez and Polo-Gomez prove, within their assumptions, that 'it is not possible to concentrate enough light to precipitate the formation of an event horizon': dissipative quantum effects of light self-interaction (vacuum polarization, Schwinger pair production) drain the buildup before a horizon forms, for kugelblitz radii up to 1e8 m. Loeb's published comment replies that 'black holes can be made of light by adding gravity to the discussion', citing the radiation-dominated early universe. Both cannot be right as stated, and the corpus records no resolution. For the streaming architecture the practical reading is: the density-concentration endpoint (kugelblitz-class energy packing) cannot be costed today because the field has not yet decided whether it is possible at all — while for any milder concentration the operative limits are the Schwinger field (4 orders above current lasers per the harvest) and diffraction, neither of which is yet priced in the corpus for our geometry.

The Pourbaix-Boffin 2016 orbit solution our navigation budget rests on has been superseded: Akeson, Beichman, Kervella, Fomalont and Benedict (2021) publish an ALMA millimeter-astrometry solution for alpha Centauri AB whose own comparison table carries three parallaxes side by side — 750.81 +/- 0.38 mas (their orbital parallax), 747.17 +/- 0.61 (Kervella 2016), 743 +/- 1.3 (Pourbaix-Boffin 2016) — spanning about 7.8 mas, formally 5.5 sigma between the extremes. The semimajor axis and period differ too (17.4930 +/- 0.0096 arcsec and 79.762 +/- 0.019 yr against PB16's 17.66 +/- 0.026 and 79.91 +/- 0.013). Two consequences for the programme, stated separately: (1) C-0017's catalogue-disagreement diagnosis is now documented inside a single refereed source's own table, not assembled by us across catalogues; (2) C-0029's 0.300 au ephemeris floor and the ab_orbit propagation constants are tied to PB16 elements and must be re-derived from the Akeson solution — until that recomputation is run, every C-0029 distance number carries this systematic on top of its stated statistics.

The onboard absolute-position fix the jump-navigation re-fix loop needs has flight heritage: NASA's SEXTANT experiment on the ISS demonstrated autonomous X-ray pulsar navigation 'better than 10 km, worst direction, onboard and in real-time' (November 2017, NICER instrument), with the stated goal of 10 km worst-direction using up to two weeks of dedicated millisecond-pulsar observations. This is the only flight-demonstrated, infrastructure-free absolute positioning technique in the corpus — it needs no ground link and no pre-placed beacons, which is what an interstellar re-fix requires. The regime gap is stated plainly: the demonstration is near-Earth (ISS orbital dynamics, Earth-vicinity pulsar geometry), and no source in the corpus prices XNAV accuracy at interstellar distances, where pulsar timing-model currency and signal-to-noise both degrade; a 2026 simulation study (not ingested) reports filter divergence after 20 days without timing-model updates even in cislunar-class scenarios. XNAV therefore enters the navigation architecture as the demonstrated fix mechanism whose interstellar error budget is an open line item, not as a solved component.

Correcting C-0022, whose Type-IV wording X-0035 refuted. The provenance half stands: the three 2026 warp papers are one correlated source — same single author, arXiv preprints without journal DOIs, zero OpenAlex citations each, reproduced live with a positive control (S-0001 shows 45). The classification half was overstated. S-0003 does not certify the Van Den Broeck walls as having no rest frame above the transition; it certifies them as Type-IV DOMINATED, where the transition is defined as the wall's Type-I fraction crossing 50 percent at v_s about 0.36 (a value that lives in a source macro and is lost from the canonical text). The source's own table gives VdB Type I/IV wall fractions of 12.2/87.8 at v_s = 0.5, 18.3/81.7 at 1.0 and 25.6/74.4 at 2.0 — so 12 to 26 percent of the wall retains a rest frame above the transition, and the Type-IV fraction DECREASES with speed, the opposite of what a 'no rest frame' reading implies. The physical conclusion is unchanged in kind and weaker in degree: most of the wall carries stress-energy with no rest frame, at every speed examined, and that suffices for the energy-condition verdict C-0018 establishes by our own computation; it is not the whole wall. S-0005's 'warp without exotic matter' remains, in its own words, a causal subluminal reaction drive with steep but positive cost.

Correcting C-0023, whose 'unrebutted' clause X-0036 refuted. The pricing of the superluminal positive-energy programme stands: Lentz asserts superluminal solitons from purely positive energy densities; Santiago-Schuster-Visser rebut Lentz, Bobrick-Martire and Fell-Heisenberg collectively, since each 'merely asserts the existence of one sub-class of timelike observers for which the energy density is positive', which does not establish the WEC, and they exhibit boosted observers who see negative density. What was wrong is the claim that the subluminal survivors sit unrebutted in the corpus: S-0001 rebuts the Bobrick-Martire construction in three separate places — their positive-energy class falls to the same NEC theorem 'for slightly different reasons', their spherically symmetric discussion is called 'deeply flawed', and their only WEC-satisfying warp drive 'is actually not a warp drive metric at all' but reduces globally to Minkowski space. S-0003 rebuts it a fourth time. The corrected picture: the corpus contains NO uncontested warp construction, subluminal or superluminal. What survives contest is narrower still — the 2024 constant-velocity solution, which satisfies the energy conditions by adding a positive-ADM matter shell and is not challenged anywhere in the corpus, and which is a subluminal shell with shift: a rocket in geometric dress.

Correcting C-0027, whose ANEC half X-0037 refuted. The quantum-inequality half stands unchanged: Fewster and Osterbrink show that for couplings 0 < xi <= 1/4 — a range including conformal coupling xi = 1/6 — local averages of the energy density are unbounded from below over Hadamard states, so the state-independent Ford-Roman-type bound is genuinely lost, while a state-DEPENDENT quantum energy inequality still holds on general globally hyperbolic spacetimes. What was wrong was reading Fliss, Freivogel, Kontou and Santos as restoring the averaged null energy condition in general. Their own text restricts the quantum-field-theoretic proof to flat space: they recover ANEC for any coupling in MINKOWSKI spacetime, and their conclusion cites a hoped-for extension to finite curvature as future work. The correction is not a hedge but a reversal of the conclusion: Urban and Olum exhibit ANEC violation by a conformally coupled scalar in a conformally flat spacetime in 3+1 dimensions, state-dependent and 'can be made as large as desired', and — because all geodesics in conformally flat spacetimes are achronal — the ACHRONAL ANEC is violated too. Conformal coupling sits inside the very range Fewster-Osterbrink covers. So the non-minimal-coupling escape is not closed by effective field theory in curved spacetime; it is open in curved backgrounds and closed only in flat ones. This makes it the strongest surviving escape route in the corpus, and its price has still never been computed for a warp configuration.

Correcting C-0030, whose gating argument X-0038 refuted — and correcting a provenance failure in it. First the provenance: C-0030 asserted a logged null result for a wormhole-as-power-conduit search; no such search record existed, and the assertion was false. The search is now on the record as Q-0005, and its finding is unchanged: no source formulates a traversable wormhole as an engineering power conduit. Second the physics, which reverses the claim's conclusion. The requirement for a traversable wormhole is violation of the averaged null energy condition, and C-0030 treated that as one undifferentiated gate. It is two. SHORT wormholes — those joining distant points, which would permit causality violation — require ACHRONAL ANEC violation and are the ones the no-go results address. LONG wormholes do not: Maldacena, Milekhin and Popov construct a traversable wormhole in four dimensions from Einstein-Maxwell plus charged massless fermions whose negative Casimir-like energy sustains it, which does not lead to causality violations and can be embedded in the Standard Model. That is ANEC-violating matter inside effective-field-theory control, in known physics. So the honest gate is not 'does ANEC-violating matter exist' — it does — but whether the specific, stronger achronal condition can be violated, and separately whether a long wormhole could serve as an energy conduit at all, which nobody has analysed. The CEO's streaming idea therefore survives its first physics contact in a narrower and more interesting form than either the original claim or its refutation suggests.

Independent recomputation confirms the headline of the Van Den Broeck reduction: region IV reproduces to 1% with our existing closed form, the total requirement at his parameters is solar-mass scale (~1e30 kg), and the reduction versus the unmodified 100 m bubble is ~32 orders of magnitude. His +/- sign split within region II does NOT reproduce: it depends on the unstated interpolating profile, and a half-cosine profile yields no negative transition energy at all. The profile-independent negative energy is region IV's -6.2e29 kg, which no choice of B removes.

The Fell-Heisenberg positive-energy warp result is narrower than its abstract: positivity is proven for the Eulerian energy density only, within a restricted ansatz, and the published text itself concedes that the full weak energy condition is violated in compact regions and that no modification of the configuration removes those regions. It therefore does not lift the negative-energy requirement for a superluminal jump.

The three 2026 warp papers in the corpus are one correlated source, not three: the same single author, all arXiv preprints without journal DOIs, each with zero citations on OpenAlex as of 2026-08-07. Within that caveat, S-0003 certifies the Van Den Broeck walls as Hawking-Ellis Type IV — no rest frame, no invariant energy density — and energy-condition violating for all observers; and S-0005's 'warp without exotic matter' is, in its own words, a causal SUBLUMINAL reaction drive with steep but positive cost.

The three 2026 warp papers are one correlated source: same single author, arXiv preprints without journal DOIs, zero citations each on OpenAlex (reproduced live with a positive control: S-0001 shows 45). Within that caveat, S-0003 certifies the Van Den Broeck walls as Hawking-Ellis Type IV — no rest frame — ABOVE a Type-I to Type-IV transition at v_s ~ 0.36 (the value lives in a source macro; the canonical text loses it), with Alcubierre and Natario walls Type-IV dominated at all speeds; and S-0005's 'no exotic matter' drive is, in its own words, causal, subluminal, and steeply but positively costly.

The positive-energy warp programme, priced on its own terms: Lentz (2020) asserts superluminal solitons from purely positive energy densities; Santiago-Schuster-Visser (2022) rebut Lentz, Bobrick-Martire and Fell-Heisenberg collectively — each 'merely asserts the existence of one sub-class of timelike observers for which the energy density is positive', which does not establish the WEC — and exhibit boosted observers who see negative density. What survives unrebutted in the corpus is explicitly SUBLUMINAL: Bobrick-Martire's positive-energy class ('any warp drive requires propulsion') and the 2024 constant-velocity solution, which satisfies the energy conditions by adding a positive-ADM matter shell. Consistently, the 2026 certifier finds the irrotational Lentz/Fell-Heisenberg-class geometry globally Type I while vortical walls are Type IV. The surviving programme is subluminal shells with shift — rockets in geometric dress — and superluminal positive energy remains asserted, contested, and unpriced.

The non-minimal-coupling escape route named in C-0024 is now priced by the corpus, and it narrows at both levels. At the quantum-inequality level, Fewster & Osterbrink (2008) show that for coupling constants 0 < xi <= 1/4 — a range that includes conformal coupling xi = 1/6 — local averages of the energy density are unbounded from below over Hadamard states, so the state-INdependent Ford-Roman-type bound is genuinely lost; but a state-DEPENDENT quantum energy inequality still holds on general globally hyperbolic spacetimes and is a non-trivial restriction, so the bound weakens rather than vanishes. At the averaged-null-energy level, Fliss, Freivogel, Kontou & Santos (2023) show that when the non-minimal coupling is treated as part of an effective field theory whose field value is controlled by the cutoff, the ANEC — whose violation is necessary for traversable-wormhole-type geometry — is obeyed both classically and in QFT. The escape survives only outside EFT control: unbounded field values or exact (non-effective) non-minimal theories, neither of which any corpus source exhibits for a warp configuration.

Streaming energy through 'mini subspace tunnels' collides with the same wall that closed the warp routes, and the literature contains no engineering treatment of it at all. A dedicated harvest found zero papers formulating a wormhole as a power conduit (null result, logged); what the corpus does establish is the price of the geometry itself: traversable wormholes 'necessarily require violations of the averaged null energy condition; this being the definition of exotic matter' (Visser-Kar-Dadhich). The same authors prove the amount can be made arbitrarily small — the requirement is qualitative, not quantitative — which is the sharpest formal hook the tunnel route has. But C-0027 prices exactly this hook: under effective-field-theory control the ANEC is restored, so arbitrarily-small violations have nowhere to live except outside EFT validity. The tunnel-conduit idea is therefore not priced out by magnitude; it is gated by the same single question as everything else superluminal: whether ANEC-violating matter exists at all.