Revisited

STUB

TO BE EXPANDED

Useful

• ping testnet: ping relays.pioneers.testnet.marlowe-finance.io
• blockchain explorer: https://explorer.pioneers.testnet.marlowe-finance.io/en
• open blockly/play/.. via: https://marlowe-playground-marlowe-pioneers.plutus.aws.iohkdev.io
• version of cardano-node ? See after startup: [..:cardano.node.basicInfo.version:Notice:5] [2022-07-30 06:53:38.06 UTC] {"string":"1.34.1"}

Setting up the env

On a linux machine using /u01/marlowe as the root directory of my marlowe installation.

Nix

Setup nix (see https://nix.dev/tutorials/install-nix), and then ensure the nix cache is setup with /etc/nix/nix.conf having these lines:

substituters        = https://hydra.iohk.io https://iohk.cachix.org https://cache.nixos.org/
trusted-public-keys = hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ= iohk.cachix.org-1:DpRUyj7h7V830dp/i6Nti+NEO2/nhblbov/8MW7Rqoo= cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY=

(after the change, you may need to restart, if you have a multi-user nix: sudo systemctl restart nix-daemon)

Clone marlowe-cardano from github

Do this only once.

cd /u01/marlowe
git clone https://github.com/input-output-hk/marlowe-cardano.git
cd marlowe-cardano
git checkout marlowe-pioneers
nix-shell

If env already setup

Startup up one terminal for the cardano-node, and (at least) one terminal to execute commands.

Startup the node in one terminal window

cd /u01/marlowe/marlowe-cardano
nix-shell
start-cardano-node 

Startup another terminal to do work in

ssh your_linux_vm 
cd /u01/marlowe/marlowe-cardano
nix-shell

# .. and then 'cd' to your work directory, like this one: 
cd /u01/marlowe/20220727_708_backend

Running a simple Marlowe contract (without the backend)

This page describes the execution on marlowe testnet of the same contract as in Brian W Bush’s lecture 5 (see: github.com .. lectures/05-marlowe-cli-pab.ipynb) but then without using the backend, just using marlowe-cli and cardano-cli.

Cli commands used (in alphabetical order):

cardano-cli address build 
cardano-cli key convert-cardano-address-key 
cardano-cli key verification-key 
cardano-cli query utxo 

marlowe-cli run execute 
marlowe-cli run initialize 
marlowe-cli run prepare --deposit-..
marlowe-cli run prepare --notify 
marlowe-cli run withdraw 
marlowe-cli util mint 

Setting up the env

A cardano node needs to be running in the background: start-cardano-node in a nix shell, for detailed info see w0708a, with these environment variables:

export CARDANO_NODE_SOCKET_PATH=/tmp/node.socket
export CARDANO_TESTNET_MAGIC=1567

Overview

A summary of the steps taken:

• prepare (create key, mint tokens, create contract)
• tx: initialize the contract
• tx: fund the contract
• tx: notify
  
• tx: withdraw

There is only one role, and that is the ‘actor’, with role AC (hex: 41 43).

Scripts

The scripts: scripts_708c.zip, my ref: daedtest:/u01/marlowe/20220802_redo_notify.

Filenames starting with an even number are the scripts, odd filenames are the inputs/outputs of the scripts.

00_setenv.sh

02_create_keys.sh
04_fund_actor.sh
06_mint_tokens.sh
        07_out.txt
08_create_contract.sh
        09_contract.json
        09_state.json
10_prepare_initialization.sh
        11_marlowe.json
12_execute_initialization.sh
        13_raw.json
14_prepare_fund.sh
        15_marlowe.json
16_execute_fund.sh
        17_raw.json
18_prepare_notify.sh
        19_marlowe.json
20_execute_notify.sh
        21_raw.json
22_withdraw.sh
        23_raw.json

Script 00_setenv.sh must be adapted by the executor along the way (eg enter POLICY_ID, CONTRACT_ADDRESS, PAYOUT_ADDRESS), and will be executed by every script (not shown in the text here).

00 Environment variables

Script: 00_setenv.sh

    #!/bin/bash 

    if [ ! -e actor.address ]; then
        echo "actor.address doesn't exist"
        exit 1
    fi
    export ACTOR_ADDRESS=$(cat actor.address)
    export ACTOR_ROLE=AC 
    # NOTE: 
    # AC = 41 43

    export INITIAL_LOVELACE=3000000             # The creation transaction will deposit 3₳.
    export AMT=15000000                         # The amount = 15 ADA 
    export MINIMUM_ADA=2000000                  # The minimum lovelace to be included with native token ouptut.

    # the following POLICY_ID should be filled with the output of script 06_mint_tokens.sh 
    export POLICY_ID=".."
    export ACTOR_TOKEN="${POLICY_ID}.$ACTOR_ROLE"

    #  jq -r '.marloweValidator.address' 11_marlowe.json
    export CONTRACT_ADDRESS="" 

    #  jq -r '.rolesValidator.address' 11_marlowe.json
    export PAYOUT_ADDRESS="" 

02 Create actor keys/address and fund it

Actor address (and keys) are created using script 02_create_keys.sh. Put some ADA (eg 100) into it.

    addr_test1vpe789twz302sgyat5jvmhgtxmtzj27ejdjpgtt6rkwz2usyyrwyc
    

    battle absorb easy cousin ability pave fence cousin orbit sense impact scale helmet .. rest omitted ..
    

    {
        "type": "PaymentExtendedSigningKeyShelley_ed25519_bip32",
        "description": "",
        "cborHex": "5880287226c6069313a3dab7d8983236⋯⋯₂₆₀⋯⋯2c86b4c665969213e5519072b1434dbb"
    }
        

    {
        "type": "PaymentExtendedVerificationKeyShelley_ed25519_bip32",
        "description": "",
        "cborHex": "58401e8fbc5c48e356152f6a42034495⋯⋯₁₃₂⋯⋯2c86b4c665969213e5519072b1434dbb"
    }
        

Balance:

Sat Aug  6 07:30:50 UTC 2022

--- ACTOR --- 
TxHash     TxIx  Amount                       
--------------------------------------------------------------------------------------
f261⋯d997  1     100.00 ADA + TxOutDatumNone  

:   LEGEND
:   f261⋯d997  → f2617fb1e0555ca5dc5905d18521fdd19ff3d3d52459a882408e1e970488d997

06 Mint the tokens

Script: 06_mint_tokens.sh

    marlowe-cli util mint --required-signer actor.skey    \
                          --change-address $ACTOR_ADDRESS \
                          --out-file 07_out.txt           \
                          --submit 600                    \
                          "$ACTOR_ROLE"

Output. Put this ID in 00_setenv.sh

PolicyID "82f3e2b30f235528ea3c6a826bff2303154f591749170c9e9fb8df88"

Out-file: 07_out.txt

    {
        "type": "TxBodyAlonzo",
        "description": "",
        "cborHex": "86a60081825820f2617fb1e0555ca5dc⋯⋯₄₈₀⋯⋯2bd99364142d7a1d9c2572ff8080f5f6"
    }

Balance:

Sat Aug  6 07:35:36 UTC 2022

--- ACTOR --- 
TxHash     TxIx  Amount                                         
--------------------------------------------------------------------------------------
0357⋯c48f  0     89.83 ADA + TxOutDatumNone                     
0357⋯c48f  1     10.00 ADA + 1 82f3⋯df88.4143 + TxOutDatumNone  


:   LEGEND
:   0357⋯c48f  → 0357e269aafd87f4a002095a1a924b36428e391d7db8e974aebd8ed4e967c48f
:   82f3⋯df88  → 82f3e2b30f235528ea3c6a826bff2303154f591749170c9e9fb8df88

08 Create the contract

Script: 08_create_contract.sh

NOW=$(( $(date -u +%s) * 1000 ))
HOUR=$(( 60 * 60 * 1000 ))
cat > 09_contract.json << EOI
{
  "when": [
    {
      "case": {
        "party": {"role_token": "AC"}, "deposits": $AMT,
        "of_token": {"currency_symbol": "", "token_name": ""},
        "into_account": {"role_token": "AC"}
      },
      "then": {
        "when": [{"case": {"notify_if": true}, "then": "close"}],
      "timeout": $(( NOW + 12 * HOUR )), "timeout_continuation": "close"
      }
    }
  ],
  "timeout": $(( NOW + 10 * HOUR )), "timeout_continuation": "close"
}
EOI


cat > 09_state.json << EOJ
{
    "choices": [],
    "boundValues": [],
    "accounts": [
        [
            [
                {
                    "role_token": "AC"
                },
                {
                    "currency_symbol": "",
                    "token_name": ""
                }
            ],
            $MINIMUM_ADA
        ]
    ],
    "minTime": 1
}
EOJ

Two files created:

• 09_contract.json
• 09_state.json

10 Prepare the initialization

Script 10_prepare_initialization.sh

marlowe-cli run initialize --roles-currency "$POLICY_ID"    \
                           --contract-file 09_contract.json \
                           --state-file    09_state.json    \
                           --out-file      11_marlowe.json  \
                           --print-stats

Output:

Validator size: 12415
Base-validator cost: ExBudget {exBudgetCPU = ExCPU 24652144, exBudgetMemory = ExMemory 82900}

This produces the contract in file 11_marlowe.json, from which we pick up the contract address (marloweValidator) and payout address (rolesValidator):

        ..
        ..
        },
        "rolesValidator": {
            "hash": "c0f4⋯⋯₅₆⋯⋯2c06",
            "size": 2469,
            "address": "addr_test⋯⋯₅₈⋯⋯x2lx",
            "cost": {
                "exBudgetMemory": 14600,
                "exBudgetCPU": 4317185
            },
            "script": {
                "type": "PlutusScriptV1",
                "cborHex": "5909a55909a201000033232332232323⋯⋯₄₉₄₄⋯⋯2303154f591749170c9e9fb8df880001",
                "description": ""
            }
        },
        "range": null,
        "marloweValidator": {
            "hash": "5f39⋯⋯₅₆⋯⋯2d21",
            "size": 12415,
            "address": "addr_test⋯⋯₅₈⋯⋯xm0n",
            "cost": {
                "exBudgetMemory": 82900,
                "exBudgetCPU": 24652144
            },
            "script": {
                "type": "PlutusScriptV1",
                "cborHex": "59307f59307c01000033232323322323⋯⋯₂₄₈₃₆⋯⋯9e9fb8df880022123300100300220011",
                "description": ""
            }
        },
        ..
        ..

Edit the 00_setenv.sh script, and put the following values for variables CONTRACT_ADDRESS and PAYOUT_ADDRESS respectively:

jq -r '.marloweValidator.address' 11_marlowe.json
jq -r '.rolesValidator.address' 11_marlowe.json

12 Execute initialization

Balance:

Sat Aug  6 07:58:36 UTC 2022

--- ACTOR --- 
TxHash     TxIx  Amount                                         
--------------------------------------------------------------------------------------
0357⋯c48f  0     89.83 ADA + TxOutDatumNone                     
0357⋯c48f  1     10.00 ADA + 1 82f3⋯df88.4143 + TxOutDatumNone  

:   LEGEND
:   0357⋯c48f  → 0357e269aafd87f4a002095a1a924b36428e391d7db8e974aebd8ed4e967c48f
:   82f3⋯df88  → 82f3e2b30f235528ea3c6a826bff2303154f591749170c9e9fb8df88

Script 12_execute_initialization.sh:

marlowe-cli run execute --tx-in "0357e269aafd87f4a002095a1a924b36428e391d7db8e974aebd8ed4e967c48f#0" \
                        --change-address "$ACTOR_ADDRESS"                                            \
                        --required-signer actor.skey                                                 \
                        --marlowe-out-file 11_marlowe.json                                           \
                        --out-file 13_raw.json                                                       \
                        --print-stats                                                                \
                        --submit=600

Output:

Fee: Lovelace 181605
Size: 353 / 32768 = 1%
Execution units:
  Memory: 0 / 30000000 = 0%
  Steps: 0 / 10000000000 = 0%
TxId "1ff769543b58899fdf5aaa0896d7b3ce5e0b937a9b15ca634b1482cc307cbc68"

Balance:

Sat Aug  6 07:59:45 UTC 2022

--- ACTOR --- 
TxHash     TxIx  Amount                                         
--------------------------------------------------------------------------------------
0357⋯c48f  1     10.00 ADA + 1 82f3⋯df88.4143 + TxOutDatumNone  
1ff7⋯bc68  0     87.65 ADA + TxOutDatumNone                     


--- CONTRACT ---
TxHash     TxIx  Amount                                                       
--------------------------------------------------------------------------------------
1ff7⋯bc68  1     2.00 ADA + TxOutDatumHash ScriptDataInAlonzoEra "b4d1⋯3458"  


--- PAYOUT ---
TxHash  TxIx  Amount  
--------------------------------------------------------------------------------------



:   LEGEND
:   0357⋯c48f  → 0357e269aafd87f4a002095a1a924b36428e391d7db8e974aebd8ed4e967c48f
:   82f3⋯df88  → 82f3e2b30f235528ea3c6a826bff2303154f591749170c9e9fb8df88
:   1ff7⋯bc68  → 1ff769543b58899fdf5aaa0896d7b3ce5e0b937a9b15ca634b1482cc307cbc68
:   b4d1⋯3458  → b4d11d73a97a90b99c62dad772a1048dffb7fd9eacf67d10d5b10f6c530f3458

14 Prepare fund

Script 14_prepare_fund.sh

marlowe-cli run prepare --marlowe-file 11_marlowe.json \
                        --deposit-account "Role=AC" \
                        --deposit-party "Role=AC"    \
                        --deposit-amount "$AMT"             \
                        --invalid-before "$NOW"               \
                        --invalid-hereafter "$((NOW+2*HOUR))" \
                        --out-file 15_marlowe.json \
                        --print-stats

Output:

Datum size: 75

16 Execute fund

Balance before:

Sat Aug  6 08:16:30 UTC 2022

--- ACTOR --- 
TxHash     TxIx  Amount                                         
--------------------------------------------------------------------------------------
0357⋯c48f  1     10.00 ADA + 1 82f3⋯df88.4143 + TxOutDatumNone  
1ff7⋯bc68  0     87.65 ADA + TxOutDatumNone                     


