One backward hop: which input fed the given absolute position, and where
that sat sat inside the input's funding output. Because outputs are a
prefix slice of the concatenated input stream, output-space and
input-space positions are identical.
inputValues are the proven values of inputs 0..n (from provenInputValues);
if the provided values do not reach the position while further inputs
remain, SatFundingIncompleteError names the inputs still needed, and a
position past every input sat the transaction has is SatPositionError.
One backward hop: which input fed the given absolute position, and where that sat sat inside the input's funding output. Because outputs are a prefix slice of the concatenated input stream, output-space and input-space positions are identical.
inputValues are the proven values of inputs 0..n (from provenInputValues); if the provided values do not reach the position while further inputs remain,
SatFundingIncompleteErrornames the inputs still needed, and a position past every input sat the transaction has isSatPositionError.