Lamport signatures and other CAT tricks

Yes, that’s what I would like to disable (opt-in).

My thinking was that for keyspend revealing the preimage t of the tweak is required. So then the clients could check if Q = point_add(G, point_mul(G, t)) and then say NOPE! But i guess an adversary could just calculate a different (a+b)G = (t+1)G , is what you meant.

Is there a way to force script only and retain compatibility with the current address format?