I think verifiable game engines are slowly starting to appear. After all, nothing can stop you from unit-testing the game like Factorio does ( https://youtu.be/CgMV2dFFdFE?t=48 ) other then your not bothering to think about it. I have made one even, see https://github.com/Dimava/gensokyo-survivors/tree/master
> this year
Models change so fast now that even "this month" becomes abstract. Everyone, please make sure to mention the name of the model.