Bitbox wallet is based on modified Trezor code with added secure element, and it is open source, that makes it good hardware wallet buying option.
However, there are some issues with their controversial swiss AOPP rule that is violating privacy, and they are now only wallet that is still supporting that.
Trzor, Bluewallet and few other wallets removed their AOPP rule support after negative feedback from community.

Trezor is a open source hardware wallet, it is completely open source. It software, the Trezor Suite is also open source. For bitcoin, you can also use it with Electrum wallet.

For Ledger Nano, it has a secure element which is used for seed phrase generation and storage. The secure element makes it hard for a physical attack that can reveal the seed phrase to anyone that steal the wallet to be impossible (or let me use almost impossible).

Trezor is completely open source but adding passphrase while generating wallet with it can be necessary in order to generate different keys and addresses in a way any attacker that steal the wallet will only know the seed phrase with the physical attack that can reveal the seed phrase but can not know the keys and addresses and will not be able to steal your coins if strong passphrase is used.

I will recommend Trezor if you can use passphrase along with seedphrase to generate the wallet. If you lose your seed phrase, you lose your coin, also if you lose passphrase, you lose your coin.

About Coldcard, you can read this:
https://bitcoin.org/en/wallets/hardware/coldcard/#:~:text=Coldcard%20is%20an%20easy%20to,in%20a%20dedicated%20security%20chip.

About Safepal
The wallet itself is close source
The wallet software is also close source
It only has a mobile software, no desktop software
You can not connect it with wallets like Electrum
No means of generating multisig wallet
No coin control or address freeze
Safepal is not recommendable.

I wouldn't label myself as an expert but, here's what I'd personally go with (for bitcoin):

Desktop: Electrum
Mobile: Blockstream or Samurai wallet (the latter is privacy-focused).

As for the HWs, then since I'm not that familiar with the MK4 model, I would go with either Trezor or Ledger. SafePal might be cheap but it's definitely not something you should be using for your life savings (closed source, backed by Binance, bad UX, etc.)