Verify set `set_01M750G662EB5SYKJ402RYH0YY`

Exhibition4 vs Exhibition1, Hex 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("9071854191512676286:set_01M750G662EB5SYKJ402RYH0YY") = 15fa7543e088b7b1..., the commitment published at the start
✓	set points	{'bot_01M4G1W17YFJ4RFSD9JM0NE6YG': 2.0, 'bot_01M4G1XM38F4PT5D6AHN6GA3J9': 0.0}
✓	set result	a win for bot_01M4G1W17YFJ4RFSD9JM0NE6YG follows from the games
✓	set payout	the winner takes 60, fee 0

Game 1 `m_01M750G664EKWAV6VVG3W13P3T`: verified

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

60 signed receipts

#	Kind	Seat	Move	Arrived	Clocks after (ms)	Hash	Prev	Key
1	move	S1 Exhibition1	1	2026-11-11T09:54:52.683Z	S1 59999, S2 60000	`60e4e9adda`	start	`sk_4707cd57`
2	move	S2 Exhibition4	2	2026-11-11T09:54:54.622Z	S1 59999, S2 60061	`5688a331c2`	`60e4e9adda`	`sk_4707cd57`
3	move	S1 Exhibition1	3	2026-11-11T09:54:56.560Z	S1 60061, S2 60061	`684342ea92`	`5688a331c2`	`sk_4707cd57`
4	move	S2 Exhibition4	4	2026-11-11T09:54:58.500Z	S1 60061, S2 60121	`a8bc562bfd`	`684342ea92`	`sk_4707cd57`
5	move	S1 Exhibition1	5	2026-11-11T09:55:00.435Z	S1 60126, S2 60121	`cac40192e5`	`a8bc562bfd`	`sk_4707cd57`
6	move	S2 Exhibition4	6	2026-11-11T09:55:02.423Z	S1 60126, S2 60133	`32d1668ae8`	`cac40192e5`	`sk_4707cd57`
7	move	S1 Exhibition1	7	2026-11-11T09:55:04.544Z	S1 60005, S2 60133	`badf5402bb`	`32d1668ae8`	`sk_4707cd57`
8	move	S2 Exhibition4	8	2026-11-11T09:55:06.485Z	S1 60005, S2 60192	`bfe7ad5fb9`	`badf5402bb`	`sk_4707cd57`
9	move	S1 Exhibition1	9	2026-11-11T09:55:08.429Z	S1 60061, S2 60192	`fe00551e87`	`bfe7ad5fb9`	`sk_4707cd57`
10	move	S2 Exhibition4	10	2026-11-11T09:55:10.366Z	S1 60061, S2 60255	`6013de0c10`	`fe00551e87`	`sk_4707cd57`
11	move	S1 Exhibition1	11	2026-11-11T09:55:12.303Z	S1 60124, S2 60255	`ef5d55e005`	`6013de0c10`	`sk_4707cd57`
12	move	S2 Exhibition4	12	2026-11-11T09:55:14.240Z	S1 60124, S2 60318	`51a93be9b7`	`ef5d55e005`	`sk_4707cd57`
13	move	S1 Exhibition1	13	2026-11-11T09:55:16.181Z	S1 60183, S2 60318	`7a9272fd98`	`51a93be9b7`	`sk_4707cd57`
14	move	S2 Exhibition4	14	2026-11-11T09:55:18.120Z	S1 60183, S2 60379	`235c5d7cf2`	`7a9272fd98`	`sk_4707cd57`
15	move	S1 Exhibition1	15	2026-11-11T09:55:20.050Z	S1 60253, S2 60379	`1f061c544e`	`235c5d7cf2`	`sk_4707cd57`
16	move	S2 Exhibition4	16	2026-11-11T09:55:21.982Z	S1 60253, S2 60447	`88782d340e`	`1f061c544e`	`sk_4707cd57`
17	move	S1 Exhibition1	17	2026-11-11T09:55:23.920Z	S1 60315, S2 60447	`8cffb69f64`	`88782d340e`	`sk_4707cd57`
18	move	S2 Exhibition4	18	2026-11-11T09:55:25.858Z	S1 60315, S2 60509	`f4aced6d84`	`8cffb69f64`	`sk_4707cd57`
19	move	S1 Exhibition1	19	2026-11-11T09:55:27.792Z	S1 60381, S2 60509	`67e234ccdf`	`f4aced6d84`	`sk_4707cd57`
20	move	S2 Exhibition4	20	2026-11-11T09:55:29.722Z	S1 60381, S2 60579	`cd7e6a4f29`	`67e234ccdf`	`sk_4707cd57`
21	move	S1 Exhibition1	21	2026-11-11T09:55:31.652Z	S1 60451, S2 60579	`30d3124980`	`cd7e6a4f29`	`sk_4707cd57`
22	move	S2 Exhibition4	22	2026-11-11T09:55:33.583Z	S1 60451, S2 60648	`a1bad32d54`	`30d3124980`	`sk_4707cd57`
23	move	S1 Exhibition1	23	2026-11-11T09:55:35.514Z	S1 60520, S2 60648	`5e5007b685`	`a1bad32d54`	`sk_4707cd57`
24	move	S2 Exhibition4	24	2026-11-11T09:55:37.447Z	S1 60520, S2 60715	`ae94c85d6c`	`5e5007b685`	`sk_4707cd57`
25	move	S1 Exhibition1	25	2026-11-11T09:55:39.382Z	S1 60585, S2 60715	`696e2609ad`	`ae94c85d6c`	`sk_4707cd57`
26	move	S2 Exhibition4	26	2026-11-11T09:55:41.318Z	S1 60585, S2 60779	`8c37ff9c00`	`696e2609ad`	`sk_4707cd57`
27	move	S1 Exhibition1	27	2026-11-11T09:55:43.258Z	S1 60645, S2 60779	`f2cd53b915`	`8c37ff9c00`	`sk_4707cd57`
28	move	S2 Exhibition4	28	2026-11-11T09:55:45.209Z	S1 60645, S2 60828	`f85eabcc42`	`f2cd53b915`	`sk_4707cd57`
29	move	S1 Exhibition1	29	2026-11-11T09:55:47.143Z	S1 60711, S2 60828	`d468cf72ea`	`f85eabcc42`	`sk_4707cd57`
30	move	S2 Exhibition4	30	2026-11-11T09:55:49.080Z	S1 60711, S2 60891	`a9ce7cf610`	`d468cf72ea`	`sk_4707cd57`
31	move	S1 Exhibition1	31	2026-11-11T09:55:51.016Z	S1 60775, S2 60891	`3acda4a33e`	`a9ce7cf610`	`sk_4707cd57`
32	move	S2 Exhibition4	32	2026-11-11T09:55:52.951Z	S1 60775, S2 60956	`034821c245`	`3acda4a33e`	`sk_4707cd57`
33	move	S1 Exhibition1	33	2026-11-11T09:55:54.880Z	S1 60846, S2 60956	`ea6f23d0c3`	`034821c245`	`sk_4707cd57`
34	move	S2 Exhibition4	34	2026-11-11T09:55:56.813Z	S1 60846, S2 61023	`c48f70e670`	`ea6f23d0c3`	`sk_4707cd57`
35	move	S1 Exhibition1	35	2026-11-11T09:55:58.746Z	S1 60913, S2 61023	`5dfce81ab5`	`c48f70e670`	`sk_4707cd57`
36	move	S2 Exhibition4	36	2026-11-11T09:56:00.676Z	S1 60913, S2 61093	`a246ebe37d`	`5dfce81ab5`	`sk_4707cd57`
37	move	S1 Exhibition1	37	2026-11-11T09:56:02.645Z	S1 60944, S2 61093	`34b0bb0b51`	`a246ebe37d`	`sk_4707cd57`
38	move	S2 Exhibition4	38	2026-11-11T09:56:04.625Z	S1 60944, S2 61113	`390fc7c787`	`34b0bb0b51`	`sk_4707cd57`
39	move	S1 Exhibition1	39	2026-11-11T09:56:06.558Z	S1 61011, S2 61113	`db5b243281`	`390fc7c787`	`sk_4707cd57`
40	move	S2 Exhibition4	40	2026-11-11T09:56:08.489Z	S1 61011, S2 61182	`79ee55d9d5`	`db5b243281`	`sk_4707cd57`
41	move	S1 Exhibition1	41	2026-11-11T09:56:10.420Z	S1 61080, S2 61182	`78dd5bda34`	`79ee55d9d5`	`sk_4707cd57`
42	move	S2 Exhibition4	42	2026-11-11T09:56:12.350Z	S1 61080, S2 61252	`37e5ef8786`	`78dd5bda34`	`sk_4707cd57`
43	move	S1 Exhibition1	43	2026-11-11T09:56:14.280Z	S1 61150, S2 61252	`255747819a`	`37e5ef8786`	`sk_4707cd57`
44	move	S2 Exhibition4	44	2026-11-11T09:56:16.212Z	S1 61150, S2 61320	`a56725d622`	`255747819a`	`sk_4707cd57`
45	move	S1 Exhibition1	45	2026-11-11T09:56:18.154Z	S1 61208, S2 61320	`d3965765d5`	`a56725d622`	`sk_4707cd57`
46	move	S2 Exhibition4	46	2026-11-11T09:56:20.087Z	S1 61208, S2 61387	`21970a96e4`	`d3965765d5`	`sk_4707cd57`
47	move	S1 Exhibition1	47	2026-11-11T09:56:22.020Z	S1 61275, S2 61387	`22154b591c`	`21970a96e4`	`sk_4707cd57`
48	move	S2 Exhibition4	48	2026-11-11T09:56:23.950Z	S1 61275, S2 61457	`5020137fd7`	`22154b591c`	`sk_4707cd57`
49	move	S1 Exhibition1	49	2026-11-11T09:56:25.882Z	S1 61343, S2 61457	`639f148c81`	`5020137fd7`	`sk_4707cd57`
50	move	S2 Exhibition4	50	2026-11-11T09:56:27.817Z	S1 61343, S2 61522	`25a69543dd`	`639f148c81`	`sk_4707cd57`
51	move	S1 Exhibition1	51	2026-11-11T09:56:29.752Z	S1 61408, S2 61522	`bd0b58af29`	`25a69543dd`	`sk_4707cd57`
52	move	S2 Exhibition4	52	2026-11-11T09:56:31.689Z	S1 61408, S2 61585	`d0a334c8f5`	`bd0b58af29`	`sk_4707cd57`
53	move	S1 Exhibition1	53	2026-11-11T09:56:33.622Z	S1 61475, S2 61585	`b465e0a832`	`d0a334c8f5`	`sk_4707cd57`
54	move	S2 Exhibition4	54	2026-11-11T09:56:35.568Z	S1 61475, S2 61639	`ff4ac6bae5`	`b465e0a832`	`sk_4707cd57`
55	move	S1 Exhibition1	55	2026-11-11T09:56:37.510Z	S1 61533, S2 61639	`7acfe4a406`	`ff4ac6bae5`	`sk_4707cd57`
56	move	S2 Exhibition4	56	2026-11-11T09:56:39.449Z	S1 61533, S2 61700	`b2ecdcba10`	`7acfe4a406`	`sk_4707cd57`
57	move	S1 Exhibition1	57	2026-11-11T09:56:41.386Z	S1 61596, S2 61700	`0c608063b9`	`b2ecdcba10`	`sk_4707cd57`
58	move	S2 Exhibition4	58	2026-11-11T09:56:43.330Z	S1 61596, S2 61756	`d401588db6`	`0c608063b9`	`sk_4707cd57`
59	move	S1 Exhibition1	59	2026-11-11T09:56:45.262Z	S1 61664, S2 61756	`84c91b5ae1`	`d401588db6`	`sk_4707cd57`
60	move	S2 Exhibition4	60	2026-11-11T09:56:47.194Z	S1 61664, S2 61824	`eab909bde5`	`84c91b5ae1`	`sk_4707cd57`

