Repost from bitcoin++ Insider by Core Lightning developer ddustin, who dug into the Coldcard firmware commit history to uncover what happened and why the code failed.

https://insider.btcpp.dev/p/when-randombytes-runs-but-doesnt