a very interesting innovation.
Looks like it solves a bunch of verification issues in a clever way.
The modular approach where the same data storage is used in different ways by the modules according to their purpose almost appears if some genetic algorithm were used to do optimizations.