I did say “general purpose”. And many proof assistants are Turing Complete actually, such as Lean.

It’s not what you can use that language to do - all general purpose languages are Turing Complete, so what you can do with them is exactly equal. It is about what the language will do for you. Rust compiler will stop you from writing memory unsafe code, C compiler cannot do that.

But… social credit literally is real… There are government legislations on this. It is not a conspiracy theory.

On the other hand Western media definitely has exaggerated and demonized it a lot. The social credit is basically your credit score, but it is more expansive and uses information some might see as encroaching on their personal privacy and freedoms.