Proposition: One-edge outputs

All three outputs in (eq:oneedges) exist in ${\mathcal{P}}_{\Sigma }$, with all required directional descendants. They have field degree four.

Proof. Every factor is already admitted. Their products are classical pointwise products, so the carrier's classical closure applies. No new multiplication in singular variables is used.