ShieldVLA Uses Hamilton-Jacobi Reachability for Safe Robotic VLA Models | HACKOBAR_