Address GUAAS5Y2YFRW5BZTPBHMLRZ4H6KPY5AX Obyte City AA, transactions and portfolio

GUAAS5Y2YFRW5BZTPBHMLRZ4H6KPY5AX

Obyte City AA

Definition

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