Manuscript X-G-ST@1 · X-G-ST.tex · section · 3c97567f
The excluded upgrade class
Stage 3: variational reciprocity and the positive witness › The excluded upgrade class · lines 1359–1368
The compact pairing condition makes explicit the domain required by the reciprocity proof. It is satisfied by local mixed interactions with compact background coefficients. No exclusion is claimed for a proposed object whose bilinear pairing is undefined or whose boundary data change the prescribed response.