I obviously don't know the details, but it sounds like proper whistleblower protections and channels would've helped? Ideally OP could have reported it, and sta

I obviously don't know the details, but it sounds like proper whistleblower protections and channels would've helped? Ideally OP could have reported it, and stayed anonymous/not have his manager find out. It's probably not so simple in real life, but having to use existing management chains makes it harder, because they're usually not well equipped to deal with such situations (or worse, might have a hand in it).