Interesting future history. One thing, though. I’d use “furloughed with pay “ rather than “laid off.”
Yeah, I forgot that government employees never get fired or laid off. They just retire on upwards of 80% of their salary instead of what the plebs get from social security.