Not all bitvm transactions transfer values on L1, and not all of them use HTLCs > do you consider it a spam if a Metaprotocol is demonstrating that exact soft fork It is spam imo if and only if the metaprotocol's transactions add more data to bitcoin than would otherwise be there, data with a purpose other than the ones outlined in my definition. There's nothing wrong with simulating a soft fork in a metaprotocol, imo. But if, in service of demonstrating that feature, you use bitcoin as a text dump for your metaprotocol's data, that's spammy.