Text this: Stability and Convergence of Mechanical Systems with Unilateral Constraints