It’s not unreasonable to expect developers to build responsibly instead of defaulting to whatever is cheapest/easiest in the short term. If I understand this correctly, the way they’re using the miniscript in those cases is a suboptimal use of tapscript — less efficient and more expensive than it needs to be. Requiring them to fix that isn’t punitive. It improves efficiency, lowers long-term costs, and ultimately benefits their own users and product. So how exactly is that a bad outcome? If the protocol tolerates sloppy or inefficient constructions, those patterns get cemented. Today’s shortcut becomes tomorrow’s standard.