--- CONTRACT ---
TxHash     TxIx  Amount                                                       
--------------------------------------------------------------------------------------
1ff7⋯bc68  1     2.00 ADA + TxOutDatumHash ScriptDataInAlonzoEra "b4d1⋯3458"  


:   LEGEND
:   0357⋯c48f  → 0357e269aafd87f4a002095a1a924b36428e391d7db8e974aebd8ed4e967c48f
:   82f3⋯df88  → 82f3e2b30f235528ea3c6a826bff2303154f591749170c9e9fb8df88
:   1ff7⋯bc68  → 1ff769543b58899fdf5aaa0896d7b3ce5e0b937a9b15ca634b1482cc307cbc68
:   b4d1⋯3458  → b4d11d73a97a90b99c62dad772a1048dffb7fd9eacf67d10d5b10f6c530f3458

Script 16_execute_fund.sh

marlowe-cli run execute --marlowe-in-file 11_marlowe.json                                                       \
                        --marlowe-out-file 15_marlowe.json                                                      \
                        --required-signer actor.skey                                                            \
                        --tx-in-marlowe "1ff769543b58899fdf5aaa0896d7b3ce5e0b937a9b15ca634b1482cc307cbc68#1"    \
                        --tx-in-collateral "1ff769543b58899fdf5aaa0896d7b3ce5e0b937a9b15ca634b1482cc307cbc68#0" \
                        --tx-in "1ff769543b58899fdf5aaa0896d7b3ce5e0b937a9b15ca634b1482cc307cbc68#0"            \
                        --tx-in "0357e269aafd87f4a002095a1a924b36428e391d7db8e974aebd8ed4e967c48f#1"            \
                        --tx-out "$ACTOR_ADDRESS+$MINIMUM_ADA+1 $ACTOR_TOKEN"                                   \
                        --change-address "$ACTOR_ADDRESS"                                                       \
                        --out-file 17_raw.json                                                                  \
                        --print-stats                                                                           \
                        --submit=600

Output:

Fee: Lovelace 1163485
Size: 13091 / 32768 = 39%
Execution units:
  Memory: 5025830 / 30000000 = 16%
  Steps: 1698217004 / 10000000000 = 16%
TxId "b0d8426083833ecbd30d086cf0fcbe463addb6074038c7ebc508cc8b7137d417"

Balance after:

Sat Aug  6 08:33:15 UTC 2022

--- ACTOR --- 
TxHash     TxIx  Amount                                        
--------------------------------------------------------------------------------------
b0d8⋯d417  0     79.48 ADA + TxOutDatumNone                    
b0d8⋯d417  2     2.00 ADA + 1 82f3⋯df88.4143 + TxOutDatumNone  


--- CONTRACT ---
TxHash     TxIx  Amount                                                        
--------------------------------------------------------------------------------------
b0d8⋯d417  1     17.00 ADA + TxOutDatumHash ScriptDataInAlonzoEra "8c41⋯ac92"  


:   LEGEND
:   b0d8⋯d417  → b0d8426083833ecbd30d086cf0fcbe463addb6074038c7ebc508cc8b7137d417
:   82f3⋯df88  → 82f3e2b30f235528ea3c6a826bff2303154f591749170c9e9fb8df88
:   8c41⋯ac92  → 8c41853425fc656af21606df26098e9439d6da12ed574773e2629313ac5cac92

18 Prepare notify

Script 18_prepare_notify.sh

marlowe-cli run prepare --marlowe-file 15_marlowe.json        \
                        --notify                              \
                        --invalid-before "$NOW"               \
                        --invalid-hereafter "$((NOW+3*HOUR))" \
                        --out-file 19_marlowe.json            \
                        --print-stats

Output:

Datum size: 23
Payment 1
  Acccount: "AC"
  Payee: Party "AC"
  Ada: 17.000000

20 Execute notify

bash 20_execute_notify.sh

marlowe-cli run execute --marlowe-in-file 15_marlowe.json                                                       \
                        --marlowe-out-file 19_marlowe.json                                                      \
                        --tx-in-marlowe "b0d8426083833ecbd30d086cf0fcbe463addb6074038c7ebc508cc8b7137d417#1"    \
                        --tx-in-collateral "b0d8426083833ecbd30d086cf0fcbe463addb6074038c7ebc508cc8b7137d417#0" \
                        --tx-in "b0d8426083833ecbd30d086cf0fcbe463addb6074038c7ebc508cc8b7137d417#0"            \
                        --tx-in "b0d8426083833ecbd30d086cf0fcbe463addb6074038c7ebc508cc8b7137d417#2"            \
                        --required-signer actor.skey                                                            \
                        --tx-out "$ACTOR_ADDRESS+$MINIMUM_ADA+1 $ACTOR_TOKEN"                                   \
                        --change-address "$ACTOR_ADDRESS"                                                       \
                        --out-file 21_raw.json                                                                  \
                        --print-stats                                                                           \
                        --submit=600

Output:

Fee: Lovelace 933056
Size: 12946 / 32768 = 39%
Execution units:
  Memory: 2242078 / 30000000 = 7%
  Steps: 818511856 / 10000000000 = 8%
TxId "46edc06ada464aa9a9ec9cac8f09395009dd31f3bef80ebb3d8814a400795bc3"

Balance after execution:

Sat Aug  6 09:24:41 UTC 2022

--- ACTOR --- 
TxHash     TxIx  Amount                                        
--------------------------------------------------------------------------------------
46ed⋯5bc3  0     78.55 ADA + TxOutDatumNone                    
46ed⋯5bc3  2     2.00 ADA + 1 82f3⋯df88.4143 + TxOutDatumNone  


--- CONTRACT ---
TxHash  TxIx  Amount  
--------------------------------------------------------------------------------------


--- PAYOUT ---
TxHash     TxIx  Amount                                                        
--------------------------------------------------------------------------------------
46ed⋯5bc3  1     17.00 ADA + TxOutDatumHash ScriptDataInAlonzoEra "8b60⋯68ee"  


:   LEGEND
:   46ed⋯5bc3  → 46edc06ada464aa9a9ec9cac8f09395009dd31f3bef80ebb3d8814a400795bc3
:   82f3⋯df88  → 82f3e2b30f235528ea3c6a826bff2303154f591749170c9e9fb8df88
:   8b60⋯68ee  → 8b604460b567ff3433b5ad7c74cf317c7b6b4d1152f3c4b0f6a025b3f6d768ee

22 Withdraw

Script 22_withdraw.sh

marlowe-cli run withdraw --marlowe-file 19_marlowe.json                                                          \
                         --role-name "$ACTOR_ROLE"                                                               \
                         --tx-in-collateral "46edc06ada464aa9a9ec9cac8f09395009dd31f3bef80ebb3d8814a400795bc3#0" \
                         --tx-in "46edc06ada464aa9a9ec9cac8f09395009dd31f3bef80ebb3d8814a400795bc3#2"            \
                         --tx-in "46edc06ada464aa9a9ec9cac8f09395009dd31f3bef80ebb3d8814a400795bc3#1"            \
                         --tx-in "46edc06ada464aa9a9ec9cac8f09395009dd31f3bef80ebb3d8814a400795bc3#0"            \
                         --required-signer actor.skey                                                            \
                         --tx-out "$ACTOR_ADDRESS+$MINIMUM_ADA+1 $ACTOR_TOKEN"                                   \
                         --change-address "$ACTOR_ADDRESS"                                                       \
                         --out-file 23_raw.json                                                                  \
                         --print-stats                                                                           \
                         --submit=600

Output:

Fee: Lovelace 431007
Size: 2885 / 32768 = 8%
Execution units:
  Memory: 1461810 / 30000000 = 4%
  Steps: 557930172 / 10000000000 = 5%
TxId "8f87b5548db95a3ef3238199e20c5768d74b902645d8e242de7a839f33052a9c"

Balance:

Sat Aug  6 09:31:32 UTC 2022

--- ACTOR --- 
TxHash     TxIx  Amount                                        
--------------------------------------------------------------------------------------
8f87⋯2a9c  0     78.12 ADA + TxOutDatumNone                    
8f87⋯2a9c  1     17.00 ADA + TxOutDatumNone                    
8f87⋯2a9c  2     2.00 ADA + 1 82f3⋯df88.4143 + TxOutDatumNone  


--- CONTRACT ---
TxHash  TxIx  Amount  
--------------------------------------------------------------------------------------


--- PAYOUT ---
TxHash  TxIx  Amount  
--------------------------------------------------------------------------------------

:   LEGEND
:   8f87⋯2a9c  → 8f87b5548db95a3ef3238199e20c5768d74b902645d8e242de7a839f33052a9c
:   82f3⋯df88  → 82f3e2b30f235528ea3c6a826bff2303154f591749170c9e9fb8df88

Bottom line

The contract and payout address are empty now, everything is back on the actor’s address.

Total money in the pocket = 78.12 + 17.00 + 2.0 = 97.12. Since we started out with 100 ADA, running this contract cost us 2.88 ADA.

Post scriptum

This is the way the contract looks in blockly:

.. and in marlowe:

When
    [Case
        (Deposit
            (Role "AC")
            (Role "AC")
            (Token "" "")
            (ConstantParam "DepositAmount")
        )
        (When
            [Case
                (Notify TrueObs )
                Close ]
            1660137240000 Close 
        )]
    1660223280000 Close 

Fund Fan out and in

This page describes using the asnap utility to generate cardano-cli/marlowe-cli scripts. More about asnap can be found on it’s gitlab repo: gitlab.com/wmoco/asnap

The scripts described here are the following:

• 1. Fund fan out using cardano-cli
• 2. Fund fan out using marlowe-cli
• 3. Fund fan in using cardano-cli

Note: fan-out = from 1 to many, fan-in = from many to 1

1. Fund fan out using cardano-cli

Suppose you need to fund 5 address with 50 ADA each, all sent from one ‘fund’ address.

Execute

You’ve created the addresses, and put the following files together in a directory:

 fund.address  fund.seed  fund.skey  fund.vkey  
 x01.address  x02.address  x03.address  x04.address  x05.address 

This is the balance at the start:

Run the fund-fan-out script:

#!/bin/bash 

AMOUNT_LOVELACE="50000000" # 50 ada

if [ ! -f "protocol-parameters.json" ]
then
    echo "ERROR: protocol-parameters.json doesn't exist, create it first!" 
    echo "   cardano-cli query protocol-parameters --testnet-magic $CARDANO_TESTNET_MAGIC \\" 
    echo "                     --out-file protocol-parameters.json" 
    exit 1
fi

for RECEIVER in x*.address
do
    export ADDRESS=`cat $RECEIVER`
    echo "Iteration $ADDRESS"
    cat <<EOTX | asnap - fund.address  > execute_tx.sh 
cardano-cli transaction build --testnet-magic $CARDANO_TESTNET_MAGIC \
«range .Alias2AddressMap.fund.TxixList»«if .FlagGreatestPureAda»    --tx-in-collateral «.Txix» \
    --tx-in «.Txix» \
«end»«end»    --tx-out "$ADDRESS + $AMOUNT_LOVELACE lovelace" \
    --change-address «.Alias2AddressMap.fund.Address» \
    --protocol-params-file protocol-parameters.json \
    --out-file unsigned.json

cardano-cli transaction sign --testnet-magic $CARDANO_TESTNET_MAGIC \
    --tx-body-file unsigned.json \
    --signing-key-file fund.skey \
    --out-file signed.json

    cardano-cli transaction submit --testnet-magic $CARDANO_TESTNET_MAGIC --tx-file signed.json
EOTX

    # execute
    bash execute_tx.sh
    echo "Sleeping 60s"
    sleep 60
done

After the script has been run the balance will be this:

That’s it.

Digging a bit deeper.

The core of the template actions are these two snippets:

Snippet #1 :

«range .Alias2AddressMap.fund.TxixList»«if .FlagGreatestPureAda»    --tx-in-collateral «.Txix» \
    --tx-in «.Txix» \
«end»«end»    

Snippet #2:

    --change-address «.Alias2AddressMap.fund.Address» \

When you run the first snippet like this:

$ echo "«range .Alias2AddressMap.fund.TxixList»«if .FlagGreatestPureAda»    --tx-in-collateral «.Txix» \
    --tx-in «.Txix» \
«end»«end»" | asnap - fund.address 

You get this output:

    --tx-in-collateral 31a8a0eb1885768364eff4dd580078219b7500e301ad04f98e3163cdd7275577#0     
    --tx-in 31a8a0eb1885768364eff4dd580078219b7500e301ad04f98e3163cdd7275577#0 

And for the second one:

$ echo "--change-address «.Alias2AddressMap.fund.Address» " | asnap - fund 

.. you get:

--change-address addr_test1vr0sqeu2knafkesjhvjmzvqwz07gwqsvtprxvt2s3as3kzgtdzsmj 

And then put together and run with the rest of the script, the output will be :

cardano-cli transaction build --testnet-magic 1567     
    --tx-in-collateral f61f38bca59200aace1a20fd2447935a2906baafad470186e48e838c73926bfe#0     
    --tx-in f61f38bca59200aace1a20fd2447935a2906baafad470186e48e838c73926bfe#0 
    --tx-out "addr_test1vq6szstpj6fywjqgq66mqe405283ldyptdkxqqc2yg0t9dccq80ze + 50000000 lovelace" 
    --change-address addr_test1vr0sqeu2knafkesjhvjmzvqwz07gwqsvtprxvt2s3as3kzgtdzsmj 
    --protocol-params-file protocol-parameters.json
    --out-file unsigned.json

cardano-cli transaction sign --testnet-magic 1567     
    --tx-body-file unsigned.json     
    --signing-key-file fund.skey     
    --out-file signed.json

cardano-cli transaction submit --testnet-magic 1567 --tx-file signed.json

(the above script has been redacted for legibility: line-breaks and spacing was added)

2. Fund fan out using marlowe-cli

The downside of the first method is that you have 3 separate transactions. It can also be done in one, when using marlowe-cli transaction simple.

Here’s the script (side-note: to easily differentiate theses tx’s we just transfer 49 ADA instead of 50)

#!/bin/bash 

AMOUNT_LOVELACE="49000000" # 49 ada

