In Treasury’s basement, fluorescent lights hummed above four young coders. Their screens cast blue light across government-issue desks, illuminating energy drink cans and agency badges. As their algorithms crawled through decades of payment data, one number kept growing: $17 billion in redundant programs. And counting.