Before revision:  The solution rests on the characterization of the value-function as (i) the unique stochastic solution of the associated HJB equation and as (ii) the pointwise smallest stochastic supersolution .
After revision:  The solution rests on the characterization of the value-function is the unique stochastic solution of the associated HJB equation and as (ii) the pointwise smallest stochastic supersolution .