TSMC makes semiconductors used in F-35 fighters and a wide range of “military-grade” devices used by the U.S. Department of Defense (DoD).
https://www.csis.org/analysis/semiconductors-and-national-de...
https://www.csis.org/analysis/semiconductors-and-national-de...
What the parent is referring to is DMEA's Trusted Foundry Program[1], of which TSMC is not an accredited supplier of foundry services.
[1] https://www.dmea.osd.mil/otherdocs/accreditedsuppliers.pdf