| 1 | [ |
| 2 | "autonomous agent", |
| 3 | { |
| 4 | "bounce_fees": { |
| 5 | "base": 10000 |
| 6 | }, |
| 7 | "doc_url": "https://ipfs.io/ipfs/QmTUdzDj3CAekEf17Gvkq1wCb9RqSX2HQMPmZyqshC5XLj?filename={{aa_address}}.json", |
| 8 | "init": "{\r |
| 9 | $GovernanceAddress = 'R24O63ZV5OZ2KEMRRIABIPKDDBAB2OYB'; |
| 10 | $FundingAddress = 'ON4GW3KQXSBMWRZVXEXKWGQLGUBKBYBQ'; |
| 11 | $OracleAddress = 'TFLUCOKCYTC6EL5OTFB2DITDZNAW677J';\r |
| 12 | $Price = 1e6; |
| 13 | $Target = 1e9; |
| 14 | $ExpiryTimestamp = 1704067199; |
| 15 | $Milestone1 = 10; |
| 16 | $Milestone2 = 30;\r |
| 17 | $Milestone3 = 40;\r |
| 18 | $Milestone4 = 20;\r |
| 19 | $Asset = var['Asset'];\r |
| 20 | $Finished = var['Finished'];\r |
| 21 | $IsActive = ($Asset AND $Price AND !$Finished);\r |
| 22 | }", |
| 23 | "messages": { |
| 24 | "cases": [ |
| 25 | { |
| 26 | "if": "{trigger.data.define AND trigger.address == $GovernanceAddress AND !$Asset}", |
| 27 | "messages": [ |
| 28 | { |
| 29 | "app": "asset", |
| 30 | "payload": { |
| 31 | "is_private": false, |
| 32 | "is_transferrable": true, |
| 33 | "auto_destroy": false, |
| 34 | "fixed_denominations": false, |
| 35 | "issued_by_definer_only": true, |
| 36 | "cosigned_by_definer": false, |
| 37 | "spender_attested": false |
| 38 | } |
| 39 | }, |
| 40 | { |
| 41 | "app": "state", |
| 42 | "state": "{\r |
| 43 | var['Asset'] = response_unit;\r |
| 44 | response['Asset'] = response_unit;\r |
| 45 | }" |
| 46 | } |
| 47 | ] |
| 48 | }, |
| 49 | { |
| 50 | "if": "{ trigger.output[[asset=base]] >= $Price AND $IsActive }", |
| 51 | "init": "{\r |
| 52 | $amount = round(trigger.output[[asset=base]] / $Price);\r |
| 53 | }", |
| 54 | "messages": [ |
| 55 | { |
| 56 | "app": "payment", |
| 57 | "payload": { |
| 58 | "asset": "{$Asset}", |
| 59 | "outputs": [ |
| 60 | { |
| 61 | "address": "{trigger.address}", |
| 62 | "amount": "{$amount}" |
| 63 | } |
| 64 | ] |
| 65 | } |
| 66 | } |
| 67 | ] |
| 68 | }, |
| 69 | { |
| 70 | "if": "{ (trigger.data.finish AND trigger.address == $GovernanceAddress) OR timestamp > $ExpiryTimestamp }", |
| 71 | "messages": [ |
| 72 | { |
| 73 | "app": "state", |
| 74 | "state": "{\r |
| 75 | var['Finished'] = 1;\r |
| 76 | var['Total'] = balance[base];\r |
| 77 | response['Total'] = balance[base];\r |
| 78 | }" |
| 79 | } |
| 80 | ] |
| 81 | }, |
| 82 | { |
| 83 | "if": "{trigger.data.milestone AND trigger.address == $OracleAddress AND $Finished AND var['Total'] >= $Target}", |
| 84 | "init": "{\r |
| 85 | $share = ${'Milestone' || trigger.data.milestone} / 100;\r |
| 86 | if (!$share)\r |
| 87 | bounce('no such Milestone');\r |
| 88 | if (var['Milestone' || trigger.data.milestone || '_released'])\r |
| 89 | bounce('Milestone ' || trigger.data.milestone || ' already released');\r |
| 90 | }", |
| 91 | "messages": [ |
| 92 | { |
| 93 | "app": "payment", |
| 94 | "payload": { |
| 95 | "asset": "base", |
| 96 | "outputs": [ |
| 97 | { |
| 98 | "address": "{$FundingAddress}", |
| 99 | "amount": "{round(var['Total'] * $share)}" |
| 100 | } |
| 101 | ] |
| 102 | } |
| 103 | }, |
| 104 | { |
| 105 | "app": "state", |
| 106 | "state": "{\r |
| 107 | var['Milestone' || trigger.data.milestone || '_released'] = 1;\r |
| 108 | response['released'] = 1;\r |
| 109 | }" |
| 110 | } |
| 111 | ] |
| 112 | }, |
| 113 | { |
| 114 | "if": "{$Asset AND trigger.output[[asset=$Asset]] > 0 AND $Finished AND var['Total'] < $Target}", |
| 115 | "messages": [ |
| 116 | { |
| 117 | "app": "payment", |
| 118 | "payload": { |
| 119 | "asset": "base", |
| 120 | "outputs": [ |
| 121 | { |
| 122 | "address": "{trigger.address}", |
| 123 | "amount": "{ round(trigger.output[[asset=$Asset]] * $Price) }" |
| 124 | } |
| 125 | ] |
| 126 | } |
| 127 | } |
| 128 | ] |
| 129 | }, |
| 130 | { |
| 131 | "messages": [ |
| 132 | { |
| 133 | "app": "state", |
| 134 | "state": "{\r |
| 135 | response['contribution_value'] \r |
| 136 | = $IsActive AND trigger.output[[asset=base]] < $Price \r |
| 137 | ? 'Contribution below minimum of '|| $Price \r |
| 138 | : !$IsActive \r |
| 139 | ? 'Funding not active.' \r |
| 140 | : trigger.output[[asset=base]];\r |
| 141 | }" |
| 142 | } |
| 143 | ] |
| 144 | } |
| 145 | ] |
| 146 | } |
| 147 | } |
| 148 | ] |