Composite Lyapunov Criteria for Stability and Convergence with Applications to Optimization Dynamics | Synapse