Assumption: Smooth Duhamel comparison

For the following sign calculation only, let $P$ be the specified smooth field operator, let $G_R^{\ast }=G_A$ in the chosen pairing, and suppose $\mathsf{Q}[h]$ is formally self-adjoint. All displayed sources and pairings are legitimate with the stated compact supports. The first variation satisfies