> The more interesting thing to me is not just that the base salaries were different, but that her personal bonuses were denied by her manager while her male coworker's bonuses were awarded — despite both of them being involved with the creation and distribution of the spreadsheet.

There's nothing that says they had the same manager. They may have, in which case this is very suspect. Or they could have had different managers who were reacting differently to the situation.