My workplace is similar to sparkytheop's in the demographics and workforce compensation , although it's roughly 90K / 100K / 115 K incomes, including shift or holiday pay, and we're in a MCOL. A few may go at 62. Some are at 59ish - don't like the job, but haven't saved a lot + bad financial choices. One is going @ 65 - but is cautious in their spending, have a paid for house, but wants Medicare and layers of insurance.
A couple of them pulled out 100K from their TSP during the Covid pandemic - [ there was a short term withdrawal option where regular taxes had to be paid within 3 years, but the withhdrawal didn't need to be paid back, and no 'penalty' taxes either ] and it's fair to say they fudged their TSP Covid withdrawal application because they didn't actually have any family members who lived with them + lost their job [ that was a condition for receiving the payout ].
We went to a system called DPMAP for performance appraisals / reviews. You can basically get a performance rating of 1-3-or 5 {5 is the best} . As i understand it that system says those with a "current or recent #1 {bad} rating " get forced out first during a VERA. I think one really bad performance review is a fair trade to get towards the head of the line in a RIF reduction in force situation.
On the ** / 40 years ratio for the annuity supplement, there is a 'catch' in the math for anyone who had military time and 'bought it back' . Say you had served 4 yrs military, than joined fed service, and had paid the military service redeposit to add to your cumulative federal years time. That 4 years would not get credited in the annuity supplement calculations.
It's possible to be putting in the minimum 6% into TSP to get the match over 30 years, and still have $500K or less to show for it. Some conservative allocations- say 40%/ 30% / 30% between the G, F, and C funds and a few loans against a TSP balance throughout a career, and suddenly the #'s don't look so great.