These are excellent questions. Lets start with the first one.

1. Tauchain's TML (Tau Meta Language) allows the community to define a secure programming language which is decidable. In terms of language security (LangSec) you have a paradigm called "security by correctness". Correctness is essentially referring to software which functions in a known way and where you can use tactics like formal verification or correct by construction to narrow the spectrum of possible behaviors of the software. By narrowing the spectrum or in another way of putting it, by mapping out all the possible states of the state machine, you can reduce unexpected behavior. In summary, due to TML being decidable and due to the ability to do things in the correct by construction way, you will not have the problem of programs behaving in ways not defined in the formal specification.

2. This problem is a problem I admit Tauchain will have a very difficult time with. It will be crucial for the earliest adopters to take their responsibility to the international community very seriously. Part of this responsibility in my opinion includes setting norms to determine what kind of discussions to stand behind or fuel and what kind of discussions to ignore or shun. Not every discussion, not every "Truth" not every piece of software, is a good idea, or legitimate, or helpful. I think it's all going to depend on the maturity of the people who get involved with Tauchain and if those who get involved are the immature types then Tauchain could sink in a swamp of lies, propaganda, and no amount of technology can make people care about the truth.