This is like the terrible inverse of Goodhart's Law ("when a measure becomes a target, it ceases to be a good measure") - because there will always be more user

This is like the terrible inverse of Goodhart's Law ("when a measure becomes a target, it ceases to be a good measure") - because there will always be more users than moderators, the amount of mental energy being applied to parameterizing, normalizing and leveraging the social contract will always be greater than the effort that can physically be put into coherently dividing proof-of-work signal from faked noise over the long term.