If the company is large enough to have a real HR department, somebody was given a spreadsheet and told to cut expenses by a certain number before the end of the day, and this is what they came up with. Then it was run by the company's lawyers, who okayed it. When across the board cuts are made like this, there are no room for individuals negotiating their own deal.
Unless there are local laws on PTO that say otherwise, the reality is that they don't owe her anything and she should consider that money lost. Sorry.