Marlowe Pioneer

All

w0708a_setup
w0708c_notify
w0708d_notify
w0800_fan_out
w0801_escrow
w0802_cbg
w0802f_cbg
w0802s_cbg
w0802t_cbg
w1202_notify

w0801_escrow asnap

20220831

The escrow contract

This page is a report on the scripted implementation of the marlowe escrow contract. The first section is for reading, the rest (the sources of all scripts) are for reference.

Every transition from one state to the next corresponds to the execution of one or more scripts. Eg. when the seller disputes the problem, this corresponds to executing script: 404_seller_disputes.sh

Each and every flow is implemented except for flow 100 -> 270, where the buyer doesn’t deposit, and the mediator tries to get his funds back after the deadline passed: I’ll look later if I can get it to work.

Scripts

Here is a zip with the scripts and other data: scripts_801.zip.
Look at the files in the ‘core’ directory in the zip-file. These scripts are also documented in the 2nd half of this page.

Notes

The price of the item bought/sold is 100 ADA.
Short deadlines: to be able to test the ‘deadline passed’ flows, the deadlines are set at 15 .. 18 minutes in the future. The ‘red’ squares in above diagram all have a deadline in their flow. (these take long to execute, because of waiting 20min for the deadlines to pass).
A release request is the transaction that moves the funds from the contract to the payout address after deadline expiry
In case you want to execute the scripts: at the starting point the buyer, mediator, and seller addresses are expected to have been created, the tokens (BUY, MED,and SEL) minted and distributed. Those scripts are not included.
A python script (which uses pandas) is used for computing the balance (install on linux with: apt-get install python3-pandas), but this is not needed for core execution.
The tool used for querying the blockchain is asnap, this is its gitlab repo: gitlab.com/wmoco/asnap (also see: usage and advanced_usage ). If you want to execute the scripts, you’ll need at least version v0.1.2 of asnap. Install it like this: go install gitlab.com/wmoco/asnap@v0.1.2.

Report

Following is a generated report, which details the scripts that are executed in each flow, and what the before/after balance difference (ADA) is for buyer, seller, mediator after execution.
The most expensive flow (highest cost) is flow550.sh which costs 6.26 ADA.
The flows are numbered according to the end-state, eg. Flow 550 is from “100-start” to “550-end”.

flow330.sh

102_create_escrow_contract.sh
104_mediator_funds_contract.sh
202_buyer_deposits.sh
302_buyer_approves.sh
322_seller_withdraws.sh
324_mediator_withdraws.sh

Difference before/after execution

    ALIAS        DIFF
    buyer -102.532313
 mediator   -0.657771
   seller   99.579051
    TOTAL   -3.611033

flow430.sh

102_create_escrow_contract.sh
104_mediator_funds_contract.sh
202_buyer_deposits.sh
304_buyer_objects.sh
402_seller_confirms.sh
422_buyer_withdraws.sh
424_mediator_withdraws.sh

Difference before/after execution

    ALIAS      DIFF
    buyer -3.083517
 mediator -0.653429
   seller -1.195388
    TOTAL -4.932334

flow530.sh

102_create_escrow_contract.sh
104_mediator_funds_contract.sh
202_buyer_deposits.sh
304_buyer_objects.sh
404_seller_disputes.sh
502_mediator_confirms.sh
522_buyer_withdraws.sh
524_mediator_withdraws.sh

Difference before/after execution

    ALIAS      DIFF
    buyer -3.079175
 mediator -1.808434
   seller -1.301125
    TOTAL -6.188734

flow550.sh

102_create_escrow_contract.sh
104_mediator_funds_contract.sh
202_buyer_deposits.sh
304_buyer_objects.sh
404_seller_disputes.sh
504_mediator_dismisses.sh
542_seller_withdraws.sh
544_mediator_withdraws.sh

Difference before/after execution

    ALIAS        DIFF
    buyer -102.709091
 mediator   -1.892715
   seller   98.341982
    TOTAL   -6.259824

flow370_deadline.sh

102_create_escrow_contract.sh
104_mediator_funds_contract.sh
202_buyer_deposits.sh
# BUYER DEPOSITS, BUT DOESN'T EVALUATE. SLEEP UNTIL PAYMENT DEADLINE PASSED  -> 20min 
echo "Sleeping for 20 minutes, until deadlines have passed"
sleep 1200
echo "Awake again ... at `date "+%a %Hh%M"` " 
306_seller_requests_release.sh  
362_seller_withdraws.sh  
364_mediator_withdraws.sh

Difference before/after execution

    ALIAS        DIFF
    buyer -101.349774
 mediator   -0.653429
   seller   98.478028
    TOTAL   -3.525175

flow470_deadline.sh

102_create_escrow_contract.sh
104_mediator_funds_contract.sh
202_buyer_deposits.sh
304_buyer_objects.sh
# SELLER DOESN'T CONFIRM NOR DISPUTE , SLEEP UNTIL PAYMENT DEADLINE PASSED  -> 20min 
echo "Sleeping for 20 minutes, until deadlines have passed"
sleep 1200
echo "Awake again ... at `date "+%a %Hh%M"` " 
406_buyer_requests_release.sh 
462_buyer_withdraws.sh  
464_mediator_withdraws.sh

Difference before/after execution

    ALIAS      DIFF
    buyer -4.143685
 mediator -0.657771
   seller  0.000000
    TOTAL -4.801456

flow570_deadline.sh

102_create_escrow_contract.sh
104_mediator_funds_contract.sh
202_buyer_deposits.sh
304_buyer_objects.sh
404_seller_disputes.sh
# MEDIATOR DOESN'T DISMISS NOR CONFIRMS, SLEEP UNTIL PAYMENT DEADLINE PASSED  -> 20min 
echo "Sleeping for 20 minutes, until deadlines have passed"
sleep 1200
echo "Awake again ... at `date "+%a %Hh%M"` " 
506_buyer_requests_release.sh  
562_buyer_withdraws.sh  
564_mediator_withdraws.sh

# Note: I tried first to run seller withdraw, but that didn't work, it should be the buyer withdrawing
# The 562_seller_withdraws.sh  gave this error: 
# TxBodyErrorMinUTxONotMet (TxOutInAnyEra AlonzoEra (TxOut (AddressInEra (ShelleyAddressInEra ShelleyBasedEraAlonzo) 
# (ShelleyAddress Testnet (KeyHashObj (KeyHash "d70c3139e3c5f4c90c52f78829c57b0044dd3566f753b62e0509f75a")) StakeRefNull)) 
# (TxOutValue MultiAssetInAlonzoEra (valueFromList [])) TxOutDatumNone)) (Lovelace 999978)

Difference before/after execution

    ALIAS      DIFF
    buyer -4.190786
 mediator -0.647625
   seller -1.301125
    TOTAL -6.139536

All the scripts

000_setenv.sh

#!/bin/bash 

