Two-stage Bayesian regression enforcing a fixed distribution (not Just Hierarchical regression)

Maybe this is a stupid question, but doesn’t differentiating though a stochastic process require you to pay attention to Ito terms? Would the symbolic derivatives computed by Aesara be correct in this case?