Calculation record

Checks supporting the boost and homogeneity classification theorem.

The theorem itself is analytic. These calculations check the representation,
the exact null-current cusp and the retained-frame escape from its hypotheses.

Research context

Interpret numerical checks within the assumptions and limitations documented in these notes.