#----------------------------------------------------------------------
# --- general ---
export MINIMUM_ADA=2000000              # the minimum lovelace to be included with native token ouptut.
export INITIAL_LOVELACE=3000000         # the creation transaction will deposit 3₳.
export PRICE=100000000                  # the price of the item is 100₳.

# time to sleep AFTER the tx, before querying the blockchain 
export SLEEPTIME=15

#----------------------------------------------------------------------
# --- the mediator, buyer and seller ---
if [ ! -e mediator.address ]; then
    echo "mediator.address doesn't exist"
    exit 1
fi
export MEDIATOR_ADDRESS=$(cat mediator.address)

if [ ! -e buyer.address ]; then
    echo "buyer.address doesn't exist"
    exit 1
fi
export BUYER_ADDRESS=$(cat buyer.address)

if [ ! -e seller.address ]; then
    echo "seller.address doesn't exist"
    exit 1
fi
export SELLER_ADDRESS=$(cat seller.address)

export MEDIATOR_ROLE='MED'
export BUYER_ROLE='BUY'
export SELLER_ROLE='SEL'

# Token in HEX:
# MED = 4D 45 44
# BUY = 42 55 59
# SEL= 53 45 4C

#----------------------------------------------------------------------
# --- policy aka currency ---
export POLICY_ID=""
export MEDIATOR_TOKEN=""
export BUYER_TOKEN=""
export SELLER_TOKEN=""

if [ -f policy_id.txt ] 
then 
    export POLICY_ID=$(cat policy_id.txt)
    export MEDIATOR_TOKEN="${POLICY_ID}.${MEDIATOR_ROLE}"
    export BUYER_TOKEN="${POLICY_ID}.${BUYER_ROLE}"
    export SELLER_TOKEN="${POLICY_ID}.${SELLER_ROLE}"
fi

#----------------------------------------------------------------------
# --- contract and payout addressess and tx'es ---
export CONTRACT_ADDRESS=""
if [ -f contract.address ] ; then 
    export CONTRACT_ADDRESS=$(cat contract.address)
fi

export PAYOUT_ADDRESS=""
if [ -f payout.address ];  then 
    export PAYOUT_ADDRESS=$(cat payout.address)
fi

# watchout: tx without the ix!!
export CONTRACT_TX=""
if [ -f contract_tx.txt ] ; then 
    export CONTRACT_TX=$(cat contract_tx.txt)
fi

# watchout: tx without the ix!!
export PAYOUT_TX=""
if [ -f payout_tx.txt ] ; then 
    export PAYOUT_TX=$(cat payout_tx.txt)
fi

010_clean_for_collateral.sh

#!/bin/bash 

# The command marlowe-cli util clean reorganizes UTxOs at an address so that there is a tokenless UTxO that is suitable for use as collateral.

#for ALIAS in 'mediator' 
for ALIAS in 'buyer' 'seller' 'mediator'
do
    echo "$ALIAS" 
    marlowe-cli util clean --required-signer "${ALIAS}.skey"            \
                           --change-address `cat "${ALIAS}.address"`    \
                           --out-file /dev/null                       \
                           --submit=600
    echo 
    echo 
done

102_create_escrow_contract.sh

#!/bin/bash 
echo 
echo "--- `date "+%a %Hh%M"`: $0 ----------------------------------------------------------------------"
. ./000_setenv.sh

# first instantiate the deadlines, then load the envir variables via the ./00_setenv.sh
export NOW=$(($(date -u +%s)*1000))         # The current time in POSIX milliseconds.
export HOUR=$((60*60*1000))                 # One hour, in POSIX milliseconds.
export QUARTER=$((15*60*1000))              # One hour, in POSIX milliseconds.
export MINUTE=$((60*1000))              # One hour, in POSIX milliseconds.

# short deadline!
export PAYMENT_DEADLINE=$((NOW+QUARTER)) 
export COMPLAINT_DEADLINE=$((NOW+QUARTER+MINUTE)) 
export DISPUTE_DEADLINE=$((NOW+QUARTER+2*MINUTE)) 
export MEDIATION_DEADLINE=$((NOW+QUARTER+3*MINUTE))

marlowe-cli template escrow --minimum-ada "$INITIAL_LOVELACE"          \
                            --price "$PRICE"                           \
                            --seller "Role=$SELLER_ROLE"               \
                            --buyer "Role=$BUYER_ROLE"                 \
                            --mediator "Role=$MEDIATOR_ROLE"           \
                            --payment-deadline "$PAYMENT_DEADLINE"     \
                            --complaint-deadline "$COMPLAINT_DEADLINE" \
                            --dispute-deadline "$DISPUTE_DEADLINE"     \
                            --mediation-deadline "$MEDIATION_DEADLINE" \
                            --out-contract-file 103_contract.json   \
                            --out-state-file    103_state.json 


# from the contract and state file, produce a marlowe file
marlowe-cli run initialize --roles-currency "$POLICY_ID"     \
                           --contract-file 103_contract.json     \
                           --state-file    103_state.json     \
                           --out-file      103_marlowe.json   \
                           --print-stats

jq -r '.marloweValidator.address' 103_marlowe.json > contract.address
jq -r '.rolesValidator.address' 103_marlowe.json > payout.address


asnap -t dev mediator.address buyer.address seller.address contract.address payout.address > 103_snap.txt

104_mediator_funds_contract.sh

#!/bin/bash 
echo 
echo "--- `date "+%a %Hh%M"`: $0 ----------------------------------------------------------------------" 
. ./000_setenv.sh

# the tx-in's is the one with .FlagGreatestPureAda
cat <<EOTX | asnap - mediator.address > 105_execute.sh
. ./000_setenv.sh

marlowe-cli run execute \
«range .Alias2AddressMap.mediator.TxixList»«if .FlagGreatestPureAda»  --tx-in «.Txix» \
«end -»«end»  --change-address "$MEDIATOR_ADDRESS" \
  --required-signer mediator.skey     \
  --marlowe-out-file 103_marlowe.json \
  --out-file 105_out.json             \
  --print-stats                       \
  --submit=600
EOTX

bash 105_execute.sh > 105_stdout.txt 
echo 
echo "Sleeping ${SLEEPTIME}s, before querying"
sleep $SLEEPTIME

# save the tx
grep -i txid 105_stdout.txt | sed -e 's/" *$//' -e 's/^.*"//' > contract_tx.txt
echo "" > payout_tx.txt

asnap -t dev mediator.address buyer.address seller.address contract.address payout.address > 105_snap.txt
echo "Done"

202_buyer_deposits.sh

#!/bin/bash 
echo 
echo "--- `date "+%a %Hh%M"`: $0 ----------------------------------------------------------------------"
. ./000_setenv.sh

cat <<EOTX | asnap - buyer.address contract.address > 203_execute.sh
. ./000_setenv.sh

