Quadratic and boost alternatives

Every two-dimensional proper cone is linearly isomorphic to a two-dimensional Lorentz cone. Merely imposing that property on plane sections would therefore not replace the calibrated, compatible boost action in $\mathsf{B}$.

If a graph automorphism $\varphi$ lifts one of these symmetries, the OR network has the precise relabeling action

Equation (eq:or) is equivariant under this action. Producing such a $\varphi$, however, is a separate theorem: a general cone automorphism does not preserve the discrete event set or its edges. No continuous boost lift is inferred here from a commuting diamond.