Proposition: Failure of global hyperbolicity

The regular spacetime $M$ has a noncompact causal diamond.

Proof. Fix $r_0>0$, one angle, and $z=0$. Let $p,q$ be the events at that spatial point with times $-2r_0/c$ and $2r_0/c$. For any sequence $r_n\downarrow 0$, the events $(0,r_n,\varphi ,0)$ lie in $J^{+}(p)\cap J^{-}(q)$, by radial causal travel. They have no convergent subsequence in $M$, because the apex is excluded.