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