cat <<EOTX | asnap - fund.address x*.address  > execute_tx.sh 
marlowe-cli transaction simple --required-signer fund.skey  \
«/*   tx-in: iterate over the txix list of the first address in the list */ -»
«range .AddressList»«if .IsHead»«range .TxixList»  --tx-in "«.Txix»" \
«end»«end»
«- /*   tx-out: the tail addresses */ -»
«if .IsTail»  --tx-out "«.Address»+$AMOUNT_LOVELACE" \
«end»«end»    --change-address «.Alias2AddressMap.fund.Address» \
  --out-file 07_alt_fan_out.json \
  --submit 600
EOTX

cat execute_tx.sh 
bash execute_tx.sh

The instantiated command looked like this:

marlowe-cli transaction simple
  --required-signer fund.skey
  --tx-in "31a8a0eb1885768364eff4dd580078219b7500e301ad04f98e3163cdd7275577#0"
  --tx-in "fde4efd1d88e9bf775e674c1c972868603514bbb6144e335680910dc10dd580b#0"
  --tx-out "addr_test1vql0xjfxke6urle48pjesuqkwzjh8knfn5gysx2j2cjq79crdyu85+49000000"
  --tx-out "addr_test1vr56pmsdcq6h2ay98k9hfghqmk3klrzt40545d7d8fymg3s5mvc4g+49000000"
  --tx-out "addr_test1vrek3ue5yrhz09hykp2tv42nczjjq4t2lvg4nzqyulk2k0sphhu7f+49000000"
  --tx-out "addr_test1vr6ckmx7e4yktvlsve780urs2rn30vrkt6r4kukatueutec93q8lx+49000000"
  --tx-out "addr_test1vq6szstpj6fywjqgq66mqe405283ldyptdkxqqc2yg0t9dccq80ze+49000000"
  --change-address addr_test1vr0sqeu2knafkesjhvjmzvqwz07gwqsvtprxvt2s3as3kzgtdzsmj
  --out-file 07_alt_fan_out.json
  --submit 600

Resulting in this output ..

TxId "a47c70ad38c2f9b58213a8f798ff11bfbac3c369d69391ad1b1dd4856cf219db"

.. and this balance:

3. Fund fan in using cardano-cli

What happened? I accidentally executed a fan-out twice, from fund to mediator, buyer, seller. And now I want to put half (ie. 100 ADA each) back into the fund.

Before situation

The script

#!/bin/bash

# Ooops, I overpaid, let's put 100 ADA back into the fund

AMOUNT_LOVELACE="100000000"

if [ ! -f "protocol-parameters.json" ]
then
    echo "ERROR: protocol-parameters.json doesn't exist, create it first!"
    echo "   cardano-cli query protocol-parameters --testnet-magic $CARDANO_TESTNET_MAGIC \\"
    echo "                     --out-file protocol-parameters.json"
    exit 1
fi

export RECEIVER_ADDRESS=`cat "fund.address"`

for ALIAS in mediator buyer seller
do
    export ADDRESS=`cat "${ALIAS}.address"`
    echo "Iteration for alias: $ALIAS  $ADDRESS"
    cat <<EOTX | asnap - "${ALIAS}.address"  > execute_tx.sh
cardano-cli transaction build --testnet-magic $CARDANO_TESTNET_MAGIC \
«range .Alias2AddressMap.$ALIAS.TxixList»«if .FlagGreatestPureAda»    --tx-in-collateral «.Txix» \
«end»    --tx-in «.Txix» \
«end»    --tx-out "$RECEIVER_ADDRESS + $AMOUNT_LOVELACE lovelace" \
    --change-address «.Alias2AddressMap.${ALIAS}.Address» \
    --protocol-params-file protocol-parameters.json \
    --out-file unsigned.json

cardano-cli transaction sign --testnet-magic $CARDANO_TESTNET_MAGIC \
    --tx-body-file unsigned.json \
    --signing-key-file ${ALIAS}.skey \
    --out-file signed.json

    cardano-cli transaction submit --testnet-magic $CARDANO_TESTNET_MAGIC --tx-file signed.json
EOTX

    # execute
    bash execute_tx.sh

    echo "Sleeping 60s"
    sleep 60
done

After situation

Running a simple Marlowe contract (without the backend)

This page describes how to use the asnap utility to generate cardano-cli / marlowe-cli scripts. More about asnap can be found on its gitlab repo: gitlab.com/wmoco/asnap

The execution of contract here is close to the one described on w0708c_notify, but it is fully automated, and will keep on running (creating a new contract, initializing, funding… etc.) until the balance drops below a certain value.

Only the noteworthy changes are mentioned.

The new script 50_loop.sh iterates over the other scripts like this:

forever  
do
    08_create_contract.sh

    10_prepare_initialization.sh
    12_execute_initialization.sh

    14_prepare_fund.sh
    16_execute_fund.sh

    18_prepare_notify.sh
    20_execute_notify.sh

    22_withdraw.sh

    BALANCE=`echo '«printf "%.f" .AggregateAda»' | asnap - actor.address`

    .. exit if BALANCE < x ADA .. 
done

The scripts

All scripts can be found in this zip-file: scripts_708d.zip. You also find the log file ‘example_tx.log’ of a run of 181 iterations, to show that it doesn’t just break after 3 iterations.

00 Set env

Changes:

• environment variable POLICY_ID is read from file ‘policy_id.txt’ (file created in step 06_mint_tokens.sh)
• same for CONTRACT_ADDRESS and PAYOUT_ADDRESS (files contract.address and payout.address are created in step 10_prepare_initialization.sh)

06 Mint the tokens

Script: 06_mint_tokens.sh is mostly the same, except for how the policy_id gets looked up, it’s now a query via asnap:

echo "«range .Alias2AddressMap.actor.TxixList»«if gt .AggregateTokenQuantity 0»«range .ValueList»«.PolicyId»«end»«end»«end»" \
    | asnap - actor.address > policy_id.txt

10 Prepare the initialization

Different way of picking up the contract and payout address, using jq :

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

12 Execute initialization

Pick up the actor’s transaction which has the greatest amount of pure ADA (no token nor datumhash):

export TXIX=`echo "«range .Alias2AddressMap.actor.TxixList»«if .FlagGreatestPureAda»«.Txix»«end»«end»" | asnap - actor.address`

16 Execute fund

Asnap template used to list the parameters for –tx-in-collateral, –tx-in-marlowe and –tx-in

cat <<'EOTX' | asnap - actor.address  contract.address > execute_tx.sh
. ./00_setenv.sh

marlowe-cli run execute --submit=600 \
  --marlowe-in-file 11_marlowe.json  \
  --marlowe-out-file 15_marlowe.json \
  --required-signer actor.skey       \
«range .Alias2AddressMap.actor.TxixList»«if .FlagGreatestPureAda»  --tx-in-collateral «.Txix» \
«end»«end»«range .Alias2AddressMap.actor.TxixList»«$actorTx := .Tx»«range $.Alias2AddressMap.contract.TxixList»«if .DatumHash»«if eq $actorTx .Tx»   --tx-in-marlowe «.Txix» \
«end»«end»«end»«end»«range .Alias2AddressMap.contract.TxixList»«if .DatumHash»«$contractTx := .Tx»«end»«end»«range .Alias2AddressMap.actor.TxixList»  --tx-in «.Txix» \
«end»  --tx-out "$ACTOR_ADDRESS+$MINIMUM_ADA+1 $ACTOR_TOKEN"  \
  --change-address "$ACTOR_ADDRESS"  \
  --out-file 17_raw.json             \
  --print-stats  
EOTX

bash execute_tx.sh 

Note ‘EOTX’ is in single quotes, so that the dollar-variables don’t get expanded in this here-document.

The «range ..» loops are pretty self-explanatory except maybe the --tx-in-marlowe which could do with a bit more explanation. Here is that bit of template code put separately:

«range .Alias2AddressMap.actor.TxixList»
    «$actorTx := .Tx»
    «range $.Alias2AddressMap.contract.TxixList»
        «if .DatumHash»«if eq $actorTx .Tx»   --tx-in-marlowe «.Txix» \
    «end»
«end»
«end»

To make sure that we talk about the same thing:

• a Txix is this “104a836fe33a3d6d44d1328b8ec1f8edf6c8bda2bb915c1b4e6ffc761966fc57#2”
• its Tx is “104a836fe33a3d6d44d1328b8ec1f8edf6c8bda2bb915c1b4e6ffc761966fc57”
• its Ix is “2”

To find the marlowe-txix we loop over the actor.txix’s, and in a nested loop go over the contract’s txix’s to find the common .tx. Extra condition: the contract’s txix must have a datumhash.

18 Prepare notify

No change.

20 Execute notify

cat <<'EOTX' | asnap - actor.address  contract.address > execute_tx.sh
. ./00_setenv.sh

marlowe-cli run execute --submit=600 \
  --marlowe-in-file 15_marlowe.json                                                       \
  --marlowe-out-file 19_marlowe.json                                                      \
  --required-signer actor.skey       \
«range .Alias2AddressMap.actor.TxixList»«if .FlagGreatestPureAda»  --tx-in-collateral «.Txix» \
«end»«end»«range .Alias2AddressMap.actor.TxixList»«if gt .AggregateTokenQuantity 0»«$actorTx := .Tx»«range $.Alias2AddressMap.contract.TxixList»«if .DatumHash»«if eq $actorTx .Tx»  --tx-in-marlowe «.Txix» \
«end»«end»«end»«end»«end»«range .Alias2AddressMap.actor.TxixList»  --tx-in «.Txix» \
«end»  --tx-out "$ACTOR_ADDRESS+$MINIMUM_ADA+1 $ACTOR_TOKEN"  \
  --change-address "$ACTOR_ADDRESS"  \
  --out-file 21_raw.json \
  --print-stats  
EOTX

22 Withdraw

cat <<EOTX | asnap - actor.address payout.address > execute_tx.sh
. ./00_setenv.sh

marlowe-cli run withdraw --submit=600 \
  --marlowe-file 19_marlowe.json     \
  --role-name "$ACTOR_ROLE"          \
  --required-signer actor.skey       \
«range .Alias2AddressMap.actor.TxixList»«if .FlagGreatestPureAda»  --tx-in-collateral «.Txix» \
«end»«end»«range .Alias2AddressMap.payout.TxixList»  --tx-in «.Txix» \
«end»«range .Alias2AddressMap.actor.TxixList»  --tx-in «.Txix» \
«end»  --tx-out "$ACTOR_ADDRESS+$MINIMUM_ADA+1 $ACTOR_TOKEN"  \
  --change-address "$ACTOR_ADDRESS"  \
  --out-file 23_raw.json \
  --print-stats  
EOTX

50 The loop

A new script is this loop, as mentioned at the beginning of this page.

#!/bin/bash 

rm contract.address payout.address amount.txt

for (( i=1; i <= 1000 ; i=i+1 ))
do
    echo >> tx.log
    echo "Start of iteration : $i ---- `date '+%Y%m%d-%Hh%M'`"  | tee -a tx.log

    echo "--- 08_create_contract.sh -------------------------------------------" | tee -a tx.log
    bash 08_create_contract.sh

    echo "--- 10_prepare_initialization.sh ------------------------------------" | tee -a tx.log
    bash 10_prepare_initialization.sh
    asnap actor.address contract.address payout.address | tee -a tx.log

    echo "--- 12_execute_initialization.sh ------------------------------------" | tee -a tx.log
    bash 12_execute_initialization.sh
    sleep 60
    asnap actor.address contract.address payout.address | tee -a tx.log

    echo "--- 14_prepare_fund.sh ----------------------------------------------" | tee -a tx.log
    bash 14_prepare_fund.sh

    echo "--- 16_execute_fund.sh ----------------------------------------------" | tee -a tx.log
    bash 16_execute_fund.sh
    sleep 60
    asnap actor.address contract.address payout.address | tee -a tx.log

    echo "--- 18_prepare_notify.sh --------------------------------------------" | tee -a tx.log
    bash 18_prepare_notify.sh

    echo "--- 20_execute_notify.sh --------------------------------------------" | tee -a tx.log
    bash 20_execute_notify.sh
    sleep 60
    asnap actor.address contract.address payout.address | tee -a tx.log

    echo "--- 22_withdraw.sh --------------------------------------------------" | tee -a tx.log
    bash 22_withdraw.sh
    sleep 60
    asnap actor.address contract.address payout.address | tee -a tx.log

    BALANCE=`echo '«printf "%.f" .AggregateAda»' | asnap - actor.address`
    echo "End of iteration $i ---- `date '+%Y%m%d-%Hh%M'` -- balance=$BALANCE " | tee -a tx.log
    echo >> tx.log

    if [ $BALANCE -lt 20 ]
    then
        echo "Bailing out after $i iterations, balance = $BALANCE"
        exit 0
    fi

    # next amount to use is a third of the balance (just for reasons of variety)
    echo $(( $BALANCE / 3 ))"000000" > amount.txt
done

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»" \

The Coupon Bond Guaranteed contract as-is

The run that fails

This is the run with the unmodified contract (or original contract), as described on w0802_cbg

My ref: output of a run of the scripts in daedtest:~/work/20220923_marlowe_gcb_take4

export FUND_CONTRACT=3000000                    # the amount to fund the contract with 
export MINIMUM_ADA=2000000                      # the minimum lovelace to be included with native token output.

export PRINCIPAL_AMOUNT=50000000                # the principal is 50₳
export INTEREST_INSTALLMENT=4000000             # the interest is 4₳

The overall result, comparing before/after run:

======================================
     ALIAS    START   CHANGE      END
    lender   100.00   -47.56    52.44
  borrower   100.00    38.37   138.37
 guarantor   100.00   -56.27    43.73
  contract             57.00    57.00
    payout                           
     TOTAL   300.00    -8.47   291.53
======================================

Note: the run failed in step 402, and there is a balance remaining in the contract.

The details

104_lender_funds_contract.sh

TxId "5fa298efbcc819217eb984df7ecc878e74e075647697e5dc4f072a82c5f97095"
 

==============================
     ALIAS   CHANGE  BALANCE
    lender    -3.21    96.79
  borrower            100.00
 guarantor            100.00
  contract     3.00     3.00
    payout                  
     TOTAL    -0.21   299.79
