He was told to retire or be fired.
Retiring means he keeps his pension (and a ‘legal connection’ to Fed-zilla).
I am more concerned about the status of his NATSEC clearances... of which he should be relieved.
Regarding federal pensions - depending on the part of the federal government and thus, the pension system that is involved, the pension might be an accrued benefit that is owned by the employee, having already been earned during the years of service (or whatever it is/was that they did) already performed. Meaning that being fired, they still own that retirement money.
Lots of maybes because in my little corner of Fedzilla, we were not civil service employees, and our pension was through the TVARS (Tennessee Valley Authority Retirement System) and not any other entity. Sadly, since around 2013, new employees aren’t given any retirement, but instead are given “company match” dollars to a higher amount in their 401K. Better than nothing, but not insulated against market fluctuations.
I doubt you have to worry about that. That is a Kash deal.