Home Editor's Pick Deadline for Musk’s ultimatum to federal workers hits, but consequences remain vague