No. You want 2 DAs, 1 for evaluating residuals with s = 3, and one for making a Jacobian with s = 1. You give these two DAs to
and I think it should work as you want. Its too bad we cannot handle this case with SNESSetDM() since it only takes a single DM and there is no way to specialize the Jacobian.