The required elementary line information

The proof uses the following property of the frozen lines: at separated endpoints their singularities lie on the null cone and their wavefront covectors are conormal to that cone. Finite differentiation preserves that inclusion. The massive time-ordered line may have smooth interior terms; these do not add singular support.

This is the line-wavefront input already used in the predecessor graph calculus. It is also the standard separated line description in the functional framework FR (Sections 6–7 and Appendix A). No replacement Hadamard matrix is chosen.