The claim, made in government filings to the Supreme Court, is contradicted by budget and other records.
