Hamilton-Jacobi Framework for Nonholonomic Dynamics | Synapse