Makes no sense, there is no other place for the code, maybe would compile in the USB connector? 😆
You can actually prove it does what it claims for reproducibly build it yourself https://github.com/coldcard/firmware
here are some folks doing just that https://bitcoinbinary.org/