Anchor a reveal's whole witness into the block's BIP-141 witness
commitment. The header is the caller's already-anchored header for the
block the reveal is proven into, and the reveal MUST already be
txid-proven into it at pos. On success, the reveal's exact serialization
including every input's witness is the one committed in the block, which
pins envelope bytes, per-input envelope counts, and therefore envelope
numbering all at once.
These are the L3 checks verifyProofBundle has always run, in the same
order with the same error messages; this is their shared home so custody
and genealogy verification run the same consensus logic.
Anchor a reveal's whole witness into the block's BIP-141 witness commitment. The header is the caller's already-anchored header for the block the reveal is proven into, and the reveal MUST already be txid-proven into it at
pos. On success, the reveal's exact serialization including every input's witness is the one committed in the block, which pins envelope bytes, per-input envelope counts, and therefore envelope numbering all at once.These are the L3 checks verifyProofBundle has always run, in the same order with the same error messages; this is their shared home so custody and genealogy verification run the same consensus logic.