A federal judge dismissed the Trump administration's lawsuit seeking Harvard's admissions records, ruling the Justice Department failed to follow procedural steps before suing — while leaving the door open for a future challenge.