Macrobius
Megaphoron
I don't think we have to worry about this.
1. If the Internet is Turing Complete (the EVM, Etherium Virtual Machine is and it is a subset of the 'Net), and if we can use any Turing Complete computer at all (a practical necessity of the Retainer Class is to serve the Global Oligarchy), we have the same thing. (Turing's notion of Universality)
2. If the Internet is not Turing Complete, then you don't want the Internet anyway.
3. I doubt that the notion of 'Social Credit Score' is recursively enumerable in the sense of Computation. There was a similar problem with Google's 'don't be evil'
What EXACTLY, in Goedel's sense, is the set of Evil Computations?
The FedGov might as well tell you 'I deny you the use of the number 17'.[1]
[1]: https://en.wikipedia.org/wiki/Magicicada_septendecim
(My personal theory about why 17 is because it is a prime number, and close to the 19 year number of the Metonic Cycle, which means that if the Lunar New Year fucks with you, the best thing you can do is be relatively prime to 19, so that you only have to DEAL with this shit every 17*19= 323 years -- practically a Dionysian K-Winter Super Cycle)
'1337 Cicadas