@pete in your recent mailing lost post you wrote, in response to this:

"> In the CHECKTEMPLATEVERIFY approach, ... Based on a
> destructuring argument, it is only possible to create templates which expand
> in a finite number of steps. ....

(snipped), :

"The "finite" number of steps could be millions of transactions - "infinitely
long" for any practical purpose."

I don't understand why this is an issue. If there's a chain of ctv outputs, why does the network as a whole care?