Your answer is the correct one, or at least it would be in the state in which I practice law.
How would he be correct? She is only entitled to any share of the pension in the event that he dies. He’s not dead, so her share right now is 0%. Not $0, zero percent. And he forfeited the pension, so now he won’t get paid anything, and she won’t when he dies, as there is no pension at that point.