Comment by dimava

When you start from the end, model may make the proper architecture for everything you will need, and for everything it needs to know that implementations is correct.

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.