control block merkle path depth of the envelope's taproot commitment
funding transactions walked between reveal and coinbase
how the envelope's index was proven
where the sat entered the reveal (input space projected to outputs may differ)
reveal tx has one input, so no other input can contribute an envelope
the reveal's taptree provably committed only the observed tapscript
block that mined the sat