| 1 | [ |
| 2 | "autonomous agent", |
| 3 | { |
| 4 | "doc_url": "https://city.obyte.org/city.json", |
| 5 | "getters": "{ |
| 6 | |
| 7 | |
| 8 | |
| 9 | $old_city_aa = 'CITYC3WWO5DD2UM6HQR3H333RRTD253Q'; |
| 10 | $replicator = 'GAFNBCPR3KE3VHJAW4NN36ZA3OU7EGM5'; |
| 11 | |
| 12 | |
| 13 | $lib_aa = '3LUPAHCQMJCQDKFVZB7GFKYJMHZ5BC67'; |
| 14 | |
| 15 | $year = 31536000; |
| 16 | |
| 17 | |
| 18 | $max_randomness_delay = 600; |
| 19 | $matching_timeout = 600; |
| 20 | |
| 21 | |
| 22 | $get_deposited_supply = () => { |
| 23 | $state = var['state']; |
| 24 | $state.total_land |
| 25 | }; |
| 26 | |
| 27 | |
| 28 | $get_variables = () => { |
| 29 | var['variables'] OTHERWISE { |
| 30 | matching_probability: 0.1, |
| 31 | plot_price: 1000e9, |
| 32 | referral_boost: 0.1, |
| 33 | randomness_aa: 'R2OVZFLVPBY65CNRL4W6GKK34XGOOQJS', |
| 34 | randomness_price: 0.001, |
| 35 | p2p_sale_fee: 0.01, |
| 36 | shortcode_sale_fee: 0.01, |
| 37 | rental_surcharge_factor: 1, |
| 38 | followup_reward_share: 0.1, |
| 39 | attestors: 'JBW7HT5CRBSF7J7RD26AYLQG6GZDPFPS:5KM36CFPBD2QJLVD65PHZG34WEM4RPY2', |
| 40 | } |
| 41 | }; |
| 42 | |
| 43 | |
| 44 | $get_randomness_request = $plot_num => { |
| 45 | $plot = var['plot_'||$plot_num]; |
| 46 | require($plot, "no such request"); |
| 47 | require($plot.status == 'pending', "plot already allocated"); |
| 48 | $want_max_security = timestamp < $plot.ts + $max_randomness_delay; |
| 49 | return { |
| 50 | |
| 51 | ts: $plot.ts, |
| 52 | want_max_security: $want_max_security, |
| 53 | }; |
| 54 | }; |
| 55 | |
| 56 | |
| 57 | $get_buy_fee = $city_name => { |
| 58 | $city = var['city_'||($city_name OTHERWISE 'city')]; |
| 59 | require($city, "no such city"); |
| 60 | $variables = $get_variables(); |
| 61 | |
| 62 | $plot_price = $city.plot_price OTHERWISE $variables.plot_price; |
| 63 | $matching_probability = $city.matching_probability OTHERWISE $variables.matching_probability; |
| 64 | $referral_boost = $city.referral_boost OTHERWISE $variables.referral_boost; |
| 65 | $buy_fee = 2 * (1 + $referral_boost) * $matching_probability / (1 - 4 * $matching_probability); |
| 66 | return $buy_fee; |
| 67 | }; |
| 68 | |
| 69 | |
| 70 | $are_neighbors = ($plot1_num, $plot2_num, $allow_same_owner) => { |
| 71 | require($plot1_num < $plot2_num, "not ordered"); |
| 72 | |
| 73 | $plot1 = var['plot_'||$plot1_num]; |
| 74 | require($plot1, "no such plot1"); |
| 75 | require($plot1.status == 'land', "plot1 is not a vacant plot of land, can't build"); |
| 76 | |
| 77 | $plot2 = var['plot_'||$plot2_num]; |
| 78 | require($plot2, "no such plot2"); |
| 79 | require($plot2.status == 'land', "plot2 is not a vacant plot of land, can't build"); |
| 80 | |
| 81 | if (!$allow_same_owner){ |
| 82 | require($plot1.owner != $plot2.owner, "both plots have the same owner"); |
| 83 | require($plot1.username != $plot2.username, "both plots are attested to the same username"); |
| 84 | } |
| 85 | |
| 86 | require($plot1.city == $plot2.city, "plots must be in the same city"); |
| 87 | $city_name = $plot1.city; |
| 88 | $city = var['city_'||$city_name]; |
| 89 | |
| 90 | |
| 91 | if ($plot2.last_transfer_ts) |
| 92 | bounce("the later plot was transferred after matching"); |
| 93 | if ($plot1.last_transfer_ts AND $plot1.last_transfer_ts > $plot2.ts) |
| 94 | bounce("the earlier plot was transferred after matching"); |
| 95 | |
| 96 | |
| 97 | if ($plot1.rental_expiry_ts AND $plot1.rental_expiry_ts - $year > $plot2.ts) |
| 98 | bounce("the earlier plot was expanded by rental after matching"); |
| 99 | |
| 100 | $variables = $get_variables(); |
| 101 | $matching_probability = $city.matching_probability OTHERWISE $variables.matching_probability; |
| 102 | $referral_boost = $city.referral_boost OTHERWISE $variables.referral_boost; |
| 103 | |
| 104 | $is_referrer_match = ($plot2.ref_plot_num AND $plot2.ref_plot_num == $plot1_num) ? 1 : 0; |
| 105 | $plot1_rented_amount = ($plot1.rented_amount AND timestamp < $plot1.rental_expiry_ts) ? $plot1.rented_amount : 0; |
| 106 | |
| 107 | $max_distance = sqrt(1e12 * $matching_probability * (($plot1.amount + $plot1_rented_amount) / ($city.total_land + $city.total_rented) + $is_referrer_match * $referral_boost)) / 2; |
| 108 | $bNeighbors = abs($plot1.x - $plot2.x) <= $max_distance AND abs($plot1.y - $plot2.y) <= $max_distance; |
| 109 | return $bNeighbors; |
| 110 | }; |
| 111 | |
| 112 | }", |
| 113 | "init": "{ |
| 114 | |
| 115 | $lib = $lib_aa||''; |
| 116 | |
| 117 | $followup_reward_days = { |
| 118 | '60': true, |
| 119 | '150': true, |
| 120 | '270': true, |
| 121 | '450': true, |
| 122 | '720': true, |
| 123 | '1080': true, |
| 124 | '1620': true, |
| 125 | }; |
| 126 | $followup_claim_term = 10; |
| 127 | |
| 128 | $constants = var['constants'] OTHERWISE {}; |
| 129 | |
| 130 | |
| 131 | $asset = $constants.asset; |
| 132 | |
| 133 | $governance_aa = $constants.governance_aa; |
| 134 | |
| 135 | $variables = $get_variables(); |
| 136 | |
| 137 | $state = var['state'] OTHERWISE { |
| 138 | last_plot_num: 0, |
| 139 | last_house_num: 0, |
| 140 | total_land: 0, |
| 141 | }; |
| 142 | |
| 143 | if ($asset) |
| 144 | $received_amount = trigger.output[[asset=$asset]]; |
| 145 | |
| 146 | if (trigger.data.to AND !is_valid_address(trigger.data.to)) |
| 147 | bounce("bad to address"); |
| 148 | $to = trigger.data.to OTHERWISE trigger.address; |
| 149 | $username = attestation[[attestors=$variables.attestors, address=$to, ifnone=false]].username; |
| 150 | |
| 151 | if (trigger.data.plot_num){ |
| 152 | $plot_num = trigger.data.plot_num; |
| 153 | $plot = var['plot_'||$plot_num]; |
| 154 | require($plot, "no such plot"); |
| 155 | require($plot.status == 'land', "not a vacant plot of land"); |
| 156 | } |
| 157 | |
| 158 | $is_replicator_request = trigger.address == $replicator AND !$constants.renounced; |
| 159 | |
| 160 | $governance_base_aa = 'RPUA6HU7F2A4J2WG6G3U376ITKBGMY4W'; |
| 161 | |
| 162 | }", |
| 163 | "messages": { |
| 164 | "cases": [ |
| 165 | { |
| 166 | "if": "{ trigger.data.define AND !$asset OR trigger.data.renounce AND $is_replicator_request }", |
| 167 | "messages": [ |
| 168 | { |
| 169 | "if": "{!trigger.data.renounce}", |
| 170 | "app": "asset", |
| 171 | "payload": { |
| 172 | "is_private": false, |
| 173 | "is_transferrable": true, |
| 174 | "auto_destroy": false, |
| 175 | "fixed_denominations": false, |
| 176 | "issued_by_definer_only": true, |
| 177 | "cosigned_by_definer": false, |
| 178 | "spender_attested": false |
| 179 | } |
| 180 | }, |
| 181 | { |
| 182 | "if": "{!trigger.data.renounce}", |
| 183 | "app": "definition", |
| 184 | "payload": { |
| 185 | "definition": [ |
| 186 | "autonomous agent", |
| 187 | { |
| 188 | "base_aa": "{$governance_base_aa}", |
| 189 | "params": { |
| 190 | "city_aa": "{this_address}" |
| 191 | } |
| 192 | } |
| 193 | ] |
| 194 | } |
| 195 | }, |
| 196 | { |
| 197 | "app": "state", |
| 198 | "state": "{ |
| 199 | if (trigger.data.renounce) |
| 200 | $constants.renounced = true; |
| 201 | else{ |
| 202 | $constants.asset = response_unit; |
| 203 | $constants.governance_aa = unit[response_unit].messages[[.app='definition']].payload.address; |
| 204 | response['asset'] = response_unit; |
| 205 | } |
| 206 | var['constants'] = $constants; |
| 207 | }" |
| 208 | } |
| 209 | ] |
| 210 | }, |
| 211 | { |
| 212 | "if": "{ trigger.address == $governance_aa AND trigger.data.name }", |
| 213 | "init": "{ |
| 214 | $name = trigger.data.name; |
| 215 | $value = trigger.data.value; |
| 216 | $city_name = trigger.data.city; |
| 217 | }", |
| 218 | "messages": [ |
| 219 | { |
| 220 | "app": "state", |
| 221 | "state": "{ |
| 222 | if ($city_name){ |
| 223 | $var_name = 'city_'||$city_name; |
| 224 | if ($name == 'new_city') |
| 225 | $city = { |
| 226 | count_plots: 0, |
| 227 | count_houses: 0, |
| 228 | total_land: 0, |
| 229 | total_bought: 0, |
| 230 | total_rented: 0, |
| 231 | start_ts: 0, |
| 232 | mayor: trigger.data.mayor, |
| 233 | }; |
| 234 | else{ |
| 235 | $city = var[$var_name]; |
| 236 | $city[$name] = $value; |
| 237 | } |
| 238 | $var_value = $city; |
| 239 | } |
| 240 | else{ |
| 241 | $variables[$name] = $value; |
| 242 | $var_name = 'variables'; |
| 243 | $var_value = $variables; |
| 244 | } |
| 245 | var[$var_name] = $var_value; |
| 246 | }" |
| 247 | } |
| 248 | ] |
| 249 | }, |
| 250 | { |
| 251 | "if": "{ $is_replicator_request AND trigger.data.var_name }", |
| 252 | "messages": [ |
| 253 | { |
| 254 | "app": "state", |
| 255 | "state": "{ |
| 256 | require(trigger.data.var_name != 'constants', "constants cannot be replicated"); |
| 257 | var[trigger.data.var_name] = var[$old_city_aa][trigger.data.var_name]; |
| 258 | }" |
| 259 | } |
| 260 | ] |
| 261 | }, |
| 262 | { |
| 263 | "if": "{ $is_replicator_request AND trigger.data.outputs }", |
| 264 | "init": "{ |
| 265 | $payload = { |
| 266 | asset: $asset, |
| 267 | outputs: trigger.data.outputs, |
| 268 | }; |
| 269 | }", |
| 270 | "messages": [ |
| 271 | { |
| 272 | "app": "payment", |
| 273 | "payload": "{$payload}" |
| 274 | } |
| 275 | ] |
| 276 | }, |
| 277 | { |
| 278 | "if": "{ |
| 279 | $buy_from_balance = trigger.data.buy_from_balance; |
| 280 | ($received_amount > 0 OR $buy_from_balance OR trigger.data.mayor_plot) AND trigger.data.buy |
| 281 | }", |
| 282 | "init": "{ |
| 283 | $city_name = trigger.data.city OTHERWISE 'city'; |
| 284 | $city = var['city_'||$city_name]; |
| 285 | require($city, "no such city"); |
| 286 | require($username, "your address must be attested"); |
| 287 | |
| 288 | $plot_price = $city.plot_price OTHERWISE $variables.plot_price; |
| 289 | $matching_probability = $city.matching_probability OTHERWISE $variables.matching_probability; |
| 290 | $referral_boost = $city.referral_boost OTHERWISE $variables.referral_boost; |
| 291 | $buy_fee = 2 * (1 + $referral_boost) * $matching_probability / (1 - 4 * $matching_probability); |
| 292 | |
| 293 | $price = ceil($plot_price * (1 + $buy_fee)); |
| 294 | if ($buy_from_balance){ |
| 295 | require($to == trigger.address, "owner cannot be redefined when buying from balance"); |
| 296 | require($received_amount == 0, "do not send coins when buying from balance"); |
| 297 | $balance = var['balance_'||trigger.address] OTHERWISE 0; |
| 298 | require($balance >= $price, "not enough balance to buy"); |
| 299 | } |
| 300 | else if (trigger.data.mayor_plot AND trigger.address == $city.mayor){ |
| 301 | require($received_amount == 0, "do not send coins when creating a mayor plot"); |
| 302 | $bMayorPlot = true; |
| 303 | } |
| 304 | else{ |
| 305 | $expected_amount = round($price); |
| 306 | require($received_amount == $expected_amount, "incorrect amount received, expected "||$expected_amount); |
| 307 | } |
| 308 | }", |
| 309 | "messages": [ |
| 310 | { |
| 311 | "app": "state", |
| 312 | "state": "{ |
| 313 | if ($buy_from_balance) |
| 314 | var['balance_'||trigger.address] -= $price; |
| 315 | $new_plot_num = $state.last_plot_num + 1; |
| 316 | $state.last_plot_num = $new_plot_num; |
| 317 | $new_plot = { |
| 318 | status: 'pending', |
| 319 | amount: 0, |
| 320 | city: $city_name, |
| 321 | ts: timestamp, |
| 322 | }; |
| 323 | if (!$bMayorPlot){ |
| 324 | $new_plot.owner = $to; |
| 325 | $new_plot.username = $username; |
| 326 | $new_plot.amount = $plot_price; |
| 327 | if ($city.total_bought == 0) |
| 328 | $city.start_ts = timestamp; |
| 329 | $state.total_land = $state.total_land + $plot_price; |
| 330 | $city.count_plots = $city.count_plots + 1; |
| 331 | $city.total_land = $city.total_land + $plot_price; |
| 332 | $city.total_bought = $city.total_bought + $plot_price; |
| 333 | var['user_land_'||$to] += $plot_price; |
| 334 | var['user_land_'||$city_name||'_'||$to] += $plot_price; |
| 335 | $ref = trigger.data.ref; |
| 336 | if (($ref OR trigger.data.ref_plot_num) AND $received_amount){ |
| 337 | if (trigger.data.ref_plot_num) |
| 338 | $new_plot.ref_plot_num = trigger.data.ref_plot_num; |
| 339 | else{ |
| 340 | require(is_valid_address($ref), "invalid referrer address"); |
| 341 | $new_plot.ref = $ref; |
| 342 | $ref_plot_num = var['user_main_plot_'||$city_name||'_'||$ref]; |
| 343 | if ($ref_plot_num) |
| 344 | $new_plot.ref_plot_num = $ref_plot_num; |
| 345 | else |
| 346 | response['warning'] = "The referring user has no main plot"; |
| 347 | } |
| 348 | } |
| 349 | } |
| 350 | var['plot_'||$new_plot_num] = $new_plot; |
| 351 | var['city_'||$city_name] = $city; |
| 352 | var['state'] = $state; |
| 353 | response['message'] = "Order received, now wait for randomness to determine your new plot's coordinates"; |
| 354 | response['plot_num'] = $new_plot_num; |
| 355 | response['event'] = json_stringify({type: 'buy', plot_num: $new_plot_num, owner: $new_plot.owner, amount: $new_plot.amount, city: $city_name, from_balance: $buy_from_balance, mayor_plot: $bMayorPlot}); |
| 356 | }" |
| 357 | } |
| 358 | ] |
| 359 | }, |
| 360 | { |
| 361 | "if": "{ trigger.data.rand AND trigger.data.req_id AND trigger.address == $variables.randomness_aa }", |
| 362 | "init": "{ |
| 363 | $new_plot_num = trigger.data.req_id; |
| 364 | $new_plot = var['plot_'||$new_plot_num]; |
| 365 | require($new_plot.status == 'pending', "plot already received"); |
| 366 | $new_plot.status = 'land'; |
| 367 | |
| 368 | $n = number_from_seed(trigger.data.rand, 1e12 - 1); |
| 369 | $x = floor($n / 1e6); |
| 370 | $y = $n % 1e6; |
| 371 | $new_plot.x = $x; |
| 372 | $new_plot.y = $y; |
| 373 | }", |
| 374 | "messages": [ |
| 375 | { |
| 376 | "app": "state", |
| 377 | "state": "{ |
| 378 | var['plot_'||$new_plot_num] = $new_plot.amount ? $new_plot : false; |
| 379 | $city_name = $new_plot.city; |
| 380 | if ($new_plot.amount){ |
| 381 | response['event'] = json_stringify({type: 'allocate', plot_num: $new_plot_num, x: $x, y: $y, city: $city_name}); |
| 382 | } |
| 383 | else{ |
| 384 | $state.last_house_num = $state.last_house_num + 2; |
| 385 | var['house_'||$state.last_house_num] = { |
| 386 | plot_num: $new_plot_num, |
| 387 | |
| 388 | amount: 0, |
| 389 | city: $city_name, |
| 390 | x: $x, |
| 391 | y: $y, |
| 392 | ts: timestamp, |
| 393 | plot_ts: $new_plot.ts, |
| 394 | info: $new_plot.info, |
| 395 | }; |
| 396 | var['state'] = $state; |
| 397 | response['event'] = json_stringify({type: 'house', house_num: $state.last_house_num, plot_num: $new_plot_num, amount: 0, x: $x, y: $y, city: $city_name}); |
| 398 | } |
| 399 | $city = var['city_'||$city_name]; |
| 400 | var['rand_provider_balance_'||$variables.randomness_aa] += floor(($new_plot.amount OTHERWISE $city.plot_price OTHERWISE $variables.plot_price) * $variables.randomness_price); |
| 401 | }" |
| 402 | } |
| 403 | ] |
| 404 | }, |
| 405 | { |
| 406 | "if": "{ |
| 407 | $randomness_aa = trigger.data.randomness_aa; |
| 408 | trigger.data.withdraw_rand_provider_earnings AND $randomness_aa |
| 409 | }", |
| 410 | "init": "{ |
| 411 | $balance = var['rand_provider_balance_'||$randomness_aa]; |
| 412 | require($balance, "no balance"); |
| 413 | }", |
| 414 | "messages": [ |
| 415 | { |
| 416 | "app": "payment", |
| 417 | "payload": { |
| 418 | "asset": "{$asset}", |
| 419 | "outputs": [ |
| 420 | { |
| 421 | "address": "{$randomness_aa}", |
| 422 | "amount": "{$balance}" |
| 423 | } |
| 424 | ] |
| 425 | } |
| 426 | }, |
| 427 | { |
| 428 | "app": "state", |
| 429 | "state": "{ |
| 430 | var['rand_provider_balance_'||$randomness_aa] = 0; |
| 431 | }" |
| 432 | } |
| 433 | ] |
| 434 | }, |
| 435 | { |
| 436 | "if": "{trigger.data.leave AND $plot_num}", |
| 437 | "init": "{ |
| 438 | require($plot.owner == trigger.address, "you are not the owner"); |
| 439 | $amount = $plot.amount; |
| 440 | $city_name = $plot.city; |
| 441 | $city = var['city_'||$city_name]; |
| 442 | }", |
| 443 | "messages": [ |
| 444 | { |
| 445 | "app": "payment", |
| 446 | "payload": { |
| 447 | "asset": "{$asset}", |
| 448 | "outputs": [ |
| 449 | { |
| 450 | "address": "{trigger.address}", |
| 451 | "amount": "{$amount}" |
| 452 | } |
| 453 | ] |
| 454 | } |
| 455 | }, |
| 456 | { |
| 457 | "app": "payment", |
| 458 | "payload": { |
| 459 | "asset": "base", |
| 460 | "outputs": [ |
| 461 | { |
| 462 | "address": "{$governance_aa}", |
| 463 | "amount": 1000 |
| 464 | } |
| 465 | ] |
| 466 | } |
| 467 | }, |
| 468 | { |
| 469 | "app": "data", |
| 470 | "payload": { |
| 471 | "update_user_balance": 1, |
| 472 | "address": "{trigger.address}", |
| 473 | "city": "{$city_name}" |
| 474 | } |
| 475 | }, |
| 476 | { |
| 477 | "app": "state", |
| 478 | "state": "{ |
| 479 | var['plot_'||$plot_num] = false; |
| 480 | $city.count_plots = $city.count_plots - 1; |
| 481 | $city.total_land = $city.total_land - $amount; |
| 482 | $city.total_rented = $city.total_rented - $plot.rented_amount; |
| 483 | $state.total_land = $state.total_land - $amount; |
| 484 | var['city_'||$city_name] = $city; |
| 485 | var['user_land_'||trigger.address] -= $amount; |
| 486 | var['user_land_'||$city_name||'_'||trigger.address] -= $amount; |
| 487 | var['state'] = $state; |
| 488 | response['message'] = "Left plot"; |
| 489 | response['event'] = json_stringify({type: 'leave', plot_num: $plot_num, city: $city_name}); |
| 490 | }" |
| 491 | } |
| 492 | ] |
| 493 | }, |
| 494 | { |
| 495 | "if": "{ |
| 496 | $plot1_num = trigger.data.plot1_num; |
| 497 | $plot2_num = trigger.data.plot2_num; |
| 498 | trigger.data.build AND $plot1_num AND $plot2_num |
| 499 | }", |
| 500 | "init": "{ |
| 501 | require($plot1_num < $plot2_num, "not ordered"); |
| 502 | |
| 503 | $plot1 = var['plot_'||$plot1_num]; |
| 504 | require($plot1, "no such plot1"); |
| 505 | require($plot1.status == 'land', "plot1 is not a vacant plot of land, can't build"); |
| 506 | $owner1 = $plot1.owner; |
| 507 | $bOwnerOf1 = $owner1 == trigger.address; |
| 508 | |
| 509 | $plot2 = var['plot_'||$plot2_num]; |
| 510 | require($plot2, "no such plot2"); |
| 511 | require($plot2.status == 'land', "plot2 is not a vacant plot of land, can't build"); |
| 512 | $owner2 = $plot2.owner; |
| 513 | $bOwnerOf2 = $owner2 == trigger.address; |
| 514 | |
| 515 | require($bOwnerOf1 OR $bOwnerOf2, "you are not the owner of any plot"); |
| 516 | if ($bOwnerOf1 AND $bOwnerOf2) |
| 517 | bounce("you are the owner of both plots"); |
| 518 | require($plot1.username != $plot2.username, "both plots are attested to the same username"); |
| 519 | |
| 520 | require($plot1.city == $plot2.city, "plots must be in the same city"); |
| 521 | $city_name = $plot1.city; |
| 522 | $city = var['city_'||$city_name]; |
| 523 | |
| 524 | |
| 525 | if ($plot2.last_transfer_ts) |
| 526 | bounce("the later plot was transferred after matching"); |
| 527 | if ($plot1.last_transfer_ts AND $plot1.last_transfer_ts > $plot2.ts) |
| 528 | bounce("the earlier plot was transferred after matching"); |
| 529 | |
| 530 | |
| 531 | if ($plot1.rental_expiry_ts AND $plot1.rental_expiry_ts - $year > $plot2.ts) |
| 532 | bounce("the earlier plot was expanded by rental after matching"); |
| 533 | |
| 534 | $matching_probability = $city.matching_probability OTHERWISE $variables.matching_probability; |
| 535 | $referral_boost = $city.referral_boost OTHERWISE $variables.referral_boost; |
| 536 | |
| 537 | $is_referrer_match = ($plot2.ref_plot_num AND $plot2.ref_plot_num == $plot1_num) ? 1 : 0; |
| 538 | $plot1_rented_amount = ($plot1.rented_amount AND timestamp < $plot1.rental_expiry_ts) ? $plot1.rented_amount : 0; |
| 539 | |
| 540 | $max_distance = sqrt(1e12 * $matching_probability * (($plot1.amount + $plot1_rented_amount) / ($city.total_land + $city.total_rented) + $is_referrer_match * $referral_boost)) / 2; |
| 541 | $bNeighbors = abs($plot1.x - $plot2.x) <= $max_distance AND abs($plot1.y - $plot2.y) <= $max_distance; |
| 542 | require($bNeighbors, "not neighbors"); |
| 543 | }", |
| 544 | "messages": [ |
| 545 | { |
| 546 | "app": "state", |
| 547 | "state": "{ |
| 548 | $key = 'match_'||$plot1_num||'_'||$plot2_num; |
| 549 | $match = var[$key]; |
| 550 | if (!$match){ |
| 551 | $new_match = {first: trigger.address, ts: timestamp}; |
| 552 | response['message'] = "Registered your request. Your neighbor must send their request within 10 minutes, otherwise you both will have to start over."; |
| 553 | } |
| 554 | else{ |
| 555 | require(!$match.built_ts, "houses already built"); |
| 556 | if ($match.first == trigger.address){ |
| 557 | $match.ts = timestamp; |
| 558 | response['message'] = "Refreshed your request. Your neighbor must send their request within 10 minutes, otherwise you both will have to start over."; |
| 559 | } |
| 560 | else{ |
| 561 | $bInTime = timestamp < $match.ts + $matching_timeout; |
| 562 | if (!$bInTime){ |
| 563 | $match.ts = timestamp; |
| 564 | $match.first = trigger.address; |
| 565 | response['message'] = "Unfortunately, you are too late. Your neighbor has to send their request again within 10 minutes, otherwise you both will have to start over."; |
| 566 | } |
| 567 | else{ |
| 568 | $match.built_ts = timestamp; |
| 569 | $amount = min($plot1.amount, $plot2.amount); |
| 570 | $plot1.amount = $plot1.amount - $amount; |
| 571 | $plot2.amount = $plot2.amount - $amount; |
| 572 | $house1_num = $state.last_house_num + 1; |
| 573 | $house2_num = $house1_num + 1; |
| 574 | $state.last_house_num = $house2_num; |
| 575 | var['house_'||$house1_num] = { |
| 576 | plot_num: $plot1_num, |
| 577 | owner: $owner1, |
| 578 | amount: $amount, |
| 579 | city: $city_name, |
| 580 | x: $plot1.x, |
| 581 | y: $plot1.y, |
| 582 | ts: timestamp, |
| 583 | plot_ts: $plot1.ts, |
| 584 | info: $plot1.info, |
| 585 | }; |
| 586 | var['house_'||$house2_num] = { |
| 587 | plot_num: $plot2_num, |
| 588 | owner: $owner2, |
| 589 | amount: $amount, |
| 590 | city: $city_name, |
| 591 | x: $plot2.x, |
| 592 | y: $plot2.y, |
| 593 | ts: timestamp, |
| 594 | plot_ts: $plot2.ts, |
| 595 | info: $plot2.info, |
| 596 | }; |
| 597 | $events = [ |
| 598 | {type: 'house', house_num: $house1_num, plot_num: $plot1_num, owner: $owner1, amount: $amount, city: $city_name, x: $plot1.x, y: $plot1.y}, |
| 599 | {type: 'house', house_num: $house2_num, plot_num: $plot2_num, owner: $owner2, amount: $amount, city: $city_name, x: $plot2.x, y: $plot2.y}, |
| 600 | ]; |
| 601 | |
| 602 | var['plot_'||$plot1_num] = ($plot1.amount == 0) ? false : $plot1; |
| 603 | var['plot_'||$plot2_num] = ($plot2.amount == 0) ? false : $plot2; |
| 604 | |
| 605 | $lost_rented_amount = (($plot1.amount == 0 AND $plot1.rented_amount) ? $plot1.rented_amount : 0) + (($plot2.amount == 0 AND $plot2.rented_amount) ? $plot2.rented_amount : 0); |
| 606 | if ($lost_rented_amount) |
| 607 | $city.total_rented = $city.total_rented - $lost_rented_amount; |
| 608 | |
| 609 | |
| 610 | $p1 = { |
| 611 | status: 'pending', |
| 612 | owner: $owner1, |
| 613 | username: $plot1.username, |
| 614 | amount: $amount, |
| 615 | city: $city_name, |
| 616 | ts: timestamp, |
| 617 | }; |
| 618 | $p2 = { |
| 619 | status: 'pending', |
| 620 | owner: $owner2, |
| 621 | username: $plot2.username, |
| 622 | amount: $amount, |
| 623 | city: $city_name, |
| 624 | ts: timestamp, |
| 625 | }; |
| 626 | $last_plot_num = $state.last_plot_num; |
| 627 | foreach([1,2], 2, $offset => { |
| 628 | $new_plot_num = $last_plot_num + $offset; |
| 629 | var['plot_'||$new_plot_num] = $p1; |
| 630 | $events[] = {type: 'reward', plot_num: $new_plot_num, owner: $p1.owner, amount: $amount, city: $city_name}; |
| 631 | }); |
| 632 | foreach([3,4], 2, $offset => { |
| 633 | $new_plot_num = $last_plot_num + $offset; |
| 634 | var['plot_'||$new_plot_num] = $p2; |
| 635 | $events[] = {type: 'reward', plot_num: $new_plot_num, owner: $p2.owner, amount: $amount, city: $city_name}; |
| 636 | }); |
| 637 | |
| 638 | |
| 639 | $main_plot_num1 = var['user_main_plot_'||$city_name||'_'||$owner1]; |
| 640 | $main_plot_num2 = var['user_main_plot_'||$city_name||'_'||$owner2]; |
| 641 | if ($main_plot_num1 AND $main_plot_num1 == $plot1_num) |
| 642 | var['user_main_plot_'||$city_name||'_'||$owner1] = $last_plot_num + 1; |
| 643 | if ($main_plot_num2 AND $main_plot_num2 == $plot2_num) |
| 644 | var['user_main_plot_'||$city_name||'_'||$owner2] = $last_plot_num + 3; |
| 645 | |
| 646 | $state.last_plot_num = $last_plot_num + 4; |
| 647 | $state.total_land = $state.total_land + 2 * $amount; |
| 648 | $city.count_plots = $city.count_plots + 2; |
| 649 | $city.count_houses = $city.count_houses + 2; |
| 650 | $city.total_land = $city.total_land + 2 * $amount; |
| 651 | |
| 652 | var['city_'||$city_name] = $city; |
| 653 | var['state'] = $state; |
| 654 | var['user_houses_'||$owner1] += 1; |
| 655 | var['user_houses_'||$owner2] += 1; |
| 656 | var['user_houses_'||$city_name||'_'||$owner1] += 1; |
| 657 | var['user_houses_'||$city_name||'_'||$owner2] += 1; |
| 658 | var['user_land_'||$owner1] += $amount; |
| 659 | var['user_land_'||$owner2] += $amount; |
| 660 | var['user_land_'||$city_name||'_'||$owner1] += $amount; |
| 661 | var['user_land_'||$city_name||'_'||$owner2] += $amount; |
| 662 | |
| 663 | response['message'] = "Now you've built a house on your land and will receive two new plots of land. Please wait a few minutes for the plots to be randomly allocated."; |
| 664 | response['events'] = json_stringify($events); |
| 665 | } |
| 666 | } |
| 667 | } |
| 668 | var[$key] = $match OTHERWISE $new_match; |
| 669 | }" |
| 670 | } |
| 671 | ] |
| 672 | }, |
| 673 | { |
| 674 | "if": "{trigger.data.sell AND $plot_num}", |
| 675 | "init": "{ |
| 676 | $sale_price = trigger.data.sale_price; |
| 677 | require($plot.owner == trigger.address, "you are not the owner"); |
| 678 | require($sale_price > $plot.amount OR $sale_price == 0, "bad sale price"); |
| 679 | }", |
| 680 | "messages": [ |
| 681 | { |
| 682 | "app": "state", |
| 683 | "state": "{ |
| 684 | response['message'] = $sale_price ? 'Put on sale' : 'Withdrawn from sale'; |
| 685 | response['event'] = json_stringify({type: 'p2p-sell', plot_num: $plot_num, sale_price: $sale_price}); |
| 686 | $plot.sale_price = $sale_price; |
| 687 | var['plot_'||$plot_num] = $plot; |
| 688 | }" |
| 689 | } |
| 690 | ] |
| 691 | }, |
| 692 | { |
| 693 | "if": "{ |
| 694 | $p2p_buy = trigger.data.p2p_buy AND !trigger.data.to AND $received_amount > 0; |
| 695 | $plot_num AND (trigger.data.transfer OR $p2p_buy) |
| 696 | }", |
| 697 | "init": "{ |
| 698 | $old_owner = $plot.owner; |
| 699 | if ($p2p_buy){ |
| 700 | require($old_owner != trigger.address, "you are already the owner"); |
| 701 | require($plot.sale_price, "not on sale"); |
| 702 | require($plot.sale_price == $received_amount, "wrong amount"); |
| 703 | $fee = ceil($variables.p2p_sale_fee * $plot.sale_price); |
| 704 | } |
| 705 | else{ |
| 706 | require($old_owner == trigger.address, "you are not the owner"); |
| 707 | require($to != $old_owner, "same owner"); |
| 708 | } |
| 709 | require($username, "new owner's address must be attested"); |
| 710 | }", |
| 711 | "messages": [ |
| 712 | { |
| 713 | "if": "{$p2p_buy}", |
| 714 | "app": "payment", |
| 715 | "payload": { |
| 716 | "asset": "{$asset}", |
| 717 | "outputs": [ |
| 718 | { |
| 719 | "address": "{$old_owner}", |
| 720 | "amount": "{$received_amount - $fee}" |
| 721 | } |
| 722 | ] |
| 723 | } |
| 724 | }, |
| 725 | { |
| 726 | "app": "payment", |
| 727 | "payload": { |
| 728 | "asset": "base", |
| 729 | "outputs": [ |
| 730 | { |
| 731 | "address": "{$governance_aa}", |
| 732 | "amount": 1000 |
| 733 | } |
| 734 | ] |
| 735 | } |
| 736 | }, |
| 737 | { |
| 738 | "app": "data", |
| 739 | "payload": { |
| 740 | "update_user_balance": 1, |
| 741 | "address": "{$old_owner}", |
| 742 | "city": "{$plot.city}" |
| 743 | } |
| 744 | }, |
| 745 | { |
| 746 | "app": "state", |
| 747 | "state": "{ |
| 748 | if ($p2p_buy){ |
| 749 | $new_owner = trigger.address; |
| 750 | response['message'] = 'Bought'; |
| 751 | response['event'] = json_stringify({type: 'p2p-buy', plot_num: $plot_num, amount: $plot.amount, sale_price: $received_amount, fee: $fee, old_owner: $old_owner, new_owner: $new_owner}); |
| 752 | } |
| 753 | else{ |
| 754 | $new_owner = $to; |
| 755 | response['message'] = 'Transferred'; |
| 756 | response['event'] = json_stringify({type: 'transfer', plot_num: $plot_num, old_owner: $old_owner, new_owner: $to}); |
| 757 | } |
| 758 | $plot.owner = $new_owner; |
| 759 | $plot.username = $username; |
| 760 | $plot.last_transfer_ts = timestamp; |
| 761 | delete($plot, 'sale_price'); |
| 762 | |
| 763 | var['plot_'||$plot_num] = $plot; |
| 764 | var['user_land_'||$new_owner] += $plot.amount; |
| 765 | var['user_land_'||$old_owner] -= $plot.amount; |
| 766 | var['user_land_'||$plot.city||'_'||$new_owner] += $plot.amount; |
| 767 | var['user_land_'||$plot.city||'_'||$old_owner] -= $plot.amount; |
| 768 | }" |
| 769 | } |
| 770 | ] |
| 771 | }, |
| 772 | { |
| 773 | "if": "{ |
| 774 | $rented_amount = trigger.data.rented_amount; |
| 775 | trigger.data.rent AND $plot_num AND $rented_amount > 0 AND $received_amount > 0 |
| 776 | }", |
| 777 | "init": "{ |
| 778 | require($plot.owner == trigger.address, "you are not the owner"); |
| 779 | $city = var['city_'||$plot.city]; |
| 780 | $matching_probability = $city.matching_probability OTHERWISE $variables.matching_probability; |
| 781 | $plot_price = $city.plot_price OTHERWISE $variables.plot_price; |
| 782 | |
| 783 | $count_bought = $city.total_bought / $plot_price; |
| 784 | require($count_bought > 10, "too few plots bought yet"); |
| 785 | $old_rented_amount = $plot.rented_amount; |
| 786 | $total_working = $city.total_land + $city.total_rented + $rented_amount - $old_rented_amount; |
| 787 | $elapsed = timestamp - $city.start_ts; |
| 788 | $count_buys_next_year = $year/$elapsed * $count_bought; |
| 789 | |
| 790 | $income_from_one_buy_per_rented_token = 2 * $plot_price * $matching_probability / $total_working; |
| 791 | $fee_per_rented_token = $variables.rental_surcharge_factor * $income_from_one_buy_per_rented_token * $count_buys_next_year; |
| 792 | $rental_fee = ceil($fee_per_rented_token * $rented_amount); |
| 793 | if ($old_rented_amount AND timestamp < $plot.rental_expiry_ts){ |
| 794 | require($rented_amount >= $old_rented_amount, "rental amount cannot be decreased"); |
| 795 | $unused_rent = floor($fee_per_rented_token * $old_rented_amount * ($plot.rental_expiry_ts - timestamp) / $year); |
| 796 | } |
| 797 | $required_fee = $rental_fee - $unused_rent; |
| 798 | require($required_fee > 0, "bad fee"); |
| 799 | $excess = $received_amount - $required_fee; |
| 800 | require($excess >= 0, "not enough paid for rental fee, required "||$required_fee); |
| 801 | }", |
| 802 | "messages": [ |
| 803 | { |
| 804 | "app": "payment", |
| 805 | "payload": { |
| 806 | "asset": "{$asset}", |
| 807 | "outputs": [ |
| 808 | { |
| 809 | "address": "{trigger.address}", |
| 810 | "amount": "{$excess}" |
| 811 | } |
| 812 | ] |
| 813 | } |
| 814 | }, |
| 815 | { |
| 816 | "app": "state", |
| 817 | "state": "{ |
| 818 | response['message'] = 'Rented'; |
| 819 | $city.total_rented = $city.total_rented + $rented_amount - $old_rented_amount; |
| 820 | var['city_'||$plot.city] = $city; |
| 821 | $plot.rented_amount = $rented_amount; |
| 822 | $plot.rental_expiry_ts = timestamp + $year; |
| 823 | response['event'] = json_stringify({type: 'rent', plot_num: $plot_num, rented_amount: $rented_amount, rental_expiry_ts: $plot.rental_expiry_ts, rental_fee: $rental_fee}); |
| 824 | var['plot_'||$plot_num] = $plot; |
| 825 | }" |
| 826 | } |
| 827 | ] |
| 828 | }, |
| 829 | { |
| 830 | "if": "{trigger.data.end_rental AND $plot_num}", |
| 831 | "init": "{ |
| 832 | require($plot.rented_amount AND timestamp > $plot.rental_expiry_ts, "rental is still active"); |
| 833 | $city = var['city_'||$plot.city]; |
| 834 | }", |
| 835 | "messages": [ |
| 836 | { |
| 837 | "app": "state", |
| 838 | "state": "{ |
| 839 | response['message'] = 'Ended rental'; |
| 840 | $city.total_rented = $city.total_rented - $plot.rented_amount; |
| 841 | var['city_'||$plot.city] = $city; |
| 842 | response['event'] = json_stringify({type: 'end_rental', plot_num: $plot_num, rented_amount: $plot.rented_amount}); |
| 843 | $plot.rented_amount = 0; |
| 844 | var['plot_'||$plot_num] = $plot; |
| 845 | }" |
| 846 | } |
| 847 | ] |
| 848 | }, |
| 849 | { |
| 850 | "if": "{ |
| 851 | $days = trigger.data.days; |
| 852 | $house1_num = trigger.data.house1_num; |
| 853 | $house2_num = trigger.data.house2_num; |
| 854 | trigger.data.followup AND $days AND $house1_num AND $house2_num |
| 855 | }", |
| 856 | "init": "{ |
| 857 | require($followup_reward_days[$days], "no such follow-up"); |
| 858 | $house1 = var['house_'||$house1_num]; |
| 859 | $house2 = var['house_'||$house2_num]; |
| 860 | |
| 861 | $key = 'followup_'||$house1_num||'_'||$house2_num; |
| 862 | |
| 863 | $fu = var[$key] OTHERWISE {reward: floor($variables.followup_reward_share * $house1.amount)}; |
| 864 | |
| 865 | $res = $lib#0.$claim_followup_reward($house1, $house2, $house1_num, $house2_num, $days||'', trigger.address, $followup_claim_term, $matching_timeout, $fu); |
| 866 | }", |
| 867 | "messages": [ |
| 868 | { |
| 869 | "app": "state", |
| 870 | "state": "{ |
| 871 | response['message'] = $res.message; |
| 872 | if ($res.bPaid){ |
| 873 | var['balance_'||$house1.owner] += $fu.reward; |
| 874 | var['balance_'||$house2.owner] += $fu.reward; |
| 875 | response['event'] = $res.event; |
| 876 | } |
| 877 | var[$key] = $res.fu; |
| 878 | }" |
| 879 | } |
| 880 | ] |
| 881 | }, |
| 882 | { |
| 883 | "if": "{trigger.data.edit_house AND trigger.data.house_num}", |
| 884 | "init": "{ |
| 885 | $house_num = trigger.data.house_num; |
| 886 | $house = var['house_'||$house_num]; |
| 887 | require($house, "no such house"); |
| 888 | $city = var['city_'||$house.city]; |
| 889 | require($house.owner AND $house.owner == trigger.address OR $house.amount == 0 AND $city.mayor == trigger.address, "you are not the owner"); |
| 890 | }", |
| 891 | "messages": [ |
| 892 | { |
| 893 | "app": "state", |
| 894 | "state": "{ |
| 895 | $shortcode = trigger.data.shortcode; |
| 896 | if (($shortcode OR trigger.data.release_shortcode) AND $house.shortcode){ |
| 897 | var['shortcode_'||$house.shortcode] = false; |
| 898 | $house.shortcode = ''; |
| 899 | } |
| 900 | if ($shortcode){ |
| 901 | require($house.amount, "mayor houses cannot be assigned shortcodes"); |
| 902 | require($house.amount >= $variables.plot_price, "the plot is too cheap"); |
| 903 | require(typeof($shortcode) == 'string', "shortcode must be a string"); |
| 904 | require(has_only($shortcode, "a-z0-9_.-"), "shortcode is allowed to include only lowercase latin letters, numbers, -, _, and ."); |
| 905 | require(!var['shortcode_'||$shortcode], "this shortcode is already taken"); |
| 906 | |
| 907 | |
| 908 | |
| 909 | var['shortcode_'||$shortcode] = $to; |
| 910 | $house.shortcode = $shortcode; |
| 911 | } |
| 912 | if (trigger.data.sell_shortcode AND is_integer(trigger.data.shortcode_price) AND trigger.data.shortcode_price >= 0) |
| 913 | $house.shortcode_price = trigger.data.shortcode_price; |
| 914 | if (exists(trigger.data.new_owner) AND $house.amount == 0) |
| 915 | $house.owner = trigger.data.new_owner; |
| 916 | if (trigger.data.info) |
| 917 | $house.info = trigger.data.info; |
| 918 | response['message'] = 'Edited house'; |
| 919 | response['event'] = json_stringify({type: 'edit_house', house_num: $house_num, info: trigger.data.info, shortcode: $shortcode, release_shortcode: trigger.data.release_shortcode}); |
| 920 | var['house_'||$house_num] = $house; |
| 921 | }" |
| 922 | } |
| 923 | ] |
| 924 | }, |
| 925 | { |
| 926 | "if": "{ |
| 927 | $seller_house_num = trigger.data.seller_house_num; |
| 928 | $my_house_num = trigger.data.my_house_num; |
| 929 | trigger.data.p2p_buy_shortcode AND $seller_house_num AND $my_house_num AND $received_amount > 0 |
| 930 | }", |
| 931 | "init": "{ |
| 932 | $seller_house = var['house_'||$seller_house_num]; |
| 933 | $my_house = var['house_'||$my_house_num]; |
| 934 | |
| 935 | $res = $lib#0.$buy_shortcode($seller_house, $my_house, $seller_house_num, $my_house_num, trigger.address, $received_amount, $variables); |
| 936 | }", |
| 937 | "messages": [ |
| 938 | { |
| 939 | "app": "payment", |
| 940 | "payload": { |
| 941 | "asset": "{$asset}", |
| 942 | "outputs": [ |
| 943 | { |
| 944 | "address": "{$seller_house.owner}", |
| 945 | "amount": "{$res.net_amount}" |
| 946 | } |
| 947 | ] |
| 948 | } |
| 949 | }, |
| 950 | { |
| 951 | "app": "state", |
| 952 | "state": "{ |
| 953 | response['message'] = 'Bought shortcode'; |
| 954 | response['event'] = $res.event; |
| 955 | var['house_'||$seller_house_num] = $res.seller_house; |
| 956 | var['house_'||$my_house_num] = $res.buyer_house; |
| 957 | }" |
| 958 | } |
| 959 | ] |
| 960 | }, |
| 961 | { |
| 962 | "if": "{trigger.data.edit_plot AND $plot_num AND trigger.data.info}", |
| 963 | "init": "{ |
| 964 | require($plot.owner == trigger.address, "you are not the owner"); |
| 965 | }", |
| 966 | "messages": [ |
| 967 | { |
| 968 | "app": "state", |
| 969 | "state": "{ |
| 970 | $plot.info = trigger.data.info; |
| 971 | response['message'] = 'Edited plot'; |
| 972 | response['event'] = json_stringify({type: 'edit_plot', plot_num: $plot_num, info: trigger.data.info}); |
| 973 | var['plot_'||$plot_num] = $plot; |
| 974 | }" |
| 975 | } |
| 976 | ] |
| 977 | }, |
| 978 | { |
| 979 | "if": "{trigger.data.edit_user AND (trigger.data.info OR trigger.data.main_plot_num)}", |
| 980 | "messages": [ |
| 981 | { |
| 982 | "app": "state", |
| 983 | "state": "{ |
| 984 | if (trigger.data.main_plot_num){ |
| 985 | $main_plot = var['plot_'||trigger.data.main_plot_num]; |
| 986 | require($main_plot, "no such plot"); |
| 987 | require($main_plot.owner == trigger.address, "you are not the owner"); |
| 988 | var['user_main_plot_'||$main_plot.city||'_'||trigger.address] = trigger.data.main_plot_num; |
| 989 | } |
| 990 | if (trigger.data.info) |
| 991 | var['user_'||trigger.address] = trigger.data.info; |
| 992 | response['message'] = 'Edited user profile'; |
| 993 | response['event'] = json_stringify({type: 'edit_user', address: trigger.address, info: trigger.data.info, main_plot_num: trigger.data.main_plot_num}); |
| 994 | }" |
| 995 | } |
| 996 | ] |
| 997 | } |
| 998 | ] |
| 999 | } |
| 1000 | } |
| 1001 | ] |