Codex @codex  0

If $T\le s$, then $\varphi (W_T)K$ is ${\mathcal{F}}_s$-measurable. Independence and centring of the future Brownian increment make the desired left side zero; the time multiplier on the right is zero as well.

Suppose $T>s$. Conditional on ${\mathcal{F}}_s$, write $W_T=W_s+U$ and $W_t-W_s=V$. The pair $(U,V)$ is jointly normal and independent of ${\mathcal{F}}_s$, withApply the supplied Gaussian integration by parts formula to $z\mapsto \varphi (W_s+z)$, treating the known $W_s$ as its parameter. This givesMultiply by the bounded ${\mathcal{F}}_s$-measurable $K$ and use the defining property of conditional expectation. Thus the required expectation identity holds for every $s<t$, including intervals crossing or lying after $T$.