For decades, mainframes have quietly powered the core of government operations — from taxes to pensions and public services.