She wouldn’t have resigned if she wasn’t going to get a Pension. Principle only goes as far as her Wallet.
Five years at State or the agency gets you a 5% retirement at age 55.