marlowe-cli run prepare \
  --marlowe-file 103_marlowe.json  \
  --deposit-account "Role=SEL"  \
  --deposit-party "Role=BUY"  \
  --deposit-amount "$PRICE"  \
  --invalid-before "«.TenMinutesAgoMilli»"  \
  --invalid-hereafter "«.TenMinutesFromNowMilli»" \
  --out-file 203_marlowe.json \
  --print-stats

marlowe-cli run execute  \
  --marlowe-in-file 103_marlowe.json  \
  --marlowe-out-file 203_marlowe.json  \
«range .Alias2AddressMap.contract.TxixList»«if eq .Tx "$CONTRACT_TX"»  --tx-in-marlowe "«.Txix»" \
«end»«end»«range .Alias2AddressMap.buyer.TxixList»«if .FlagGreatestPureAda»  --tx-in-collateral "«.Txix»" \
«end»«end»«range .Alias2AddressMap.buyer.TxixList»  --tx-in "«.Txix»" \
«end»  --required-signer buyer.skey  \
  --tx-out "$BUYER_ADDRESS+$MINIMUM_ADA+1 $BUYER_TOKEN" \
  --change-address "$BUYER_ADDRESS"  \
  --out-file 203_out.json  \
  --print-stats  \
  --submit=600

echo "RV: $?" 
EOTX

# execute
bash 203_execute.sh > 203_stdout.txt 
echo 
echo "Sleeping ${SLEEPTIME}s, before querying" 
sleep $SLEEPTIME
grep -i txid 203_stdout.txt | sed -e 's/" *$//' -e 's/^.*"//' > contract_tx.txt
echo "" > payout_tx.txt

asnap -t dev mediator.address buyer.address seller.address contract.address payout.address > 203_snap.txt
echo "Done"

206_mediator_requests_release.sh

#!/bin/bash
echo 
echo "--- `date "+%a %Hh%M"`: $0 ----------------------------------------------------------------------" 
. ./000_setenv.sh

cat <<EOTX | asnap - mediator.address contract.address > 207_execute.sh
. ./000_setenv.sh

marlowe-cli run prepare  \
  --invalid-before «.TenMinutesAgoMilli» \
  --invalid-hereafter «.FiveYearsFromNowMilli» \
  --marlowe-file 103_marlowe.json  \
  --out-file 207_marlowe.json \
  --print-stats


marlowe-cli run execute --marlowe-in-file 203_marlowe.json  \
  --marlowe-out-file 207_marlowe.json  \
«range .Alias2AddressMap.contract.TxixList»«if eq .Tx "$CONTRACT_TX"»  --tx-in-marlowe "«.Txix»" \
«end»«end»«range  .Alias2AddressMap.mediator.TxixList»«if .FlagGreatestPureAda»  --tx-in-collateral "«.Txix»" \
«end»  --tx-in "«.Txix»"  \
«end»  --tx-out "$MEDIATOR_ADDRESS+$MINIMUM_ADA+1 $MEDIATOR_TOKEN" \
  --required-signer mediator.skey  \
  --change-address "$MEDIATOR_ADDRESS"  \
  --out-file 207_out.json  \
  --print-stats  \
  --submit=600
EOTX

# execute
bash 207_execute.sh > 207_stdout.txt

echo "Sleeping ${SLEEPTIME}s, before querying "
sleep $SLEEPTIME

#echo "" > contract_tx.txt
grep -i txid 207_stdout.txt | sed -e 's/" *$//' -e 's/^.*"//' > payout_tx.txt

262_mediator_withdraws.sh

#!/bin/bash 
echo 
echo "--- `date "+%a %Hh%M"`: $0 ----------------------------------------------------------------------" 
. ./000_setenv.sh

cat <<'EOTX' | asnap - mediator.address payout.address > 263_execute.sh
. ./000_setenv.sh

marlowe-cli run withdraw --submit=600 \
  --marlowe-file 303_marlowe.json \
  --role-name "$MEDIATOR_ROLE"  \
  --required-signer mediator.skey  \
«range .Alias2AddressMap.mediator.TxixList»«if .FlagGreatestPureAda»  --tx-in-collateral «.Txix» \
«end»«end»«range .Alias2AddressMap.mediator.TxixList»  --tx-in "«.Txix»"  \
«end»  --tx-out "$MEDIATOR_ADDRESS+$MINIMUM_ADA+1 $MEDIATOR_TOKEN"  \
  --change-address "$MEDIATOR_ADDRESS"  \
  --out-file 263_out.json \
  --print-stats  
EOTX

# execute the script 
bash 263_execute.sh > 263_stdout.txt

echo "Sleeping ${SLEEPTIME}s, before querying "
sleep $SLEEPTIME

asnap -t dev mediator.address buyer.address seller.address contract.address payout.address > 263_snap.txt
echo "Done"

302_buyer_approves.sh

#!/bin/bash
echo 
echo "--- `date "+%a %Hh%M"`: $0 ----------------------------------------------------------------------" 
. ./000_setenv.sh

cat <<EOTX | asnap - buyer.address contract.address > 303_execute.sh
. ./000_setenv.sh

marlowe-cli run prepare  \
  --marlowe-file 203_marlowe.json  \
  --choice-name "Everything is alright"  \
  --choice-party "Role=$BUYER_ROLE"  \
  --choice-number 0 \
  --invalid-before «.TenMinutesAgoMilli» \
  --invalid-hereafter "«.TenMinutesFromNowMilli»" \
  --out-file 303_marlowe.json \
  --print-stats


marlowe-cli run execute --marlowe-in-file 203_marlowe.json  \
  --marlowe-out-file 303_marlowe.json  \
«range .Alias2AddressMap.contract.TxixList»«if eq .Tx "$CONTRACT_TX"»  --tx-in-marlowe "«.Txix»" \
«end»«end»«range  .Alias2AddressMap.buyer.TxixList»«if .FlagGreatestPureAda»  --tx-in-collateral "«.Txix»" \
«end»  --tx-in "«.Txix»"  \
«end»  --tx-out "$BUYER_ADDRESS+$MINIMUM_ADA+1 $BUYER_TOKEN" \
  --required-signer buyer.skey  \
  --change-address "$BUYER_ADDRESS"  \
  --out-file 303_out.json  \
  --print-stats  \
  --submit=600
EOTX

# execute
bash 303_execute.sh > 303_stdout.txt

echo "Sleeping ${SLEEPTIME}s, before querying "
sleep $SLEEPTIME

echo "" > contract_tx.txt
grep -i txid 303_stdout.txt | sed -e 's/" *$//' -e 's/^.*"//' > payout_tx.txt

asnap -t dev mediator.address buyer.address seller.address contract.address payout.address > 303_snap.txt
echo "Done"

304_buyer_objects.sh

#!/bin/bash
echo 
echo "--- `date "+%a %Hh%M"`: $0 ----------------------------------------------------------------------" 
. ./000_setenv.sh

cat <<EOTX | asnap - buyer.address contract.address > 305_execute.sh
. ./000_setenv.sh

