What the envelope binding established about the reveal's taptree.
control block merkle path depth; 0 means the taptree provably committed a single leaf
reveal tx has one input, so no other input can contribute an envelope
the taptree provably committed only the observed tapscript (depth 0)
What the envelope binding established about the reveal's taptree.