Lemma: Reported computation for M.2

kernel_relations.py exits with status $0$ and records:

• the table of Theorem thm:M2;

• reconstruction certificates for all labels (kernel_basis_table.txt, which also lists every numerator row $n_{\lambda }$);

• $185$ certified relation vectors and $45$ wave-operator generators (kernel_relation_matrix.txt);

• the sign example.

regression_M.py independently spot-checks every relation (on $({\partial }^{\alpha }S)({\partial }^{\beta }S)$ at three rational points).