Judge Robert Pitman of the U.S. District Court for the Western District of Texas updated and finalized amendments on Monday, ruling that the Treasury's actions were "unlawful" and placing an order that compels the Treasury to be "permanently enjoined from enforcing it."