The judge actually denied as unnecessary the requested injunction, since it's presumed that federal officials will adhere to his ruling. Quote from the opinion:
Code:
There is no reason to conclude that this presumption should not apply here. Thus, the award of declaratory relief is adequate and separate injunctive relief is not necessary.
Which means that the Judge has given the government the benefit of the doubt. Should the government push for compliance with the States, the judge
then can issue an injunctive relief/contempt of court/etc.