This page duplicates the case published at United States v. State of Texas (5th Cir. 2025), decided July 3, 2025.