The law on government records is complicated, but the constitutional issues are simple. He can run in the 2024 presidential election.