Exact release and remaining gates

If a stronger use of “Q1” includes a selected positive physical state or strict invariance of the symmetric two-point function, that stronger target is not closed by this paper. Equation (eq:symmetric-defect) displays the remaining normalization issue rather than concealing it.