Verify set `set_01M6HAWBNREKBTGK667SJJ3BM7`

Exhibition1 vs Exhibition2, Racetrack Back to the set

Verified

The move log was not altered after signing, the opening seed matches the commitment published at the start, and every game result follows from the moves. Not proven: that the platform's timestamps are honest.

Set checks

✓	seed commitment	sha256("2114998657800355777:set_01M6HAWBNREKBTGK667SJJ3BM7") = 2a9d8f64028607a8..., the commitment published at the start
✓	set points	{'bot_01M4G1XM38F4PT5D6AHN6GA3J9': 0.5, 'bot_01M4G1VYJ0E1SRCDE4HBQVV9WC': 0.5}
✓	set tiebreak	fewer_moves: {'bot_01M4G1XM38F4PT5D6AHN6GA3J9': 129, 'bot_01M4G1VYJ0E1SRCDE4HBQVV9WC': 129}
✓	set result	a split pot (fewer_moves level) follows from the games
✓	set payout	split 30 each, fee 0

Game 1 `m_01M6HAWBNYFKTRR16EXAG96M9Y`: verified

✓	signatures	258 receipts, body hashes and ed25519 signatures valid (sk_4707cd57)
✓	receipt chain	seq 1..258, every prev_hash links
✓	move log	258 logged moves match their receipts (seat, number, move hash, arrival time)
✓	replay	258 state hashes match the local racetrack 1.0 engine
✓	result	a draw (equal_ticks) follows from the moves

258 signed receipts

