To account for the gaps in these solutions, many social computing systems use multiple tiers: Tier 1 is often algorithmic moderation for the most easy-to-catch problems. Tier 2 is human moderation, either paid (like Facebook) or community (like Reddit), depending on the platform.
Cancel culture creates a mega opportunity for a new social network -- Twitter 2.0
1. Pseudonymous (no verified profiles!) so you can't be cancelled and policies are applied fairly
2. Public follow graph + DMs (Twitter + Telegram)
3. Discovery engine to find insightful new voices
Current social networks don't have great tools for dispute resolution. They're a combination of anarchy (people yelling) and tyranny (arbitrary deplatforming).
An alternative approach is a global moderator hierarchy. In the event of dispute, the lowest common ancestor mediates.