==============================

--- lender       -----------------------------------------------------------------------------------------------
addr_test1vr5cvgswyma5s53k76rpf7uzcuq3u3d0hvcc86lr3wyvy9qze26h0         | =    96.79 |
* 4a2ead9b75abba50f177dc3c71d4319b23c7ec953d2bfb1a96c87c523240d490#1    | +     2.00 | [ "Lender"×1 ]
* 5fa298efbcc819217eb984df7ecc878e74e075647697e5dc4f072a82c5f97095#0    | +    92.60 | Greatest Pure Ada
* c924b52ab95f6fd1027d5adafb4c77680321174ab2d6794fdf730ce04602827a#1    | +     2.19 | Pure Ada
--- borrower     -----------------------------------------------------------------------------------------------
addr_test1vz0at5gehvrkektqx0vv2ylthqkzazzjvc5e5y2wh7md8hcffsn35         | =   100.00 |
* 72e37e37f34f00b51f811c7f79c4a5aa6439e48369a5be61cda5f509f16f830f#0    | +    95.81 | Greatest Pure Ada
* 72e37e37f34f00b51f811c7f79c4a5aa6439e48369a5be61cda5f509f16f830f#1    | +     2.00 | [ "Borrower"×1 ]
* 7b0dcb9622720572cfe4919727aabb977a5cdcdfc622c3efc6674f9006d9f8f0#1    | +     2.19 | Pure Ada
--- guarantor    -----------------------------------------------------------------------------------------------
addr_test1vp4cfg7trshc4rcrs6l67azqws05c8u4x9w6ggpqzg4893s7m3qsk         | =   100.00 |
* 7c7bbd8fd032eb600c3e676297b9373a40f18b41be0be87c34aa892de20956f8#0    | +    95.81 | Greatest Pure Ada
* 7c7bbd8fd032eb600c3e676297b9373a40f18b41be0be87c34aa892de20956f8#1    | +     2.00 | [ "Guarantor"×1 ]
* c665aefffe5dfffb00d38852aaf218c1df50642aead8c138348afa63989e5932#1    | +     2.19 | Pure Ada
--- contract     -----------------------------------------------------------------------------------------------
addr_test1wrypmfptlhelpv9u9ce47wudqevqep269ytyhyksgp6frscvpnejt         | =     3.00 |
* 5fa298efbcc819217eb984df7ecc878e74e075647697e5dc4f072a82c5f97095#1    | +     3.00 | GreatestByTxHavingDatum
--- payout       -----------------------------------------------------------------------------------------------
addr_test1wzdf09y30k8gxxl9zy8r5kyhhar5klutcxpsmw6zpkjn3ssnkal7t         | =     0.00 |

marlowe-cli run execute  
  --tx-in 4a2ead9b75abba50f177dc3c71d4319b23c7ec953d2bfb1a96c87c523240d490#0  
  --change-address "addr_test1vr5cvgswyma5s53k76rpf7uzcuq3u3d0hvcc86lr3wyvy9qze26h0"  
  --required-signer lender.skey      
  --marlowe-out-file 103_marlowe.json  
  --out-file 105_out.json              
  --print-stats                        
  --submit=600

106_guarantor_deposit.sh

TxId "a357d131b9bced4fd21a12276ae9dd3f8c24254da0f494bfa0fe651d613e15d4"
 

==============================
     ALIAS   CHANGE  BALANCE
    lender             96.79
  borrower            100.00
 guarantor   -63.42    36.58
  contract    62.00    65.00
    payout                  
     TOTAL    -1.42   298.36
==============================

--- lender       -----------------------------------------------------------------------------------------------
addr_test1vr5cvgswyma5s53k76rpf7uzcuq3u3d0hvcc86lr3wyvy9qze26h0         | =    96.79 |
* 4a2ead9b75abba50f177dc3c71d4319b23c7ec953d2bfb1a96c87c523240d490#1    | +     2.00 | [ "Lender"×1 ]
* 5fa298efbcc819217eb984df7ecc878e74e075647697e5dc4f072a82c5f97095#0    | +    92.60 | Greatest Pure Ada
* c924b52ab95f6fd1027d5adafb4c77680321174ab2d6794fdf730ce04602827a#1    | +     2.19 | Pure Ada
--- borrower     -----------------------------------------------------------------------------------------------
addr_test1vz0at5gehvrkektqx0vv2ylthqkzazzjvc5e5y2wh7md8hcffsn35         | =   100.00 |
* 72e37e37f34f00b51f811c7f79c4a5aa6439e48369a5be61cda5f509f16f830f#0    | +    95.81 | Greatest Pure Ada
* 72e37e37f34f00b51f811c7f79c4a5aa6439e48369a5be61cda5f509f16f830f#1    | +     2.00 | [ "Borrower"×1 ]
* 7b0dcb9622720572cfe4919727aabb977a5cdcdfc622c3efc6674f9006d9f8f0#1    | +     2.19 | Pure Ada
--- guarantor    -----------------------------------------------------------------------------------------------
addr_test1vp4cfg7trshc4rcrs6l67azqws05c8u4x9w6ggpqzg4893s7m3qsk         | =    36.58 |
* a357d131b9bced4fd21a12276ae9dd3f8c24254da0f494bfa0fe651d613e15d4#0    | +    32.39 | Greatest Pure Ada
* a357d131b9bced4fd21a12276ae9dd3f8c24254da0f494bfa0fe651d613e15d4#2    | +     2.00 | [ "Guarantor"×1 ]
* c665aefffe5dfffb00d38852aaf218c1df50642aead8c138348afa63989e5932#1    | +     2.19 | Pure Ada
--- contract     -----------------------------------------------------------------------------------------------
addr_test1wrypmfptlhelpv9u9ce47wudqevqep269ytyhyksgp6frscvpnejt         | =    65.00 |
* a357d131b9bced4fd21a12276ae9dd3f8c24254da0f494bfa0fe651d613e15d4#1    | +    65.00 | GreatestByTxHavingDatum
--- payout       -----------------------------------------------------------------------------------------------
addr_test1wzdf09y30k8gxxl9zy8r5kyhhar5klutcxpsmw6zpkjn3ssnkal7t         | =     0.00 |

marlowe-cli run prepare  
  --marlowe-file 103_marlowe.json   
  --deposit-account "Role=Lender"   
  --deposit-party "Role=Guarantor"   
  --deposit-amount "62000000"   
  --invalid-before "1664092732000 [[2022-09-25 07:58:52 +0000 UTC]]"   
  --invalid-hereafter "1664096932000 [[2022-09-25 09:08:52 +0000 UTC]]"  
  --out-file 107_marlowe.json  
  --print-stats


marlowe-cli run execute   
  --marlowe-in-file 103_marlowe.json   
  --marlowe-out-file 107_marlowe.json   
  --tx-in-marlowe "5fa298efbcc819217eb984df7ecc878e74e075647697e5dc4f072a82c5f97095#1"  
  --tx-in-collateral "7c7bbd8fd032eb600c3e676297b9373a40f18b41be0be87c34aa892de20956f8#0"  
  --tx-in "7c7bbd8fd032eb600c3e676297b9373a40f18b41be0be87c34aa892de20956f8#0"  
  --tx-in 7c7bbd8fd032eb600c3e676297b9373a40f18b41be0be87c34aa892de20956f8#1  
  --required-signer guarantor.skey   
  --tx-out "addr_test1vp4cfg7trshc4rcrs6l67azqws05c8u4x9w6ggpqzg4893s7m3qsk+2000000+1 10e1ba7f0c7dfe42ed6736da9c3749576c1dcc7b7c90fef20aa87086.Guarantor"  
  --change-address "addr_test1vp4cfg7trshc4rcrs6l67azqws05c8u4x9w6ggpqzg4893s7m3qsk"   
  --out-file 107_out.json   
  --print-stats   
  --submit=600

{
    "state": {
        "choices": [],
        "boundValues": [],
        "accounts": [
            [
                [
                    {
                        "role_token": "Lender"
                    },
                    {
                        "currency_symbol": "",
                        "token_name": ""
                    }
                ],
                65000000
            ]
        ],
        "minTime": 1664092732000 [[2022-09-25 07:58:52 +0000 UTC]]
    },
    "payments": [],
    "contract": {
        "timeout": 1664136515000 [[2022-09-25 20:08:35 +0000 UTC]],
        "when": [
            {
                "then": {
                    "then": {
                        "timeout": 1664140115000 [[2022-09-25 21:08:35 +0000 UTC]],
                        "when": [
                            {
                                "then": {
                                    "then": {
                                        "then": {
                                            "timeout": 1664143715000 [[2022-09-25 22:08:35 +0000 UTC]],
                                            "when": [
                                                {
                                                    "then": {
                                                        "then": {
                                                            "then": {
                                                                "timeout": 1664147315000 [[2022-09-25 23:08:35 +0000 UTC]],
                                                                "when": [
                                                                    {
                                                                        "then": {
                                                                            "then": {
                                                                                "then": "close",
                                                                                "to": {
                                                                                    "party": {
                                                                                        "role_token": "Guarantor"
                                                                                    }
                                                                                },
                                                                                "from_account": {
                                                                                    "role_token": "Lender"
                                                                                },
                                                                                "pay": {
                                                                                    "and": 50000000,
                                                                                    "add": 4000000
                                                                                },
                                                                                "token": {
                                                                                    "currency_symbol": "",
                                                                                    "token_name": ""
                                                                                }
                                                                            },
                                                                            "to": {
                                                                                "party": {
                                                                                    "role_token": "Lender"
                                                                                }
                                                                            },
                                                                            "from_account": {
                                                                                "role_token": "Lender"
                                                                            },
                                                                            "pay": {
                                                                                "and": 50000000,
                                                                                "add": 4000000
                                                                            },
                                                                            "token": {
                                                                                "currency_symbol": "",
                                                                                "token_name": ""
                                                                            }
                                                                        },
                                                                        "case": {
                                                                            "deposits": {
                                                                                "and": 50000000,
                                                                                "add": 4000000
                                                                            },
                                                                            "into_account": {
                                                                                "role_token": "Lender"
                                                                            },
                                                                            "of_token": {
                                                                                "currency_symbol": "",
                                                                                "token_name": ""
                                                                            },
                                                                            "party": {
                                                                                "role_token": "Borrower"
                                                                            }
                                                                        }
                                                                    }
                                                                ],
                                                                "timeout_continuation": "close"
                                                            },
                                                            "to": {
                                                                "party": {
                                                                    "role_token": "Guarantor"
                                                                }
                                                            },
                                                            "from_account": {
                                                                "role_token": "Lender"
                                                            },
                                                            "pay": 4000000,
                                                            "token": {
                                                                "currency_symbol": "",
                                                                "token_name": ""
                                                            }
                                                        },
                                                        "to": {
                                                            "party": {
                                                                "role_token": "Lender"
                                                            }
                                                        },
                                                        "from_account": {
                                                            "role_token": "Lender"
                                                        },
                                                        "pay": 4000000,
                                                        "token": {
                                                            "currency_symbol": "",
                                                            "token_name": ""
                                                        }
                                                    },
                                                    "case": {
                                                        "deposits": 4000000,
                                                        "into_account": {
                                                            "role_token": "Lender"
                                                        },
                                                        "of_token": {
                                                            "currency_symbol": "",
                                                            "token_name": ""
                                                        },
                                                        "party": {
                                                            "role_token": "Borrower"
                                                        }
                                                    }
                                                }
                                            ],
                                            "timeout_continuation": "close"
                                        },
                                        "to": {
                                            "party": {
                                                "role_token": "Guarantor"
                                            }
                                        },
                                        "from_account": {
                                            "role_token": "Lender"
                                        },
                                        "pay": 4000000,
                                        "token": {
                                            "currency_symbol": "",
                                            "token_name": ""
                                        }
                                    },
                                    "to": {
                                        "party": {
                                            "role_token": "Lender"
                                        }
                                    },
                                    "from_account": {
                                        "role_token": "Lender"
                                    },
                                    "pay": 4000000,
                                    "token": {
                                        "currency_symbol": "",
                                        "token_name": ""
                                    }
                                },
                                "case": {
                                    "deposits": 4000000,
                                    "into_account": {
                                        "role_token": "Lender"
                                    },
                                    "of_token": {
                                        "currency_symbol": "",
                                        "token_name": ""
                                    },
                                    "party": {
                                        "role_token": "Borrower"
                                    }
                                }
                            }
                        ],
                        "timeout_continuation": "close"
                    },
                    "to": {
                        "party": {
                            "role_token": "Borrower"
                        }
                    },
                    "from_account": {
                        "role_token": "Borrower"
                    },
                    "pay": 50000000,
                    "token": {
                        "currency_symbol": "",
                        "token_name": ""
                    }
                },
                "case": {
                    "deposits": 50000000,
                    "into_account": {
                        "role_token": "Borrower"
                    },
                    "of_token": {
                        "currency_symbol": "",
                        "token_name": ""
                    },
                    "party": {
                        "role_token": "Lender"
                    }
                }
            }
        ],
        "timeout_continuation": {
            "then": "close",
            "to": {
                "party": {
                    "role_token": "Guarantor"
                }
            },
            "from_account": {
                "role_token": "Lender"
            },
            "pay": {
                "and": 50000000,
                "add": {
                    "multiply": 3,
                    "times": 4000000
                }
            },
            "token": {
                "currency_symbol": "",
                "token_name": ""
            }
        }
    },
    "rolesValidator": {
        "hash": "9a9794917d8e831be5110e3a5897bf474b7f8bc1830dbb420da538c2",
        "size": 2469,
        "address": "addr_test1wzdf09y30k8gxxl9zy8r5kyhhar5klutcxpsmw6zpkjn3ssnkal7t",
        "cost": {
            "exBudgetMemory": 14600,
            "exBudgetCPU": 4317185
        },
        "script": {
            "type": "PlutusScriptV1",
            "cborHex": "5909a55909a201000033232332232323⋯⋯₄₉₄₄⋯⋯49576c1dcc7b7c90fef20aa870860001",
            "description": ""
        }
    },
    "range": [
        14143101,
        14147301
    ],
    "marloweValidator": {
        "hash": "c81da42bfdf3f0b0bc2e335f3b8d06580c855a29164b92d0407491c3",
        "size": 12415,
        "address": "addr_test1wrypmfptlhelpv9u9ce47wudqevqep269ytyhyksgp6frscvpnejt",
        "cost": {
            "exBudgetMemory": 82900,
            "exBudgetCPU": 24652144
        },
        "script": {
            "type": "PlutusScriptV1",
            "cborHex": "59307f59307c01000033232323322323⋯⋯₂₄₈₃₆⋯⋯f20aa870860022123300100300220011",
            "description": ""
        }
    },
    "inputs": [
        {
            "input_from_party": {
                "role_token": "Guarantor"
            },
            "into_account": {
                "role_token": "Lender"
            },
            "of_token": {
                "currency_symbol": "",
                "token_name": ""
            },
            "that_deposits": 62000000
        }
    ],
    "roles": {
        "unCurrencySymbol": "10e1ba7f0c7dfe42ed6736da9c3749576c1dcc7b7c90fef20aa87086"
    },
    "slotConfig": {
        "scSlotLength": 1000,
        "scSlotZeroTime": 1649949631000 [[2022-04-14 15:20:31 +0000 UTC]]
    }
}

