 Product self-duality of symmetric exclusion

For finite $A\subset \mathbb{Z}$ put $D(\eta ,A)={\prod }_{x\in A}\eta (x)$, with empty product one. Interchanging occupations gives $D({\eta }^{xy},A)=D(\eta ,A^{xy})$, where $A^{xy}$ interchanges membership of the two sites. The edge-swap generators therefore agree on $D$. The stirring representation of symmetric exclusion proves the displayed identity at all times by tracing the ancestors of $A$ backwards. A general asymmetric jump kernel does not satisfy this product self-duality.