Just so I’m clear, the monthly pension is the same as long as there is a 70 combo. So someone hired at 20 who works 50 years, has the same pension as someone hired at 30 who works 40 years, as someone hired at 40 who works 30 years . . . as someone hired at 60 who works 10?
No, just the ability to retire with some pension. The longer you work, the bigger the pension. Since he didn’t make age 50 with 20 years he gets nothing.
Except that 20 years service is required for the max, I believe. He is not so far officially accused of doing anything to jeopardize his pension. He would have to be convicted under 5 US Code 8312:
https://www.law.cornell.edu/uscode/text/5/8312