D3: the completed-kernel cone calculation

All covectors are compared using the fixed Minkowski coordinate trivialization. For $n\ge 2$, write

Since the future and past causal cones are pointed, $Z_n$ does not meet ${\tilde{V}}_{+}^n\cup {\tilde{V}}_{-}^n$.