C-0002 Verified MODERATE certainty

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

Standing peer reviewed contested · theorem · TRL 1 Assumes generic Natario-class warp drive metric: intrinsically flat spatial 3-slices with unit lapse, so all nontrivial physics sits in the extrinsic curvature; the flow field obeys fall-off conditions at spatial infinity so the warp field stays localizable; the authors note this is certainly true if the ADM mass vanishes; subsidiary conditions are imposed to exclude trivial cases, so that the metric describes a warp drive rather than, for example, the Painleve-Gullstrand form of Schwarzschild spacetime; regularity: Christoffel symbols at worst piecewise once differentiable, hence a Riemann tensor at worst piecewise continuous with delta-function contributions; standard general relativity; for modified gravity the paper claims only that the geometric convergence conditions 'will place very strong constraints', not that no rescue exists Stops applying configurations that do not satisfy those subsidiary conditions

What it rests on

E-0003 · S-0001 — Generic warp drives violate the null energy condition · direct

…drives will certainly violate the WEC, and both the strong and dominant energy conditions. Under plausible subsidiary conditions the null energy condition is also violated. While warp drives are certainly interesting examples of speculative physics, the violation…

EXACT · re-found in source

E-0005 · S-0001 — Generic warp drives violate the null energy condition · definition

… want our warp field to be localizable, to not spread over and affect the whole spacetime, it is natural to make the assumption that the flow field obeys some sort of fall-off conditions at spatial infinity . It is certainly more than sufficient if for large distances, which is in turn certainly …

EXACT · re-found in source

E-0006 · S-0001 — Generic warp drives violate the null energy condition · definition

…certainly more than sufficient if for large distances, which is in turn certainly true if, which is in turn certainly true if the ADM mass is zero . Vanishing of the ADM mass is certainly the case for Alcubierre's warp drive, and also fo…

EXACT · re-found in source

E-0007 · S-0001 — Generic warp drives violate the null energy condition · definition

…is C^0 at worst, piecewise continuous with at worst delta-function contributions. Finally, we emphasize the need for at least some subsidiary conditions to be applied to the generic Nat\'ario metric () in order to distinguish a warp drive from, for instance, the Painlev\'…

EXACT · re-found in source

E-0008 · S-0001 — Generic warp drives violate the null energy condition · direct

…lized. This, however, is not allowed if the NEC is always satisfied, as given by equation. This proves that the violation of the NEC is a necessary condition for the spacetime to "restore its asymptotics" after a warp drive passes through a particular point. A delicate…

EXACT · re-found in source

Attacks run against it

X-0003 REFUTED counter source · by straz

Attacked the epistemic standing rather than the content. C-0002 was recorded as peer_reviewed_consensus. Its own source contradicts the label: the extracted context of E-0004 reads 'Three recent articles have argued for the existence of physically reasonable positive-energy warp drive configurations, either satisfying the weak energy condition (WEC), or minimizing violations thereof', and S-0001 exists precisely as a rebuttal to them. A position that a 2022 Physical Review D paper had to be written to defend is contested, not consensus. The NEC result itself survives on E-0003 and E-0008; the label overstates how settled the question is, and epistemic_status is exactly the field a reader uses to decide how hard to look for the other side.

X-0018 SURVIVED span overreach · by redteam

Independent auditor (wf_1946b5d7-102) attacked the scope word 'generic' and the proof's completeness. Verified against S-0001 offsets 8600-41524: 'generic' means the generic Natario class exactly as the regime lists; the paper's own 'delicate point' hedge at offset 39078 is resolved via the cited Pfenning-Ford analysis and the proof concluded at 41366 needing only localization, not zero ADM mass — so the regime is conservative. Cross-check: S-0003 (2026) treats the result as established. Residual accepted and applied: the regime's 'modified gravity does not rescue' was stronger than the source's 'very strong constraints' wording — softened by update_field.

Download the raw record for this claim →