At the Wolfram Physics Project Q&A site, there is a question asking whether the model/framework is falsifiable. The answer is:
*
Any particular rule could be proved wrong by disagreeing with observations, for example predicting particles that do not exist. But the overall framework of our models is something more general, and not as directly amenable to experimental falsification. Asking how to falsify our framework is similar to asking how one would prove that calculus could not be a model for physics. An obvious answer would be another model successfully providing a fundamental theory of physics, and being proved incompatible.
*
My question is: How could a model be proven to be incompatible with Wolfram's model? Is it because there could be a model involving hypercomputational processes? But if that is the case, couldn't the assumptions of the model be relaxed to allow hypercomputation?