marlowe-cli run prepare  \
  --marlowe-file 203_marlowe.json  \
  --choice-name "Report problem"  \
  --choice-party "Role=$BUYER_ROLE"  \
  --choice-number 1 \
  --invalid-before «.TenMinutesAgoMilli» \
  --invalid-hereafter «.TenMinutesFromNowMilli» \
  --out-file 305_marlowe.json \
  --print-stats

marlowe-cli run execute --marlowe-in-file 203_marlowe.json  \
  --marlowe-out-file 305_marlowe.json  \
«range .Alias2AddressMap.contract.TxixList»«if eq .Tx "$CONTRACT_TX"»  --tx-in-marlowe "«.Txix»" \
«end»«end»«range  .Alias2AddressMap.buyer.TxixList»«if .FlagGreatestPureAda»  --tx-in-collateral "«.Txix»" \
«end»  --tx-in "«.Txix»"  \
«end»  --required-signer buyer.skey  \
  --tx-out "$BUYER_ADDRESS+$MINIMUM_ADA+1 $BUYER_TOKEN" \
  --change-address "$BUYER_ADDRESS"  \
  --out-file 305_out.json  \
  --print-stats  \
  --submit=600
EOTX

bash 305_execute.sh > 305_stdout.txt

echo "Sleeping ${SLEEPTIME}s, before querying " 
sleep $SLEEPTIME

grep -i txid 305_stdout.txt | sed -e 's/" *$//' -e 's/^.*"//' > contract_tx.txt
echo "" > payout_tx.txt

asnap -t dev mediator.address buyer.address seller.address contract.address payout.address > 305_snap.txt
echo "Done"

306_seller_requests_release.sh

#!/bin/bash
echo 
echo "--- `date "+%a %Hh%M"`: $0 ----------------------------------------------------------------------" 
. ./000_setenv.sh

cat <<EOTX | asnap - seller.address contract.address > 307_execute.sh
. ./000_setenv.sh

marlowe-cli run prepare  \
  --invalid-before «.TenMinutesAgoMilli» \
  --invalid-hereafter "«.TenMinutesFromNowMilli»" \
  --marlowe-file 203_marlowe.json  \
  --out-file 307_marlowe.json \
  --print-stats


marlowe-cli run execute --marlowe-in-file 203_marlowe.json  \
  --marlowe-out-file 307_marlowe.json  \
«range .Alias2AddressMap.contract.TxixList»«if eq .Tx "$CONTRACT_TX"»  --tx-in-marlowe "«.Txix»" \
«end»«end»«range  .Alias2AddressMap.seller.TxixList»«if .FlagGreatestPureAda»  --tx-in-collateral "«.Txix»" \
«end»  --tx-in "«.Txix»"  \
«end»  --tx-out "$SELLER_ADDRESS+$MINIMUM_ADA+1 $SELLER_TOKEN" \
  --required-signer seller.skey  \
  --change-address "$SELLER_ADDRESS"  \
  --out-file 307_out.json  \
  --print-stats  \
  --submit=600
EOTX


# execute
bash 307_execute.sh > 307_stdout.txt

echo "Sleeping ${SLEEPTIME}s, before querying "
sleep $SLEEPTIME

#echo "" > contract_tx.txt
grep -i txid 307_stdout.txt | sed -e 's/" *$//' -e 's/^.*"//' > payout_tx.txt

322_seller_withdraws.sh

#!/bin/bash
echo 
echo "--- `date "+%a %Hh%M"`: $0 ----------------------------------------------------------------------"
. ./000_setenv.sh

cat <<EOTX | asnap - seller.address payout.address > 323_execute.sh
. ./000_setenv.sh

marlowe-cli run withdraw --submit=600 \
  --marlowe-file 303_marlowe.json \
  --role-name "$SELLER_ROLE"  \
  --required-signer seller.skey  \
«range .Alias2AddressMap.seller.TxixList»«if .FlagGreatestPureAda»  --tx-in-collateral "«.Txix»"  \
«end»«end»«range .Alias2AddressMap.seller.TxixList»  --tx-in "«.Txix»"  \
«end»«range .Alias2AddressMap.payout.TxixList»«if eq .Tx "$PAYOUT_TX"»«if .FlagGreatestTxWithDatum»  --tx-in "«.Txix»" \
«end»«end»«end» --tx-out "$SELLER_ADDRESS+$MINIMUM_ADA+1 $SELLER_TOKEN"  \
  --change-address "$SELLER_ADDRESS"  \
  --out-file 323_out.json  \
  --print-stats  
EOTX

# execute the script 
bash 323_execute.sh > 323_stdout.txt

echo "Sleeping ${SLEEPTIME}s, before querying "
sleep $SLEEPTIME

asnap -t dev mediator.address buyer.address seller.address contract.address payout.address > 323_snap.txt
echo "Done"

324_mediator_withdraws.sh

#!/bin/bash
echo
echo "--- `date "+%a %Hh%M"`: $0 ----------------------------------------------------------------------"
. ./000_setenv.sh

cat <<EOTX | asnap - mediator.address payout.address > 325_execute.sh
. ./000_setenv.sh

marlowe-cli run withdraw --submit=600 \
  --marlowe-file 303_marlowe.json \
  --role-name "$MEDIATOR_ROLE"  \
  --required-signer mediator.skey  \
«range .Alias2AddressMap.mediator.TxixList»«if .FlagGreatestPureAda»  --tx-in-collateral «.Txix» \
«end»«end»«range .Alias2AddressMap.mediator.TxixList»  --tx-in "«.Txix»"  \
«end»  --tx-out "$MEDIATOR_ADDRESS+$MINIMUM_ADA+1 $MEDIATOR_TOKEN"  \
  --change-address "$MEDIATOR_ADDRESS"  \
  --out-file 325_out.json \
  --print-stats  
EOTX

# execute the script 
bash 325_execute.sh > 325_stdout.txt

echo "Sleeping ${SLEEPTIME}s, before querying "
sleep $SLEEPTIME

asnap -t dev mediator.address buyer.address seller.address contract.address payout.address > 325_snap.txt
echo "Done"

362_seller_withdraws.sh

#!/bin/bash
echo
echo "--- `date "+%a %Hh%M"`: $0 ----------------------------------------------------------------------"
. ./000_setenv.sh

cat <<EOTX | asnap - seller.address payout.address > 363_execute.sh
. ./000_setenv.sh

marlowe-cli run withdraw --submit=600 \
  --marlowe-file 307_marlowe.json \
  --role-name "$SELLER_ROLE"  \
  --required-signer seller.skey  \
«range .Alias2AddressMap.seller.TxixList»«if .FlagGreatestPureAda»  --tx-in-collateral "«.Txix»"  \
«end»«end»«range .Alias2AddressMap.seller.TxixList»  --tx-in "«.Txix»"  \
«end»«range .Alias2AddressMap.payout.TxixList»«if eq .Tx "$PAYOUT_TX"»«if .FlagGreatestTxWithDatum»  --tx-in "«.Txix»" \
«end»«end»«end» --tx-out "$SELLER_ADDRESS+$MINIMUM_ADA+1 $SELLER_TOKEN"  \
  --change-address "$SELLER_ADDRESS"  \
  --out-file 363_out.json  \
  --print-stats  
