The state will lose this one.
Too many jurisdictional allow for and recognize trans gender issues.
I do wonder if the judge voided the marriage because state laws have not yet caught up with the bio ethics or the judge was just being an idiot.
Hard to tell in Texas.