108_lender_deposit.sh

Payment 1
  Acccount: "Borrower"
  Payee: Party "Borrower"
  Ada: 50.000000
TxId "96ad72bd861ec36067082d98c6f8d87bad5b01644a349aa4c4abb5606bf5eff7"
 

==============================
     ALIAS   CHANGE  BALANCE
    lender   -51.50    45.28
  borrower            100.00
 guarantor             36.58
  contract             65.00
    payout    50.00    50.00
     TOTAL    -1.50   296.86
==============================

--- lender       -----------------------------------------------------------------------------------------------
addr_test1vr5cvgswyma5s53k76rpf7uzcuq3u3d0hvcc86lr3wyvy9qze26h0         | =    45.28 |
* 96ad72bd861ec36067082d98c6f8d87bad5b01644a349aa4c4abb5606bf5eff7#0    | +    41.10 | Greatest Pure Ada
* 96ad72bd861ec36067082d98c6f8d87bad5b01644a349aa4c4abb5606bf5eff7#3    | +     2.00 | [ "Lender"×1 ]
* c924b52ab95f6fd1027d5adafb4c77680321174ab2d6794fdf730ce04602827a#1    | +     2.19 | Pure Ada
--- borrower     -----------------------------------------------------------------------------------------------
addr_test1vz0at5gehvrkektqx0vv2ylthqkzazzjvc5e5y2wh7md8hcffsn35         | =   100.00 |
* 72e37e37f34f00b51f811c7f79c4a5aa6439e48369a5be61cda5f509f16f830f#0    | +    95.81 | Greatest Pure Ada
* 72e37e37f34f00b51f811c7f79c4a5aa6439e48369a5be61cda5f509f16f830f#1    | +     2.00 | [ "Borrower"×1 ]
* 7b0dcb9622720572cfe4919727aabb977a5cdcdfc622c3efc6674f9006d9f8f0#1    | +     2.19 | Pure Ada
--- guarantor    -----------------------------------------------------------------------------------------------
addr_test1vp4cfg7trshc4rcrs6l67azqws05c8u4x9w6ggpqzg4893s7m3qsk         | =    36.58 |
* a357d131b9bced4fd21a12276ae9dd3f8c24254da0f494bfa0fe651d613e15d4#0    | +    32.39 | Greatest Pure Ada
* a357d131b9bced4fd21a12276ae9dd3f8c24254da0f494bfa0fe651d613e15d4#2    | +     2.00 | [ "Guarantor"×1 ]
* c665aefffe5dfffb00d38852aaf218c1df50642aead8c138348afa63989e5932#1    | +     2.19 | Pure Ada
--- contract     -----------------------------------------------------------------------------------------------
addr_test1wrypmfptlhelpv9u9ce47wudqevqep269ytyhyksgp6frscvpnejt         | =    65.00 |
* 96ad72bd861ec36067082d98c6f8d87bad5b01644a349aa4c4abb5606bf5eff7#1    | +    65.00 | GreatestByTxHavingDatum
--- payout       -----------------------------------------------------------------------------------------------
addr_test1wzdf09y30k8gxxl9zy8r5kyhhar5klutcxpsmw6zpkjn3ssnkal7t         | =    50.00 |
* 96ad72bd861ec36067082d98c6f8d87bad5b01644a349aa4c4abb5606bf5eff7#2    | +    50.00 | GreatestByTxHavingDatum

marlowe-cli run prepare  
  --marlowe-file 107_marlowe.json   
  --deposit-account "Role=Borrower"   
  --deposit-party "Role=Lender"   
  --deposit-amount "50000000"   
  --invalid-before "1664092813000 [[2022-09-25 08:00:13 +0000 UTC]]"   
  --invalid-hereafter "1664097013000 [[2022-09-25 09:10:13 +0000 UTC]]"  
  --out-file 109_marlowe.json  
  --print-stats


marlowe-cli run execute   
  --marlowe-in-file 107_marlowe.json   
  --marlowe-out-file 109_marlowe.json   
  --tx-in-marlowe "a357d131b9bced4fd21a12276ae9dd3f8c24254da0f494bfa0fe651d613e15d4#1"  
  --tx-in 4a2ead9b75abba50f177dc3c71d4319b23c7ec953d2bfb1a96c87c523240d490#1  
  --tx-in-collateral "5fa298efbcc819217eb984df7ecc878e74e075647697e5dc4f072a82c5f97095#0"  
  --tx-in "5fa298efbcc819217eb984df7ecc878e74e075647697e5dc4f072a82c5f97095#0"  
  --required-signer lender.skey   
  --tx-out "addr_test1vr5cvgswyma5s53k76rpf7uzcuq3u3d0hvcc86lr3wyvy9qze26h0+2000000+1 10e1ba7f0c7dfe42ed6736da9c3749576c1dcc7b7c90fef20aa87086.Lender"  
  --change-address "addr_test1vr5cvgswyma5s53k76rpf7uzcuq3u3d0hvcc86lr3wyvy9qze26h0"   
  --out-file 109_out.json   
  --print-stats   
  --submit=600

{
    "state": {
        "choices": [],
        "boundValues": [],
        "accounts": [
            [
                [
                    {
                        "role_token": "Lender"
                    },
                    {
                        "currency_symbol": "",
                        "token_name": ""
                    }
                ],
                65000000
            ]
        ],
        "minTime": 1664092813000 [[2022-09-25 08:00:13 +0000 UTC]]
    },
    "payments": [
        {
            "payee": {
                "party": {
                    "role_token": "Borrower"
                }
            },
            "accountId": {
                "role_token": "Borrower"
            },
            "money": {
                "getValue": [
                    [
                        {
                            "unCurrencySymbol": ""
                        },
                        [
                            [
                                {
                                    "unTokenName": ""
                                },
                                50000000
                            ]
                        ]
                    ]
                ]
            }
        }
    ],
    "contract": {
        "timeout": 1664140115000 [[2022-09-25 21:08:35 +0000 UTC]],
        "when": [
            {
                "then": {
                    "then": {
                        "then": {
                            "timeout": 1664143715000 [[2022-09-25 22:08:35 +0000 UTC]],
                            "when": [
                                {
                                    "then": {
                                        "then": {
                                            "then": {
                                                "timeout": 1664147315000 [[2022-09-25 23:08:35 +0000 UTC]],
                                                "when": [
                                                    {
                                                        "then": {
                                                            "then": {
                                                                "then": "close",
                                                                "to": {
                                                                    "party": {
                                                                        "role_token": "Guarantor"
                                                                    }
                                                                },
                                                                "from_account": {
                                                                    "role_token": "Lender"
                                                                },
                                                                "pay": {
                                                                    "and": 50000000,
                                                                    "add": 4000000
                                                                },
                                                                "token": {
                                                                    "currency_symbol": "",
                                                                    "token_name": ""
                                                                }
                                                            },
                                                            "to": {
                                                                "party": {
                                                                    "role_token": "Lender"
                                                                }
                                                            },
                                                            "from_account": {
                                                                "role_token": "Lender"
                                                            },
                                                            "pay": {
                                                                "and": 50000000,
                                                                "add": 4000000
                                                            },
                                                            "token": {
                                                                "currency_symbol": "",
                                                                "token_name": ""
                                                            }
                                                        },
                                                        "case": {
                                                            "deposits": {
                                                                "and": 50000000,
                                                                "add": 4000000
                                                            },
                                                            "into_account": {
                                                                "role_token": "Lender"
                                                            },
                                                            "of_token": {
                                                                "currency_symbol": "",
                                                                "token_name": ""
                                                            },
                                                            "party": {
                                                                "role_token": "Borrower"
                                                            }
                                                        }
                                                    }
                                                ],
                                                "timeout_continuation": "close"
                                            },
                                            "to": {
                                                "party": {
                                                    "role_token": "Guarantor"
                                                }
                                            },
                                            "from_account": {
                                                "role_token": "Lender"
                                            },
                                            "pay": 4000000,
                                            "token": {
                                                "currency_symbol": "",
                                                "token_name": ""
                                            }
                                        },
                                        "to": {
                                            "party": {
                                                "role_token": "Lender"
                                            }
                                        },
                                        "from_account": {
                                            "role_token": "Lender"
                                        },
                                        "pay": 4000000,
                                        "token": {
                                            "currency_symbol": "",
                                            "token_name": ""
                                        }
                                    },
                                    "case": {
                                        "deposits": 4000000,
                                        "into_account": {
                                            "role_token": "Lender"
                                        },
                                        "of_token": {
                                            "currency_symbol": "",
                                            "token_name": ""
                                        },
                                        "party": {
                                            "role_token": "Borrower"
                                        }
                                    }
                                }
                            ],
                            "timeout_continuation": "close"
                        },
                        "to": {
                            "party": {
                                "role_token": "Guarantor"
                            }
                        },
                        "from_account": {
                            "role_token": "Lender"
                        },
                        "pay": 4000000,
                        "token": {
                            "currency_symbol": "",
                            "token_name": ""
                        }
                    },
                    "to": {
                        "party": {
                            "role_token": "Lender"
                        }
                    },
                    "from_account": {
                        "role_token": "Lender"
                    },
                    "pay": 4000000,
                    "token": {
                        "currency_symbol": "",
                        "token_name": ""
                    }
                },
                "case": {
                    "deposits": 4000000,
                    "into_account": {
                        "role_token": "Lender"
                    },
                    "of_token": {
                        "currency_symbol": "",
                        "token_name": ""
                    },
                    "party": {
                        "role_token": "Borrower"
                    }
                }
            }
        ],
        "timeout_continuation": "close"
    },
    "rolesValidator": {
        "hash": "9a9794917d8e831be5110e3a5897bf474b7f8bc1830dbb420da538c2",
        "size": 2469,
        "address": "addr_test1wzdf09y30k8gxxl9zy8r5kyhhar5klutcxpsmw6zpkjn3ssnkal7t",
        "cost": {
            "exBudgetMemory": 14600,
            "exBudgetCPU": 4317185
        },
        "script": {
            "type": "PlutusScriptV1",
            "cborHex": "5909a55909a201000033232332232323⋯⋯₄₉₄₄⋯⋯49576c1dcc7b7c90fef20aa870860001",
            "description": ""
        }
    },
    "range": [
        14143182,
        14147382
    ],
    "marloweValidator": {
        "hash": "c81da42bfdf3f0b0bc2e335f3b8d06580c855a29164b92d0407491c3",
        "size": 12415,
        "address": "addr_test1wrypmfptlhelpv9u9ce47wudqevqep269ytyhyksgp6frscvpnejt",
        "cost": {
            "exBudgetMemory": 82900,
            "exBudgetCPU": 24652144
        },
        "script": {
            "type": "PlutusScriptV1",
            "cborHex": "59307f59307c01000033232323322323⋯⋯₂₄₈₃₆⋯⋯f20aa870860022123300100300220011",
            "description": ""
        }
    },
    "inputs": [
        {
            "input_from_party": {
                "role_token": "Lender"
            },
            "into_account": {
                "role_token": "Borrower"
            },
            "of_token": {
                "currency_symbol": "",
                "token_name": ""
            },
            "that_deposits": 50000000
        }
    ],
    "roles": {
        "unCurrencySymbol": "10e1ba7f0c7dfe42ed6736da9c3749576c1dcc7b7c90fef20aa87086"
    },
    "slotConfig": {
        "scSlotLength": 1000,
        "scSlotZeroTime": 1649949631000 [[2022-04-14 15:20:31 +0000 UTC]]
    }
}

110_borrower_withdraws.sh

TxId "d7a2af0eb80fc72c56574be7efcbc53a6a0b03c21be98037d6fc9578d30ea896"
 

==============================
     ALIAS   CHANGE  BALANCE
    lender             45.28
  borrower    49.58   149.58
 guarantor             36.58
  contract             65.00
    payout   -50.00         
     TOTAL    -0.42   296.44
==============================

