Here ΣT is an external, non-recursively-enumerable set of axioms about T
https://jhap.du.ac.ir/article_488.html
So they claim there are no patches to the simulation and state is finite ? Absolutely because we live on flat earth in caves and are not constructed as optimization machines.
So here's my new patch to their equation because it's Friday.
#define TRUE (1==0)
#define FALSE (!TRUE)