["autonomous agent",{"doc_url":"https://counterstake.org/bridge-import-assistant.json","getters":"{\n\n\t\t$get_param = ($name, $default) => {\n\t\t\t$value = var[$name];\n\t\t\tif (exists($value))\n\t\t\t\treturn $value;\n\t\t\texists(params[$name]) ? params[$name] : $default\n\t\t};\n\n\t\t// the fee charged for claiming a transfer on behalf of a client\n\t\t$get_swap_fee = () => $get_param('swap_fee', 0.003); // 0.3%\n\t\t$get_exit_fee = () => $get_param('exit_fee', 0);\n\t\t$get_profit_diffusion_period = () => $get_param('profit_diffusion_period', 10*24*3600);\n\n\t\t$get_manager = () => var['manager'] OTHERWISE params.manager;\n\n\t\t$get_unavailable_profit = () => {\n\t\t\t$elapsed = timestamp - var['recent_profit_ts'];\n\t\t\t$profit_diffusion_period = $get_profit_diffusion_period();\n\t\t\tif ($elapsed >= $profit_diffusion_period)\n\t\t\t\treturn {stake: 0, image: 0};\n\t\t\t$recent_profit = var['recent_profit'] OTHERWISE {stake: 0, image: 0};\n\t\t\t$share = ($profit_diffusion_period - $elapsed) / $profit_diffusion_period;\n\t\t\t{\n\t\t\t\tstake: $recent_profit.stake * $share,\n\t\t\t\timage: $recent_profit.image * $share,\n\t\t\t}\n\t\t};\n\n\t}","init":"{\n\n\t\t// exponent = 1 is the standard AMM like oswap\n\t\t// exponent > 1 causes later shares to be more expensive than earlier ones. We issue fewer shares for the same amount of swappable assets\n\t\t$exponent = params.exponent OTHERWISE 1;\n\t\tif ($exponent <= 0)\n\t\t\tbounce(\"invalid exponent\");\n\n\t\t$stake_share = params.stake_share OTHERWISE 0.5;\n\t\tif ($stake_share <= 0 OR $stake_share >= 1)\n\t\t\tbounce(\"invalid stake share\");\n\t\t$image_share = 1 - $stake_share;\n\n\t\t$get_shares = ($stake_balance, $image_balance) => $stake_balance^($stake_share/$exponent) * $image_balance^($image_share/$exponent);\n\n\t\t$net_of_swap_fee = 1 - $get_swap_fee();\n\n\t\t$bridge_aa = params.bridge_aa;\n\t\t$bridge_params = definition[$bridge_aa][1].params;\n\t\t$stake_asset = $bridge_params.stake_asset OTHERWISE 'base';\n\t\t$asset = var[$bridge_aa]['asset'];\n\n\t\t// ratio of the initial stake to the amount claimed\n\t\t$get_ratio = () => var[$bridge_aa]['ratio'] OTHERWISE $bridge_params.ratio OTHERWISE 1;\n\t\t$get_min_stake = () => var[$bridge_aa]['min_stake'] OTHERWISE $bridge_params.min_stake OTHERWISE 0;\n\n\t\t$get_oracles = () => var[$bridge_aa]['oracles'] OTHERWISE $bridge_params.oracles;\n\n\t\t// returns oracle price of foreign asset in terms of stake asset. The price is in display units (e.g. ETH/GBYTE, not wei/byte)\n\t\t$get_oracle_price = () => {\n\t\t\t$oracles = $get_oracles();\n\t\t\t$oracle_price = reduce($oracles, 3, ($price, $oracle_info) => {\n\t\t\t\tif (!exists($price))\n\t\t\t\t\treturn false;\n\t\t\t\t$df = data_feed[[oracles=$oracle_info.oracle, feed_name=$oracle_info.feed_name, ifnone=false]];\n\t\t\t\tif (!exists($df))\n\t\t\t\t\treturn false;\n\t\t\t\t($oracle_info.op == '*') ? $price * $df : $price / $df\n\t\t\t}, 1);\n\t\t\t$oracle_price\n\t\t};\n\n\t\t// returns oracle price in the smallest indivisible units of local assets (e.g. nanoeth/byte)\n\t\t$get_oracle_price_in_pennies = () => {\n\t\t\t$mul = 10^($bridge_params.stake_asset_decimals - $bridge_params.asset_decimals);\n\t\t\t$mul * $get_oracle_price()\n\t\t};\n\n\t\t$get_required_stake = ($amount) => max(ceil($get_oracle_price_in_pennies() * $amount * $get_ratio()), $get_min_stake());\n\n\t\t$get_my_loss = ($claim_num) => {\n\t\t\t$claim = var[$bridge_aa]['f_' || $claim_num];\n\t\t\tif (!$claim)\n\t\t\t\tbounce(\"no such claim or it is not finished yet\");\n\t\t\t\n\t\t\t$my_winning_stake = var[$bridge_aa][$claim_num || '_' || $claim.current_outcome || '_by_' || this_address];\n\t\t\tif ($my_winning_stake)\n\t\t\t\tbounce(\"winning stake is \" || $my_winning_stake);\n\t\t\t\n\t\t\t$losing_outcome = $claim.current_outcome == 'yes' ? 'no' : 'yes';\n\t\t\t$my_losing_stake = var[$bridge_aa][$claim_num || '_' || $losing_outcome || '_by_' || this_address];\n\t\t\t$my_loss = {stake: $my_losing_stake OTHERWISE 0, image: 0};\n\t\t\tif ($claim.current_outcome == 'no' AND $claim.claimant_address == this_address){\n\t\t\t\t$current_stakes = var['claim_' || $claim_num];\n\t\t\t\tif (!$current_stakes)\n\t\t\t\t\tbounce(\"no current stakes in claim \" || $claim_num);\n\t\t\t\t$loss_in_image_asset = $current_stakes.image; // it is slightly less than the amount claimed because of our reward\n\t\t\t\tif (!$loss_in_image_asset)\n\t\t\t\t\tbounce(\"nothing invested in image asset in claim \" || $claim_num);\n\t\t\t\t$my_loss.image = $loss_in_image_asset;\n\t\t\t}\n\t\t\t$my_loss\n\t\t};\n\n\t\t$shares_asset = var['shares_asset'];\n\n\t\t$received_stake_amount = trigger.output[[asset=$stake_asset]];\n\t\t$received_image_amount = trigger.output[[asset=$asset]];\n\t\t$received_shares_amount = $shares_asset ? trigger.output[[asset=$shares_asset]] : 0;\n\n\t\t$stake_balance_in_work = var['stake_balance_in_work'];\n\t\t$image_balance_in_work = var['image_balance_in_work'];\n\n\t\t// gross balances including management and success fees\n\t\t$gross_stake_balance = balance[$stake_asset] + $stake_balance_in_work - $received_stake_amount;\n\t\t$gross_image_balance = balance[$asset] + $image_balance_in_work - $received_image_amount;\n\n\t\t// management fee\n\t\t$mf = var['mf'];\n\t\t$scaled_mf = (timestamp - $mf.ts)/(360*24*3600) * params.management_fee;\n\t\t$delta_stake_mf = $gross_stake_balance * $scaled_mf;\n\t\t$delta_image_mf = $gross_image_balance * $scaled_mf;\n\t\t\n\t\t$stake_mf = $mf.stake + $delta_stake_mf;\n\t\t$image_mf = $mf.image + $delta_image_mf;\n\n\t\t// success fee\n\t\t$stake_sf = max(floor(var['stake_profit'] * params.success_fee), 0);\n\t\t$image_sf = max(floor(var['image_profit'] * params.success_fee), 0);\n\n\t\t// net balances\n\t\t$stake_balance = $gross_stake_balance - $stake_mf - $stake_sf;\n\t\t$image_balance = $gross_image_balance - $image_mf - $image_sf;\n\n\t\t// risk free balances\n\t\t$risk_free_stake_balance = $stake_balance - $stake_balance_in_work;\n\t\t$risk_free_image_balance = $image_balance - $image_balance_in_work;\n\n\t\t$shares_supply = var['shares_supply'] OTHERWISE 0;\n\n\t\t$check_balance = ($type, $balance) => {\n\t\t\tif ($balance < 0)\n\t\t\t\tbounce($type || \" balance = \" || $balance);\n\t\t\tif ($shares_supply > 0 AND $balance == 0)\n\t\t\t\tbounce(\"shares_supply = \" || $shares_supply || \" AND \" || $type || \" balance == 0\");\n\t\t};\n\n\t\t$update_mf = () => {\n\t\t\t$mf.stake = $stake_mf;\n\t\t\t$mf.image = $image_mf;\n\t\t\t$mf.ts = timestamp;\n\t\t\tvar['mf'] = $mf;\n\t\t};\n\n\t\t$init_mf = () => {\n\t\t\tvar['mf'] = {stake: 0, image: 0, ts: timestamp};\n\t\t};\n\n\t\t$fee = 2000;\n\t\t$asset_fee = ($stake_asset == 'base') ? $fee : 0;\n\t\t$min_stake_asset_amount = ($stake_asset == 'base') ? 10000 : 0; // bounce fee\n\n\t\t$add_recent_profit = ($new_profit) => {\n\t\t\tif ($new_profit.stake < 0)\n\t\t\t\t$new_profit.stake = 0;\n\t\t\tif ($new_profit.image < 0)\n\t\t\t\t$new_profit.image = 0;\n\t\t\tif ($new_profit.stake == 0 AND $new_profit.image == 0)\n\t\t\t\treturn;\n\t\t\t$unavailable_profit = $get_unavailable_profit();\n\t\t\tvar['recent_profit'] = {\n\t\t\t\tstake: $unavailable_profit.stake + $new_profit.stake,\n\t\t\t\timage: $unavailable_profit.image + $new_profit.image,\n\t\t\t};\n\t\t\tvar['recent_profit_ts'] = timestamp;\n\t\t};\n\n\t\t$manager = $get_manager();\n\t\tif (!params.manager)\n\t\t\tbounce(\"no initial manager\");\n\n\t\t$governance_base_aa = '4EBJCXXWESRLDPH2LM7MDDQKOAG5P3PH';\n\t}","messages":{"cases":[{"if":"{ !$shares_asset AND trigger.data.define }","messages":[{"app":"definition","payload":{"definition":["autonomous agent",{"base_aa":"{$governance_base_aa}","params":{"assistant_aa":"{this_address}","challenging_period":"{params.governance_challenging_period OTHERWISE ''}","freeze_period":"{params.governance_freeze_period OTHERWISE ''}"}}]}},{"app":"asset","payload":{"is_private":false,"is_transferrable":true,"auto_destroy":false,"fixed_denominations":false,"issued_by_definer_only":true,"cosigned_by_definer":false,"spender_attested":false}},{"if":"{trigger.data.factory}","app":"payment","payload":{"asset":"base","outputs":[{"address":"{trigger.data.factory}","amount":1000}]}},{"app":"state","state":"{\n\t\t\t\t\t\t\tvar['governance_aa'] = unit[response_unit].messages[[.app='definition']].payload.address;\n\t\t\t\t\t\t\tvar['shares_asset'] = response_unit;\n\t\t\t\t\t\t\tresponse['shares_asset'] = response_unit;\n\t\t\t\t\t\t\t$init_mf();\n\t\t\t\t\t\t\tvar['stake_profit'] = 0;\n\t\t\t\t\t\t\tvar['image_profit'] = 0;\n\t\t\t\t\t\t}"}]},{"if":"{ trigger.address == var['governance_aa'] AND trigger.data.name }","init":"{\n\t\t\t\t\t$name = trigger.data.name;\n\t\t\t\t}","messages":[{"app":"state","state":"{\n\t\t\t\t\t\t\tvar[$name] = trigger.data.value;\n\t\t\t\t\t\t}"}]},{"if":"{trigger.data.txid AND trigger.data.amount AND exists(trigger.data.reward) AND trigger.data.txts AND trigger.data.sender_address AND trigger.data.address AND trigger.address == $manager }","init":"{\n\t\t\t\t\t$required_stake = $get_required_stake(trigger.data.amount);\n\t\t\t\t\tif ($required_stake > $risk_free_stake_balance)\n\t\t\t\t\t\tbounce(\"not enough stake balance\");\n\n\t\t\t\t\t// what the user receives\n\t\t\t\t\t$paid_amount = trigger.data.amount - trigger.data.reward;\n\t\t\t\t\tif ($paid_amount > $risk_free_image_balance)\n\t\t\t\t\t\tbounce(\"not enough image balance\");\n\t\t\t\t\t\n\t\t\t\t\t$claim_num = var[$bridge_aa]['claim_num'] + 1; // next num\n\t\t\t\t}","messages":[{"if":"{$stake_asset != 'base'}","app":"payment","payload":{"asset":"base","outputs":[{"address":"{$bridge_aa}","amount":"{$fee}"}]}},{"app":"payment","payload":{"asset":"{$stake_asset}","outputs":[{"address":"{$bridge_aa}","amount":"{$required_stake + $asset_fee}"}]}},{"app":"payment","payload":{"asset":"{$asset}","outputs":[{"address":"{$bridge_aa}","amount":"{$paid_amount}"}]}},{"app":"data","payload":{"txid":"{trigger.data.txid}","txts":"{trigger.data.txts}","amount":"{trigger.data.amount}","reward":"{trigger.data.reward}","address":"{trigger.data.address}","sender_address":"{trigger.data.sender_address}","data":"{trigger.data.data OTHERWISE ''}"}},{"app":"state","state":"{\n\t\t\t\t\t\t\tvar['stake_balance_in_work'] += $required_stake;\n\t\t\t\t\t\t\tvar['image_balance_in_work'] += $paid_amount;\n\t\t\t\t\t\t\tvar['claim_' || $claim_num] = {image: $paid_amount, stake: $required_stake}; // how much invested\n\t\t\t\t\t\t\tresponse['sent_stake_amount'] = $required_stake;\n\t\t\t\t\t\t\tresponse['sent_image_amount'] = $paid_amount;\n\t\t\t\t\t\t\tresponse['message'] = \"will claim for \" || trigger.data.address;\n\n\t\t\t\t\t\t\t$update_mf();\n\t\t\t\t\t\t}"}]},{"if":"{trigger.data.stake_on AND trigger.data.claim_num AND trigger.address == $manager}","init":"{\n\t\t\t\t\t$claim = var[$bridge_aa]['o_' || trigger.data.claim_num];\n\t\t\t\t\tif (!$claim)\n\t\t\t\t\t\tbounce(\"no such claim\");\n\t\t\t\t\t$required_stake = $claim.challenging_target - $claim.stakes[trigger.data.stake_on];\n\n\t\t\t\t\t// don't send excess amount as we are not able to accept it\n\t\t\t\t\t$stake = (!trigger.data.stake OR trigger.data.stake > $required_stake) ? $required_stake : trigger.data.stake;\n\t\t\t\t\t\n\t\t\t\t\tif ($stake + $asset_fee >= $risk_free_stake_balance)\n\t\t\t\t\t\tbounce(\"not enough balance\");\n\t\t\t\t}","messages":[{"if":"{$stake_asset != 'base'}","app":"payment","payload":{"asset":"base","outputs":[{"address":"{$bridge_aa}","amount":"{$fee}"}]}},{"app":"payment","payload":{"asset":"{$stake_asset}","outputs":[{"address":"{$bridge_aa}","amount":"{$stake + $asset_fee}"}]}},{"app":"data","payload":{"claim_num":"{trigger.data.claim_num}","stake_on":"{trigger.data.stake_on}"}},{"app":"state","state":"{\n\t\t\t\t\t\t\tvar['stake_balance_in_work'] += $stake;\n\t\t\t\t\t\t\t$current_stakes = var['claim_' || trigger.data.claim_num] OTHERWISE {stake: 0, image: 0};\n\t\t\t\t\t\t\t$current_stakes.stake = $current_stakes.stake + $stake;\n\t\t\t\t\t\t\tvar['claim_' || trigger.data.claim_num] = $current_stakes; // how much invested\n\t\t\t\t\t\t\tresponse['sent_stake_amount'] = $stake;\n\t\t\t\t\t\t\tresponse['message'] = \"will challenge \" || trigger.data.claim_num || \" with \" || trigger.data.stake_on;\n\n\t\t\t\t\t\t\t$update_mf();\n\t\t\t\t\t\t}"}]},{"if":"{ trigger.address == $bridge_aa }","messages":[{"app":"state","state":"{\n\t\t\t\t\t\t\t$claim_num = trigger.data.claim_num;\n\t\t\t\t\t\t\tif (!$claim_num)\n\t\t\t\t\t\t\t\tbounce(\"no claim_num in received from bridge\");\n\t\t\t\t\t\t\t// it gets added to our balance\n\t\t\t\t\t\t\tresponse['received_stake_amount'] = $received_stake_amount;\n\t\t\t\t\t\t\tresponse['received_image_amount'] = $received_image_amount;\n\n\t\t\t\t\t\t\t// check if we also staked on the losing outcome in this claim\n\t\t\t\t\t\t\t$my_loss = $get_my_loss($claim_num);\n\t\t\t\t\t\t\t$current_stakes = var['claim_' || $claim_num];\n\t\t\t\t\t\t\tif (!$current_stakes)\n\t\t\t\t\t\t\t\tbounce(\"BUG: I didn't stake in this claim?\");\n\t\t\t\t\t\t\tif ($my_loss.stake){\n\t\t\t\t\t\t\t\tresponse['lost_stake_amount'] = $my_loss.stake;\n\t\t\t\t\t\t\t\tif ($my_loss.stake > $current_stakes.stake)\n\t\t\t\t\t\t\t\t\tbounce(\"BUG: losing stake mismatch: staked on bridge \" || $my_loss.stake || \", assistant \" || $current_stakes.stake);\n\t\t\t\t\t\t\t}\n\t\t\t\t\t\t\tif ($my_loss.image){\n\t\t\t\t\t\t\t\tresponse['lost_image_amount'] = $my_loss.image;\n\t\t\t\t\t\t\t\tif ($my_loss.image != $current_stakes.image)\n\t\t\t\t\t\t\t\t\tbounce(\"BUG: lost image asset mismatch: bridge \" || $my_loss.image || \", assistant \" || $current_stakes.image);\n\t\t\t\t\t\t\t}\n\n\t\t\t\t\t\t\tvar['stake_balance_in_work'] -= $current_stakes.stake;\n\t\t\t\t\t\t\tvar['image_balance_in_work'] -= $current_stakes.image;\n\t\t\t\t\t\t\tif (var['stake_balance_in_work'] < 0)\n\t\t\t\t\t\t\t\tbounce(\"BUG: after received from bridge, stake balance in work would become negative\");\n\t\t\t\t\t\t\tif (var['image_balance_in_work'] < 0)\n\t\t\t\t\t\t\t\tbounce(\"BUG: after received from bridge, image balance in work would become negative\");\n\t\t\t\t\t\t\t$new_stake_profit = $received_stake_amount - $current_stakes.stake;\n\t\t\t\t\t\t\t$new_image_profit = $received_image_amount - $current_stakes.image;\n\t\t\t\t\t\t\tvar['stake_profit'] += $new_stake_profit;\n\t\t\t\t\t\t\tvar['image_profit'] += $new_image_profit;\n\t\t\t\t\t\t\t$add_recent_profit({stake: $new_stake_profit, image: $new_image_profit});\n\t\t\t\t\t\t\tvar['claim_' || $claim_num] = false;\n\n\t\t\t\t\t\t\t$update_mf();\n\t\t\t\t\t\t}"}]},{"if":"{ trigger.data.loss AND trigger.data.claim_num }","messages":[{"app":"state","state":"{\n\t\t\t\t\t\t\t$claim_num = trigger.data.claim_num;\n\t\t\t\t\t\t\t$current_stakes = var['claim_' || $claim_num];\n\t\t\t\t\t\t\tif (!$current_stakes)\n\t\t\t\t\t\t\t\tbounce(\"this claim is already accounted for\");\n\t\t\t\t\t\t\t\n\t\t\t\t\t\t\t// calling this function is necessary because it also checks that we didn't have a winning stake\n\t\t\t\t\t\t\t$my_loss = $get_my_loss($claim_num);\n\t\t\t\t\t\t\tif ($my_loss.stake != $current_stakes.stake)\n\t\t\t\t\t\t\t\tbounce(\"BUG: losing stake mismatch: bridge \" || $my_loss.stake || \", assistant \" || $current_stakes.stake);\n\t\t\t\t\t\t\tif ($my_loss.image != $current_stakes.image)\n\t\t\t\t\t\t\t\tbounce(\"BUG: lost image asset mismatch: bridge \" || $my_loss.image || \", assistant \" || $current_stakes.image);\n\t\t\t\t\t\t\tif ($my_loss.stake)\n\t\t\t\t\t\t\t\tresponse['lost_stake_amount'] = $my_loss.stake;\n\t\t\t\t\t\t\tif ($my_loss.image)\n\t\t\t\t\t\t\t\tresponse['lost_image_amount'] = $my_loss.image;\n\t\t\t\t\t\t\tresponse['message'] = \"recorded a loss in claim \" || $claim_num;\n\n\t\t\t\t\t\t\tvar['stake_balance_in_work'] -= $current_stakes.stake;\n\t\t\t\t\t\t\tvar['image_balance_in_work'] -= $current_stakes.image;\n\t\t\t\t\t\t\tif (var['stake_balance_in_work'] < 0)\n\t\t\t\t\t\t\t\tbounce(\"BUG: stake balance in work would become negative\");\n\t\t\t\t\t\t\tif (var['image_balance_in_work'] < 0)\n\t\t\t\t\t\t\t\tbounce(\"BUG: image balance in work would become negative\");\n\t\t\t\t\t\t\tvar['stake_profit'] -= $current_stakes.stake;\n\t\t\t\t\t\t\tvar['image_profit'] -= $current_stakes.image;\n\t\t\t\t\t\t\tvar['claim_' || $claim_num] = false;\n\n\t\t\t\t\t\t\t$update_mf();\n\t\t\t\t\t\t}"}]},{"if":"{ $shares_asset AND ($received_stake_amount > $min_stake_asset_amount OR $received_image_amount > 0) AND $received_shares_amount == 0 AND trigger.data.buy_shares }","init":"{\n\t\t\t\t\t$check_balance(\"stake\", $stake_balance);\n\t\t\t\t\t$check_balance(\"image\", $image_balance);\n\t\t\t\t\tif (!$shares_supply AND !($received_stake_amount > 0 AND $received_image_amount > 0))\n\t\t\t\t\t\tbounce(\"send both assets for the first issue\");\n\t\t\t\t\t$coef = $shares_supply ? $shares_supply / $get_shares($stake_balance, $image_balance) : 1;\n\t\t\t\t\t$new_shares_supply = floor($coef * $get_shares($stake_balance + $received_stake_amount, $image_balance + $received_image_amount));\n\t\t\t\t\t\n\t\t\t\t\t$shares_amount = $new_shares_supply - $shares_supply;\n\t\t\t\t}","messages":[{"app":"payment","payload":{"asset":"{$shares_asset}","outputs":[{"address":"{trigger.address}","amount":"{$shares_amount}"}]}},{"app":"state","state":"{\n\t\t\t\t\t\t\tvar['shares_supply'] += $shares_amount;\n\t\t\t\t\t\t\t$update_mf();\n\t\t\t\t\t\t}"}]},{"if":"{ $shares_asset AND $received_shares_amount > 0 AND $received_stake_amount <= $min_stake_asset_amount AND $received_image_amount == 0 }","init":"{\n\t\t\t\t\t$exit_fee = $get_exit_fee();\n\t\t\t\t\t$share_of_shares = $received_shares_amount / $shares_supply;\n\t\t\t\t\t$remaining_share_of_shares = 1 - $share_of_shares;\n\t\t\t\t\t$remaining_share_of_assets = $remaining_share_of_shares^$exponent;\n\t\t\t\t\t$share_of_assets = 1 - $remaining_share_of_assets;\n\t\t\t\t\t$unavailable_profit = $get_unavailable_profit();\n\t\t\t\t\t$available_stake_balance = max($risk_free_stake_balance - $unavailable_profit.stake, 0);\n\t\t\t\t\t$available_image_balance = max($risk_free_image_balance - $unavailable_profit.image, 0);\n\t\t\t\t\t$stake_amount = floor($share_of_assets * $available_stake_balance * ($net_of_swap_fee - $exit_fee));\n\t\t\t\t\t$image_amount = floor($share_of_assets * $available_image_balance * ($net_of_swap_fee - $exit_fee));\n\t\t\t\t}","messages":[{"app":"payment","payload":{"asset":"{$stake_asset}","outputs":[{"address":"{trigger.address}","amount":"{$stake_amount}"}]}},{"app":"payment","payload":{"asset":"{$asset}","outputs":[{"address":"{trigger.address}","amount":"{$image_amount}"}]}},{"app":"state","state":"{\n\t\t\t\t\t\t\tvar['shares_supply'] -= $received_shares_amount;\n\t\t\t\t\t\t\t$update_mf();\n\t\t\t\t\t\t}"}]},{"if":"{\n\t\t\t\t\t$stake2image = $received_stake_amount > $min_stake_asset_amount AND $received_image_amount == 0;\n\t\t\t\t\t$image2stake = $received_stake_amount <= $min_stake_asset_amount AND $received_image_amount > 0;\n\t\t\t\t\t$shares_asset AND $received_shares_amount == 0 AND ($stake2image OR $image2stake)\n\t\t\t\t}","init":"{\n\t\t\t\t\t$check_balance(\"stake\", $stake_balance);\n\t\t\t\t\t$check_balance(\"image\", $image_balance);\n\n\t\t\t\t\t// the fee is taken from the output asset\n\t\t\t\t\tif ($image2stake)\n\t\t\t\t\t\t$stake_amount = floor($risk_free_stake_balance * ( 1 - ($image_balance/($image_balance + $received_image_amount))^($image_share/$stake_share) ) * $net_of_swap_fee);\n\t\t\t\t\telse if ($stake2image)\n\t\t\t\t\t\t$image_amount = floor($risk_free_image_balance * ( 1 - ($stake_balance/($stake_balance + $received_stake_amount))^($stake_share/$image_share) ) * $net_of_swap_fee);\n\t\t\t\t\tif (trigger.data.min_amount_out){\n\t\t\t\t\t\t$amount_out = $image2stake ? $stake_amount : $image_amount;\n\t\t\t\t\t\trequire($amount_out >= trigger.data.min_amount_out, \"output amount \"||$amount_out||\" would be less than min \"||trigger.data.min_amount_out);\n\t\t\t\t\t}\n\t\t\t\t}","messages":[{"if":"{$stake_amount}","app":"payment","payload":{"asset":"{$stake_asset}","outputs":[{"address":"{trigger.address}","amount":"{$stake_amount}"}]}},{"if":"{$image_amount}","app":"payment","payload":{"asset":"{$asset}","outputs":[{"address":"{trigger.address}","amount":"{$image_amount}"}]}},{"app":"state","state":"{\n\t\t\t\t\t\t\t$update_mf();\n\t\t\t\t\t\t}"}]},{"if":"{ $shares_asset AND trigger.data.withdraw_management_fee AND trigger.address == $manager }","messages":[{"app":"payment","payload":{"asset":"{$stake_asset}","outputs":[{"address":"{trigger.address}","amount":"{floor($stake_mf)}"}]}},{"app":"payment","payload":{"asset":"{$asset}","outputs":[{"address":"{trigger.address}","amount":"{floor($image_mf)}"}]}},{"app":"state","state":"{\n\t\t\t\t\t\t\t// reset it and start accumulating again\n\t\t\t\t\t\t\t$init_mf();\n\t\t\t\t\t\t}"}]},{"if":"{ $shares_asset AND trigger.data.withdraw_success_fee AND trigger.address == $manager }","messages":[{"app":"payment","payload":{"asset":"{$stake_asset}","outputs":[{"address":"{trigger.address}","amount":"{$stake_sf}"}]}},{"app":"payment","payload":{"asset":"{$asset}","outputs":[{"address":"{trigger.address}","amount":"{$image_sf}"}]}},{"app":"state","state":"{\n\t\t\t\t\t\t\tif ($stake_sf > 0)\n\t\t\t\t\t\t\t\tvar['stake_profit'] = 0;\n\t\t\t\t\t\t\tif ($image_sf > 0)\n\t\t\t\t\t\t\t\tvar['image_profit'] = 0;\n\t\t\t\t\t\t\t$update_mf();\n\t\t\t\t\t\t}"}]},{"if":"{ $shares_asset AND trigger.data.withdraw_bytes AND trigger.data.amount AND $stake_asset != 'base' AND trigger.address == $manager }","messages":[{"app":"payment","payload":{"asset":"base","outputs":[{"address":"{trigger.address}","amount":"{trigger.data.amount}"}]}}]},{"if":"{ trigger.data.manager_address AND trigger.address == $manager }","messages":[{"app":"state","state":"{\n\t\t\t\t\t\t\tif (!is_valid_address(trigger.data.manager_address))\n\t\t\t\t\t\t\t\tbounce(\"new manager address is invalid\");\n\t\t\t\t\t\t\tvar['manager'] = trigger.data.manager_address;\n\t\t\t\t\t\t}"}]}]}}]