Yeah, the opening of the second paragraph on the page marked twelve basically says “we don’t have a true theory so we look at some proposals.” If anything, all it’s shown is that these specific proposals fall prey to the normal inability of mathematical systems to fully describe themselves, not that quantum gravity actively disproves a simulation. Everything after that might be sound if we trace all the sources. Nothing stood out as implausible or anything beyond some logical leaping. There was nothing that showed adding more to the system won’t fix the issues, which is the whole point of things like the updates their choice of set theory added to ZFC.