--- lender       -----------------------------------------------------------------------------------------------
addr_test1vr5cvgswyma5s53k76rpf7uzcuq3u3d0hvcc86lr3wyvy9qze26h0         | =    45.28 |
* 96ad72bd861ec36067082d98c6f8d87bad5b01644a349aa4c4abb5606bf5eff7#0    | +    41.10 | Greatest Pure Ada
* 96ad72bd861ec36067082d98c6f8d87bad5b01644a349aa4c4abb5606bf5eff7#3    | +     2.00 | [ "Lender"×1 ]
* c924b52ab95f6fd1027d5adafb4c77680321174ab2d6794fdf730ce04602827a#1    | +     2.19 | Pure Ada
--- borrower     -----------------------------------------------------------------------------------------------
addr_test1vz0at5gehvrkektqx0vv2ylthqkzazzjvc5e5y2wh7md8hcffsn35         | =   149.58 |
* 7b0dcb9622720572cfe4919727aabb977a5cdcdfc622c3efc6674f9006d9f8f0#1    | +     2.19 | Pure Ada
* d7a2af0eb80fc72c56574be7efcbc53a6a0b03c21be98037d6fc9578d30ea896#0    | +    95.39 | Greatest Pure Ada
* d7a2af0eb80fc72c56574be7efcbc53a6a0b03c21be98037d6fc9578d30ea896#1    | +    50.00 | Pure Ada
* d7a2af0eb80fc72c56574be7efcbc53a6a0b03c21be98037d6fc9578d30ea896#2    | +     2.00 | [ "Borrower"×1 ]
--- guarantor    -----------------------------------------------------------------------------------------------
addr_test1vp4cfg7trshc4rcrs6l67azqws05c8u4x9w6ggpqzg4893s7m3qsk         | =    36.58 |
* a357d131b9bced4fd21a12276ae9dd3f8c24254da0f494bfa0fe651d613e15d4#0    | +    32.39 | Greatest Pure Ada
* a357d131b9bced4fd21a12276ae9dd3f8c24254da0f494bfa0fe651d613e15d4#2    | +     2.00 | [ "Guarantor"×1 ]
* c665aefffe5dfffb00d38852aaf218c1df50642aead8c138348afa63989e5932#1    | +     2.19 | Pure Ada
--- contract     -----------------------------------------------------------------------------------------------
addr_test1wrypmfptlhelpv9u9ce47wudqevqep269ytyhyksgp6frscvpnejt         | =    65.00 |
* 96ad72bd861ec36067082d98c6f8d87bad5b01644a349aa4c4abb5606bf5eff7#1    | +    65.00 | GreatestByTxHavingDatum
--- payout       -----------------------------------------------------------------------------------------------
addr_test1wzdf09y30k8gxxl9zy8r5kyhhar5klutcxpsmw6zpkjn3ssnkal7t         | =     0.00 |

marlowe-cli run withdraw
  --submit=600  
  --marlowe-file 109_marlowe.json  
  --role-name "Borrower"   
  --required-signer borrower.skey   
  --tx-in-collateral "72e37e37f34f00b51f811c7f79c4a5aa6439e48369a5be61cda5f509f16f830f#0"  
  --tx-in "72e37e37f34f00b51f811c7f79c4a5aa6439e48369a5be61cda5f509f16f830f#0"  
  --tx-in "72e37e37f34f00b51f811c7f79c4a5aa6439e48369a5be61cda5f509f16f830f#1"  
  --tx-out "addr_test1vz0at5gehvrkektqx0vv2ylthqkzazzjvc5e5y2wh7md8hcffsn35+2000000+1 10e1ba7f0c7dfe42ed6736da9c3749576c1dcc7b7c90fef20aa87086.Borrower"   
  --change-address "addr_test1vz0at5gehvrkektqx0vv2ylthqkzazzjvc5e5y2wh7md8hcffsn35"   
  --out-file 111_out.json  
  --print-stats  

202_borrower_pays_installment1.sh

Payment 1
  Acccount: "Lender"
  Payee: Party "Lender"
  Ada: 4.000000
Payment 2
  Acccount: "Lender"
  Payee: Party "Guarantor"
  Ada: 4.000000
TxId "6198db3c3ae4ce6f9abc373704a2d90f93bce4907064d8c7a0887207bed3f933"
 

==============================
     ALIAS   CHANGE  BALANCE
    lender             45.28
  borrower    -5.62   143.95
 guarantor             36.58
  contract    -4.00    61.00
    payout     8.00     8.00
     TOTAL    -1.62   294.81
==============================

--- lender       -----------------------------------------------------------------------------------------------
addr_test1vr5cvgswyma5s53k76rpf7uzcuq3u3d0hvcc86lr3wyvy9qze26h0         | =    45.28 |
* 96ad72bd861ec36067082d98c6f8d87bad5b01644a349aa4c4abb5606bf5eff7#0    | +    41.10 | Greatest Pure Ada
* 96ad72bd861ec36067082d98c6f8d87bad5b01644a349aa4c4abb5606bf5eff7#3    | +     2.00 | [ "Lender"×1 ]
* c924b52ab95f6fd1027d5adafb4c77680321174ab2d6794fdf730ce04602827a#1    | +     2.19 | Pure Ada
--- borrower     -----------------------------------------------------------------------------------------------
addr_test1vz0at5gehvrkektqx0vv2ylthqkzazzjvc5e5y2wh7md8hcffsn35         | =   143.95 |
* 6198db3c3ae4ce6f9abc373704a2d90f93bce4907064d8c7a0887207bed3f933#0    | +    89.77 | Greatest Pure Ada
* 6198db3c3ae4ce6f9abc373704a2d90f93bce4907064d8c7a0887207bed3f933#4    | +     2.00 | [ "Borrower"×1 ]
* 7b0dcb9622720572cfe4919727aabb977a5cdcdfc622c3efc6674f9006d9f8f0#1    | +     2.19 | Pure Ada
* d7a2af0eb80fc72c56574be7efcbc53a6a0b03c21be98037d6fc9578d30ea896#1    | +    50.00 | Pure Ada
--- guarantor    -----------------------------------------------------------------------------------------------
addr_test1vp4cfg7trshc4rcrs6l67azqws05c8u4x9w6ggpqzg4893s7m3qsk         | =    36.58 |
* a357d131b9bced4fd21a12276ae9dd3f8c24254da0f494bfa0fe651d613e15d4#0    | +    32.39 | Greatest Pure Ada
* a357d131b9bced4fd21a12276ae9dd3f8c24254da0f494bfa0fe651d613e15d4#2    | +     2.00 | [ "Guarantor"×1 ]
* c665aefffe5dfffb00d38852aaf218c1df50642aead8c138348afa63989e5932#1    | +     2.19 | Pure Ada
--- contract     -----------------------------------------------------------------------------------------------
addr_test1wrypmfptlhelpv9u9ce47wudqevqep269ytyhyksgp6frscvpnejt         | =    61.00 |
* 6198db3c3ae4ce6f9abc373704a2d90f93bce4907064d8c7a0887207bed3f933#1    | +    61.00 | GreatestByTxHavingDatum
--- payout       -----------------------------------------------------------------------------------------------
addr_test1wzdf09y30k8gxxl9zy8r5kyhhar5klutcxpsmw6zpkjn3ssnkal7t         | =     8.00 |
* 6198db3c3ae4ce6f9abc373704a2d90f93bce4907064d8c7a0887207bed3f933#2    | +     4.00 | GreatestByTxHavingDatum
* 6198db3c3ae4ce6f9abc373704a2d90f93bce4907064d8c7a0887207bed3f933#3    | +     4.00 | Datum

marlowe-cli run prepare  
  --marlowe-file 109_marlowe.json   
  --deposit-account "Role=Lender"   
  --deposit-party "Role=Borrower"   
  --deposit-amount "4000000"   
  --invalid-before "1664092935000 [[2022-09-25 08:02:15 +0000 UTC]]"   
  --invalid-hereafter "1664097135000 [[2022-09-25 09:12:15 +0000 UTC]]"  
  --out-file 203_marlowe.json  
  --print-stats


marlowe-cli run execute   
  --marlowe-in-file 109_marlowe.json   
  --marlowe-out-file 203_marlowe.json   
  --tx-in-marlowe "96ad72bd861ec36067082d98c6f8d87bad5b01644a349aa4c4abb5606bf5eff7#1"  
  --tx-in-collateral "d7a2af0eb80fc72c56574be7efcbc53a6a0b03c21be98037d6fc9578d30ea896#0"  
  --tx-in "d7a2af0eb80fc72c56574be7efcbc53a6a0b03c21be98037d6fc9578d30ea896#0"  
  --tx-in d7a2af0eb80fc72c56574be7efcbc53a6a0b03c21be98037d6fc9578d30ea896#2  
  --required-signer borrower.skey   
  --tx-out "addr_test1vz0at5gehvrkektqx0vv2ylthqkzazzjvc5e5y2wh7md8hcffsn35+2000000+1 10e1ba7f0c7dfe42ed6736da9c3749576c1dcc7b7c90fef20aa87086.Borrower"  
  --change-address "addr_test1vz0at5gehvrkektqx0vv2ylthqkzazzjvc5e5y2wh7md8hcffsn35"   
  --out-file 203_out.json   
  --print-stats   
  --submit=600

{
    "state": {
        "choices": [],
        "boundValues": [],
        "accounts": [
            [
                [
                    {
                        "role_token": "Lender"
                    },
                    {
                        "currency_symbol": "",
                        "token_name": ""
                    }
                ],
                61000000
            ]
        ],
        "minTime": 1664092935000 [[2022-09-25 08:02:15 +0000 UTC]]
    },
    "payments": [
        {
            "payee": {
                "party": {
                    "role_token": "Lender"
                }
            },
            "accountId": {
                "role_token": "Lender"
            },
            "money": {
                "getValue": [
                    [
                        {
                            "unCurrencySymbol": ""
                        },
                        [
                            [
                                {
                                    "unTokenName": ""
                                },
                                4000000
                            ]
                        ]
                    ]
                ]
            }
        },
        {
            "payee": {
                "party": {
                    "role_token": "Guarantor"
                }
            },
            "accountId": {
                "role_token": "Lender"
            },
            "money": {
                "getValue": [
                    [
                        {
                            "unCurrencySymbol": ""
                        },
                        [
                            [
                                {
                                    "unTokenName": ""
                                },
                                4000000
                            ]
                        ]
                    ]
                ]
            }
        }
    ],
    "contract": {
        "timeout": 1664143715000 [[2022-09-25 22:08:35 +0000 UTC]],
        "when": [
            {
                "then": {
                    "then": {
                        "then": {
                            "timeout": 1664147315000 [[2022-09-25 23:08:35 +0000 UTC]],
                            "when": [
                                {
                                    "then": {
                                        "then": {
                                            "then": "close",
                                            "to": {
                                                "party": {
                                                    "role_token": "Guarantor"
                                                }
                                            },
                                            "from_account": {
                                                "role_token": "Lender"
                                            },
                                            "pay": {
                                                "and": 50000000,
                                                "add": 4000000
                                            },
                                            "token": {
                                                "currency_symbol": "",
                                                "token_name": ""
                                            }
                                        },
                                        "to": {
                                            "party": {
                                                "role_token": "Lender"
                                            }
                                        },
                                        "from_account": {
                                            "role_token": "Lender"
                                        },
                                        "pay": {
                                            "and": 50000000,
                                            "add": 4000000
                                        },
                                        "token": {
                                            "currency_symbol": "",
                                            "token_name": ""
                                        }
                                    },
                                    "case": {
                                        "deposits": {
                                            "and": 50000000,
                                            "add": 4000000
                                        },
                                        "into_account": {
                                            "role_token": "Lender"
                                        },
                                        "of_token": {
                                            "currency_symbol": "",
                                            "token_name": ""
                                        },
                                        "party": {
                                            "role_token": "Borrower"
                                        }
                                    }
                                }
                            ],
                            "timeout_continuation": "close"
                        },
                        "to": {
                            "party": {
                                "role_token": "Guarantor"
                            }
                        },
                        "from_account": {
                            "role_token": "Lender"
                        },
                        "pay": 4000000,
                        "token": {
                            "currency_symbol": "",
                            "token_name": ""
                        }
                    },
                    "to": {
                        "party": {
                            "role_token": "Lender"
                        }
                    },
                    "from_account": {
                        "role_token": "Lender"
                    },
                    "pay": 4000000,
                    "token": {
                        "currency_symbol": "",
                        "token_name": ""
                    }
                },
                "case": {
                    "deposits": 4000000,
                    "into_account": {
                        "role_token": "Lender"
                    },
                    "of_token": {
                        "currency_symbol": "",
                        "token_name": ""
                    },
                    "party": {
                        "role_token": "Borrower"
                    }
                }
            }
        ],
        "timeout_continuation": "close"
    },
    "rolesValidator": {
        "hash": "9a9794917d8e831be5110e3a5897bf474b7f8bc1830dbb420da538c2",
        "size": 2469,
        "address": "addr_test1wzdf09y30k8gxxl9zy8r5kyhhar5klutcxpsmw6zpkjn3ssnkal7t",
        "cost": {
            "exBudgetMemory": 14600,
            "exBudgetCPU": 4317185
        },
        "script": {
            "type": "PlutusScriptV1",
            "cborHex": "5909a55909a201000033232332232323⋯⋯₄₉₄₄⋯⋯49576c1dcc7b7c90fef20aa870860001",
            "description": ""
        }
    },
    "range": [
        14143304,
        14147504
    ],
    "marloweValidator": {
        "hash": "c81da42bfdf3f0b0bc2e335f3b8d06580c855a29164b92d0407491c3",
        "size": 12415,
        "address": "addr_test1wrypmfptlhelpv9u9ce47wudqevqep269ytyhyksgp6frscvpnejt",
        "cost": {
            "exBudgetMemory": 82900,
            "exBudgetCPU": 24652144
        },
        "script": {
            "type": "PlutusScriptV1",
            "cborHex": "59307f59307c01000033232323322323⋯⋯₂₄₈₃₆⋯⋯f20aa870860022123300100300220011",
            "description": ""
        }
    },
    "inputs": [
        {
            "input_from_party": {
                "role_token": "Borrower"
            },
            "into_account": {
                "role_token": "Lender"
            },
            "of_token": {
                "currency_symbol": "",
                "token_name": ""
            },
            "that_deposits": 4000000
        }
    ],
    "roles": {
        "unCurrencySymbol": "10e1ba7f0c7dfe42ed6736da9c3749576c1dcc7b7c90fef20aa87086"
    },
    "slotConfig": {
        "scSlotLength": 1000,
        "scSlotZeroTime": 1649949631000 [[2022-04-14 15:20:31 +0000 UTC]]
    }
}

204_lender_withdraws.sh

TxId "47ce23d37f84dc316da1a883ab86a8590fbb6a53856f899d5108b2a050f49056"
 

==============================
     ALIAS   CHANGE  BALANCE
    lender     3.57    48.86
  borrower            143.95
 guarantor             36.58
  contract             61.00
    payout    -4.00     4.00
     TOTAL    -0.43   294.39
==============================

