V.P12 — Light cone is Lorentz-invariant

The null set C = {phi in H_partial[omega] | ||pr_D(phi)||^2 = ||pr_fiber(phi)||^2} is invariant under the Lorentz group O(1,3), since admissible readout transformations preserve the bilinear form of signature (1,3) by definition.