What happens to a fired gov employee’s retirement? Not their 401k but pension.
If they’re vested they usually keep benefits.
The TSP (government version of 401k) can either remain there or be moved out but matching funds (1%) stop.