Theorem: Exact specialization to the XVI-L table

After the specialization $h_{\mu \nu }=(w^1{)}^2{\eta }_{\mu \nu }$ (with ${\chi }_{\mathrm{I}}$ suppressed as in XVI-L), the general-$h$ table equals two_edge_coeff_table.txt entry by entry. All $1065$ nonzero grouped coefficients $(A,\lambda ,(\mu ,\nu ))$ agree as polynomials in the preparation jet and $w^1$, and the nonzero key sets coincide.