--- lender       -----------------------------------------------------------------------------------------------
addr_test1vr5cvgswyma5s53k76rpf7uzcuq3u3d0hvcc86lr3wyvy9qze26h0         | =    48.86 |
* 47ce23d37f84dc316da1a883ab86a8590fbb6a53856f899d5108b2a050f49056#0    | +    40.67 | Greatest Pure Ada
* 47ce23d37f84dc316da1a883ab86a8590fbb6a53856f899d5108b2a050f49056#1    | +     4.00 | Pure Ada
* 47ce23d37f84dc316da1a883ab86a8590fbb6a53856f899d5108b2a050f49056#2    | +     2.00 | [ "Lender"×1 ]
* c924b52ab95f6fd1027d5adafb4c77680321174ab2d6794fdf730ce04602827a#1    | +     2.19 | Pure Ada
--- borrower     -----------------------------------------------------------------------------------------------
addr_test1vz0at5gehvrkektqx0vv2ylthqkzazzjvc5e5y2wh7md8hcffsn35         | =   143.95 |
* 6198db3c3ae4ce6f9abc373704a2d90f93bce4907064d8c7a0887207bed3f933#0    | +    89.77 | Greatest Pure Ada
* 6198db3c3ae4ce6f9abc373704a2d90f93bce4907064d8c7a0887207bed3f933#4    | +     2.00 | [ "Borrower"×1 ]
* 7b0dcb9622720572cfe4919727aabb977a5cdcdfc622c3efc6674f9006d9f8f0#1    | +     2.19 | Pure Ada
* d7a2af0eb80fc72c56574be7efcbc53a6a0b03c21be98037d6fc9578d30ea896#1    | +    50.00 | Pure Ada
--- guarantor    -----------------------------------------------------------------------------------------------
addr_test1vp4cfg7trshc4rcrs6l67azqws05c8u4x9w6ggpqzg4893s7m3qsk         | =    36.58 |
* a357d131b9bced4fd21a12276ae9dd3f8c24254da0f494bfa0fe651d613e15d4#0    | +    32.39 | Greatest Pure Ada
* a357d131b9bced4fd21a12276ae9dd3f8c24254da0f494bfa0fe651d613e15d4#2    | +     2.00 | [ "Guarantor"×1 ]
* c665aefffe5dfffb00d38852aaf218c1df50642aead8c138348afa63989e5932#1    | +     2.19 | Pure Ada
--- contract     -----------------------------------------------------------------------------------------------
addr_test1wrypmfptlhelpv9u9ce47wudqevqep269ytyhyksgp6frscvpnejt         | =    61.00 |
* 6198db3c3ae4ce6f9abc373704a2d90f93bce4907064d8c7a0887207bed3f933#1    | +    61.00 | GreatestByTxHavingDatum
--- payout       -----------------------------------------------------------------------------------------------
addr_test1wzdf09y30k8gxxl9zy8r5kyhhar5klutcxpsmw6zpkjn3ssnkal7t         | =     4.00 |
* 6198db3c3ae4ce6f9abc373704a2d90f93bce4907064d8c7a0887207bed3f933#3    | +     4.00 | GreatestByTxHavingDatum

marlowe-cli run withdraw
  --submit=600  
  --marlowe-file 203_marlowe.json  
  --role-name "Lender"   
  --required-signer lender.skey   
  --tx-in-collateral "96ad72bd861ec36067082d98c6f8d87bad5b01644a349aa4c4abb5606bf5eff7#0"  
  --tx-in "96ad72bd861ec36067082d98c6f8d87bad5b01644a349aa4c4abb5606bf5eff7#0"  
  --tx-in "96ad72bd861ec36067082d98c6f8d87bad5b01644a349aa4c4abb5606bf5eff7#3"  
  --tx-out "addr_test1vr5cvgswyma5s53k76rpf7uzcuq3u3d0hvcc86lr3wyvy9qze26h0+2000000+1 10e1ba7f0c7dfe42ed6736da9c3749576c1dcc7b7c90fef20aa87086.Lender"   
  --change-address "addr_test1vr5cvgswyma5s53k76rpf7uzcuq3u3d0hvcc86lr3wyvy9qze26h0"   
  --out-file 205_out.json  
  --print-stats  

206_guarantor_withdraws.sh

TxId "d0b3028854f8965c88288a431e373cc5d22e6a1eb9bb9444873d7613c8c6ef53"
 

==============================
     ALIAS   CHANGE  BALANCE
    lender             48.86
  borrower            143.95
 guarantor     3.57    40.15
  contract             61.00
    payout    -4.00         
     TOTAL    -0.43   293.96
==============================

--- lender       -----------------------------------------------------------------------------------------------
addr_test1vr5cvgswyma5s53k76rpf7uzcuq3u3d0hvcc86lr3wyvy9qze26h0         | =    48.86 |
* 47ce23d37f84dc316da1a883ab86a8590fbb6a53856f899d5108b2a050f49056#0    | +    40.67 | Greatest Pure Ada
* 47ce23d37f84dc316da1a883ab86a8590fbb6a53856f899d5108b2a050f49056#1    | +     4.00 | Pure Ada
* 47ce23d37f84dc316da1a883ab86a8590fbb6a53856f899d5108b2a050f49056#2    | +     2.00 | [ "Lender"×1 ]
* c924b52ab95f6fd1027d5adafb4c77680321174ab2d6794fdf730ce04602827a#1    | +     2.19 | Pure Ada
--- borrower     -----------------------------------------------------------------------------------------------
addr_test1vz0at5gehvrkektqx0vv2ylthqkzazzjvc5e5y2wh7md8hcffsn35         | =   143.95 |
* 6198db3c3ae4ce6f9abc373704a2d90f93bce4907064d8c7a0887207bed3f933#0    | +    89.77 | Greatest Pure Ada
* 6198db3c3ae4ce6f9abc373704a2d90f93bce4907064d8c7a0887207bed3f933#4    | +     2.00 | [ "Borrower"×1 ]
* 7b0dcb9622720572cfe4919727aabb977a5cdcdfc622c3efc6674f9006d9f8f0#1    | +     2.19 | Pure Ada
* d7a2af0eb80fc72c56574be7efcbc53a6a0b03c21be98037d6fc9578d30ea896#1    | +    50.00 | Pure Ada
--- guarantor    -----------------------------------------------------------------------------------------------
addr_test1vp4cfg7trshc4rcrs6l67azqws05c8u4x9w6ggpqzg4893s7m3qsk         | =    40.15 |
* c665aefffe5dfffb00d38852aaf218c1df50642aead8c138348afa63989e5932#1    | +     2.19 | Pure Ada
* d0b3028854f8965c88288a431e373cc5d22e6a1eb9bb9444873d7613c8c6ef53#0    | +    31.96 | Greatest Pure Ada
* d0b3028854f8965c88288a431e373cc5d22e6a1eb9bb9444873d7613c8c6ef53#1    | +     4.00 | Pure Ada
* d0b3028854f8965c88288a431e373cc5d22e6a1eb9bb9444873d7613c8c6ef53#2    | +     2.00 | [ "Guarantor"×1 ]
--- contract     -----------------------------------------------------------------------------------------------
addr_test1wrypmfptlhelpv9u9ce47wudqevqep269ytyhyksgp6frscvpnejt         | =    61.00 |
* 6198db3c3ae4ce6f9abc373704a2d90f93bce4907064d8c7a0887207bed3f933#1    | +    61.00 | GreatestByTxHavingDatum
--- payout       -----------------------------------------------------------------------------------------------
addr_test1wzdf09y30k8gxxl9zy8r5kyhhar5klutcxpsmw6zpkjn3ssnkal7t         | =     0.00 |

marlowe-cli run withdraw
  --submit=600  
  --marlowe-file 203_marlowe.json  
  --role-name "Guarantor"   
  --required-signer guarantor.skey   
  --tx-in-collateral "a357d131b9bced4fd21a12276ae9dd3f8c24254da0f494bfa0fe651d613e15d4#0"  
  --tx-in "a357d131b9bced4fd21a12276ae9dd3f8c24254da0f494bfa0fe651d613e15d4#0"  
  --tx-in "a357d131b9bced4fd21a12276ae9dd3f8c24254da0f494bfa0fe651d613e15d4#2"  
  --tx-out "addr_test1vp4cfg7trshc4rcrs6l67azqws05c8u4x9w6ggpqzg4893s7m3qsk+2000000+1 10e1ba7f0c7dfe42ed6736da9c3749576c1dcc7b7c90fef20aa87086.Guarantor"   
  --change-address "addr_test1vp4cfg7trshc4rcrs6l67azqws05c8u4x9w6ggpqzg4893s7m3qsk"   
  --out-file 207_out.json  
  --print-stats  

302_borrower_pays_installment2.sh

Payment 1
  Acccount: "Lender"
  Payee: Party "Lender"
  Ada: 4.000000
Payment 2
  Acccount: "Lender"
  Payee: Party "Guarantor"
  Ada: 4.000000
TxId "fd903facfb5dbf7744112c4d4c089de4aa846a715ec87cb42f3f4e076e576a54"
 

==============================
     ALIAS   CHANGE  BALANCE
    lender             48.86
  borrower    -5.58   138.37
 guarantor             40.15
  contract    -4.00    57.00
    payout     8.00     8.00
     TOTAL    -1.58   292.38
==============================

--- lender       -----------------------------------------------------------------------------------------------
addr_test1vr5cvgswyma5s53k76rpf7uzcuq3u3d0hvcc86lr3wyvy9qze26h0         | =    48.86 |
* 47ce23d37f84dc316da1a883ab86a8590fbb6a53856f899d5108b2a050f49056#0    | +    40.67 | Greatest Pure Ada
* 47ce23d37f84dc316da1a883ab86a8590fbb6a53856f899d5108b2a050f49056#1    | +     4.00 | Pure Ada
* 47ce23d37f84dc316da1a883ab86a8590fbb6a53856f899d5108b2a050f49056#2    | +     2.00 | [ "Lender"×1 ]
* c924b52ab95f6fd1027d5adafb4c77680321174ab2d6794fdf730ce04602827a#1    | +     2.19 | Pure Ada
--- borrower     -----------------------------------------------------------------------------------------------
addr_test1vz0at5gehvrkektqx0vv2ylthqkzazzjvc5e5y2wh7md8hcffsn35         | =   138.37 |
* 7b0dcb9622720572cfe4919727aabb977a5cdcdfc622c3efc6674f9006d9f8f0#1    | +     2.19 | Pure Ada
* d7a2af0eb80fc72c56574be7efcbc53a6a0b03c21be98037d6fc9578d30ea896#1    | +    50.00 | Pure Ada
* fd903facfb5dbf7744112c4d4c089de4aa846a715ec87cb42f3f4e076e576a54#0    | +    84.18 | Greatest Pure Ada
* fd903facfb5dbf7744112c4d4c089de4aa846a715ec87cb42f3f4e076e576a54#4    | +     2.00 | [ "Borrower"×1 ]
--- guarantor    -----------------------------------------------------------------------------------------------
addr_test1vp4cfg7trshc4rcrs6l67azqws05c8u4x9w6ggpqzg4893s7m3qsk         | =    40.15 |
* c665aefffe5dfffb00d38852aaf218c1df50642aead8c138348afa63989e5932#1    | +     2.19 | Pure Ada
* d0b3028854f8965c88288a431e373cc5d22e6a1eb9bb9444873d7613c8c6ef53#0    | +    31.96 | Greatest Pure Ada
* d0b3028854f8965c88288a431e373cc5d22e6a1eb9bb9444873d7613c8c6ef53#1    | +     4.00 | Pure Ada
* d0b3028854f8965c88288a431e373cc5d22e6a1eb9bb9444873d7613c8c6ef53#2    | +     2.00 | [ "Guarantor"×1 ]
--- contract     -----------------------------------------------------------------------------------------------
addr_test1wrypmfptlhelpv9u9ce47wudqevqep269ytyhyksgp6frscvpnejt         | =    57.00 |
* fd903facfb5dbf7744112c4d4c089de4aa846a715ec87cb42f3f4e076e576a54#1    | +    57.00 | GreatestByTxHavingDatum
--- payout       -----------------------------------------------------------------------------------------------
addr_test1wzdf09y30k8gxxl9zy8r5kyhhar5klutcxpsmw6zpkjn3ssnkal7t         | =     8.00 |
* fd903facfb5dbf7744112c4d4c089de4aa846a715ec87cb42f3f4e076e576a54#2    | +     4.00 | GreatestByTxHavingDatum
* fd903facfb5dbf7744112c4d4c089de4aa846a715ec87cb42f3f4e076e576a54#3    | +     4.00 | Datum

marlowe-cli run prepare  
  --marlowe-file 203_marlowe.json   
  --deposit-account "Role=Lender"   
  --deposit-party "Role=Borrower"   
  --deposit-amount "4000000"   
  --invalid-before "1664093134000 [[2022-09-25 08:05:34 +0000 UTC]]"   
  --invalid-hereafter "1664097334000 [[2022-09-25 09:15:34 +0000 UTC]]"  
  --out-file 303_marlowe.json  
  --print-stats


marlowe-cli run execute   
  --marlowe-in-file 203_marlowe.json   
  --marlowe-out-file 303_marlowe.json   
  --tx-in-marlowe "6198db3c3ae4ce6f9abc373704a2d90f93bce4907064d8c7a0887207bed3f933#1"  
  --tx-in-collateral "6198db3c3ae4ce6f9abc373704a2d90f93bce4907064d8c7a0887207bed3f933#0"  
  --tx-in "6198db3c3ae4ce6f9abc373704a2d90f93bce4907064d8c7a0887207bed3f933#0"  
  --tx-in 6198db3c3ae4ce6f9abc373704a2d90f93bce4907064d8c7a0887207bed3f933#4  
  --required-signer borrower.skey   
  --tx-out "addr_test1vz0at5gehvrkektqx0vv2ylthqkzazzjvc5e5y2wh7md8hcffsn35+2000000+1 10e1ba7f0c7dfe42ed6736da9c3749576c1dcc7b7c90fef20aa87086.Borrower"  
  --change-address "addr_test1vz0at5gehvrkektqx0vv2ylthqkzazzjvc5e5y2wh7md8hcffsn35"   
  --out-file 303_out.json   
  --print-stats   
  --submit=600

