mapping out all the possible states of the state machine

Won't that require an enormous amount of computational power? Will it be based on POW with its related energy consumption problems?

I think it's all going to depend on the maturity of the people who get involved with Tauchain

That's quite a risk. There is also the risk of involuntarily spreading biased knowledge (eg. https://www.ted.com/talks/joy_buolamwini_how_i_m_fighting_bias_in_algorithms)

Thank you and keep up the good work!   =]