What values does the proposed upgrade OP_CTV hash? My understanding is this opcode enables checking the current encumbered input against the proposed spending transaction by checking a hash of specific values. Validity is determined by if the spending transaction fits within the template of the encumbered input.
Given an input, what attributes are of the spending transaction must be checked against, and what attributes are optional?
Here is an example hashing function for ctv by supertestnet.









