> Is there a spec that says if you use a particular set of libraries you’d get less than 10 millisecond response?

There can be. But you’d have to map the libraries to opcodes and then count the cycles. That’s what people do when they care about that particular optimization. They measure and make guaranties.