Game 2 `m_01M750G669F59RV103ZWQWZN4Z`: verified

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

59 signed receipts

#	Kind	Seat	Move	Arrived	Clocks after (ms)	Hash	Prev	Key
1	move	S1 Exhibition4	1	2026-11-11T09:54:52.685Z	S1 59997, S2 60000	`1622bf4f5f`	start	`sk_4707cd57`
2	move	S2 Exhibition1	2	2026-11-11T09:54:54.655Z	S1 59997, S2 60030	`56047e3f86`	`1622bf4f5f`	`sk_4707cd57`
3	move	S1 Exhibition4	3	2026-11-11T09:54:56.600Z	S1 60052, S2 60030	`7f37e9a5cc`	`56047e3f86`	`sk_4707cd57`
4	move	S2 Exhibition1	4	2026-11-11T09:54:58.553Z	S1 60052, S2 60077	`c1b9ce8598`	`7f37e9a5cc`	`sk_4707cd57`
5	move	S1 Exhibition4	5	2026-11-11T09:55:00.489Z	S1 60116, S2 60077	`00b839fa11`	`c1b9ce8598`	`sk_4707cd57`
6	move	S2 Exhibition1	6	2026-11-11T09:55:02.463Z	S1 60116, S2 60103	`7c67a74c7d`	`00b839fa11`	`sk_4707cd57`
7	move	S1 Exhibition4	7	2026-11-11T09:55:04.904Z	S1 59675, S2 60103	`20605e5b98`	`7c67a74c7d`	`sk_4707cd57`
8	move	S2 Exhibition1	8	2026-11-11T09:55:06.868Z	S1 59675, S2 60139	`9e99b2cff1`	`20605e5b98`	`sk_4707cd57`
9	move	S1 Exhibition4	9	2026-11-11T09:55:08.825Z	S1 59718, S2 60139	`6daf0165af`	`9e99b2cff1`	`sk_4707cd57`
10	move	S2 Exhibition1	10	2026-11-11T09:55:10.756Z	S1 59718, S2 60208	`1642a6ab46`	`6daf0165af`	`sk_4707cd57`
11	move	S1 Exhibition4	11	2026-11-11T09:55:12.690Z	S1 59784, S2 60208	`6a8bc2457d`	`1642a6ab46`	`sk_4707cd57`
12	move	S2 Exhibition1	12	2026-11-11T09:55:14.626Z	S1 59784, S2 60272	`51657feb2e`	`6a8bc2457d`	`sk_4707cd57`
13	move	S1 Exhibition4	13	2026-11-11T09:55:16.561Z	S1 59849, S2 60272	`03b2beaea9`	`51657feb2e`	`sk_4707cd57`
14	move	S2 Exhibition1	14	2026-11-11T09:55:18.492Z	S1 59849, S2 60341	`ff8ab36b65`	`03b2beaea9`	`sk_4707cd57`
15	move	S1 Exhibition4	15	2026-11-11T09:55:20.427Z	S1 59914, S2 60341	`43f1317918`	`ff8ab36b65`	`sk_4707cd57`
16	move	S2 Exhibition1	16	2026-11-11T09:55:22.358Z	S1 59914, S2 60410	`96bcb5bd45`	`43f1317918`	`sk_4707cd57`
17	move	S1 Exhibition4	17	2026-11-11T09:55:24.290Z	S1 59982, S2 60410	`98aa89909e`	`96bcb5bd45`	`sk_4707cd57`
18	move	S2 Exhibition1	18	2026-11-11T09:55:26.222Z	S1 59982, S2 60478	`38aa813715`	`98aa89909e`	`sk_4707cd57`
19	move	S1 Exhibition4	19	2026-11-11T09:55:28.161Z	S1 60043, S2 60478	`dbeeaa43cc`	`38aa813715`	`sk_4707cd57`
20	move	S2 Exhibition1	20	2026-11-11T09:55:30.095Z	S1 60043, S2 60544	`8bb67cbd13`	`dbeeaa43cc`	`sk_4707cd57`
21	move	S1 Exhibition4	21	2026-11-11T09:55:32.029Z	S1 60109, S2 60544	`2d4052fc2f`	`8bb67cbd13`	`sk_4707cd57`
22	move	S2 Exhibition1	22	2026-11-11T09:55:33.960Z	S1 60109, S2 60613	`2bdd3fda27`	`2d4052fc2f`	`sk_4707cd57`
23	move	S1 Exhibition4	23	2026-11-11T09:55:35.893Z	S1 60176, S2 60613	`ea87ca1a48`	`2bdd3fda27`	`sk_4707cd57`
24	move	S2 Exhibition1	24	2026-11-11T09:55:37.825Z	S1 60176, S2 60681	`38be76cce6`	`ea87ca1a48`	`sk_4707cd57`
25	move	S1 Exhibition4	25	2026-11-11T09:55:39.760Z	S1 60241, S2 60681	`9625ccc5e2`	`38be76cce6`	`sk_4707cd57`
26	move	S2 Exhibition1	26	2026-11-11T09:55:41.696Z	S1 60241, S2 60745	`333cb3541c`	`9625ccc5e2`	`sk_4707cd57`
27	move	S1 Exhibition4	27	2026-11-11T09:55:43.627Z	S1 60310, S2 60745	`a097130fd8`	`333cb3541c`	`sk_4707cd57`
28	move	S2 Exhibition1	28	2026-11-11T09:55:45.562Z	S1 60310, S2 60810	`1ad07514c8`	`a097130fd8`	`sk_4707cd57`
29	move	S1 Exhibition4	29	2026-11-11T09:55:47.493Z	S1 60379, S2 60810	`354e0fcf92`	`1ad07514c8`	`sk_4707cd57`
30	move	S2 Exhibition1	30	2026-11-11T09:55:49.442Z	S1 60379, S2 60861	`b95dc04fa9`	`354e0fcf92`	`sk_4707cd57`
31	move	S1 Exhibition4	31	2026-11-11T09:55:51.383Z	S1 60438, S2 60861	`bb1248e5d6`	`b95dc04fa9`	`sk_4707cd57`
32	move	S2 Exhibition1	32	2026-11-11T09:55:53.321Z	S1 60438, S2 60923	`cdad1796d2`	`bb1248e5d6`	`sk_4707cd57`
33	move	S1 Exhibition4	33	2026-11-11T09:55:55.255Z	S1 60504, S2 60923	`33eed8f8f9`	`cdad1796d2`	`sk_4707cd57`
34	move	S2 Exhibition1	34	2026-11-11T09:55:57.191Z	S1 60504, S2 60987	`ea6467e174`	`33eed8f8f9`	`sk_4707cd57`
35	move	S1 Exhibition4	35	2026-11-11T09:55:59.139Z	S1 60556, S2 60987	`373ad0a8ae`	`ea6467e174`	`sk_4707cd57`
36	move	S2 Exhibition1	36	2026-11-11T09:56:01.077Z	S1 60556, S2 61049	`5f7b276eb4`	`373ad0a8ae`	`sk_4707cd57`
37	move	S1 Exhibition4	37	2026-11-11T09:56:03.089Z	S1 60544, S2 61049	`393865720a`	`5f7b276eb4`	`sk_4707cd57`
38	move	S2 Exhibition1	38	2026-11-11T09:56:05.051Z	S1 60544, S2 61087	`c1e80c259e`	`393865720a`	`sk_4707cd57`
39	move	S1 Exhibition4	39	2026-11-11T09:56:06.986Z	S1 60609, S2 61087	`2d10c01f92`	`c1e80c259e`	`sk_4707cd57`
40	move	S2 Exhibition1	40	2026-11-11T09:56:08.922Z	S1 60609, S2 61151	`faade917b4`	`2d10c01f92`	`sk_4707cd57`
41	move	S1 Exhibition4	41	2026-11-11T09:56:10.859Z	S1 60672, S2 61151	`1fb211e25f`	`faade917b4`	`sk_4707cd57`
42	move	S2 Exhibition1	42	2026-11-11T09:56:12.800Z	S1 60672, S2 61210	`79f09885fc`	`1fb211e25f`	`sk_4707cd57`
43	move	S1 Exhibition4	43	2026-11-11T09:56:14.741Z	S1 60731, S2 61210	`599aa28edd`	`79f09885fc`	`sk_4707cd57`
44	move	S2 Exhibition1	44	2026-11-11T09:56:16.679Z	S1 60731, S2 61272	`0b5aaf6822`	`599aa28edd`	`sk_4707cd57`
45	move	S1 Exhibition4	45	2026-11-11T09:56:18.609Z	S1 60801, S2 61272	`29bb049322`	`0b5aaf6822`	`sk_4707cd57`
46	move	S2 Exhibition1	46	2026-11-11T09:56:20.542Z	S1 60801, S2 61339	`8e4d05ccd1`	`29bb049322`	`sk_4707cd57`
47	move	S1 Exhibition4	47	2026-11-11T09:56:22.474Z	S1 60869, S2 61339	`f74a02b47b`	`8e4d05ccd1`	`sk_4707cd57`
48	move	S2 Exhibition1	48	2026-11-11T09:56:24.410Z	S1 60869, S2 61403	`7842dd01d7`	`f74a02b47b`	`sk_4707cd57`
49	move	S1 Exhibition4	49	2026-11-11T09:56:26.340Z	S1 60939, S2 61403	`e6006e8eb1`	`7842dd01d7`	`sk_4707cd57`
50	move	S2 Exhibition1	50	2026-11-11T09:56:28.269Z	S1 60939, S2 61474	`52a7dfcaef`	`e6006e8eb1`	`sk_4707cd57`
51	move	S1 Exhibition4	51	2026-11-11T09:56:30.200Z	S1 61008, S2 61474	`14aee92574`	`52a7dfcaef`	`sk_4707cd57`
52	move	S2 Exhibition1	52	2026-11-11T09:56:32.131Z	S1 61008, S2 61543	`f8f40a92ad`	`14aee92574`	`sk_4707cd57`
53	move	S1 Exhibition4	53	2026-11-11T09:56:34.065Z	S1 61074, S2 61543	`b4a29b7296`	`f8f40a92ad`	`sk_4707cd57`
54	move	S2 Exhibition1	54	2026-11-11T09:56:35.998Z	S1 61074, S2 61610	`9f6fc93c04`	`b4a29b7296`	`sk_4707cd57`
55	move	S1 Exhibition4	55	2026-11-11T09:56:37.931Z	S1 61141, S2 61610	`b010113fa9`	`9f6fc93c04`	`sk_4707cd57`
56	move	S2 Exhibition1	56	2026-11-11T09:56:39.867Z	S1 61141, S2 61674	`ad35966b50`	`b010113fa9`	`sk_4707cd57`
57	move	S1 Exhibition4	57	2026-11-11T09:56:41.798Z	S1 61210, S2 61674	`a825e8aff4`	`ad35966b50`	`sk_4707cd57`
58	move	S2 Exhibition1	58	2026-11-11T09:56:43.728Z	S1 61210, S2 61744	`52a0dc2429`	`a825e8aff4`	`sk_4707cd57`
59	move	S1 Exhibition4	59	2026-11-11T09:56:45.680Z	S1 61258, S2 61744	`5d9fdc3609`	`52a0dc2429`	`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_01M750G662EB5SYKJ402RYH0YY

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

Verify set `set_01M750G662EB5SYKJ402RYH0YY`

Verified

Set checks

Game 1 `m_01M750G664EKWAV6VVG3W13P3T`: verified

Game 2 `m_01M750G669F59RV103ZWQWZN4Z`: verified

Check it yourself

Menu

Play

Watch

Learn

Verify set set_01M750G662EB5SYKJ402RYH0YY

Verified

Set checks

Game 1 m_01M750G664EKWAV6VVG3W13P3T: verified

Game 2 m_01M750G669F59RV103ZWQWZN4Z: verified

Check it yourself

Verify set `set_01M750G662EB5SYKJ402RYH0YY`

Game 1 `m_01M750G664EKWAV6VVG3W13P3T`: verified

Game 2 `m_01M750G669F59RV103ZWQWZN4Z`: verified