Federal wouldn't come into play unless the courts refuse to uphold her rights now that the entire reason for the refusal to honor her marriage rights was tossed out by the US Supreme Court's ruling. The judge has no right to refuse it any further unless there is some other technicality in the laws and precedents somewhere that can be used against her, but even so that is stretching things. They already used a sketchy precedent that would likely have held up in the federal courts if the state supreme court upheld the ruling against her, I doubt they can find anything else so she is getting what she rightfully deserves.