if a United States court, a State court, or an administrative law judge decides (including a judge in a proceeding under section 6712(d)(1)), that the government has complied with sections
1
So in original. Probably should be “section”.
6711(a) and (b); or