The contracts generic spending must skip, as script → type. VTXOs are keyed to their contract by script, so membership answers the per-VTXO question too.
script → type
script
The contracts generic spending must skip, as
script → type. VTXOs are keyed to their contract byscript, so membership answers the per-VTXO question too.