How to interact with deployed scripts

[rdong8]

Hey I'm pretty new to bitcoin (have some experience on the ethereum side). Does the Minsc compiler generate some kind of calling convention so that we know what kind of input we have to provide to interact with the script (like an ethereum ABI)? As I understand it, to run the HTLC example, I have to do the following steps:

1. Create a bitcoin transaction
2. Set the inputs to fund the contract using the sender's UTXOs
3. Set a single output to be a P2WSH script representing the HTLC

Then to redeem:

1. Create a bitcoin transaction
2. Set a single input to be the HTLC output from before
3. Set the output to be a P2WPKH to the recipient in the swap
4. Set the witness to ? I am not sure what to do here.

Also wondering if there is an end to end example of creating an actual transaction and redeeming the outputs anywhere, I am having trouble with many of the smaller details.