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.
Reproducible is far far better than closed source but not quite as optimal as fully open source. Fully open source incentivizes a larger pool of actors to scrutinize the code and build/fix/improve it as needed. Nothing is stopping anybody from examining and playing around with a source verifiable code but without the financial incentive to use and build upon the code there won't be as many people spending their time.