Provably Constant-Time Motion Planning