One of the worst wallets are the ones that are reproducible but not open source. According to what many people have posted on this forum, that is the category that Coldcard fall under. It is not an open source wallet.
Many wallet developers just has way that will let people think that their wallet is completely open source. Even they fooled many places on the internet about it.
Did you miss or confuse anything?
Truly open source wallets are wallets that have open source code so that other developers can verify the code and reproduce wallets from source code.
What you said is source availability but can not be reproduced, and wallets like that are not considered as open source, just source available.
You can search about Reproducible open-source wallets, and Source-Viewable wallets.
With Reproducible open-source wallets, people can reproduce wallets from open source code, and create exactly similar wallets bit-by-bit like official wallets.
Many people have been writing different things that are not true here, and many concepts have been mixed up. I don't know why they say this or that about the Coldcard thing when they don't have the correct information. In the case of this hardware they do publish the source code and now this person claims is it not open sources. If you go to Github you will see that they provide a way to reproduce their firmware and then you can also compare it to the release by the company, so in this case this had nothing to do with the hack. If you have a firmware that has a big security hole like this one had, where the random number generator was not good, then verifying hashes, reproducing the firmware and all things like that do not help at all. Those things help you confirm that the code that you have seen online or the file you downloaded is the one that you are running. But if that code has a hole, you are verifying that you have installed something with a security hole.
None of those concepts are related to the issue with Coldcard, it had a big security flaw for some versions of the firmware and that is it. Hash verification, build reproduction and other things do not help with this.