height of the last proven hop
how the envelope's index was proven
satpoint after each hop, genesis first
where the sat sits after the last proven hop
reveal tx has one input, so no other input can contribute an envelope
the reveal's taptree provably committed only the observed tapscript
control block merkle path depth of the envelope's taproot commitment