 Solution

The two-dimensional Kramers--Wannier projected entangled pair operator puts an input bit $s_v$ at every vertex and an output bit $t_e$ at every edge. A COPY tensor at each vertex sends $s_v$ to every incident virtual leg, and an XOR tensor on $e=(uv)$ imposesContracting the vertex-edge virtual legs gives the requested PEPO. Algebraically it is

The output domain walls are not independent. Around every plaquette $p$, each vertex bit occurs twice, soProducts of these loop operators generate a ${\mathbb{Z}}_2$ one-form symmetry: its charged objects are line operators, and contractible closed loops act trivially on the PEPO image. This symmetry is unavoidable because edge variables obtained as discrete gradients have zero flux around every contractible loop.