These are some really solid questions and ideating!
- CTV can actually accept multiple inputs, and you can use them to write option contracts. This would enable to do e.g. register an on-chain auction of a ordinal, if you wanted that. There’s code some stuff like that here: sapio/sapio-contrib/src/contracts/derivatives at master · sapio-lang/sapio · GitHub
- Your idea for relative references is similar to John Law’s inherited ID’s proposal. See [bitcoin-dev] Inherited IDs - A safer, more powerful alternative to BIP-118 (ANYPREVOUT) for scaling Bitcoin - Jeremy