["autonomous agent",{"doc_url":"https://prophet.ooo/prediction-markets.json","getters":"{\n\t\t$lib_aa_const = \"QFWV6VIUE6T4N5LMJEVXGFY3ZMQBDZU2\";\n\n\t\t$get_reserve = ($yes_amount, $no_amount, $draw_amount) => ($lib_aa_const||'')#2.$get_reserve(this_address, $yes_amount, $no_amount, $draw_amount);\n\n\t\t$get_exchange_result = ($yes_amount, $no_amount, $draw_amount) => ($lib_aa_const||'')#11.$get_exchange_result(this_address, $yes_amount, $no_amount, $draw_amount);\n\n\t\t$get_result_for_buying_by_type = ($type, $reserve_amount) => ($lib_aa_const||'')#11.$get_result_for_buying_by_type(this_address, $type, $reserve_amount);\n\n\t}","init":"{\n\t\t$lib_aa = $lib_aa_const || '';\n\n\t\t// params\n\t\t$oracle = params.oracle;\n\t\trequire($oracle AND is_valid_address($oracle), \"oracle isn't valid\");\n\n\t\t$comparison = params.comparison OTHERWISE \"==\";\n\t\trequire($comparison == \"==\" OR $comparison == \">\" OR $comparison == \">=\" OR $comparison == \"<\" OR $comparison == \"<=\" OR $comparison == \"!=\", \"operation is unknown\");\n\n\t\t$feed_name = params.feed_name OTHERWISE '';\n\t\trequire(length($feed_name) > 0 AND $feed_name != \"none\", \"feed_name isn't valid\");\n\n\t\t$reserve_asset = params.reserve_asset OTHERWISE 'base';\n\t\trequire(asset[$reserve_asset].exists, \"no such asset: \" || $reserve_asset);\n\n\t\t$allow_draw = params.allow_draw;\n\n\t\t$datafeed_draw_value = params.datafeed_draw_value OTHERWISE 'none';\n\t\t$datafeed_value = params.datafeed_value;\n\n\t\trequire(exists($datafeed_value), \"datafeed_value does not exist\");\n\n\t\t$event_date = params.event_date OTHERWISE 0;\n\t\trequire(is_integer($event_date) AND $event_date > 0, \"event_date must be integer\");\n\n\t\t$waiting_period_length = params.waiting_period_length OTHERWISE 5 * 24 * 3600;\n\t\trequire(is_integer($waiting_period_length) AND $waiting_period_length >= 0, \"waiting period must be integer\");\n\n\t\t$quiet_period = params.quiet_period OTHERWISE 0;\n\t\trequire(is_integer($quiet_period) AND $quiet_period >= 0, \"quiet period must be integer\");\n\n\t\t$issue_fee = exists(params.issue_fee) ? params.issue_fee : 0.01;\n\t\trequire($issue_fee >= 0 AND $issue_fee < 1, \"issue_fee isn't valid\");\n\n\t\t$redeem_fee = exists(params.redeem_fee) ? params.redeem_fee : 0.02;\n\t\trequire($redeem_fee >= 0 AND $redeem_fee < 1, \"redeem_fee isn't valid\");\n\t\n\t\t// helpers\n\t\t$ready = var['yes_asset'] AND var['no_asset'] AND (var['draw_asset'] OR !$allow_draw);\n\n\t\t$result = var['result']; // yes/no/draw\n\n\t\t$yes_asset = var['yes_asset'];\n\t\t$no_asset = var['no_asset'];\n\t\t$draw_asset = var['draw_asset'];\n\n\t\t$end_of_waiting_period = $event_date + $waiting_period_length;\n\n\t\t$network_fee = ($reserve_asset == 'base') ? 10000 : 0;\n\t\t\n\t\t$reserve = var['reserve'] OTHERWISE 0;\n\t\t$reserve_amount = trigger.output[[asset=$reserve_asset]];\n\n\t\t$type = trigger.data.type OTHERWISE false;\n\t\t\n\t\t$supply_yes = var['supply_yes'] OTHERWISE 0;\n\t\t$supply_no = var['supply_no'] OTHERWISE 0;\n\t\t$supply_draw = var['supply_draw'] OTHERWISE 0;\n\n\t\t$to = trigger.data.to OTHERWISE trigger.address;\n\n\t\tif (trigger.data.to AND !is_valid_address(trigger.data.to))\n\t\t\tbounce(\"bad to address\");\n\n\t\tif ($type) {\n\t\t\trequire($type == 'yes' OR $type == 'no' OR $type == 'draw', \"unknown type\");\n\t\t}\n\t}","messages":{"cases":[{"if":"{!$ready AND trigger.data.define}","init":"{\n\t\t\t\t\t$define_type = $yes_asset ? ($no_asset ? \"draw_asset\" : \"no_asset\") : \"yes_asset\";\n\t\t\t\t\trequire(($define_type == 'draw_asset' AND $allow_draw) OR $define_type == 'no_asset' OR $define_type == 'yes_asset', \"unknown define type\");\n\t\t\t\t\trequire(!var[$define_type], \"asset already defined\");\n\t\t\t\t}","messages":[{"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":"data","payload":{"factory":"{trigger.data.factory}","type":"{$define_type}"}},{"if":"{trigger.data.factory}","app":"payment","payload":{"asset":"base","outputs":[{"address":"{trigger.data.factory}","amount":4000}]}},{"app":"state","state":"{\n\t\t\t\t\t\t\tvar[$define_type] = response_unit;\n\t\t\t\t\t\t\tresponse[$define_type] = response_unit;\n\t\t\t\t\t\t}"}]},{"if":"{$ready AND !exists(trigger.data.claim_profit) AND !exists(trigger.data.add_liquidity) AND (((trigger.output[[asset=$reserve_asset]] > $network_fee) AND (trigger.data.yes_amount OR trigger.data.no_amount OR trigger.data.draw_amount OR trigger.data.type)) OR trigger.output[[asset=$yes_asset]] > 0 OR trigger.output[[asset=$no_asset]] > 0 OR ($allow_draw AND trigger.output[[asset=$draw_asset]] > 0))}","init":"{\n\t\t\t\t\trequire($allow_draw OR !exists(trigger.data.draw_amount), \"draw asset does not exist\");\n\n\t\t\t\t\tif ((trigger.data.yes_amount OR trigger.data.no_amount OR trigger.data.draw_amount OR trigger.output[[asset=$yes_asset]] > 0 OR trigger.output[[asset=$no_asset]] > 0 OR ($allow_draw AND trigger.output[[asset=$draw_asset]] > 0)) AND trigger.data.type) {\n\t\t\t\t\t\tbounce(\"both type and amount\");\n\t\t\t\t\t}\n\t\t\t\t\t\n\t\t\t\t\t$min_expected_amount = trigger.data.min_expected_amount OTHERWISE 0;\n\n\t\t\t\t\tif ($type AND (!is_integer($min_expected_amount) OR $min_expected_amount < 0)) {\n\t\t\t\t\t\tbounce(\"invalid min_expected_amount\");\n\t\t\t\t\t}\n\n\t\t\t\t\tif (!(timestamp <= $event_date - $quiet_period OR timestamp >= $end_of_waiting_period)){\n\t\t\t\t\t\t$error = \"the trading period is closed\";\n\t\t\t\t\t\tresponse['error'] = $error;\n\t\t\t\t\t\treturn;\n\t\t\t\t\t}\n\n\t\t\t\t\tif ($result) {\n\t\t\t\t\t\t$error = \"result already exists\";\n\t\t\t\t\t\tresponse['error'] = $error;\n\t\t\t\t\t\treturn;\n\t\t\t\t\t}\n\t\t\t\t\n\t\t\t\t\tif ($type) {\n\n\t\t\t\t\t\trequire(trigger.output[[asset=$reserve_asset]] > $network_fee, 'You sent no reserve');\n\n\t\t\t\t\t\t$res = $lib_aa#11.$get_result_for_buying_by_type(this_address, $type, $reserve_amount);\n\n\t\t\t\t\t\tif ($type == 'yes') {\n\t\t\t\t\t\t\t$yes_amount = $res.amount;\n\t\t\t\t\t\t\t$no_amount = 0;\n\t\t\t\t\t\t\t$draw_amount = 0;\n\t\t\t\t\t\t} else if ($type == 'no') { \n\t\t\t\t\t\t\t$yes_amount = 0;\n\t\t\t\t\t\t\t$no_amount = $res.amount;\n\t\t\t\t\t\t\t$draw_amount = 0;\n\t\t\t\t\t\t} else if ($type == 'draw') { \n\t\t\t\t\t\t\t$yes_amount = 0;\n\t\t\t\t\t\t\t$no_amount = 0;\n\t\t\t\t\t\t\t$draw_amount = $res.amount;\n\t\t\t\t\t\t}\n\n\t\t\t\t\t\tif ($res.amount < $min_expected_amount) {\n\t\t\t\t\t\t\t$error = \"amount less than minimum\";\n\t\t\t\t\t\t\tresponse['error'] = $error;\n\t\t\t\t\t\t\treturn;\n\t\t\t\t\t\t}\n\n\t\t\t\t\t} else {\n\t\t\t\t\t\t$yes_amount = trigger.data.yes_amount OTHERWISE -trigger.output[[asset=$yes_asset]];\n\t\t\t\t\t\t$no_amount = trigger.data.no_amount OTHERWISE -trigger.output[[asset=$no_asset]];\n\t\t\t\t\t\t$draw_amount = $allow_draw ? trigger.data.draw_amount OTHERWISE -trigger.output[[asset=$draw_asset]] : 0;\n\n\t\t\t\t\t\tif (trigger.data.yes_amount AND (!is_integer(trigger.data.yes_amount) OR trigger.data.yes_amount <= 0))\n\t\t\t\t\t\t\tbounce(\"invalid yes_amount\");\n\t\t\t\t\t\tif (trigger.data.no_amount AND (!is_integer(trigger.data.no_amount) OR trigger.data.no_amount <= 0))\n\t\t\t\t\t\t\tbounce(\"invalid no_amount\");\n\t\t\t\t\t\tif ($allow_draw AND trigger.data.draw_amount AND (!is_integer(trigger.data.draw_amount) OR trigger.data.draw_amount <= 0))\n\t\t\t\t\t\t\tbounce(\"invalid draw_amount\");\n\n\t\t\t\t\t\tif (trigger.data.yes_amount AND trigger.output[[asset=$yes_asset]] > 0)\n\t\t\t\t\t\t\tbounce(\"both yes_amount param and amount\");\n\t\t\t\t\t\tif (trigger.data.no_amount AND trigger.output[[asset=$no_asset]] > 0)\n\t\t\t\t\t\t\tbounce(\"both no_amount param and amount\");\n\t\t\t\t\t\tif ($allow_draw AND trigger.data.draw_amount AND trigger.output[[asset=$draw_asset]] > 0)\n\t\t\t\t\t\t\tbounce(\"both draw_amount param and amount\");\n\n\t\t\t\t\t\t$res = $lib_aa#11.$get_exchange_result(this_address, $yes_amount, $no_amount, $draw_amount);\t\n\t\t\t\t\t\t$payout = floor($res.gross_payout + $reserve_amount - $res.reserve_needed - $res.fee - $network_fee);\n\n\t\t\t\t\t\tif ($res.reserve_needed > 0 AND ($res.reserve_needed + $res.fee + $network_fee > $reserve_amount)) {\n\t\t\t\t\t\t\t$error = \"expected reserve amount: \" || ($res.reserve_needed + $res.fee + $network_fee);\n\t\t\t\t\t\t\tresponse['error'] = $error;\n\t\t\t\t\t\t\treturn;\n\t\t\t\t\t\t}\n\t\t\t\t\t}\n\n\t\t\t\t}","messages":[{"if":"{$yes_amount AND $yes_amount > 0 AND !$error}","app":"payment","payload":{"asset":"{$yes_asset}","outputs":[{"address":"{$to}","amount":"{$yes_amount}"}]}},{"if":"{$no_amount AND $no_amount > 0 AND !$error}","app":"payment","payload":{"asset":"{$no_asset}","outputs":[{"address":"{$to}","amount":"{$no_amount}"}]}},{"if":"{$allow_draw AND $draw_amount AND $draw_amount > 0 AND !$error}","app":"payment","payload":{"asset":"{$draw_asset}","outputs":[{"address":"{$to}","amount":"{$draw_amount}"}]}},{"if":"{($payout AND $payout > 0) OR $error}","app":"payment","payload":{"asset":"{$reserve_asset}","outputs":[{"address":"{$to}","amount":"{$error ? $reserve_amount - $network_fee : $payout}"}]}},{"if":"{!$error}","app":"state","state":"{\n\t\t\t\t\t\t\tresponse['next_reserve'] = $res.new_reserve OTHERWISE 0;\n\t\t\t\t\t\t\tresponse['next_coef'] = $res.next_coef OTHERWISE 1;\n\n\t\t\t\t\t\t\tresponse['yes_amount'] = $yes_amount OTHERWISE 0;\n\t\t\t\t\t\t\tresponse['no_amount'] = $no_amount OTHERWISE 0;\n\t\t\t\t\t\t\tresponse['draw_amount'] = $draw_amount OTHERWISE 0;\n\n\t\t\t\t\t\t\tresponse['yes_price'] = $res.yes_price;\n\t\t\t\t\t\t\tresponse['no_price'] = $res.no_price;\n\t\t\t\t\t\t\tresponse['draw_price'] = $res.draw_price;\n\n\t\t\t\t\t\t\tvar['reserve'] = $res.new_reserve;\n\t\t\t\t\t\t\tvar['coef'] = $res.next_coef;\n\n\t\t\t\t\t\t\tif ($res.fee > 0){\n\t\t\t\t\t\t\t\tresponse['fee'] = $res.fee;\n\t\t\t\t\t\t\t}\n\n\t\t\t\t\t\t\tresponse['arb_profit_tax'] = $res.arb_profit_tax;\n\n\t\t\t\t\t\t\tvar['supply_yes'] += $yes_amount;\n\t\t\t\t\t\t\tresponse['supply_yes'] = var['supply_yes'] OTHERWISE 0;\n\n\t\t\t\t\t\t\tvar['supply_no'] += $no_amount;\n\t\t\t\t\t\t\tresponse['supply_no'] = var['supply_no'] OTHERWISE 0;\n\n\t\t\t\t\t\t\tif ($allow_draw) {\n\t\t\t\t\t\t\t\tvar['supply_draw'] += $draw_amount;\n\t\t\t\t\t\t\t\tresponse['supply_draw'] = var['supply_draw'] OTHERWISE 0;\n\t\t\t\t\t\t\t}\n\t\t\t\t\t\t}"}]},{"if":"{$ready AND trigger.data.add_liquidity AND $reserve_amount > $network_fee}","init":"{\n\t\t\t\t\t$gross_reserve_delta = $reserve_amount - $network_fee; // gross, because it includes the fee and tax\n\t\t\t\t\t\n\t\t\t\t\tif ((timestamp <= $event_date - $quiet_period OR timestamp >= $end_of_waiting_period) AND !$result) {\n\n\t\t\t\t\t\tif ($supply_yes + $supply_no + $supply_draw == 0) {\n\t\t\t\t\t\t\t$yes_amount_ratio = trigger.data.yes_amount_ratio OTHERWISE 0;\n\t\t\t\t\t\t\trequire($yes_amount_ratio >= 0, 'yes ratio isnt valid');\n\n\t\t\t\t\t\t\tif ($allow_draw) {\n\t\t\t\t\t\t\t\t$no_amount_ratio = trigger.data.no_amount_ratio OTHERWISE 0;\n\t\t\t\t\t\t\t\trequire($no_amount_ratio >= 0, 'no ratio isnt valid');\n\n\t\t\t\t\t\t\t\t$draw_amount_ratio = 1 - $yes_amount_ratio - $no_amount_ratio;\n\n\t\t\t\t\t\t\t\trequire($draw_amount_ratio >= 0, 'ratio isnt valid');\n\t\t\t\t\t\t\t} else {\n\t\t\t\t\t\t\t\t$no_amount_ratio = 1 - $yes_amount_ratio;\n\n\t\t\t\t\t\t\t\trequire($no_amount_ratio >= 0, 'yes ratio isnt valid');\n\t\t\t\t\t\t\t}\n\n\t\t\t\t\t\t\trequire($yes_amount_ratio >= 0 AND $no_amount_ratio >= 0 AND $yes_amount_ratio + $no_amount_ratio + $draw_amount_ratio == 1, 'yes_amount_ratio + no_amount_ratio + draw_amount_ratio must be equal 1');\n\n\t\t\t\t\t\t\t$yes_amount = floor($gross_reserve_delta * sqrt($yes_amount_ratio));\n\t\t\t\t\t\t\t$no_amount = floor($gross_reserve_delta * sqrt($no_amount_ratio));\n\t\t\t\t\t\t\t$draw_amount = $allow_draw ? floor($gross_reserve_delta * sqrt($draw_amount_ratio)) : 0;\n\n\t\t\t\t\t\t} else {\n\t\t\t\t\t\t\t$ratio = ($gross_reserve_delta + $reserve) / $reserve;\n\n\t\t\t\t\t\t\t$yes_amount = floor($ratio * $supply_yes - $supply_yes);\n\t\t\t\t\t\t\t$no_amount = floor($ratio * $supply_no - $supply_no);\n\t\t\t\t\t\t\t$draw_amount = floor($ratio * $supply_draw - $supply_draw);\n\t\t\t\t\t\t}\n\t\t\t\t\t} else {\n\t\t\t\t\t\t$hasError = true;\n\t\t\t\t\t}\n\t\t\t\t}","messages":[{"if":"{!$hasError AND $yes_amount > 0}","app":"payment","payload":{"asset":"{$yes_asset}","outputs":[{"address":"{$to}","amount":"{$yes_amount}"}]}},{"if":"{!$hasError AND $no_amount > 0}","app":"payment","payload":{"asset":"{$no_asset}","outputs":[{"address":"{$to}","amount":"{$no_amount}"}]}},{"if":"{!$hasError AND $allow_draw AND $draw_amount > 0}","app":"payment","payload":{"asset":"{$draw_asset}","outputs":[{"address":"{$to}","amount":"{$draw_amount}"}]}},{"if":"{$hasError}","app":"payment","payload":{"asset":"{$reserve_asset}","outputs":[{"address":"{$to}","amount":"{$reserve_amount - $network_fee}"}]}},{"if":"{!$hasError}","app":"state","state":"{\n\t\t\t\t\t\t\tvar['supply_yes'] += $yes_amount;\n\t\t\t\t\t\t\tresponse['supply_yes'] = var['supply_yes'] OTHERWISE 0;\n\n\t\t\t\t\t\t\tvar['supply_no'] += $no_amount;\n\t\t\t\t\t\t\tresponse['supply_no'] = var['supply_no'] OTHERWISE 0;\n\n\t\t\t\t\t\t\tif ($allow_draw) {\n\t\t\t\t\t\t\t\tvar['supply_draw'] += $draw_amount;\n\t\t\t\t\t\t\t\tresponse['supply_draw'] = var['supply_draw'] OTHERWISE 0;\n\t\t\t\t\t\t\t}\n\n\t\t\t\t\t\t\t$new_supply_yes = var['supply_yes'] OTHERWISE 0;\n\t\t\t\t\t\t\t$new_supply_no = var['supply_no'] OTHERWISE 0;\n\t\t\t\t\t\t\t$new_supply_draw = var['supply_draw'] OTHERWISE 0;\n\n\t\t\t\t\t\t\t$target_new_reserve = $get_reserve($new_supply_yes, $new_supply_no, $new_supply_draw);\n\n\t\t\t\t\t\t\t$new_reserve = var['reserve'] + $gross_reserve_delta;\n\n\t\t\t\t\t\t\t$next_coef = (var['coef'] OTHERWISE 1) * $new_reserve / $target_new_reserve;\n\n\t\t\t\t\t\t\tvar['coef'] = $next_coef;\n\t\t\t\t\t\t\tvar['reserve'] += $gross_reserve_delta;\n\n\t\t\t\t\t\t\t// for stats\n\t\t\t\t\t\t\tresponse['yes_amount'] = $yes_amount OTHERWISE 0;\n\t\t\t\t\t\t\tresponse['no_amount'] = $no_amount OTHERWISE 0;\n\t\t\t\t\t\t\tresponse['draw_amount'] = $draw_amount OTHERWISE 0;\n\n\t\t\t\t\t\t\tresponse['next_reserve'] = var['reserve'];\n\t\t\t\t\t\t\tresponse['next_coef'] = $next_coef;\n\t\t\t\t\t\t\tresponse['fee'] = 0;\n\t\t\t\t\t\t\t\n\t\t\t\t\t\t\t$new_den = sqrt($new_supply_yes * $new_supply_yes + $new_supply_no * $new_supply_no + $new_supply_draw * $new_supply_draw);\n\t\t\t\t\t\t\t\n\t\t\t\t\t\t\t$new_yes_price = $next_coef * ($new_supply_yes / $new_den);\n\t\t\t\t\t\t\t$new_no_price = $next_coef * ($new_supply_no / $new_den);\n\t\t\t\t\t\t\t$new_draw_price = $next_coef * ($new_supply_draw / $new_den);\n\n\t\t\t\t\t\t\tresponse['yes_price'] = $new_yes_price;\n\t\t\t\t\t\t\tresponse['no_price'] = $new_no_price;\n\t\t\t\t\t\t\tresponse['draw_price'] = $new_draw_price;\n\t\t\t\t\t\t}"}]},{"if":"{$ready AND trigger.data.commit AND !$result}","init":"{\n\t\t\t\t\t$current_datafeed_value = data_feed[[oracles=$oracle, feed_name=$feed_name, ifnone=false]];\n\n\t\t\t\t\trequire(exists($current_datafeed_value), \"data_feed not found\");\n\t\t\t\t\trequire(timestamp > $event_date, \"trading period has not ended yet\");\n\n\t\t\t\t\tif ($comparison == '>')\n\t\t\t\t\t\t$datafeed_comparison = $current_datafeed_value > $datafeed_value;\n\t\t\t\t\telse if ($comparison == '<')\n\t\t\t\t\t\t$datafeed_comparison = $current_datafeed_value < $datafeed_value;\n\t\t\t\t\telse if ($comparison == '!=')\n\t\t\t\t\t\t$datafeed_comparison = $current_datafeed_value != $datafeed_value;\n\t\t\t\t\telse if ($comparison == '==')\n\t\t\t\t\t\t$datafeed_comparison = $current_datafeed_value == $datafeed_value;\n\t\t\t\t\telse if ($comparison == '>=')\n\t\t\t\t\t\t$datafeed_comparison = $current_datafeed_value >= $datafeed_value;\n\t\t\t\t\telse if ($comparison == '<=')\n\t\t\t\t\t\t$datafeed_comparison = $current_datafeed_value <= $datafeed_value;\n\t\t\t\t\telse\n\t\t\t\t\t\tbounce('Comparison operator not found');\n\t\t\t\t\t\n\t\t\t\t\tif ($datafeed_comparison) {\n\t\t\t\t\t\t$res = 'yes';\n\t\t\t\t\t} else if ($allow_draw AND $current_datafeed_value == $datafeed_draw_value) {\n\t\t\t\t\t\t$res = 'draw';\n\t\t\t\t\t} else {\n\t\t\t\t\t\t$res = 'no';\n\t\t\t\t\t}\n\n\t\t\t\t}","messages":[{"app":"state","state":"{\n\t\t\t\t\t\t\tvar['result'] = $res;\n\t\t\t\t\t\t\tresponse['messages'] = \"The result is committed\";\n\t\t\t\t\t\t\tresponse['result'] = $res;\n\t\t\t\t\t\t}"}]},{"if":"{$ready AND trigger.data.claim_profit}","init":"{\n\t\t\t\t\t$yes_amount = trigger.output[[asset=$yes_asset]];\n\t\t\t\t\t$no_amount = trigger.output[[asset=$no_asset]];\n\t\t\t\t\t$draw_amount = $allow_draw ? trigger.output[[asset=$draw_asset]] : 0;\n\n\t\t\t\t\trequire(($reserve_asset == 'base' AND $reserve_amount == $network_fee) OR ($reserve_asset != 'base' AND $reserve_amount == 0), \"should not send a reserve\");\n\n\t\t\t\t\trequire($result, \"no results yet\");\n\n\t\t\t\t\t$winner_amount = $result == 'yes' ? $yes_amount : $result == 'no' ? $no_amount : $draw_amount;\n\n\t\t\t\t\t$winner_supply = var['supply_' || $result];\n\n\t\t\t\t\trequire($winner_supply > 0, \"BUG winner supply = \" || $winner_supply);\n\t\t\t\t\trequire($winner_amount > 0, \"please send only the winner token\");\n\n\t\t\t\t\t$payout = floor($winner_amount / $winner_supply * $reserve);\n\t\t\t\t}","messages":[{"if":"{ $payout > 0 }","app":"payment","payload":{"asset":"{$reserve_asset}","outputs":[{"address":"{$to}","amount":"{$payout}"}]}},{"app":"state","state":"{\n\t\t\t\t\t\t\tresponse[\"profit\"] = $payout;\n\n\t\t\t\t\t\t\tif ($yes_amount > 0) {\n\t\t\t\t\t\t\t\tvar['supply_yes'] -= $yes_amount;\n\t\t\t\t\t\t\t}\n\n\t\t\t\t\t\t\tif ($no_amount > 0) {\n\t\t\t\t\t\t\t\tvar['supply_no'] -= $no_amount;\n\t\t\t\t\t\t\t}\n\n\t\t\t\t\t\t\tif ($allow_draw AND $draw_amount > 0) {\n\t\t\t\t\t\t\t\tvar['supply_draw'] -= $draw_amount;\n\t\t\t\t\t\t\t}\n\n\t\t\t\t\t\t\tvar['reserve'] -= $payout;\n\t\t\t\t\t\t}"}]}]}}]