TBH I haven’t gone deeply into figuring this out. I guess you’d need to be able to check that the tx spending the current output has an output of equal (or some function) of the current output being spent which I guess TXHASH can’t do? This is for committing to the first commit tx of the channel in the address itself.
What are the requirements for this probably belongs elsewhere. I started some discussion some time ago here: Non-interactive channels without commiting to value in script pubkey · Issue #19 · ariard/bitcoin-contracting-primitives-wg · GitHub. Might be time to re-start it on this lovely new platform with latest thinking.