Yes. How many steps removed from real world verification can we go while still being reasonably sure the abstraction is true? Idk. The point isn't to know, its to question.
Discussion
Being critical of what is said and believed is always important.
You can do real world verification by working with a priori knowledge (mathematics, logic, praxeology...). A priori ideas can give you lots of insights about the world and you can also share them with others. They don't depend on empirical examination
Another good source of rigor are code tests 👀. We could share those in nostr