A bundle's prev tx list is aligned to the transaction's inputs, so an entry
past the input count corresponds to nothing and would be read by nothing.
Both verifiers refuse it rather than ignore it, so that SPEC-SAT's "verifiers
MUST use every prev tx supplied" is a rule the code keeps and not a rule the
code narrows in silence.
A bundle's prev tx list is aligned to the transaction's inputs, so an entry past the input count corresponds to nothing and would be read by nothing. Both verifiers refuse it rather than ignore it, so that SPEC-SAT's "verifiers MUST use every prev tx supplied" is a rule the code keeps and not a rule the code narrows in silence.