Labor CIO Thomas Shedd, a Musk-aligned AI evangelist and former Tesla engineer, departs after gutting the agency but retains key GSA tech posts.