EOTX

# execute the script 
bash 363_execute.sh > 363_stdout.txt 

echo "Sleeping ${SLEEPTIME}s, before querying "
sleep $SLEEPTIME

asnap -t dev mediator.address buyer.address seller.address contract.address payout.address > 363_snap.txt
echo "Done"

364_mediator_withdraws.sh

#!/bin/bash
echo
echo "--- `date "+%a %Hh%M"`: $0 ----------------------------------------------------------------------"
. ./000_setenv.sh

cat <<EOTX | asnap - mediator.address payout.address > 365_execute.sh
. ./000_setenv.sh

marlowe-cli run withdraw --submit=600 \
  --marlowe-file 307_marlowe.json \
  --role-name "$MEDIATOR_ROLE"  \
  --required-signer mediator.skey  \
«range .Alias2AddressMap.mediator.TxixList»«if .FlagGreatestPureAda»  --tx-in-collateral "«.Txix»"  \
«end»«end»«range .Alias2AddressMap.mediator.TxixList»  --tx-in "«.Txix»"  \
«end»  --tx-out "$MEDIATOR_ADDRESS+$MINIMUM_ADA+1 $MEDIATOR_TOKEN"  \
  --change-address "$MEDIATOR_ADDRESS"  \
  --out-file 365_out.json \
  --print-stats  
EOTX


# execute the script 
bash 365_execute.sh > 365_stdout.txt

echo "Sleeping ${SLEEPTIME}s, before querying "
sleep $SLEEPTIME

asnap -t dev mediator.address buyer.address seller.address contract.address payout.address > 365_snap.txt
echo "Done"

402_seller_confirms.sh

#!/bin/bash
echo
echo "--- `date "+%a %Hh%M"`: $0 ----------------------------------------------------------------------"
. ./000_setenv.sh

cat <<EOTX | asnap - seller.address contract.address > 403_execute.sh
. ./000_setenv.sh

marlowe-cli run prepare  \
  --marlowe-file 305_marlowe.json  \
  --choice-name "Confirm problem"  \
  --choice-party "Role=$SELLER_ROLE"  \
  --choice-number 1 \
  --invalid-before «.TenMinutesAgoMilli» \
  --invalid-hereafter "«.TenMinutesFromNowMilli»" \
  --out-file 403_marlowe.json \
  --print-stats

marlowe-cli run execute --marlowe-in-file 305_marlowe.json  \
  --marlowe-out-file 403_marlowe.json  \
«range .Alias2AddressMap.contract.TxixList»«if eq .Tx "$CONTRACT_TX"»  --tx-in-marlowe "«.Txix»" \
«end»«end»«range  .Alias2AddressMap.seller.TxixList»«if .FlagGreatestPureAda»  --tx-in-collateral "«.Txix»" \
«end»  --tx-in «.Txix»  \
«end»  --required-signer seller.skey  \
  --tx-out "$SELLER_ADDRESS+$MINIMUM_ADA+1 $SELLER_TOKEN" \
  --change-address "$SELLER_ADDRESS"  \
  --out-file 403_out.json  \
  --print-stats  \
  --submit=600
EOTX

bash 403_execute.sh > 403_stdout.txt

echo "Sleeping ${SLEEPTIME}s, before querying " 
sleep $SLEEPTIME

echo "" > contract_tx.txt
grep -i txid 403_stdout.txt | sed -e 's/" *$//' -e 's/^.*"//' > payout_tx.txt

asnap -t dev mediator.address buyer.address seller.address contract.address payout.address > 403_snap.txt
echo "Done"

404_seller_disputes.sh

#!/bin/bash
echo 
echo "--- `date "+%a %Hh%M"`: $0 ----------------------------------------------------------------------" 
. ./000_setenv.sh


cat <<EOTX | asnap - seller.address contract.address > 405_execute.sh
. ./000_setenv.sh

marlowe-cli run prepare  \
  --marlowe-file 305_marlowe.json  \
  --choice-name "Dispute problem"  \
  --choice-party "Role=$SELLER_ROLE"  \
  --choice-number 0 \
  --invalid-before «.TenMinutesAgoMilli» \
  --invalid-hereafter «.TenMinutesFromNowMilli» \
  --out-file 405_marlowe.json \
  --print-stats

marlowe-cli run execute --marlowe-in-file 305_marlowe.json  \
  --marlowe-out-file 405_marlowe.json  \
«range .Alias2AddressMap.contract.TxixList»«if eq .Tx "$CONTRACT_TX"»  --tx-in-marlowe "«.Txix»" \
«end»«end»«range  .Alias2AddressMap.seller.TxixList»«if .FlagGreatestPureAda»  --tx-in-collateral "«.Txix»" \
«end»  --tx-in «.Txix»  \
«end»  --required-signer seller.skey  \
  --tx-out "$SELLER_ADDRESS+$MINIMUM_ADA+1 $SELLER_TOKEN" \
  --change-address "$SELLER_ADDRESS"  \
  --out-file 405_out.json  \
  --print-stats  \
  --submit=600
EOTX

bash 405_execute.sh > 405_stdout.txt

echo "Sleeping ${SLEEPTIME}s, before querying " 
sleep $SLEEPTIME

grep -i txid 405_stdout.txt | sed -e 's/" *$//' -e 's/^.*"//' > contract_tx.txt
echo "" > payout_tx.txt

asnap -t dev mediator.address buyer.address seller.address contract.address payout.address > 405_snap.txt
echo "Done"

406_buyer_requests_release.sh

#!/bin/bash
echo 
echo "--- `date "+%a %Hh%M"`: $0 ----------------------------------------------------------------------" 
. ./000_setenv.sh

cat <<EOTX | asnap - buyer.address contract.address > 407_execute.sh
. ./000_setenv.sh

marlowe-cli run prepare  \
  --invalid-before «.TenMinutesAgoMilli» \
  --invalid-hereafter «.TenMinutesFromNowMilli» \
  --marlowe-file 305_marlowe.json  \
  --out-file 407_marlowe.json \
  --print-stats


marlowe-cli run execute --marlowe-in-file 305_marlowe.json  \
  --marlowe-out-file 407_marlowe.json  \
«range .Alias2AddressMap.contract.TxixList»«if eq .Tx "$CONTRACT_TX"»  --tx-in-marlowe "«.Txix»" \
«end»«end»«range  .Alias2AddressMap.buyer.TxixList»«if .FlagGreatestPureAda»  --tx-in-collateral "«.Txix»" \
«end»  --tx-in "«.Txix»"  \
«end»  --tx-out "$BUYER_ADDRESS+$MINIMUM_ADA+1 $BUYER_TOKEN" \
  --required-signer buyer.skey  \
  --change-address "$BUYER_ADDRESS"  \
  --out-file 407_out.json  \
  --print-stats  \
  --submit=600
