So they can’t retire with a full pension until they are 65?
I believe the earliest they can retire with any kind of a pension is age 56. But must wait the same as anyone else for Social Security benefits.
Those who started with Fed before 1983 were on the old Civil Service plan. They could retire at the earliest with 30 years of service and minimum age 55. Pension was approx 55% of highest salary. But not Social Security unless qualified outside Gov’t Employment. In which case benefits reduced at least 60%.