{
    "state": {
        "choices": [],
        "boundValues": [],
        "accounts": [
            [
                [
                    {
                        "role_token": "Lender"
                    },
                    {
                        "currency_symbol": "",
                        "token_name": ""
                    }
                ],
                57000000
            ]
        ],
        "minTime": 1664093134000 [[2022-09-25 08:05:34 +0000 UTC]]
    },
    "payments": [
        {
            "payee": {
                "party": {
                    "role_token": "Lender"
                }
            },
            "accountId": {
                "role_token": "Lender"
            },
            "money": {
                "getValue": [
                    [
                        {
                            "unCurrencySymbol": ""
                        },
                        [
                            [
                                {
                                    "unTokenName": ""
                                },
                                4000000
                            ]
                        ]
                    ]
                ]
            }
        },
        {
            "payee": {
                "party": {
                    "role_token": "Guarantor"
                }
            },
            "accountId": {
                "role_token": "Lender"
            },
            "money": {
                "getValue": [
                    [
                        {
                            "unCurrencySymbol": ""
                        },
                        [
                            [
                                {
                                    "unTokenName": ""
                                },
                                4000000
                            ]
                        ]
                    ]
                ]
            }
        }
    ],
    "contract": {
        "timeout": 1664147315000 [[2022-09-25 23:08:35 +0000 UTC]],
        "when": [
            {
                "then": {
                    "then": {
                        "then": "close",
                        "to": {
                            "party": {
                                "role_token": "Guarantor"
                            }
                        },
                        "from_account": {
                            "role_token": "Lender"
                        },
                        "pay": {
                            "and": 50000000,
                            "add": 4000000
                        },
                        "token": {
                            "currency_symbol": "",
                            "token_name": ""
                        }
                    },
                    "to": {
                        "party": {
                            "role_token": "Lender"
                        }
                    },
                    "from_account": {
                        "role_token": "Lender"
                    },
                    "pay": {
                        "and": 50000000,
                        "add": 4000000
                    },
                    "token": {
                        "currency_symbol": "",
                        "token_name": ""
                    }
                },
                "case": {
                    "deposits": {
                        "and": 50000000,
                        "add": 4000000
                    },
                    "into_account": {
                        "role_token": "Lender"
                    },
                    "of_token": {
                        "currency_symbol": "",
                        "token_name": ""
                    },
                    "party": {
                        "role_token": "Borrower"
                    }
                }
            }
        ],
        "timeout_continuation": "close"
    },
    "rolesValidator": {
        "hash": "9a9794917d8e831be5110e3a5897bf474b7f8bc1830dbb420da538c2",
        "size": 2469,
        "address": "addr_test1wzdf09y30k8gxxl9zy8r5kyhhar5klutcxpsmw6zpkjn3ssnkal7t",
        "cost": {
            "exBudgetMemory": 14600,
            "exBudgetCPU": 4317185
        },
        "script": {
            "type": "PlutusScriptV1",
            "cborHex": "5909a55909a201000033232332232323⋯⋯₄₉₄₄⋯⋯49576c1dcc7b7c90fef20aa870860001",
            "description": ""
        }
    },
    "range": [
        14143503,
        14147703
    ],
    "marloweValidator": {
        "hash": "c81da42bfdf3f0b0bc2e335f3b8d06580c855a29164b92d0407491c3",
        "size": 12415,
        "address": "addr_test1wrypmfptlhelpv9u9ce47wudqevqep269ytyhyksgp6frscvpnejt",
        "cost": {
            "exBudgetMemory": 82900,
            "exBudgetCPU": 24652144
        },
        "script": {
            "type": "PlutusScriptV1",
            "cborHex": "59307f59307c01000033232323322323⋯⋯₂₄₈₃₆⋯⋯f20aa870860022123300100300220011",
            "description": ""
        }
    },
    "inputs": [
        {
            "input_from_party": {
                "role_token": "Borrower"
            },
            "into_account": {
                "role_token": "Lender"
            },
            "of_token": {
                "currency_symbol": "",
                "token_name": ""
            },
            "that_deposits": 4000000
        }
    ],
    "roles": {
        "unCurrencySymbol": "10e1ba7f0c7dfe42ed6736da9c3749576c1dcc7b7c90fef20aa87086"
    },
    "slotConfig": {
        "scSlotLength": 1000,
        "scSlotZeroTime": 1649949631000 [[2022-04-14 15:20:31 +0000 UTC]]
    }
}

304_lender_withdraws.sh

TxId "f89a73cab8e95f7689c3923f5328dec169f2e1ed3e24f17be15c4c2c29e4d1cc"
 

==============================
     ALIAS   CHANGE  BALANCE
    lender     3.58    52.44
  borrower            138.37
 guarantor             40.15
  contract             57.00
    payout    -4.00     4.00
     TOTAL    -0.42   291.96
==============================

--- lender       -----------------------------------------------------------------------------------------------
addr_test1vr5cvgswyma5s53k76rpf7uzcuq3u3d0hvcc86lr3wyvy9qze26h0         | =    52.44 |
* 47ce23d37f84dc316da1a883ab86a8590fbb6a53856f899d5108b2a050f49056#1    | +     4.00 | Pure Ada
* c924b52ab95f6fd1027d5adafb4c77680321174ab2d6794fdf730ce04602827a#1    | +     2.19 | Pure Ada
* f89a73cab8e95f7689c3923f5328dec169f2e1ed3e24f17be15c4c2c29e4d1cc#0    | +    40.25 | Greatest Pure Ada
* f89a73cab8e95f7689c3923f5328dec169f2e1ed3e24f17be15c4c2c29e4d1cc#1    | +     4.00 | Pure Ada
* f89a73cab8e95f7689c3923f5328dec169f2e1ed3e24f17be15c4c2c29e4d1cc#2    | +     2.00 | [ "Lender"×1 ]
--- borrower     -----------------------------------------------------------------------------------------------
addr_test1vz0at5gehvrkektqx0vv2ylthqkzazzjvc5e5y2wh7md8hcffsn35         | =   138.37 |
* 7b0dcb9622720572cfe4919727aabb977a5cdcdfc622c3efc6674f9006d9f8f0#1    | +     2.19 | Pure Ada
* d7a2af0eb80fc72c56574be7efcbc53a6a0b03c21be98037d6fc9578d30ea896#1    | +    50.00 | Pure Ada
* fd903facfb5dbf7744112c4d4c089de4aa846a715ec87cb42f3f4e076e576a54#0    | +    84.18 | Greatest Pure Ada
* fd903facfb5dbf7744112c4d4c089de4aa846a715ec87cb42f3f4e076e576a54#4    | +     2.00 | [ "Borrower"×1 ]
--- guarantor    -----------------------------------------------------------------------------------------------
addr_test1vp4cfg7trshc4rcrs6l67azqws05c8u4x9w6ggpqzg4893s7m3qsk         | =    40.15 |
* c665aefffe5dfffb00d38852aaf218c1df50642aead8c138348afa63989e5932#1    | +     2.19 | Pure Ada
* d0b3028854f8965c88288a431e373cc5d22e6a1eb9bb9444873d7613c8c6ef53#0    | +    31.96 | Greatest Pure Ada
* d0b3028854f8965c88288a431e373cc5d22e6a1eb9bb9444873d7613c8c6ef53#1    | +     4.00 | Pure Ada
* d0b3028854f8965c88288a431e373cc5d22e6a1eb9bb9444873d7613c8c6ef53#2    | +     2.00 | [ "Guarantor"×1 ]
--- contract     -----------------------------------------------------------------------------------------------
addr_test1wrypmfptlhelpv9u9ce47wudqevqep269ytyhyksgp6frscvpnejt         | =    57.00 |
* fd903facfb5dbf7744112c4d4c089de4aa846a715ec87cb42f3f4e076e576a54#1    | +    57.00 | GreatestByTxHavingDatum
--- payout       -----------------------------------------------------------------------------------------------
addr_test1wzdf09y30k8gxxl9zy8r5kyhhar5klutcxpsmw6zpkjn3ssnkal7t         | =     4.00 |
* fd903facfb5dbf7744112c4d4c089de4aa846a715ec87cb42f3f4e076e576a54#3    | +     4.00 | GreatestByTxHavingDatum

marlowe-cli run withdraw
  --submit=600  
  --marlowe-file 303_marlowe.json  
  --role-name "Lender"   
  --required-signer lender.skey   
  --tx-in-collateral "47ce23d37f84dc316da1a883ab86a8590fbb6a53856f899d5108b2a050f49056#0"  
  --tx-in "47ce23d37f84dc316da1a883ab86a8590fbb6a53856f899d5108b2a050f49056#0"  
  --tx-in "47ce23d37f84dc316da1a883ab86a8590fbb6a53856f899d5108b2a050f49056#2"  
  --tx-out "addr_test1vr5cvgswyma5s53k76rpf7uzcuq3u3d0hvcc86lr3wyvy9qze26h0+2000000+1 10e1ba7f0c7dfe42ed6736da9c3749576c1dcc7b7c90fef20aa87086.Lender"   
  --change-address "addr_test1vr5cvgswyma5s53k76rpf7uzcuq3u3d0hvcc86lr3wyvy9qze26h0"   
  --out-file 305_out.json  
  --print-stats  

306_guarantor_withdraws.sh

TxId "a1e84aeb927841e1ed9ea9f0db79c059830ffcee0ecb24099fd5e5a9f75be74b"
 

==============================
     ALIAS   CHANGE  BALANCE
    lender             52.44
  borrower            138.37
 guarantor     3.58    43.73
  contract             57.00
    payout    -4.00         
     TOTAL    -0.42   291.53
==============================

--- lender       -----------------------------------------------------------------------------------------------
addr_test1vr5cvgswyma5s53k76rpf7uzcuq3u3d0hvcc86lr3wyvy9qze26h0         | =    52.44 |
* 47ce23d37f84dc316da1a883ab86a8590fbb6a53856f899d5108b2a050f49056#1    | +     4.00 | Pure Ada
* c924b52ab95f6fd1027d5adafb4c77680321174ab2d6794fdf730ce04602827a#1    | +     2.19 | Pure Ada
* f89a73cab8e95f7689c3923f5328dec169f2e1ed3e24f17be15c4c2c29e4d1cc#0    | +    40.25 | Greatest Pure Ada
* f89a73cab8e95f7689c3923f5328dec169f2e1ed3e24f17be15c4c2c29e4d1cc#1    | +     4.00 | Pure Ada
* f89a73cab8e95f7689c3923f5328dec169f2e1ed3e24f17be15c4c2c29e4d1cc#2    | +     2.00 | [ "Lender"×1 ]
--- borrower     -----------------------------------------------------------------------------------------------
addr_test1vz0at5gehvrkektqx0vv2ylthqkzazzjvc5e5y2wh7md8hcffsn35         | =   138.37 |
* 7b0dcb9622720572cfe4919727aabb977a5cdcdfc622c3efc6674f9006d9f8f0#1    | +     2.19 | Pure Ada
* d7a2af0eb80fc72c56574be7efcbc53a6a0b03c21be98037d6fc9578d30ea896#1    | +    50.00 | Pure Ada
* fd903facfb5dbf7744112c4d4c089de4aa846a715ec87cb42f3f4e076e576a54#0    | +    84.18 | Greatest Pure Ada
* fd903facfb5dbf7744112c4d4c089de4aa846a715ec87cb42f3f4e076e576a54#4    | +     2.00 | [ "Borrower"×1 ]
--- guarantor    -----------------------------------------------------------------------------------------------
addr_test1vp4cfg7trshc4rcrs6l67azqws05c8u4x9w6ggpqzg4893s7m3qsk         | =    43.73 |
* a1e84aeb927841e1ed9ea9f0db79c059830ffcee0ecb24099fd5e5a9f75be74b#0    | +    31.54 | Greatest Pure Ada
* a1e84aeb927841e1ed9ea9f0db79c059830ffcee0ecb24099fd5e5a9f75be74b#1    | +     4.00 | Pure Ada
* a1e84aeb927841e1ed9ea9f0db79c059830ffcee0ecb24099fd5e5a9f75be74b#2    | +     2.00 | [ "Guarantor"×1 ]
* c665aefffe5dfffb00d38852aaf218c1df50642aead8c138348afa63989e5932#1    | +     2.19 | Pure Ada
* d0b3028854f8965c88288a431e373cc5d22e6a1eb9bb9444873d7613c8c6ef53#1    | +     4.00 | Pure Ada
--- contract     -----------------------------------------------------------------------------------------------
addr_test1wrypmfptlhelpv9u9ce47wudqevqep269ytyhyksgp6frscvpnejt         | =    57.00 |
* fd903facfb5dbf7744112c4d4c089de4aa846a715ec87cb42f3f4e076e576a54#1    | +    57.00 | GreatestByTxHavingDatum
--- payout       -----------------------------------------------------------------------------------------------
addr_test1wzdf09y30k8gxxl9zy8r5kyhhar5klutcxpsmw6zpkjn3ssnkal7t         | =     0.00 |

marlowe-cli run withdraw
  --submit=600  
  --marlowe-file 303_marlowe.json  
  --role-name "Guarantor"   
  --required-signer guarantor.skey   
  --tx-in-collateral "d0b3028854f8965c88288a431e373cc5d22e6a1eb9bb9444873d7613c8c6ef53#0"  
  --tx-in "d0b3028854f8965c88288a431e373cc5d22e6a1eb9bb9444873d7613c8c6ef53#0"  
  --tx-in "d0b3028854f8965c88288a431e373cc5d22e6a1eb9bb9444873d7613c8c6ef53#2"  
  --tx-out "addr_test1vp4cfg7trshc4rcrs6l67azqws05c8u4x9w6ggpqzg4893s7m3qsk+2000000+1 10e1ba7f0c7dfe42ed6736da9c3749576c1dcc7b7c90fef20aa87086.Guarantor"   
  --change-address "addr_test1vp4cfg7trshc4rcrs6l67azqws05c8u4x9w6ggpqzg4893s7m3qsk"   
  --out-file 307_out.json  
  --print-stats  

402_borrower_pays_installment3.sh

Payment 1
  Acccount: "Lender"
  Payee: Party "Lender"
  Ada: 54.000000
Payment 2
  Acccount: "Lender"
  Payee: Party "Guarantor"
  Ada: 54.000000
Payment 3
  Acccount: "Lender"
  Payee: Party "Lender"
  Ada: 3.000000