EOTX


# execute
bash 407_execute.sh > 407_stdout.txt

echo "Sleeping ${SLEEPTIME}s, before querying "
sleep $SLEEPTIME

#echo "" > contract_tx.txt
grep -i txid 407_stdout.txt | sed -e 's/" *$//' -e 's/^.*"//' > payout_tx.txt

asnap -t dev mediator.address buyer.address seller.address contract.address payout.address > 407_snap.txt
echo "Done"

422_buyer_withdraws.sh

. ./000_setenv.sh
#!/bin/bash
echo
echo "--- `date "+%a %Hh%M"`: $0 ----------------------------------------------------------------------"
. ./000_setenv.sh


cat <<EOTX | asnap - buyer.address payout.address > 423_execute.sh
. ./000_setenv.sh

marlowe-cli run withdraw --submit=600 \
  --marlowe-file 403_marlowe.json \
  --role-name "$BUYER_ROLE"  \
  --required-signer buyer.skey  \
«range .Alias2AddressMap.buyer.TxixList»«if .FlagGreatestPureAda»  --tx-in-collateral "«.Txix»"  \
«end»«end»«range .Alias2AddressMap.buyer.TxixList»  --tx-in "«.Txix»"  \
«end»«range .Alias2AddressMap.payout.TxixList»«if eq .Tx "$PAYOUT_TX"»«if .FlagGreatestTxWithDatum»  --tx-in "«.Txix»" \
«end»«end»«end» --tx-out "$BUYER_ADDRESS+$MINIMUM_ADA+1 $BUYER_TOKEN"  \
  --change-address "$BUYER_ADDRESS"  \
  --out-file 423_out.json  \
  --print-stats  
EOTX

# execute the script 
bash 423_execute.sh > 423_stdout.txt


echo "Sleeping ${SLEEPTIME}s, before querying "
sleep $SLEEPTIME

asnap -t dev mediator.address buyer.address seller.address contract.address payout.address > 423_snap.txt
echo "Done"

424_mediator_withdraws.sh

#!/bin/bash
echo
echo "--- `date "+%a %Hh%M"`: $0 ----------------------------------------------------------------------"
. ./000_setenv.sh

cat <<EOTX | asnap - mediator.address payout.address > 425_execute.sh
. ./000_setenv.sh

marlowe-cli run withdraw --submit=600 \
  --marlowe-file 403_marlowe.json \
  --role-name "$MEDIATOR_ROLE"  \
  --required-signer mediator.skey  \
«range .Alias2AddressMap.mediator.TxixList»«if .FlagGreatestPureAda»  --tx-in-collateral "«.Txix»"  \
«end»«end»«range .Alias2AddressMap.mediator.TxixList»  --tx-in "«.Txix»"  \
«end»  --tx-out "$MEDIATOR_ADDRESS+$MINIMUM_ADA+1 $MEDIATOR_TOKEN"  \
  --change-address "$MEDIATOR_ADDRESS"  \
  --out-file 425_out.json \
  --print-stats  
EOTX

# execute the script 
bash 425_execute.sh > 425_stdout.txt

echo "Sleeping ${SLEEPTIME}s, before querying "
sleep $SLEEPTIME

asnap -t dev mediator.address buyer.address seller.address contract.address payout.address > 425_snap.txt
echo "Done"

462_buyer_withdraws.sh

#!/bin/bash
. ./000_setenv.sh
echo 
echo "--- `date "+%a %Hh%M"`: $0 ----------------------------------------------------------------------"


cat <<EOTX | asnap - buyer.address payout.address > 463_execute.sh
. ./000_setenv.sh

marlowe-cli run withdraw --submit=600 \
  --marlowe-file 407_marlowe.json \
  --role-name "$BUYER_ROLE"  \
  --required-signer buyer.skey  \
«range .Alias2AddressMap.buyer.TxixList»«if .FlagGreatestPureAda»  --tx-in-collateral "«.Txix»"  \
«end»«end»«range .Alias2AddressMap.buyer.TxixList»  --tx-in "«.Txix»"  \
«end»«range .Alias2AddressMap.payout.TxixList»«if eq .Tx "$PAYOUT_TX"»«if .FlagGreatestTxWithDatum»  --tx-in "«.Txix»" \
«end»«end»«end» --tx-out "$BUYER_ADDRESS+$MINIMUM_ADA+1 $BUYER_TOKEN"  \
  --change-address "$BUYER_ADDRESS"  \
  --out-file 463_out.json  \
  --print-stats  
EOTX

# execute the script 
bash 463_execute.sh > 463_stdout.txt


echo "Sleeping ${SLEEPTIME}s, before querying "
sleep $SLEEPTIME

asnap -t dev mediator.address buyer.address seller.address contract.address payout.address > 463_snap.txt
echo "Done"

464_mediator_withdraws.sh

#!/bin/bash
echo 
echo "--- `date "+%a %Hh%M"`: $0 ----------------------------------------------------------------------"
. ./000_setenv.sh

cat <<EOTX | asnap - mediator.address payout.address > 465_execute.sh
. ./000_setenv.sh

marlowe-cli run withdraw --submit=600 \
  --marlowe-file 407_marlowe.json \
  --role-name "$MEDIATOR_ROLE"  \
  --required-signer mediator.skey  \
«range .Alias2AddressMap.mediator.TxixList»«if .FlagGreatestPureAda»  --tx-in-collateral "«.Txix»"  \
«end»«end»«range .Alias2AddressMap.mediator.TxixList»  --tx-in "«.Txix»"  \
«end»  --tx-out "$MEDIATOR_ADDRESS+$MINIMUM_ADA+1 $MEDIATOR_TOKEN"  \
  --change-address "$MEDIATOR_ADDRESS"  \
  --out-file 465_out.json \
  --print-stats  
EOTX


# execute the script 
bash 465_execute.sh > 465_stdout.txt

echo "Sleeping ${SLEEPTIME}s, before querying "
sleep $SLEEPTIME

asnap -t dev mediator.address buyer.address seller.address contract.address payout.address > 465_snap.txt
echo "Done"

#«end»«range .Alias2AddressMap.payout.TxixList»«if eq .Tx "$PAYOUT_TX"»  --tx-in "«.Txix»" \

502_mediator_confirms.sh

#!/bin/bash
echo
echo "--- `date "+%a %Hh%M"`: $0 ----------------------------------------------------------------------"
. ./000_setenv.sh

cat <<EOTX | asnap - mediator.address contract.address > 503_execute.sh
. ./000_setenv.sh

marlowe-cli run prepare  \
  --marlowe-file 405_marlowe.json  \
  --choice-name "Confirm claim"  \
  --choice-party "Role=$MEDIATOR_ROLE"  \
  --choice-number 1 \
  --invalid-before «.TenMinutesAgoMilli» \
  --invalid-hereafter "«.TenMinutesFromNowMilli»" \
  --out-file 503_marlowe.json \
  --print-stats

