Everything's been working smoothly, with nothing to report about the moderation bot. The community has been quiet but productive, which was precisely the goal, and the bot working smoothly with no issues. However, something almost went wrong in a particular entertaining fashion which I thought I would share.
The algorithm for classifying troll users doesn't have any polarity. It only knows which users are opposed to which other users. 50% of the time, it'll get its whole ranking system backwards, so the troll users are the normal ones, and everyone else gets negative rank, because the math works just as well under that ranking regime. Generally this isn't a problem, because there's a step:
# Flip the sign if we arrived at a majority-negative ranking, which can happen
if -min_val > max_val:
rank[1:] *= -1
The most popular user is always more popular than the least popular troll is unpopular, by quite a big margin, so that works fine.
However. Things have changed. MediaBiasFactChecker@lemmy.world is so unpopular that it's almost (1% margin) more unpopular than the highest-rank user is popular. If that had happened, the whole polarity would have flipped, every user would have been banned, all the trolls would have been unbanned. Mass hysteria. I only happened to notice it before it happened and stop the bot. It's on track to be the least popular user on Lemmy, with about 5 times lower rank than some of the most notorious trolls.
Have fun with this information. I started checking the median rank of all users, instead. Thanks MediaBiasFactChecker.
The idea of every normal user banned and only trolls remain is kinda hilarious though. I could only imagine the meaningful conversations that would come out of that.
I almost let it happen, so I could post this after the fact. It would have been much funnier, but I wasn't sure about the implications of banning thousands of users one by one, probably including myself and the bot.
They're still neck and neck, with the bot still just barely behind the highest-ranked user.
Edit: I swear to God, this just happened as I was typing this message: MediaBiasFactChecker is now lower-ranked than the negative of the highest user. We've crossed the threshold.