Dirección(es) de destino al canjear un HTLC

A partir de este texto en https://en.bitcoin.it/wiki/Script :

"La secuencia de comandos para una transferencia típica de Bitcoin a la dirección de destino D de Bitcoin simplemente dificulta el gasto futuro de las bitcoins con dos cosas: el gastador debe proporcionar 1. una clave pública que, cuando se genera un hash, produce la dirección de destino D incrustada en la secuencia de comandos..."

y luego mirando el script HTLC:

OP_IF
    [HASHOP] <digest> OP_EQUALVERIFY OP_DUP OP_HASH160 <seller pubkey hash>            
OP_ELSE
    <num> [TIMEOUTOP] OP_DROP OP_DUP OP_HASH160 <buyer pubkey hash>
OP_ENDIF
OP_EQUALVERIFY
OP_CHECKSIG

Mi pensamiento original fue que el HTLC solo podía canjearse a la dirección detrás <seller pubkey hash>de o <buyer pubkey hash>: son los únicos datos relacionados con las direcciones incrustadas en el script, por lo que debe ser la "dirección de destino" a la que se hace referencia anteriormente. Entiendo que esto está mal.

¿Estoy ahora en lo cierto al pensar:

1. Que los dos hashes de pubkey meramente establecen el derecho del redentor a tomar la rama respectiva;
2. De hecho , no hay una "dirección de destino D incrustada en el script" para un HTLC;
3. Que el vendedor o comprador puede redimir a cualquier dirección que desee;
4. ¿Y esa dirección puede permanecer indecisa a través de la financiación y la vida del HTLC hasta los momentos previos a la redención?