At least they claim that: «Quantum verifiability means the result can be repeated on our quantum computer — or any other of the same caliber — to get the same answer, confirming the result. This repeatable, beyond-classical computation is the basis for scalable verification.» (emph. mine)
But apparently they haven't demonstrated the actual portability between two different quantum computers.
Saying something and doing something are different. They claim it is true, but they haven't demonstrated it by doing it.
If a company says they've built the fastest car in the world, a reasonable response is "ok, let's see it drive faster than any other car can", even though they already said that it can do that.
But apparently they haven't demonstrated the actual portability between two different quantum computers.