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.
What it rests on
Attacks run against it
Six-vector independent attack on the Bach-tensor recomputation, aimed at the single most dangerous failure mode: that a Riemann-sign-convention flip makes the code compute a non-Bach tensor (the Bach formula is NOT form-invariant under convention flip — Weyl is linear in Riemann, the Ricci-Weyl term quadratic, so the relative sign of the two terms is convention-dependent; the premise of the attack was correct). The attack collapsed under three independent adjudicators: (1) conformal covariance B -> Omega^-2 B holds for the code's sign at defect 7.6e-8 (FD floor) and fails for the minus-sign candidate at 9.7e-2, h-independent; (2) exact Euler-Lagrange variation of the convention-blind Weyl action (machinery validated on Einstein-Hilbert to exact -1 ratios) gives ratio -2, -2, -2, -2 to the code's tensor with spread exactly 0; (3) the paper's own expanded Eq 2.8 evaluated symbolically in Weinberg conventions equals exactly -2x the code's B, so T_paper = -2 T_code globally and the claim's sign-flip-independence argument is rigorous. Formula audit: cov_weyl has exactly 4 Gamma terms, cov2_weyl exactly 5, all signs/slots correct; sympy exact ground truth on a generic non-Einstein diagonal metric matches to 4.0e-8 relative INCLUDING the Ricci term — closing the validation hole the red team itself sharpened (no Einstein metric can ever exercise the Ricci term, since Ric = Lambda g contracts Weyl to zero by tracelessness). Tetrad: Gram matrix diag(-1,1,1,1) to 1.2e-32, all 104 boosted observers unit-timelike to 5.3e-15. Stencil: compounded reach 8h = 0.08 < 0.1314 closest-point kink distance, safety factor 1.64; load-bearing numbers step-robust (worst point 2.6e-4 rel h=0.02 vs 0.01). Reproduction fidelity: HSF one-signed, ASF mixed, v-scaling exponents 1.89/1.99/2.36; the paper's v>~2.5c lobes were located at x=+/-0.95 with fine step h=0.005 (kink-safe reach 0.04), flipping sign between v=2.5 (-2490) and v=3.0 (+1408), step-robust — the paper's Fig 2 feature reproduces at the paper's threshold, inside the region the claim's own grid excludes. Two bonus findings strengthen the claim: S-0018's compact Eq 2.7 and expanded Eq 2.8 are mutually inconsistent under the paper's declared Weinberg conventions (Eq 2.7 = +2(DDC - 1/2 Ric C), Eq 2.8 = -2(DDC + 1/2 Ric C), checked in both derivative orderings — an imported-convention slip), and the boosted-observer WEC failure at the bubble centre is confirmed at +/-1092 (v=0.5), +/-4366 (v=2), +/-6550 (v=3), all far above noise. Non-refuting nits filed for claim wording: the direction scan generates 26 directions, not the documented 14 (scan stronger than documented); the Eulerian opposite-sign residual is 1.4e-7 of scale, not 1e-4 (favours the claim); code normalization corresponds to alpha_g = -1/2 of the paper's, explicitly fenced out of the claim's scope. Artifacts: scratchpad redteam/{conformal_test,symbolic_ground_truth,numeric_checks,lobe_hunt_v3}.py.