Court filings and agency disclosures reveal the scale of the layoffs tied to the shutdown. Multiple filings put the number of affected federal positions at roughly 4,100, and details are emerging about which offices were hit first.