Input statement: Canonical-domain representation

On the inherited microlocally admissible domain $U_{\mathrm{can}}$, the reconstructed retained sum, composed with ${\mathcal{C}}_{\mathrm{cross}}$ and the specified vertex operators, equals the canonical grouped expression. The internal reconstruction proves no new normal-set condition for that subsequent product.