Hal Finney believed that in the future people would mostly be using layer 2s through bitcoin banks

You understand that this is exactly what I pointed to above, right? If it's only about what people say, and not about the actual code (which is even harder for Spark because half the stuff is proprietary) then maybe there are more lessons to be learned from the Coldcard fuckup than just "be humble".