| 1 | [ |
| 2 | "autonomous agent", |
| 3 | { |
| 4 | "init": "{ |
| 5 | $control_address = 'WF3ZRL72GCTRSDU64GP42S3FB7GBT7XJ'; |
| 6 | $fundraiser_address = 'WF3ZRL72GCTRSDU64GP42S3FB7GBT7XJ'; |
| 7 | $auditor_address = 'JE3HACDALPUAQ6SJOFM74W43EGVFWEIF'; |
| 8 | $price = 1; |
| 9 | $target = 100e9; |
| 10 | $expiry_ts = 1577836000; |
| 11 | $milestone1 = 10; |
| 12 | $milestone2 = 20; |
| 13 | $milestone3 = 30; |
| 14 | $milestone4 = 40; |
| 15 | $asset = var['asset']; |
| 16 | $finished = var['finished']; |
| 17 | $is_active = ($asset AND $price AND !$finished); |
| 18 | }", |
| 19 | "messages": { |
| 20 | "cases": [ |
| 21 | { |
| 22 | "if": "{trigger.data.define AND !$asset}", |
| 23 | "messages": [ |
| 24 | { |
| 25 | "app": "asset", |
| 26 | "payload": { |
| 27 | "is_private": false, |
| 28 | "is_transferrable": true, |
| 29 | "auto_destroy": false, |
| 30 | "fixed_denominations": false, |
| 31 | "issued_by_definer_only": false, |
| 32 | "cosigned_by_definer": false, |
| 33 | "spender_attested": false |
| 34 | } |
| 35 | }, |
| 36 | { |
| 37 | "app": "state", |
| 38 | "state": "{ |
| 39 | var['asset'] = response_unit; |
| 40 | response['asset'] = response_unit; |
| 41 | }" |
| 42 | } |
| 43 | ] |
| 44 | }, |
| 45 | { |
| 46 | "if": "{ trigger.output[[asset=base]] >= 1e5 AND $is_active }", |
| 47 | "init": "{ |
| 48 | $amount = round(trigger.output[[asset=base]] / $price); |
| 49 | }", |
| 50 | "messages": [ |
| 51 | { |
| 52 | "app": "payment", |
| 53 | "payload": { |
| 54 | "asset": "{$asset}", |
| 55 | "outputs": [ |
| 56 | { |
| 57 | "address": "{trigger.address}", |
| 58 | "amount": "{$amount}" |
| 59 | } |
| 60 | ] |
| 61 | } |
| 62 | } |
| 63 | ] |
| 64 | }, |
| 65 | { |
| 66 | "if": "{ trigger.data.finish AND (trigger.address == $control_address OR timestamp > $expiry_ts) }", |
| 67 | "messages": [ |
| 68 | { |
| 69 | "app": "state", |
| 70 | "state": "{ |
| 71 | var['finished'] = 1; |
| 72 | var['total'] = balance[base]; |
| 73 | response['total'] = balance[base]; |
| 74 | }" |
| 75 | } |
| 76 | ] |
| 77 | }, |
| 78 | { |
| 79 | "if": "{trigger.data.milestone AND trigger.address == $auditor_address AND $finished AND var['total'] >= $target}", |
| 80 | "init": "{ |
| 81 | $share = ${'milestone' || trigger.data.milestone} / 100; |
| 82 | if (!$share) |
| 83 | bounce('no such milestone'); |
| 84 | if (var['milestone' || trigger.data.milestone || '_released']) |
| 85 | bounce('milestone ' || trigger.data.milestone || ' already released'); |
| 86 | }", |
| 87 | "messages": [ |
| 88 | { |
| 89 | "app": "payment", |
| 90 | "payload": { |
| 91 | "asset": "base", |
| 92 | "outputs": [ |
| 93 | { |
| 94 | "address": "{$fundraiser_address}", |
| 95 | "amount": "{round(var['total'] * $share)}" |
| 96 | } |
| 97 | ] |
| 98 | } |
| 99 | }, |
| 100 | { |
| 101 | "app": "state", |
| 102 | "state": "{ |
| 103 | var['milestone' || trigger.data.milestone || '_released'] = 1; |
| 104 | response['released'] = 1; |
| 105 | }" |
| 106 | } |
| 107 | ] |
| 108 | }, |
| 109 | { |
| 110 | "if": "{$asset AND trigger.output[[asset=$asset]] > 0 AND $finished AND var['total'] < $target}", |
| 111 | "messages": [ |
| 112 | { |
| 113 | "app": "payment", |
| 114 | "payload": { |
| 115 | "asset": "base", |
| 116 | "outputs": [ |
| 117 | { |
| 118 | "address": "{trigger.address}", |
| 119 | "amount": "{ round(trigger.output[[asset=$asset]] * $price) }" |
| 120 | } |
| 121 | ] |
| 122 | } |
| 123 | } |
| 124 | ] |
| 125 | } |
| 126 | ] |
| 127 | } |
| 128 | } |
| 129 | ] |