marlowe-cli run execute --marlowe-in-file 405_marlowe.json  \
  --marlowe-out-file 503_marlowe.json  \
«range .Alias2AddressMap.contract.TxixList»«if eq .Tx "$CONTRACT_TX"»  --tx-in-marlowe "«.Txix»" \
«end»«end»«range  .Alias2AddressMap.mediator.TxixList»«if .FlagGreatestPureAda»  --tx-in-collateral "«.Txix»" \
«end»  --tx-in "«.Txix»"  \
«end»  --required-signer mediator.skey  \
  --tx-out "$MEDIATOR_ADDRESS+$MINIMUM_ADA+1 $MEDIATOR_TOKEN" \
  --change-address "$MEDIATOR_ADDRESS"  \
  --out-file 503_out.json  \
  --print-stats  \
  --submit=600
EOTX

bash 503_execute.sh > 503_stdout.txt

echo "Sleeping ${SLEEPTIME}s, before querying " 
sleep $SLEEPTIME

echo "" > contract_tx.txt
grep -i txid 503_stdout.txt | sed -e 's/" *$//' -e 's/^.*"//' > payout_tx.txt

asnap -t dev mediator.address buyer.address seller.address contract.address payout.address > 503_snap.txt
echo "Done"

504_mediator_dismisses.sh

#!/bin/bash
echo
echo "--- `date "+%a %Hh%M"`: $0 ----------------------------------------------------------------------"
. ./000_setenv.sh

cat <<EOTX | asnap - mediator.address contract.address > 505_execute.sh
. ./000_setenv.sh

marlowe-cli run prepare  \
  --marlowe-file 405_marlowe.json  \
  --choice-name "Dismiss claim"  \
  --choice-party "Role=$MEDIATOR_ROLE"  \
  --choice-number 0 \
  --invalid-before «.TenMinutesAgoMilli» \
  --invalid-hereafter «.TenMinutesFromNowMilli» \
  --out-file 505_marlowe.json \
  --print-stats

marlowe-cli run execute --marlowe-in-file 405_marlowe.json  \
  --marlowe-out-file 505_marlowe.json  \
«range .Alias2AddressMap.contract.TxixList»«if eq .Tx "$CONTRACT_TX"»  --tx-in-marlowe "«.Txix»" \
«end»«end»«range  .Alias2AddressMap.mediator.TxixList»«if .FlagGreatestPureAda»  --tx-in-collateral "«.Txix»" \
«end»  --tx-in "«.Txix»"  \
«end»  --required-signer mediator.skey  \
  --tx-out "$MEDIATOR_ADDRESS+$MINIMUM_ADA+1 $MEDIATOR_TOKEN" \
  --change-address "$MEDIATOR_ADDRESS"  \
  --out-file 505_out.json  \
  --print-stats  \
  --submit=600
EOTX

bash 505_execute.sh > 505_stdout.txt

echo "Sleeping ${SLEEPTIME}s, before querying " 
sleep $SLEEPTIME

echo "" > contract_tx.txt
grep -i txid 505_stdout.txt | sed -e 's/" *$//' -e 's/^.*"//' > payout_tx.txt

asnap -t dev mediator.address buyer.address seller.address contract.address payout.address > 505_snap.txt
echo "Done"

506_buyer_requests_release.sh

#!/bin/bash
echo 
echo "--- `date "+%a %Hh%M"`: $0 ----------------------------------------------------------------------" 
. ./000_setenv.sh

cat <<EOTX | asnap - buyer.address contract.address > 507_execute.sh
. ./000_setenv.sh

marlowe-cli run prepare  \
  --invalid-before «.TenMinutesAgoMilli» \
  --invalid-hereafter «.TenMinutesFromNowMilli» \
  --marlowe-file 405_marlowe.json  \
  --out-file 507_marlowe.json \
  --print-stats


marlowe-cli run execute --marlowe-in-file 405_marlowe.json  \
  --marlowe-out-file 507_marlowe.json  \
«range .Alias2AddressMap.contract.TxixList»«if eq .Tx "$CONTRACT_TX"»  --tx-in-marlowe "«.Txix»" \
«end»«end»«range  .Alias2AddressMap.buyer.TxixList»«if .FlagGreatestPureAda»  --tx-in-collateral "«.Txix»" \
«end»  --tx-in "«.Txix»"  \
«end»  --tx-out "$BUYER_ADDRESS+$MINIMUM_ADA+1 $BUYER_TOKEN" \
  --required-signer buyer.skey  \
  --change-address "$BUYER_ADDRESS"  \
  --out-file 507_out.json  \
  --print-stats  \
  --submit=600
EOTX


# execute
bash 507_execute.sh > 507_stdout.txt

echo "Sleeping ${SLEEPTIME}s, before querying "
sleep $SLEEPTIME

#echo "" > contract_tx.txt
grep -i txid 507_stdout.txt | sed -e 's/" *$//' -e 's/^.*"//' > payout_tx.txt

asnap -t dev mediator.address buyer.address seller.address contract.address payout.address > 507_snap.txt
echo "Done"

522_buyer_withdraws.sh

#!/bin/bash
echo
echo "--- `date "+%a %Hh%M"`: $0 ----------------------------------------------------------------------"
. ./000_setenv.sh


cat <<EOTX | asnap - buyer.address payout.address > 523_execute.sh
. ./000_setenv.sh

marlowe-cli run withdraw --submit=600 \
  --marlowe-file 503_marlowe.json \
  --role-name "$BUYER_ROLE"  \
  --required-signer buyer.skey  \
«range .Alias2AddressMap.buyer.TxixList»«if .FlagGreatestPureAda»  --tx-in-collateral "«.Txix»"  \
«end»«end»«range .Alias2AddressMap.buyer.TxixList»  --tx-in "«.Txix»"  \
«end»«range .Alias2AddressMap.payout.TxixList»«if eq .Tx "$PAYOUT_TX"»«if .FlagGreatestTxWithDatum»  --tx-in "«.Txix»" \
«end»«end»«end» --tx-out "$BUYER_ADDRESS+$MINIMUM_ADA+1 $BUYER_TOKEN"  \
  --change-address "$BUYER_ADDRESS"  \
  --out-file 523_out.json  \
  --print-stats  
EOTX

# execute the script 
bash 523_execute.sh > 523_stdout.txt


echo "Sleeping ${SLEEPTIME}s, before querying "
sleep $SLEEPTIME

asnap -t dev mediator.address buyer.address seller.address contract.address payout.address > 523_snap.txt
echo "Done"

524_mediator_withdraws.sh

#!/bin/bash
echo
echo "--- `date "+%a %Hh%M"`: $0 ----------------------------------------------------------------------"
. ./000_setenv.sh