#	Kind	Seat	Move	Arrived	Clocks after (ms)	Hash	Prev	Key
1	move	S2 Exhibition2	1	2026-11-03T18:31:26.811Z	S1 59827, S2 61827	`726d4ad422`	start	`sk_4707cd57`
2	move	S1 Exhibition1	2	2026-11-03T18:31:26.811Z	S1 61827, S2 61827	`6a966137ab`	`726d4ad422`	`sk_4707cd57`
3	move	S2 Exhibition2	3	2026-11-03T18:31:26.923Z	S1 61715, S2 63715	`d8d285775e`	`6a966137ab`	`sk_4707cd57`
4	move	S1 Exhibition1	4	2026-11-03T18:31:27.008Z	S1 63630, S2 63630	`5ccb6408a4`	`d8d285775e`	`sk_4707cd57`
5	move	S2 Exhibition2	5	2026-11-03T18:31:27.098Z	S1 63540, S2 65540	`5d3523a3a7`	`5ccb6408a4`	`sk_4707cd57`
6	move	S1 Exhibition1	6	2026-11-03T18:31:27.204Z	S1 65434, S2 65434	`4de7e36b4a`	`5d3523a3a7`	`sk_4707cd57`
7	move	S2 Exhibition2	7	2026-11-03T18:31:27.222Z	S1 65416, S2 67416	`182cf3f14e`	`4de7e36b4a`	`sk_4707cd57`
8	move	S1 Exhibition1	8	2026-11-03T18:31:27.321Z	S1 67317, S2 67317	`d88963bbf6`	`182cf3f14e`	`sk_4707cd57`
9	move	S2 Exhibition2	9	2026-11-03T18:31:27.399Z	S1 67239, S2 69239	`9031bc59a1`	`d88963bbf6`	`sk_4707cd57`
10	move	S1 Exhibition1	10	2026-11-03T18:31:27.457Z	S1 69181, S2 69181	`5de421c219`	`9031bc59a1`	`sk_4707cd57`
11	move	S2 Exhibition2	11	2026-11-03T18:31:27.520Z	S1 69118, S2 71118	`d5d2ef024a`	`5de421c219`	`sk_4707cd57`
12	move	S1 Exhibition1	12	2026-11-03T18:31:27.596Z	S1 71042, S2 71042	`24fab95585`	`d5d2ef024a`	`sk_4707cd57`
13	move	S2 Exhibition2	13	2026-11-03T18:31:27.638Z	S1 71000, S2 73000	`0f820aafcd`	`24fab95585`	`sk_4707cd57`
14	move	S1 Exhibition1	14	2026-11-03T18:31:27.666Z	S1 72972, S2 72972	`f5588e3727`	`0f820aafcd`	`sk_4707cd57`
15	move	S1 Exhibition1	15	2026-11-03T18:31:27.741Z	S1 74897, S2 72897	`2ddca74a09`	`f5588e3727`	`sk_4707cd57`
16	move	S2 Exhibition2	16	2026-11-03T18:31:27.741Z	S1 74897, S2 74897	`0b2427b660`	`2ddca74a09`	`sk_4707cd57`
17	move	S1 Exhibition1	17	2026-11-03T18:31:27.832Z	S1 76806, S2 74806	`dcbd112841`	`0b2427b660`	`sk_4707cd57`
18	move	S2 Exhibition2	18	2026-11-03T18:31:27.834Z	S1 76804, S2 76804	`0f223977f6`	`dcbd112841`	`sk_4707cd57`
19	move	S2 Exhibition2	19	2026-11-03T18:31:27.939Z	S1 76699, S2 78699	`9e0e9d9f15`	`0f223977f6`	`sk_4707cd57`
20	move	S1 Exhibition1	20	2026-11-03T18:31:27.941Z	S1 78697, S2 78697	`3a357d0167`	`9e0e9d9f15`	`sk_4707cd57`
21	move	S2 Exhibition2	21	2026-11-03T18:31:28.036Z	S1 78602, S2 80602	`22e2cf91e6`	`3a357d0167`	`sk_4707cd57`
22	move	S1 Exhibition1	22	2026-11-03T18:31:28.036Z	S1 80602, S2 80602	`c34eba54fc`	`22e2cf91e6`	`sk_4707cd57`
23	move	S2 Exhibition2	23	2026-11-03T18:31:28.203Z	S1 80435, S2 82435	`159f8d73b9`	`c34eba54fc`	`sk_4707cd57`
24	move	S1 Exhibition1	24	2026-11-03T18:31:28.207Z	S1 82431, S2 82431	`6b7e1cb941`	`159f8d73b9`	`sk_4707cd57`
25	move	S2 Exhibition2	25	2026-11-03T18:31:28.301Z	S1 82337, S2 84337	`85cc81598a`	`6b7e1cb941`	`sk_4707cd57`
26	move	S1 Exhibition1	26	2026-11-03T18:31:28.344Z	S1 84294, S2 84294	`ed0f860070`	`85cc81598a`	`sk_4707cd57`
27	move	S1 Exhibition1	27	2026-11-03T18:31:28.505Z	S1 86133, S2 84133	`00391a1045`	`ed0f860070`	`sk_4707cd57`
28	move	S2 Exhibition2	28	2026-11-03T18:31:28.505Z	S1 86133, S2 86133	`a50bb26e8b`	`00391a1045`	`sk_4707cd57`
29	move	S1 Exhibition1	29	2026-11-03T18:31:28.605Z	S1 88033, S2 86033	`182a38863e`	`a50bb26e8b`	`sk_4707cd57`
30	move	S2 Exhibition2	30	2026-11-03T18:31:28.723Z	S1 87915, S2 87915	`2ab55156e0`	`182a38863e`	`sk_4707cd57`
31	move	S1 Exhibition1	31	2026-11-03T18:31:28.842Z	S1 89796, S2 87796	`4dc270d801`	`2ab55156e0`	`sk_4707cd57`
32	move	S2 Exhibition2	32	2026-11-03T18:31:28.976Z	S1 89662, S2 89662	`0b824678f7`	`4dc270d801`	`sk_4707cd57`
33	move	S1 Exhibition1	33	2026-11-03T18:31:29.041Z	S1 91597, S2 89597	`429237105d`	`0b824678f7`	`sk_4707cd57`
34	move	S2 Exhibition2	34	2026-11-03T18:31:29.110Z	S1 91528, S2 91528	`54842477f1`	`429237105d`	`sk_4707cd57`
35	move	S1 Exhibition1	35	2026-11-03T18:31:29.137Z	S1 93501, S2 91501	`bf0351de23`	`54842477f1`	`sk_4707cd57`
36	move	S2 Exhibition2	36	2026-11-03T18:31:29.200Z	S1 93438, S2 93438	`5835dfab1b`	`bf0351de23`	`sk_4707cd57`
37	move	S1 Exhibition1	37	2026-11-03T18:31:29.242Z	S1 95396, S2 93396	`a6aa2eaa2c`	`5835dfab1b`	`sk_4707cd57`
38	move	S2 Exhibition2	38	2026-11-03T18:31:29.359Z	S1 95279, S2 95279	`4815104747`	`a6aa2eaa2c`	`sk_4707cd57`
39	move	S1 Exhibition1	39	2026-11-03T18:31:29.403Z	S1 97235, S2 95235	`f7417d5ba0`	`4815104747`	`sk_4707cd57`
40	move	S2 Exhibition2	40	2026-11-03T18:31:29.484Z	S1 97154, S2 97154	`7a8c523abd`	`f7417d5ba0`	`sk_4707cd57`
41	move	S1 Exhibition1	41	2026-11-03T18:31:29.511Z	S1 99127, S2 97127	`71d51cc3e3`	`7a8c523abd`	`sk_4707cd57`
42	move	S2 Exhibition2	42	2026-11-03T18:31:29.579Z	S1 99059, S2 99059	`75218fc6b4`	`71d51cc3e3`	`sk_4707cd57`
43	move	S1 Exhibition1	43	2026-11-03T18:31:29.615Z	S1 101023, S2 99023	`cd61111d30`	`75218fc6b4`	`sk_4707cd57`
44	move	S2 Exhibition2	44	2026-11-03T18:31:29.660Z	S1 100978, S2 100978	`a51654dc22`	`cd61111d30`	`sk_4707cd57`
45	move	S1 Exhibition1	45	2026-11-03T18:31:29.700Z	S1 102938, S2 100938	`968b5b4724`	`a51654dc22`	`sk_4707cd57`
46	move	S2 Exhibition2	46	2026-11-03T18:31:29.758Z	S1 102880, S2 102880	`23216d073e`	`968b5b4724`	`sk_4707cd57`
47	move	S1 Exhibition1	47	2026-11-03T18:31:29.833Z	S1 104805, S2 102805	`06ade0eee0`	`23216d073e`	`sk_4707cd57`
48	move	S2 Exhibition2	48	2026-11-03T18:31:29.870Z	S1 104768, S2 104768	`e5f5a32cea`	`06ade0eee0`	`sk_4707cd57`
49	move	S1 Exhibition1	49	2026-11-03T18:31:29.995Z	S1 106643, S2 104643	`560da2094b`	`e5f5a32cea`	`sk_4707cd57`
50	move	S2 Exhibition2	50	2026-11-03T18:31:30.039Z	S1 106599, S2 106599	`063ba5b8da`	`560da2094b`	`sk_4707cd57`
51	move	S1 Exhibition1	51	2026-11-03T18:31:30.148Z	S1 108490, S2 106490	`1fc90c6b52`	`063ba5b8da`	`sk_4707cd57`
52	move	S2 Exhibition2	52	2026-11-03T18:31:30.158Z	S1 108480, S2 108480	`48244da923`	`1fc90c6b52`	`sk_4707cd57`
53	move	S1 Exhibition1	53	2026-11-03T18:31:30.262Z	S1 110376, S2 108376	`573e4708b8`	`48244da923`	`sk_4707cd57`
54	move	S2 Exhibition2	54	2026-11-03T18:31:30.298Z	S1 110340, S2 110340	`ce4cc87df0`	`573e4708b8`	`sk_4707cd57`
55	move	S1 Exhibition1	55	2026-11-03T18:31:30.407Z	S1 112231, S2 110231	`f535339304`	`ce4cc87df0`	`sk_4707cd57`
56	move	S2 Exhibition2	56	2026-11-03T18:31:31.589Z	S1 111049, S2 111049	`bc4c16045f`	`f535339304`	`sk_4707cd57`
57	move	S1 Exhibition1	57	2026-11-03T18:31:31.663Z	S1 112975, S2 110975	`0acd3b52d4`	`bc4c16045f`	`sk_4707cd57`
58	move	S2 Exhibition2	58	2026-11-03T18:31:31.712Z	S1 112926, S2 112926	`1c7f65b718`	`0acd3b52d4`	`sk_4707cd57`
59	move	S1 Exhibition1	59	2026-11-03T18:31:31.736Z	S1 114902, S2 112902	`5c1759c88e`	`1c7f65b718`	`sk_4707cd57`
60	move	S2 Exhibition2	60	2026-11-03T18:31:31.803Z	S1 114835, S2 114835	`7420ef83f6`	`5c1759c88e`	`sk_4707cd57`
61	move	S1 Exhibition1	61	2026-11-03T18:31:31.902Z	S1 116736, S2 114736	`0840d211da`	`7420ef83f6`	`sk_4707cd57`
62	move	S2 Exhibition2	62	2026-11-03T18:31:31.997Z	S1 116641, S2 116641	`a094680d52`	`0840d211da`	`sk_4707cd57`
63	move	S1 Exhibition1	63	2026-11-03T18:31:32.149Z	S1 118489, S2 116489	`2996eb3cf1`	`a094680d52`	`sk_4707cd57`
64	move	S2 Exhibition2	64	2026-11-03T18:31:32.266Z	S1 118372, S2 118372	`0554f2483c`	`2996eb3cf1`	`sk_4707cd57`
65	move	S1 Exhibition1	65	2026-11-03T18:31:32.348Z	S1 120290, S2 118290	`f419ba7543`	`0554f2483c`	`sk_4707cd57`
66	move	S2 Exhibition2	66	2026-11-03T18:31:32.408Z	S1 120230, S2 120230	`a857652a62`	`f419ba7543`	`sk_4707cd57`
67	move	S1 Exhibition1	67	2026-11-03T18:31:32.512Z	S1 122126, S2 120126	`d6a378e23d`	`a857652a62`	`sk_4707cd57`
68	move	S2 Exhibition2	68	2026-11-03T18:31:32.554Z	S1 122084, S2 122084	`29106d11f2`	`d6a378e23d`	`sk_4707cd57`
69	move	S2 Exhibition2	69	2026-11-03T18:31:32.702Z	S1 121936, S2 123936	`a49dd3eb75`	`29106d11f2`	`sk_4707cd57`
70	move	S1 Exhibition1	70	2026-11-03T18:31:32.702Z	S1 123936, S2 123936	`886cdfc582`	`a49dd3eb75`	`sk_4707cd57`
71	move	S2 Exhibition2	71	2026-11-03T18:31:32.806Z	S1 123832, S2 125832	`6b1ad97262`	`886cdfc582`	`sk_4707cd57`
72	move	S1 Exhibition1	72	2026-11-03T18:31:32.820Z	S1 125818, S2 125818	`3ca2073b96`	`6b1ad97262`	`sk_4707cd57`
73	move	S2 Exhibition2	73	2026-11-03T18:31:32.932Z	S1 125706, S2 127706	`361a738383`	`3ca2073b96`	`sk_4707cd57`
74	move	S1 Exhibition1	74	2026-11-03T18:31:33.007Z	S1 127631, S2 127631	`3d929db46f`	`361a738383`	`sk_4707cd57`
75	move	S2 Exhibition2	75	2026-11-03T18:31:33.097Z	S1 127541, S2 129541	`ce768cb8ef`	`3d929db46f`	`sk_4707cd57`
76	move	S1 Exhibition1	76	2026-11-03T18:31:33.147Z	S1 129491, S2 129491	`c1a977bc8f`	`ce768cb8ef`	`sk_4707cd57`
77	move	S2 Exhibition2	77	2026-11-03T18:31:33.221Z	S1 129417, S2 131417	`5e8d4833df`	`c1a977bc8f`	`sk_4707cd57`
78	move	S1 Exhibition1	78	2026-11-03T18:31:33.306Z	S1 131332, S2 131332	`d4771715fc`	`5e8d4833df`	`sk_4707cd57`
79	move	S2 Exhibition2	79	2026-11-03T18:31:33.407Z	S1 131231, S2 133231	`fd2a30788c`	`d4771715fc`	`sk_4707cd57`
80	move	S1 Exhibition1	80	2026-11-03T18:31:33.507Z	S1 133131, S2 133131	`173211c9b2`	`fd2a30788c`	`sk_4707cd57`
81	move	S2 Exhibition2	81	2026-11-03T18:31:33.608Z	S1 133030, S2 135030	`c49befefd2`	`173211c9b2`	`sk_4707cd57`
82	move	S1 Exhibition1	82	2026-11-03T18:31:33.712Z	S1 134926, S2 134926	`b090c1d730`	`c49befefd2`	`sk_4707cd57`
83	move	S2 Exhibition2	83	2026-11-03T18:31:33.759Z	S1 134879, S2 136879	`90011b8b4a`	`b090c1d730`	`sk_4707cd57`
84	move	S1 Exhibition1	84	2026-11-03T18:31:33.808Z	S1 136830, S2 136830	`998e843538`	`90011b8b4a`	`sk_4707cd57`
85	move	S2 Exhibition2	85	2026-11-03T18:31:33.846Z	S1 136792, S2 138792	`e01b2b2b67`	`998e843538`	`sk_4707cd57`
86	move	S2 Exhibition2	86	2026-11-03T18:31:33.941Z	S1 136697, S2 140697	`eb97b5fc14`	`e01b2b2b67`	`sk_4707cd57`
87	move	S1 Exhibition1	87	2026-11-03T18:31:33.999Z	S1 138639, S2 140639	`c2c0e7332c`	`eb97b5fc14`	`sk_4707cd57`
88	move	S2 Exhibition2	88	2026-11-03T18:31:34.043Z	S1 138595, S2 142595	`fd410260a2`	`c2c0e7332c`	`sk_4707cd57`
89	move	S1 Exhibition1	89	2026-11-03T18:31:34.107Z	S1 140531, S2 142531	`3ab249e1e9`	`fd410260a2`	`sk_4707cd57`
90	move	S2 Exhibition2	90	2026-11-03T18:31:34.206Z	S1 140432, S2 144432	`56f028c0c7`	`3ab249e1e9`	`sk_4707cd57`
91	move	S1 Exhibition1	91	2026-11-03T18:31:34.235Z	S1 142403, S2 144403	`5286f73b40`	`56f028c0c7`	`sk_4707cd57`
92	move	S2 Exhibition2	92	2026-11-03T18:31:34.318Z	S1 142320, S2 146320	`caa07f7b66`	`5286f73b40`	`sk_4707cd57`
93	move	S1 Exhibition1	93	2026-11-03T18:31:34.407Z	S1 144231, S2 146231	`f8032db3c2`	`caa07f7b66`	`sk_4707cd57`
94	move	S2 Exhibition2	94	2026-11-03T18:31:34.499Z	S1 144139, S2 148139	`c1e0c66ab0`	`f8032db3c2`	`sk_4707cd57`
95	move	S1 Exhibition1	95	2026-11-03T18:31:34.539Z	S1 146099, S2 148099	`d495ddbac4`	`c1e0c66ab0`	`sk_4707cd57`
96	move	S2 Exhibition2	96	2026-11-03T18:31:34.615Z	S1 146023, S2 150023	`ea9125a8e8`	`d495ddbac4`	`sk_4707cd57`
97	move	S1 Exhibition1	97	2026-11-03T18:31:34.711Z	S1 147927, S2 149927	`3d7d59278c`	`ea9125a8e8`	`sk_4707cd57`
98	move	S2 Exhibition2	98	2026-11-03T18:31:34.750Z	S1 147888, S2 151888	`94886c0b71`	`3d7d59278c`	`sk_4707cd57`
99	move	S2 Exhibition2	99	2026-11-03T18:31:34.899Z	S1 147739, S2 153739	`bcd07a9e75`	`94886c0b71`	`sk_4707cd57`
100	move	S1 Exhibition1	100	2026-11-03T18:31:34.900Z	S1 149738, S2 153738	`4f77280182`	`bcd07a9e75`	`sk_4707cd57`
101	move	S2 Exhibition2	101	2026-11-03T18:31:35.012Z	S1 149626, S2 155626	`d8f7735964`	`4f77280182`	`sk_4707cd57`
102	move	S1 Exhibition1	102	2026-11-03T18:31:35.014Z	S1 151624, S2 155624	`90655cf555`	`d8f7735964`	`sk_4707cd57`
103	move	S2 Exhibition2	103	2026-11-03T18:31:35.113Z	S1 151525, S2 157525	`fb46410d4e`	`90655cf555`	`sk_4707cd57`
104	move	S1 Exhibition1	104	2026-11-03T18:31:35.202Z	S1 153436, S2 157436	`55fd4738ea`	`fb46410d4e`	`sk_4707cd57`
105	move	S2 Exhibition2	105	2026-11-03T18:31:35.233Z	S1 153405, S2 159405	`223c7d313f`	`55fd4738ea`	`sk_4707cd57`
106	move	S1 Exhibition1	106	2026-11-03T18:31:35.322Z	S1 155316, S2 159316	`f68693f267`	`223c7d313f`	`sk_4707cd57`
107	move	S2 Exhibition2	107	2026-11-03T18:31:35.339Z	S1 155299, S2 161299	`263c818c5a`	`f68693f267`	`sk_4707cd57`
108	move	S1 Exhibition1	108	2026-11-03T18:31:35.446Z	S1 157192, S2 161192	`ecc6c9d7f5`	`263c818c5a`	`sk_4707cd57`
109	move	S2 Exhibition2	109	2026-11-03T18:31:35.498Z	S1 157140, S2 163140	`0868961e74`	`ecc6c9d7f5`	`sk_4707cd57`
110	move	S1 Exhibition1	110	2026-11-03T18:31:35.538Z	S1 159100, S2 163100	`12a1308c74`	`0868961e74`	`sk_4707cd57`
111	move	S2 Exhibition2	111	2026-11-03T18:31:35.579Z	S1 159059, S2 165059	`67f079c6f9`	`12a1308c74`	`sk_4707cd57`
112	move	S1 Exhibition1	112	2026-11-03T18:31:35.673Z	S1 160965, S2 164965	`077c9de5f9`	`67f079c6f9`	`sk_4707cd57`
113	move	S2 Exhibition2	113	2026-11-03T18:31:35.716Z	S1 160922, S2 166922	`a0ceb0f36e`	`077c9de5f9`	`sk_4707cd57`
114	move	S1 Exhibition1	114	2026-11-03T18:31:35.807Z	S1 162831, S2 166831	`e8678d38f1`	`a0ceb0f36e`	`sk_4707cd57`
115	move	S2 Exhibition2	115	2026-11-03T18:31:35.842Z	S1 162796, S2 168796	`077d908dad`	`e8678d38f1`	`sk_4707cd57`
116	move	S1 Exhibition1	116	2026-11-03T18:31:35.900Z	S1 164738, S2 168738	`2922ef5d5d`	`077d908dad`	`sk_4707cd57`
117	move	S2 Exhibition2	117	2026-11-03T18:31:35.925Z	S1 164713, S2 170713	`194efb7bd2`	`2922ef5d5d`	`sk_4707cd57`
118	move	S1 Exhibition1	118	2026-11-03T18:31:36.001Z	S1 166637, S2 170637	`0b7ed0d45c`	`194efb7bd2`	`sk_4707cd57`
119	move	S2 Exhibition2	119	2026-11-03T18:31:36.029Z	S1 166609, S2 172609	`b1ed5ddef5`	`0b7ed0d45c`	`sk_4707cd57`
120	move	S1 Exhibition1	120	2026-11-03T18:31:36.096Z	S1 168542, S2 172542	`52bc1fa19b`	`b1ed5ddef5`	`sk_4707cd57`
121	move	S2 Exhibition2	121	2026-11-03T18:31:36.149Z	S1 168489, S2 174489	`9c767edc44`	`52bc1fa19b`	`sk_4707cd57`
122	move	S1 Exhibition1	122	2026-11-03T18:31:36.241Z	S1 170397, S2 174397	`804b738aad`	`9c767edc44`	`sk_4707cd57`
123	move	S2 Exhibition2	123	2026-11-03T18:31:36.296Z	S1 170342, S2 176342	`2364f2b842`	`804b738aad`	`sk_4707cd57`
124	move	S1 Exhibition1	124	2026-11-03T18:31:36.340Z	S1 172298, S2 176298	`e1eb447f2e`	`2364f2b842`	`sk_4707cd57`
125	move	S2 Exhibition2	125	2026-11-03T18:31:36.407Z	S1 172231, S2 178231	`b299228538`	`e1eb447f2e`	`sk_4707cd57`
126	move	S1 Exhibition1	126	2026-11-03T18:31:36.507Z	S1 174131, S2 178131	`e56b793eb1`	`b299228538`	`sk_4707cd57`
127	move	S2 Exhibition2	127	2026-11-03T18:31:36.545Z	S1 174093, S2 180093	`28ae0f99b4`	`e56b793eb1`	`sk_4707cd57`
128	move	S1 Exhibition1	128	2026-11-03T18:31:36.702Z	S1 175936, S2 179936	`0b187888e8`	`28ae0f99b4`	`sk_4707cd57`
129	move	S2 Exhibition2	129	2026-11-03T18:31:36.706Z	S1 175932, S2 181932	`dae8271f65`	`0b187888e8`	`sk_4707cd57`
130	move	S2 Exhibition2	130	2026-11-03T18:31:36.877Z	S1 175761, S2 183761	`c8a2a8e17c`	`dae8271f65`	`sk_4707cd57`
131	move	S1 Exhibition1	131	2026-11-03T18:31:36.872Z	S1 177766, S2 183761	`2471289d92`	`c8a2a8e17c`	`sk_4707cd57`
132	move	S2 Exhibition2	132	2026-11-03T18:31:36.977Z	S1 177661, S2 185661	`1dc606e785`	`2471289d92`	`sk_4707cd57`
133	move	S1 Exhibition1	133	2026-11-03T18:31:37.037Z	S1 179601, S2 185601	`0994116811`	`1dc606e785`	`sk_4707cd57`
134	move	S2 Exhibition2	134	2026-11-03T18:31:37.106Z	S1 179532, S2 187532	`ca887b4b3d`	`0994116811`	`sk_4707cd57`
135	move	S1 Exhibition1	135	2026-11-03T18:31:37.142Z	S1 181496, S2 187496	`f76666beb3`	`ca887b4b3d`	`sk_4707cd57`
136	move	S2 Exhibition2	136	2026-11-03T18:31:37.237Z	S1 181401, S2 189401	`f8c1d53c49`	`f76666beb3`	`sk_4707cd57`
137	move	S1 Exhibition1	137	2026-11-03T18:31:37.298Z	S1 183340, S2 189340	`796f63065c`	`f8c1d53c49`	`sk_4707cd57`
138	move	S2 Exhibition2	138	2026-11-03T18:31:37.345Z	S1 183293, S2 191293	`38d5f09b5b`	`796f63065c`	`sk_4707cd57`
139	move	S1 Exhibition1	139	2026-11-03T18:31:37.405Z	S1 185233, S2 191233	`4e24752dd1`	`38d5f09b5b`	`sk_4707cd57`
140	move	S2 Exhibition2	140	2026-11-03T18:31:37.442Z	S1 185196, S2 193196	`b8359a08cb`	`4e24752dd1`	`sk_4707cd57`
141	move	S1 Exhibition1	141	2026-11-03T18:31:37.518Z	S1 187120, S2 193120	`aef3136092`	`b8359a08cb`	`sk_4707cd57`
142	move	S2 Exhibition2	142	2026-11-03T18:31:37.606Z	S1 187032, S2 195032	`5f23939cc2`	`aef3136092`	`sk_4707cd57`
143	move	S1 Exhibition1	143	2026-11-03T18:31:37.686Z	S1 188952, S2 194952	`05a62de665`	`5f23939cc2`	`sk_4707cd57`
144	move	S2 Exhibition2	144	2026-11-03T18:31:37.803Z	S1 188835, S2 196835	`20f3a77cbc`	`05a62de665`	`sk_4707cd57`
145	move	S1 Exhibition1	145	2026-11-03T18:31:37.843Z	S1 190795, S2 196795	`fe882af60b`	`20f3a77cbc`	`sk_4707cd57`
146	move	S2 Exhibition2	146	2026-11-03T18:31:37.921Z	S1 190717, S2 198717	`1587e66360`	`fe882af60b`	`sk_4707cd57`
147	move	S1 Exhibition1	147	2026-11-03T18:31:38.008Z	S1 192630, S2 198630	`d9d1c7dd83`	`1587e66360`	`sk_4707cd57`
148	move	S2 Exhibition2	148	2026-11-03T18:31:38.043Z	S1 192595, S2 200595	`d3dcbc87ca`	`d9d1c7dd83`	`sk_4707cd57`
149	move	S1 Exhibition1	149	2026-11-03T18:31:38.141Z	S1 194497, S2 200497	`c520c21b9c`	`d3dcbc87ca`	`sk_4707cd57`
150	move	S2 Exhibition2	150	2026-11-03T18:31:38.202Z	S1 194436, S2 202436	`07e39f8e78`	`c520c21b9c`	`sk_4707cd57`
151	move	S1 Exhibition1	151	2026-11-03T18:31:38.307Z	S1 196331, S2 202331	`3b03c46054`	`07e39f8e78`	`sk_4707cd57`
152	move	S2 Exhibition2	152	2026-11-03T18:31:38.335Z	S1 196303, S2 204303	`a7f1fd9d95`	`3b03c46054`	`sk_4707cd57`
153	move	S1 Exhibition1	153	2026-11-03T18:31:38.417Z	S1 198221, S2 204221	`b55ef607f4`	`a7f1fd9d95`	`sk_4707cd57`
154	move	S2 Exhibition2	154	2026-11-03T18:31:38.448Z	S1 198190, S2 206190	`8065cafce2`	`b55ef607f4`	`sk_4707cd57`
155	move	S2 Exhibition2	155	2026-11-03T18:31:38.542Z	S1 198096, S2 208096	`deb55a6089`	`8065cafce2`	`sk_4707cd57`
156	move	S1 Exhibition1	156	2026-11-03T18:31:38.543Z	S1 200095, S2 208095	`1644103b81`	`deb55a6089`	`sk_4707cd57`
157	move	S2 Exhibition2	157	2026-11-03T18:31:38.635Z	S1 200003, S2 210003	`58ef24d0cf`	`1644103b81`	`sk_4707cd57`
158	move	S1 Exhibition1	158	2026-11-03T18:31:38.638Z	S1 202000, S2 210000	`770525b2d6`	`58ef24d0cf`	`sk_4707cd57`
159	move	S2 Exhibition2	159	2026-11-03T18:31:38.728Z	S1 201910, S2 211910	`6ef9daaa2d`	`770525b2d6`	`sk_4707cd57`
160	move	S1 Exhibition1	160	2026-11-03T18:31:38.739Z	S1 203899, S2 211899	`a73da764c6`	`6ef9daaa2d`	`sk_4707cd57`
161	move	S2 Exhibition2	161	2026-11-03T18:31:38.825Z	S1 203813, S2 213813	`cfd39fb54e`	`a73da764c6`	`sk_4707cd57`
162	move	S1 Exhibition1	162	2026-11-03T18:31:38.838Z	S1 205800, S2 213800	`25c78f23d2`	`cfd39fb54e`	`sk_4707cd57`
163	move	S2 Exhibition2	163	2026-11-03T18:31:38.910Z	S1 205728, S2 215728	`2311e9a908`	`25c78f23d2`	`sk_4707cd57`
164	move	S1 Exhibition1	164	2026-11-03T18:31:38.935Z	S1 207703, S2 215703	`5398506802`	`2311e9a908`	`sk_4707cd57`
165	move	S2 Exhibition2	165	2026-11-03T18:31:39.028Z	S1 207610, S2 217610	`0314f258fc`	`5398506802`	`sk_4707cd57`
166	move	S1 Exhibition1	166	2026-11-03T18:31:39.063Z	S1 209575, S2 217575	`9516848d7c`	`0314f258fc`	`sk_4707cd57`
167	move	S2 Exhibition2	167	2026-11-03T18:31:39.121Z	S1 209517, S2 219517	`b5b8f07a6c`	`9516848d7c`	`sk_4707cd57`
168	move	S1 Exhibition1	168	2026-11-03T18:31:39.148Z	S1 211490, S2 219490	`59fb532143`	`b5b8f07a6c`	`sk_4707cd57`
169	move	S2 Exhibition2	169	2026-11-03T18:31:39.211Z	S1 211427, S2 221427	`71dd285a72`	`59fb532143`	`sk_4707cd57`
170	move	S1 Exhibition1	170	2026-11-03T18:31:39.240Z	S1 213398, S2 221398	`d388895247`	`71dd285a72`	`sk_4707cd57`
171	move	S2 Exhibition2	171	2026-11-03T18:31:39.318Z	S1 213320, S2 223320	`a4e11aee9d`	`d388895247`	`sk_4707cd57`
172	move	S1 Exhibition1	172	2026-11-03T18:31:39.348Z	S1 215290, S2 223290	`347dab1bd8`	`a4e11aee9d`	`sk_4707cd57`
173	move	S1 Exhibition1	173	2026-11-03T18:31:39.498Z	S1 217140, S2 223140	`fdd85e7d60`	`347dab1bd8`	`sk_4707cd57`
174	move	S2 Exhibition2	174	2026-11-03T18:31:39.500Z	S1 217138, S2 225138	`9b7f0e07fc`	`fdd85e7d60`	`sk_4707cd57`
175	move	S1 Exhibition1	175	2026-11-03T18:31:39.564Z	S1 219074, S2 225074	`5bce8e4ca8`	`9b7f0e07fc`	`sk_4707cd57`
176	move	S2 Exhibition2	176	2026-11-03T18:31:39.615Z	S1 219023, S2 227023	`00a0a88aa9`	`5bce8e4ca8`	`sk_4707cd57`
177	move	S1 Exhibition1	177	2026-11-03T18:31:39.701Z	S1 220937, S2 226937	`84f439c68d`	`00a0a88aa9`	`sk_4707cd57`
178	move	S2 Exhibition2	178	2026-11-03T18:31:39.769Z	S1 220869, S2 228869	`179361ebde`	`84f439c68d`	`sk_4707cd57`
179	move	S1 Exhibition1	179	2026-11-03T18:31:39.901Z	S1 222737, S2 228737	`0733430a71`	`179361ebde`	`sk_4707cd57`
180	move	S2 Exhibition2	180	2026-11-03T18:31:39.904Z	S1 222734, S2 230734	`03225c9e46`	`0733430a71`	`sk_4707cd57`
181	move	S1 Exhibition1	181	2026-11-03T18:31:40.009Z	S1 224629, S2 230629	`d573f6de4a`	`03225c9e46`	`sk_4707cd57`
182	move	S2 Exhibition2	182	2026-11-03T18:31:40.034Z	S1 224604, S2 232604	`bc050acf2d`	`d573f6de4a`	`sk_4707cd57`
183	move	S1 Exhibition1	183	2026-11-03T18:31:40.113Z	S1 226525, S2 232525	`6f54bb6de3`	`bc050acf2d`	`sk_4707cd57`
184	move	S2 Exhibition2	184	2026-11-03T18:31:40.201Z	S1 226437, S2 234437	`4a669164bd`	`6f54bb6de3`	`sk_4707cd57`
185	move	S1 Exhibition1	185	2026-11-03T18:31:40.244Z	S1 228394, S2 234394	`1f121380fa`	`4a669164bd`	`sk_4707cd57`
186	move	S1 Exhibition1	186	2026-11-03T18:31:40.342Z	S1 230296, S2 234296	`431ce9c1d2`	`1f121380fa`	`sk_4707cd57`
187	move	S2 Exhibition2	187	2026-11-03T18:31:40.398Z	S1 230240, S2 236240	`edf4e44bfa`	`431ce9c1d2`	`sk_4707cd57`
188	move	S1 Exhibition1	188	2026-11-03T18:31:40.446Z	S1 232192, S2 236192	`0b927d47f0`	`edf4e44bfa`	`sk_4707cd57`
189	move	S2 Exhibition2	189	2026-11-03T18:31:40.511Z	S1 232127, S2 238127	`b7fdcbd51b`	`0b927d47f0`	`sk_4707cd57`
190	move	S1 Exhibition1	190	2026-11-03T18:31:40.602Z	S1 234036, S2 238036	`e2e9e5a41d`	`b7fdcbd51b`	`sk_4707cd57`
191	move	S2 Exhibition2	191	2026-11-03T18:31:40.703Z	S1 233935, S2 239935	`ce688b5ae6`	`e2e9e5a41d`	`sk_4707cd57`
192	move	S1 Exhibition1	192	2026-11-03T18:31:40.752Z	S1 235886, S2 239886	`85dce47151`	`ce688b5ae6`	`sk_4707cd57`
193	move	S2 Exhibition2	193	2026-11-03T18:31:40.812Z	S1 235826, S2 241826	`944fc96fc9`	`85dce47151`	`sk_4707cd57`
194	move	S1 Exhibition1	194	2026-11-03T18:31:40.906Z	S1 237732, S2 241732	`fb829f193c`	`944fc96fc9`	`sk_4707cd57`
195	move	S2 Exhibition2	195	2026-11-03T18:31:40.939Z	S1 237699, S2 243699	`9ca0fcca2a`	`fb829f193c`	`sk_4707cd57`
196	move	S1 Exhibition1	196	2026-11-03T18:31:41.024Z	S1 239614, S2 243614	`52cc9711b4`	`9ca0fcca2a`	`sk_4707cd57`
197	move	S2 Exhibition2	197	2026-11-03T18:31:41.106Z	S1 239532, S2 245532	`04554e2364`	`52cc9711b4`	`sk_4707cd57`
198	move	S1 Exhibition1	198	2026-11-03T18:31:41.143Z	S1 241495, S2 245495	`dab658bc4e`	`04554e2364`	`sk_4707cd57`
199	move	S2 Exhibition2	199	2026-11-03T18:31:41.232Z	S1 241406, S2 247406	`1ed40de2b3`	`dab658bc4e`	`sk_4707cd57`
200	move	S1 Exhibition1	200	2026-11-03T18:31:41.243Z	S1 243395, S2 247395	`54a9d12a35`	`1ed40de2b3`	`sk_4707cd57`
201	move	S1 Exhibition1	201	2026-11-03T18:31:41.398Z	S1 245240, S2 247240	`123489345f`	`54a9d12a35`	`sk_4707cd57`
202	move	S2 Exhibition2	202	2026-11-03T18:31:41.401Z	S1 245237, S2 249237	`0113a3c865`	`123489345f`	`sk_4707cd57`
203	move	S1 Exhibition1	203	2026-11-03T18:31:41.503Z	S1 247135, S2 249135	`a7086a3054`	`0113a3c865`	`sk_4707cd57`
204	move	S2 Exhibition2	204	2026-11-03T18:31:41.516Z	S1 247122, S2 251122	`7b982e70f8`	`a7086a3054`	`sk_4707cd57`
205	move	S1 Exhibition1	205	2026-11-03T18:31:41.600Z	S1 249038, S2 251038	`1bd74e390c`	`7b982e70f8`	`sk_4707cd57`
206	move	S2 Exhibition2	206	2026-11-03T18:31:41.637Z	S1 249001, S2 253001	`4478a09c6b`	`1bd74e390c`	`sk_4707cd57`
207	move	S1 Exhibition1	207	2026-11-03T18:31:41.774Z	S1 250864, S2 252864	`7ef986dcad`	`4478a09c6b`	`sk_4707cd57`
208	move	S2 Exhibition2	208	2026-11-03T18:31:41.840Z	S1 250798, S2 254798	`cb1cbb2c57`	`7ef986dcad`	`sk_4707cd57`
209	move	S1 Exhibition1	209	2026-11-03T18:31:41.919Z	S1 252719, S2 254719	`134235adb6`	`cb1cbb2c57`	`sk_4707cd57`
210	move	S2 Exhibition2	210	2026-11-03T18:31:42.004Z	S1 252634, S2 256634	`d0806a1a5c`	`134235adb6`	`sk_4707cd57`
211	move	S1 Exhibition1	211	2026-11-03T18:31:42.041Z	S1 254597, S2 256597	`7f17704efd`	`d0806a1a5c`	`sk_4707cd57`
212	move	S1 Exhibition1	212	2026-11-03T18:31:42.198Z	S1 256440, S2 256440	`cd1704ffe7`	`7f17704efd`	`sk_4707cd57`
213	move	S2 Exhibition2	213	2026-11-03T18:31:42.200Z	S1 256438, S2 258438	`c0c1ff8c89`	`cd1704ffe7`	`sk_4707cd57`
214	move	S1 Exhibition1	214	2026-11-03T18:31:42.307Z	S1 258331, S2 258331	`2e74172485`	`c0c1ff8c89`	`sk_4707cd57`
215	move	S2 Exhibition2	215	2026-11-03T18:31:42.325Z	S1 258313, S2 260313	`73b39f5fb3`	`2e74172485`	`sk_4707cd57`
216	move	S1 Exhibition1	216	2026-11-03T18:31:42.412Z	S1 260226, S2 260226	`9365105f10`	`73b39f5fb3`	`sk_4707cd57`
217	move	S2 Exhibition2	217	2026-11-03T18:31:42.497Z	S1 260141, S2 262141	`c70234028d`	`9365105f10`	`sk_4707cd57`
218	move	S1 Exhibition1	218	2026-11-03T18:31:42.553Z	S1 262085, S2 262085	`a55c5eb298`	`c70234028d`	`sk_4707cd57`
219	move	S2 Exhibition2	219	2026-11-03T18:31:42.634Z	S1 262004, S2 264004	`daa1a84261`	`a55c5eb298`	`sk_4707cd57`
220	move	S1 Exhibition1	220	2026-11-03T18:31:42.698Z	S1 263940, S2 263940	`3da23f29b6`	`daa1a84261`	`sk_4707cd57`
221	move	S2 Exhibition2	221	2026-11-03T18:31:42.737Z	S1 263901, S2 265901	`d9e7c81a79`	`3da23f29b6`	`sk_4707cd57`
222	move	S1 Exhibition1	222	2026-11-03T18:31:42.798Z	S1 265840, S2 265840	`81bf9c12cd`	`d9e7c81a79`	`sk_4707cd57`
223	move	S2 Exhibition2	223	2026-11-03T18:31:42.840Z	S1 265798, S2 267798	`2336f5fb13`	`81bf9c12cd`	`sk_4707cd57`
224	move	S1 Exhibition1	224	2026-11-03T18:31:42.875Z	S1 267763, S2 267763	`589fcf9bb0`	`2336f5fb13`	`sk_4707cd57`
225	move	S2 Exhibition2	225	2026-11-03T18:31:42.931Z	S1 267707, S2 269707	`f844c16577`	`589fcf9bb0`	`sk_4707cd57`
226	move	S1 Exhibition1	226	2026-11-03T18:31:42.939Z	S1 269699, S2 269699	`439c48132f`	`f844c16577`	`sk_4707cd57`
227	move	S2 Exhibition2	227	2026-11-03T18:31:43.027Z	S1 269611, S2 271611	`a61d2756ea`	`439c48132f`	`sk_4707cd57`
228	move	S1 Exhibition1	228	2026-11-03T18:31:43.035Z	S1 271603, S2 271603	`26142d6c91`	`a61d2756ea`	`sk_4707cd57`
229	move	S2 Exhibition2	229	2026-11-03T18:31:43.126Z	S1 271512, S2 273512	`8da3aa3daa`	`26142d6c91`	`sk_4707cd57`
230	move	S1 Exhibition1	230	2026-11-03T18:31:43.138Z	S1 273500, S2 273500	`936bdbc910`	`8da3aa3daa`	`sk_4707cd57`
231	move	S2 Exhibition2	231	2026-11-03T18:31:43.209Z	S1 273429, S2 275429	`57f22e8bc9`	`936bdbc910`	`sk_4707cd57`
232	move	S1 Exhibition1	232	2026-11-03T18:31:43.238Z	S1 275400, S2 275400	`eb8d8993e2`	`57f22e8bc9`	`sk_4707cd57`
233	move	S2 Exhibition2	233	2026-11-03T18:31:43.307Z	S1 275331, S2 277331	`c94e394e44`	`eb8d8993e2`	`sk_4707cd57`
234	move	S1 Exhibition1	234	2026-11-03T18:31:43.335Z	S1 277303, S2 277303	`9ba61c502f`	`c94e394e44`	`sk_4707cd57`
235	move	S2 Exhibition2	235	2026-11-03T18:31:43.405Z	S1 277233, S2 279233	`24939eb1ac`	`9ba61c502f`	`sk_4707cd57`
236	move	S1 Exhibition1	236	2026-11-03T18:31:43.436Z	S1 279202, S2 279202	`14ad7b77d5`	`24939eb1ac`	`sk_4707cd57`
237	move	S2 Exhibition2	237	2026-11-03T18:31:43.523Z	S1 279115, S2 281115	`709ac673c8`	`14ad7b77d5`	`sk_4707cd57`
238	move	S1 Exhibition1	238	2026-11-03T18:31:43.598Z	S1 281040, S2 281040	`31ad55f83e`	`709ac673c8`	`sk_4707cd57`
239	move	S2 Exhibition2	239	2026-11-03T18:31:43.649Z	S1 280989, S2 282989	`113a4336d3`	`31ad55f83e`	`sk_4707cd57`
240	move	S1 Exhibition1	240	2026-11-03T18:31:43.710Z	S1 282928, S2 282928	`4d3f6b4952`	`113a4336d3`	`sk_4707cd57`
241	move	S2 Exhibition2	241	2026-11-03T18:31:43.799Z	S1 282839, S2 284839	`83875bbf88`	`4d3f6b4952`	`sk_4707cd57`
242	move	S1 Exhibition1	242	2026-11-03T18:31:43.862Z	S1 284776, S2 284776	`b4d0e49f6f`	`83875bbf88`	`sk_4707cd57`
243	move	S2 Exhibition2	243	2026-11-03T18:31:43.937Z	S1 284701, S2 286701	`6ae8ddcbce`	`b4d0e49f6f`	`sk_4707cd57`
244	move	S1 Exhibition1	244	2026-11-03T18:31:44.000Z	S1 286638, S2 286638	`46b101a53a`	`6ae8ddcbce`	`sk_4707cd57`
245	move	S2 Exhibition2	245	2026-11-03T18:31:44.050Z	S1 286588, S2 288588	`2e144bdd02`	`46b101a53a`	`sk_4707cd57`
246	move	S1 Exhibition1	246	2026-11-03T18:31:44.116Z	S1 288522, S2 288522	`d8856adc50`	`2e144bdd02`	`sk_4707cd57`
247	move	S2 Exhibition2	247	2026-11-03T18:31:44.207Z	S1 288431, S2 290431	`2b67c888e0`	`d8856adc50`	`sk_4707cd57`
248	move	S1 Exhibition1	248	2026-11-03T18:31:44.253Z	S1 290385, S2 290385	`407e3b736b`	`2b67c888e0`	`sk_4707cd57`
249	move	S2 Exhibition2	249	2026-11-03T18:31:44.340Z	S1 290298, S2 292298	`3c5b6ac35d`	`407e3b736b`	`sk_4707cd57`
250	move	S1 Exhibition1	250	2026-11-03T18:31:44.400Z	S1 292238, S2 292238	`1b5978417b`	`3c5b6ac35d`	`sk_4707cd57`
251	move	S2 Exhibition2	251	2026-11-03T18:31:44.446Z	S1 292192, S2 294192	`207a541257`	`1b5978417b`	`sk_4707cd57`
252	move	S1 Exhibition1	252	2026-11-03T18:31:44.535Z	S1 294103, S2 294103	`d286471dc4`	`207a541257`	`sk_4707cd57`
253	move	S2 Exhibition2	253	2026-11-03T18:31:44.538Z	S1 294100, S2 296100	`ecd2858338`	`d286471dc4`	`sk_4707cd57`
254	move	S2 Exhibition2	254	2026-11-03T18:31:44.636Z	S1 294002, S2 298002	`df4772112f`	`ecd2858338`	`sk_4707cd57`
255	move	S1 Exhibition1	255	2026-11-03T18:31:44.636Z	S1 296002, S2 298002	`383abc26af`	`df4772112f`	`sk_4707cd57`
256	move	S2 Exhibition2	256	2026-11-03T18:31:44.724Z	S1 295914, S2 299914	`20ba3431a7`	`383abc26af`	`sk_4707cd57`
257	move	S1 Exhibition1	257	2026-11-03T18:31:44.733Z	S1 297905, S2 299914	`5a19ce2fa7`	`20ba3431a7`	`sk_4707cd57`
258	move	S1 Exhibition1	258	2026-11-03T18:31:46.734Z	S1 297904, S2 299914	`5ca648fbcb`	`5a19ce2fa7`	`sk_4707cd57`

Check it yourself

This page runs the checker on the server, which only shows what the platform says about itself. Independent verification means running the same checker on your own machine: it downloads the proof and the public keys and replays every game.

python tools/verify_set.py --url https://apigaming.com/v1 set_01M6HAWBNREKBTGK667SJJ3BM7

Inputs: proof JSON (seed, moves, signed receipts) and public signing keys.

Verify set `set_01M6HAWBNREKBTGK667SJJ3BM7`

Verified

Set checks

Game 1 `m_01M6HAWBNYFKTRR16EXAG96M9Y`: verified

Check it yourself

Menu

Play

Watch

Learn

Verify set set_01M6HAWBNREKBTGK667SJJ3BM7

Verified

Set checks

Game 1 m_01M6HAWBNYFKTRR16EXAG96M9Y: verified

Check it yourself

Verify set `set_01M6HAWBNREKBTGK667SJJ3BM7`

Game 1 `m_01M6HAWBNYFKTRR16EXAG96M9Y`: verified