Address CITY22RWZTXX3UDPVQEDJLXM7BQNXCGP Obyte City AA, transactions and portfolio

CITY22RWZTXX3UDPVQEDJLXM7BQNXCGP

defined on 07.06.2026

View Autonomous Agent stats (TVL, turnover)

Obyte City AA

Definition

1	[
2	"autonomous agent",
3	{
4	"doc_url": "https://city.obyte.org/city.json",
5	"getters": "{
6
7	/* nonce: 76039554 */
8
9	$old_city_aa = 'CITYC3WWO5DD2UM6HQR3H333RRTD253Q';
10	$replicator = 'GAFNBCPR3KE3VHJAW4NN36ZA3OU7EGM5'; // replicates data from the old AA, then renounces one's rights
11
12
13	$lib_aa = '3LUPAHCQMJCQDKFVZB7GFKYJMHZ5BC67';
14
15	$year = 31536000; // 365 * 24 * 3600;
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	// 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	$constants = var['constants'] OTHERWISE {};
129
130	// CITY token
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) // we don't check that it is valid and exists
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	// assign coordinates
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{ // free plot created by the mayor
384	$state.last_house_num = $state.last_house_num + 2;
385	var['house_'\|\|$state.last_house_num] = {
386	plot_num: $new_plot_num,
387	// owner: none
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	// 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.
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	// check that no rentals were bought after plot2 to expand the matching area
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	// plot1 has a square around it, and plot2 is just a point that has to land within the square to be declared neighbor
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{ // build houses and allocate new plots
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	// create 4 new plots
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	// reassign main plot num if it has just been built upon
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	// $city.total_bought = $city.total_bought + 2 * $amount;
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{ // transfer
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{ // transfer
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	// if the plot had a rental, it stays with the plot
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"); // to make count_buys_next_year estimate reliable
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	// 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
790	$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
791	$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
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	// the follow-up reward share might be changed by governance but it affects only future followups
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; // $res.fu is the modified $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; // release the old shortcode first
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	// if (trigger.data.address)
907	// require(is_valid_address(trigger.data.address), "address not valid");
908	// $address = trigger.data.address OTHERWISE trigger.address;
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; // 0 removes the shortcode from sale
914	if (exists(trigger.data.new_owner) AND $house.amount == 0) // assign a manager of a mayor house
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	]

State vars

Last AA responses

Message	this follow-up reward has already been paid
Code	18require(!$fu[$days].paid_ts, "this follow-up reward has already been paid");
Trace	aaCITY22RWZTXX3UDPVQEDJLXM7BQNXCGP/messages/cases/13/initline 10 getter3LUPAHCQMJCQDKFVZB7GFKYJMHZ5BC67/gettersclaim_followup_rewardline 18