cat <<EOTX | asnap - mediator.address payout.address > 525_execute.sh
. ./000_setenv.sh

marlowe-cli run withdraw --submit=600 \
  --marlowe-file 503_marlowe.json \
  --role-name "$MEDIATOR_ROLE"  \
  --required-signer mediator.skey  \
«range .Alias2AddressMap.mediator.TxixList»«if .FlagGreatestPureAda»  --tx-in-collateral "«.Txix»"  \
«end»«end»«range .Alias2AddressMap.mediator.TxixList»  --tx-in "«.Txix»"  \
«end»  --tx-out "$MEDIATOR_ADDRESS+$MINIMUM_ADA+1 $MEDIATOR_TOKEN"  \
  --change-address "$MEDIATOR_ADDRESS"  \
  --out-file 525_out.json \
  --print-stats  
EOTX

# execute the script 
bash 525_execute.sh > 525_stdout.txt

echo "Sleeping ${SLEEPTIME}s, before querying "
sleep $SLEEPTIME

asnap -t dev mediator.address buyer.address seller.address contract.address payout.address > 525_snap.txt
echo "Done"

542_seller_withdraws.sh

#!/bin/bash
echo
echo "--- `date "+%a %Hh%M"`: $0 ----------------------------------------------------------------------"
. ./000_setenv.sh


cat <<'EOTX' | asnap - seller.address payout.address > 543_execute.sh
. ./000_setenv.sh

marlowe-cli run withdraw --submit=600 \
  --marlowe-file 505_marlowe.json \
  --role-name "$SELLER_ROLE"  \
  --required-signer seller.skey  \
«range .Alias2AddressMap.seller.TxixList»«if .FlagGreatestPureAda»  --tx-in-collateral «.Txix»  \
«end»«end»«range .Alias2AddressMap.seller.TxixList»  --tx-in «.Txix»  \
«end»«range .Alias2AddressMap.payout.TxixList»«if eq .Tx "$PAYOUT_TX"»«if .FlagGreatestTxWithDatum»  --tx-in "«.Txix»" \
«end»«end»«end» --tx-out "$SELLER_ADDRESS+$MINIMUM_ADA+1 $SELLER_TOKEN"  \
  --change-address "$SELLER_ADDRESS"  \
  --out-file 543_out.json  \
  --print-stats  
EOTX

# execute the script 
bash 543_execute.sh > 543_stdout.txt

echo "Sleeping ${SLEEPTIME}s, before querying "
sleep $SLEEPTIME

asnap -t dev mediator.address buyer.address seller.address contract.address payout.address > 543_snap.txt
echo "Done"

544_mediator_withdraws.sh

. ./000_setenv.sh

echo "--- `date "+%a %Hh%M"`: $0 ----------------------------------------------------------------------" 

cat <<'EOTX' | asnap - mediator.address payout.address > 545_execute.sh
. ./000_setenv.sh

marlowe-cli run withdraw --submit=600 \
  --marlowe-file 505_marlowe.json \
  --role-name "$MEDIATOR_ROLE"  \
  --required-signer mediator.skey  \
«range .Alias2AddressMap.mediator.TxixList»«if .FlagGreatestPureAda»  --tx-in-collateral «.Txix» \
«end»«end»«range .Alias2AddressMap.mediator.TxixList»  --tx-in "«.Txix»"  \
«end»  --tx-out "$MEDIATOR_ADDRESS+$MINIMUM_ADA+1 $MEDIATOR_TOKEN"  \
  --change-address "$MEDIATOR_ADDRESS"  \
  --out-file 545_out.json \
  --print-stats  
EOTX

# execute the script 
bash 545_execute.sh > 545_stdout.txt

echo "Sleeping ${SLEEPTIME}s, before querying "
sleep $SLEEPTIME

asnap -t dev mediator.address buyer.address seller.address contract.address payout.address > 545_snap.txt
echo "Done"

562_buyer_withdraws.sh

#!/bin/bash
. ./000_setenv.sh
echo 
echo "--- `date "+%a %Hh%M"`: $0 ----------------------------------------------------------------------"


cat <<EOTX | asnap - buyer.address payout.address > 563_execute.sh
. ./000_setenv.sh

marlowe-cli run withdraw --submit=600 \
  --marlowe-file 507_marlowe.json \
  --role-name "$BUYER_ROLE"  \
  --required-signer buyer.skey  \
«range .Alias2AddressMap.buyer.TxixList»«if .FlagGreatestPureAda»  --tx-in-collateral "«.Txix»"  \
«end»«end»«range .Alias2AddressMap.buyer.TxixList»  --tx-in "«.Txix»"  \
«end»«range .Alias2AddressMap.payout.TxixList»«if eq .Tx "$PAYOUT_TX"»«if .FlagGreatestTxWithDatum»  --tx-in "«.Txix»" \
«end»«end»«end» --tx-out "$BUYER_ADDRESS+$MINIMUM_ADA+1 $BUYER_TOKEN"  \
  --change-address "$BUYER_ADDRESS"  \
  --out-file 563_out.json  \
  --print-stats  
EOTX

# execute the script 
bash 563_execute.sh > 563_stdout.txt


echo "Sleeping ${SLEEPTIME}s, before querying "
sleep $SLEEPTIME

asnap -t dev mediator.address buyer.address seller.address contract.address payout.address > 563_snap.txt
echo "Done"

564_mediator_withdraws.sh

#!/bin/bash
echo 
echo "--- `date "+%a %Hh%M"`: $0 ----------------------------------------------------------------------"
. ./000_setenv.sh

cat <<EOTX | asnap - mediator.address payout.address > 565_execute.sh
. ./000_setenv.sh

marlowe-cli run withdraw --submit=600 \
  --marlowe-file 507_marlowe.json \
  --role-name "$MEDIATOR_ROLE"  \
  --required-signer mediator.skey  \
«range .Alias2AddressMap.mediator.TxixList»«if .FlagGreatestPureAda»  --tx-in-collateral "«.Txix»"  \
«end»«end»«range .Alias2AddressMap.mediator.TxixList»  --tx-in "«.Txix»"  \
«end»  --tx-out "$MEDIATOR_ADDRESS+$MINIMUM_ADA+1 $MEDIATOR_TOKEN"  \
  --change-address "$MEDIATOR_ADDRESS"  \
  --out-file 565_out.json \
  --print-stats  
EOTX


# execute the script 
bash 565_execute.sh > 565_stdout.txt

echo "Sleeping ${SLEEPTIME}s, before querying "
sleep $SLEEPTIME

asnap -t dev mediator.address buyer.address seller.address contract.address payout.address > 565_snap.txt
echo "Done"

#«end»«range .Alias2AddressMap.payout.TxixList»«if eq .Tx "$PAYOUT_TX"»  --tx-in "«.Txix»" \

Notes by wmoco. Generated on momo:/home/willem/sync/20220806_wmoco_pubcoms/20220806_marlowe_pioneer at 2023-06-14 18:32