What are you talking about? If a federal employee retires they have a 401K they pay into like the private sector. Works just like the private sector.
Don’t they have PERS instead of SS?
It does happen. Collect your TSP and stay on as a contractor, get a job at a college, etc.