Gaussian terminal value at a deterministic bracket level ($[M{]}_T=a⟹M_T\sim N(0,a)$)

Let $M$ be a zero-starting continuous local martingale and let $T<\infty$ be a stopping time with $[M{]}_{t\wedge T}\le a$ and $[M{]}_T=a$ for a deterministic $a$. The complex exponential $\exp (iu{M}_{t\wedge T}+u^2[M{]}_{t\wedge T}/2)$ is a bounded local martingale, hence a true martingale. Its terminal expectation is one, giving the characteristic function $\mathbb{E}{e}^{iu{M}_T}=e^{-u^{2}a/2}$. Conditional optional sampling between two bracket levels also gives independent Gaussian increments in inverse-bracket time; Gaussian one-time marginals alone do not establish that independence.