Initial data are part of the observable

If $\xi$ does not vanish near ${\Sigma }_0$, then

rather than $\xi$. Similarly,

Consequently, the boundary-data terms must be included in the gauge transformation. Their absence here is a proved consequence of the admitted support condition, not a universal identity.