How many public service jobs is the government actually cutting?

Budget 2025 was both revelatory and confusing when it came to public service job cuts. Here's what you need to know.