> As long as s1=s2 the covenant is enforced. However if s1!=s2 the covenant can be broken. To punish spenders who set s1!=s2, we create an output that allows anyone to burn/slash the coins of the rule breaker if and only if they spent a covenant and supplied s1 and s2 such that s1!=s2.

While I'm too much of an onchain noob to think through this effectively, I'm very bullish on incentive-enforced systems like this because they are so under-explored and they obviously work - bitcoin itself is such a system.