Yes. It is source verifiable. It is not open source.
I was thinking Coldcard is open source but it is not. I check this site that says their source code is reproducible:
https://walletscrutiny.com/hardware/coldcardMk4/Is reproducible does not mean it is open source or the site is not correct about it.