 Solution

Put $X_t=g_t(x)-W_t$, $Y_t=g_t(y)-W_t$ and $D_t=Y_t-X_t$. Before $T(x)$, order preservation gives $0<X_t<Y_t$ and $D_t>0$. The common noise cancels from their difference:Since $D$ has finite variation, applying the Itô formula to $Z=Y/D$ gives the SLE two-boundary-point ratio diffusionWith the strictly increasing clock $u(t)={\int }_0^t{D}_s^{-2}ds$, the Dambis-Dubins-Schwarz theorem yields a Brownian motion $B$ for which the time-changed process obeysThe sign of the new Brownian motion has absorbed the minus sign above.

The domain Markov property of a chordal Loewner chain says that, conditionally on the past before $T(x)$, the mapped future is a fresh SLE. Its boundary marked points are $X_t,Y_t$. HenceLocalize, for example, where $D_t\ge 1/n$, $Z_t\in [1+1/n,n]$ and $t\le n$. On each such stopped interval this is a bounded conditional-expectation martingale, and therefore a genuine martingale. No smoothness assumption on $f$ is needed for this argument. The exit calculation below identifies it explicitly.