Verify set `set_01M70E3W7RF7X9CPREYA839TH8`

Exhibition2 vs Exhibition1, Fourfall 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("1453318052243442463:set_01M70E3W7RF7X9CPREYA839TH8") = fbbea5fd02d4cee6..., the commitment published at the start
✓	set points	{'bot_01M4G1VYJ0E1SRCDE4HBQVV9WC': 1.0, 'bot_01M4G1XM38F4PT5D6AHN6GA3J9': 1.0}
✓	set tiebreak	fewer_moves: {'bot_01M4G1VYJ0E1SRCDE4HBQVV9WC': 27, 'bot_01M4G1XM38F4PT5D6AHN6GA3J9': 33}
✓	set result	a win for bot_01M4G1VYJ0E1SRCDE4HBQVV9WC on the tiebreak follows from the games
✓	set payout	the winner takes 40, fee 0

Game 1 `m_01M70E3W7TE129WQ7V7FMWPAZG`: verified

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

65 signed receipts

#	Kind	Seat	Move	Arrived	Clocks after (ms)	Hash	Prev	Key
1	move	S1 Exhibition1	1	2026-11-09T15:16:37.332Z	S1 59851, S2 60000	`11aa6dbb42`	start	`sk_4707cd57`
2	move	S2 Exhibition2	2	2026-11-09T15:16:39.518Z	S1 59851, S2 59814	`658495261e`	`11aa6dbb42`	`sk_4707cd57`
3	move	S1 Exhibition1	3	2026-11-09T15:16:41.609Z	S1 59760, S2 59814	`c1be113784`	`658495261e`	`sk_4707cd57`
4	move	S2 Exhibition2	4	2026-11-09T15:16:43.566Z	S1 59760, S2 59857	`155e606023`	`c1be113784`	`sk_4707cd57`
5	move	S1 Exhibition1	5	2026-11-09T15:16:45.533Z	S1 59793, S2 59857	`6d4c4f431f`	`155e606023`	`sk_4707cd57`
6	move	S2 Exhibition2	6	2026-11-09T15:16:47.607Z	S1 59793, S2 59783	`32669acbb7`	`6d4c4f431f`	`sk_4707cd57`
7	move	S1 Exhibition1	7	2026-11-09T15:16:49.597Z	S1 59803, S2 59783	`8c78bd2b16`	`32669acbb7`	`sk_4707cd57`
8	move	S2 Exhibition2	8	2026-11-09T15:16:51.596Z	S1 59803, S2 59784	`3feb0a6007`	`8c78bd2b16`	`sk_4707cd57`
9	move	S1 Exhibition1	9	2026-11-09T15:16:53.558Z	S1 59841, S2 59784	`69508692eb`	`3feb0a6007`	`sk_4707cd57`
10	move	S2 Exhibition2	10	2026-11-09T15:16:55.519Z	S1 59841, S2 59823	`7096db0c6e`	`69508692eb`	`sk_4707cd57`
11	move	S1 Exhibition1	11	2026-11-09T15:16:57.535Z	S1 59825, S2 59823	`ebdf357350`	`7096db0c6e`	`sk_4707cd57`
12	move	S2 Exhibition2	12	2026-11-09T15:16:59.512Z	S1 59825, S2 59846	`2908340124`	`ebdf357350`	`sk_4707cd57`
13	move	S1 Exhibition1	13	2026-11-09T15:17:01.476Z	S1 59861, S2 59846	`f48b3e22e4`	`2908340124`	`sk_4707cd57`
14	move	S2 Exhibition2	14	2026-11-09T15:17:04.446Z	S1 59861, S2 58876	`b7e6bd1b0e`	`f48b3e22e4`	`sk_4707cd57`
15	move	S1 Exhibition1	15	2026-11-09T15:17:06.456Z	S1 59851, S2 58876	`c0be992a5b`	`b7e6bd1b0e`	`sk_4707cd57`
16	move	S2 Exhibition2	16	2026-11-09T15:17:08.535Z	S1 59851, S2 58797	`b6377526ad`	`c0be992a5b`	`sk_4707cd57`
17	move	S1 Exhibition1	17	2026-11-09T15:17:10.699Z	S1 59687, S2 58797	`c2e3fb37ae`	`b6377526ad`	`sk_4707cd57`
18	move	S2 Exhibition2	18	2026-11-09T15:17:12.907Z	S1 59687, S2 58589	`1f9b46da85`	`c2e3fb37ae`	`sk_4707cd57`
19	move	S1 Exhibition1	19	2026-11-09T15:17:15.002Z	S1 59592, S2 58589	`f56d8f73d0`	`1f9b46da85`	`sk_4707cd57`
20	move	S2 Exhibition2	20	2026-11-09T15:17:16.994Z	S1 59592, S2 58597	`4970f72aba`	`f56d8f73d0`	`sk_4707cd57`
21	move	S1 Exhibition1	21	2026-11-09T15:17:19.206Z	S1 59380, S2 58597	`485ae3f9f5`	`4970f72aba`	`sk_4707cd57`
22	move	S2 Exhibition2	22	2026-11-09T15:17:21.297Z	S1 59380, S2 58506	`f9d6ed249f`	`485ae3f9f5`	`sk_4707cd57`
23	move	S1 Exhibition1	23	2026-11-09T15:17:23.330Z	S1 59347, S2 58506	`d9977ce2e1`	`f9d6ed249f`	`sk_4707cd57`
24	move	S2 Exhibition2	24	2026-11-09T15:17:25.339Z	S1 59347, S2 58497	`a0e23cd2d5`	`d9977ce2e1`	`sk_4707cd57`
25	move	S1 Exhibition1	25	2026-11-09T15:17:27.363Z	S1 59323, S2 58497	`dec091a489`	`a0e23cd2d5`	`sk_4707cd57`
26	move	S2 Exhibition2	26	2026-11-09T15:17:29.420Z	S1 59323, S2 58440	`5ae1edaf65`	`dec091a489`	`sk_4707cd57`
27	move	S1 Exhibition1	27	2026-11-09T15:17:31.506Z	S1 59237, S2 58440	`8ad3766d32`	`5ae1edaf65`	`sk_4707cd57`
28	move	S2 Exhibition2	28	2026-11-09T15:17:33.501Z	S1 59237, S2 58445	`087eb8b3f0`	`8ad3766d32`	`sk_4707cd57`
29	move	S1 Exhibition1	29	2026-11-09T15:17:35.496Z	S1 59242, S2 58445	`209fe2c200`	`087eb8b3f0`	`sk_4707cd57`
30	move	S2 Exhibition2	30	2026-11-09T15:17:37.466Z	S1 59242, S2 58475	`bcc1683e8f`	`209fe2c200`	`sk_4707cd57`
31	move	S1 Exhibition1	31	2026-11-09T15:17:39.498Z	S1 59210, S2 58475	`769e64d00b`	`bcc1683e8f`	`sk_4707cd57`
32	move	S2 Exhibition2	32	2026-11-09T15:17:41.457Z	S1 59210, S2 58516	`402acae912`	`769e64d00b`	`sk_4707cd57`
33	move	S1 Exhibition1	33	2026-11-09T15:17:43.431Z	S1 59236, S2 58516	`72eb7855f5`	`402acae912`	`sk_4707cd57`
34	move	S2 Exhibition2	34	2026-11-09T15:17:45.394Z	S1 59236, S2 58553	`e203c9ab87`	`72eb7855f5`	`sk_4707cd57`
35	move	S1 Exhibition1	35	2026-11-09T15:17:47.337Z	S1 59293, S2 58553	`8f3ab68dac`	`e203c9ab87`	`sk_4707cd57`
36	move	S2 Exhibition2	36	2026-11-09T15:17:49.273Z	S1 59293, S2 58617	`72648eb984`	`8f3ab68dac`	`sk_4707cd57`
37	move	S1 Exhibition1	37	2026-11-09T15:17:51.218Z	S1 59348, S2 58617	`9eafb03350`	`72648eb984`	`sk_4707cd57`
38	move	S2 Exhibition2	38	2026-11-09T15:17:53.159Z	S1 59348, S2 58676	`4908ad5f82`	`9eafb03350`	`sk_4707cd57`
39	move	S1 Exhibition1	39	2026-11-09T15:17:55.088Z	S1 59419, S2 58676	`25721c94a9`	`4908ad5f82`	`sk_4707cd57`
40	move	S2 Exhibition2	40	2026-11-09T15:17:57.019Z	S1 59419, S2 58745	`0ba0983f54`	`25721c94a9`	`sk_4707cd57`
41	move	S1 Exhibition1	41	2026-11-09T15:17:58.958Z	S1 59480, S2 58745	`e279c2aa11`	`0ba0983f54`	`sk_4707cd57`
42	move	S2 Exhibition2	42	2026-11-09T15:18:00.888Z	S1 59480, S2 58815	`2d94707dc9`	`e279c2aa11`	`sk_4707cd57`
43	move	S1 Exhibition1	43	2026-11-09T15:18:03.060Z	S1 59308, S2 58815	`0f9a634688`	`2d94707dc9`	`sk_4707cd57`
44	move	S2 Exhibition2	44	2026-11-09T15:18:05.215Z	S1 59308, S2 58660	`edfd547200`	`0f9a634688`	`sk_4707cd57`
45	move	S1 Exhibition1	45	2026-11-09T15:18:07.174Z	S1 59349, S2 58660	`07b9bb4813`	`edfd547200`	`sk_4707cd57`
46	move	S2 Exhibition2	46	2026-11-09T15:18:09.108Z	S1 59349, S2 58726	`4fa4ad0edb`	`07b9bb4813`	`sk_4707cd57`
47	move	S1 Exhibition1	47	2026-11-09T15:18:11.047Z	S1 59410, S2 58726	`da41b7a1f0`	`4fa4ad0edb`	`sk_4707cd57`
48	move	S2 Exhibition2	48	2026-11-09T15:18:12.998Z	S1 59410, S2 58775	`b63a76c8e3`	`da41b7a1f0`	`sk_4707cd57`
49	move	S1 Exhibition1	49	2026-11-09T15:18:14.938Z	S1 59470, S2 58775	`1ed614f567`	`b63a76c8e3`	`sk_4707cd57`
50	move	S2 Exhibition2	50	2026-11-09T15:18:16.871Z	S1 59470, S2 58842	`48a119c9ad`	`1ed614f567`	`sk_4707cd57`
51	move	S1 Exhibition1	51	2026-11-09T15:18:18.824Z	S1 59517, S2 58842	`bade3c426b`	`48a119c9ad`	`sk_4707cd57`
52	move	S2 Exhibition2	52	2026-11-09T15:18:20.767Z	S1 59517, S2 58899	`62fe1dc6e1`	`bade3c426b`	`sk_4707cd57`
53	move	S1 Exhibition1	53	2026-11-09T15:18:22.735Z	S1 59549, S2 58899	`4e7d8ce318`	`62fe1dc6e1`	`sk_4707cd57`
54	move	S2 Exhibition2	54	2026-11-09T15:18:25.838Z	S1 59549, S2 57796	`f74c7e689d`	`4e7d8ce318`	`sk_4707cd57`
55	move	S1 Exhibition1	55	2026-11-09T15:18:28.151Z	S1 59236, S2 57796	`eadf67c172`	`f74c7e689d`	`sk_4707cd57`
56	move	S2 Exhibition2	56	2026-11-09T15:18:30.087Z	S1 59236, S2 57860	`38ddf27fcb`	`eadf67c172`	`sk_4707cd57`
57	move	S1 Exhibition1	57	2026-11-09T15:18:32.021Z	S1 59302, S2 57860	`dd8042543b`	`38ddf27fcb`	`sk_4707cd57`
58	move	S2 Exhibition2	58	2026-11-09T15:18:33.953Z	S1 59302, S2 57928	`0baf7776d5`	`dd8042543b`	`sk_4707cd57`
59	move	S1 Exhibition1	59	2026-11-09T15:18:35.883Z	S1 59372, S2 57928	`3b165549e5`	`0baf7776d5`	`sk_4707cd57`
60	move	S2 Exhibition2	60	2026-11-09T15:18:37.813Z	S1 59372, S2 57998	`04b8906e54`	`3b165549e5`	`sk_4707cd57`
61	move	S1 Exhibition1	61	2026-11-09T15:18:39.758Z	S1 59427, S2 57998	`22088eda89`	`04b8906e54`	`sk_4707cd57`
62	move	S2 Exhibition2	62	2026-11-09T15:18:41.687Z	S1 59427, S2 58069	`22f2e859ee`	`22088eda89`	`sk_4707cd57`
63	move	S1 Exhibition1	63	2026-11-09T15:18:43.617Z	S1 59497, S2 58069	`4eafb04b9c`	`22f2e859ee`	`sk_4707cd57`
64	move	S2 Exhibition2	64	2026-11-09T15:18:45.560Z	S1 59497, S2 58126	`16e43bf46a`	`4eafb04b9c`	`sk_4707cd57`
65	move	S1 Exhibition1	65	2026-11-09T15:18:47.496Z	S1 59561, S2 58126	`a328e90ccd`	`16e43bf46a`	`sk_4707cd57`

Game 2 `m_01M70E3W7VF3KV152T04F05FS5`: verified

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

53 signed receipts

#	Kind	Seat	Move	Arrived	Clocks after (ms)	Hash	Prev	Key
1	move	S1 Exhibition2	1	2026-11-09T15:16:37.334Z	S1 59849, S2 60000	`1060e129d2`	start	`sk_4707cd57`
2	move	S2 Exhibition1	2	2026-11-09T15:16:39.528Z	S1 59849, S2 59806	`c8019d63fe`	`1060e129d2`	`sk_4707cd57`
3	move	S1 Exhibition2	3	2026-11-09T15:16:41.621Z	S1 59756, S2 59806	`91dfa5637e`	`c8019d63fe`	`sk_4707cd57`
4	move	S2 Exhibition1	4	2026-11-09T15:16:43.619Z	S1 59756, S2 59808	`964e641c03`	`91dfa5637e`	`sk_4707cd57`
5	move	S1 Exhibition2	5	2026-11-09T15:16:45.714Z	S1 59661, S2 59808	`2fbad10832`	`964e641c03`	`sk_4707cd57`
6	move	S2 Exhibition1	6	2026-11-09T15:16:47.731Z	S1 59661, S2 59791	`ac4e1d0cf7`	`2fbad10832`	`sk_4707cd57`
7	move	S1 Exhibition2	7	2026-11-09T15:16:49.725Z	S1 59667, S2 59791	`2bc88ed3ba`	`ac4e1d0cf7`	`sk_4707cd57`
8	move	S2 Exhibition1	8	2026-11-09T15:16:51.737Z	S1 59667, S2 59779	`c10005d244`	`2bc88ed3ba`	`sk_4707cd57`
9	move	S1 Exhibition2	9	2026-11-09T15:16:53.863Z	S1 59541, S2 59779	`ceef388c93`	`c10005d244`	`sk_4707cd57`
10	move	S2 Exhibition1	10	2026-11-09T15:16:55.895Z	S1 59541, S2 59747	`331dbe9ffc`	`ceef388c93`	`sk_4707cd57`
11	move	S1 Exhibition2	11	2026-11-09T15:16:57.901Z	S1 59535, S2 59747	`fd51c9e516`	`331dbe9ffc`	`sk_4707cd57`
12	move	S2 Exhibition1	12	2026-11-09T15:16:59.913Z	S1 59535, S2 59735	`b61c22af32`	`fd51c9e516`	`sk_4707cd57`
13	move	S1 Exhibition2	13	2026-11-09T15:17:02.216Z	S1 59232, S2 59735	`aa482cf425`	`b61c22af32`	`sk_4707cd57`
14	move	S2 Exhibition1	14	2026-11-09T15:17:04.523Z	S1 59232, S2 59428	`c1f4386145`	`aa482cf425`	`sk_4707cd57`
15	move	S1 Exhibition2	15	2026-11-09T15:17:06.474Z	S1 59281, S2 59428	`c6461f21eb`	`c1f4386145`	`sk_4707cd57`
16	move	S2 Exhibition1	16	2026-11-09T15:17:08.610Z	S1 59281, S2 59292	`f084d11558`	`c6461f21eb`	`sk_4707cd57`
17	move	S1 Exhibition2	17	2026-11-09T15:17:10.631Z	S1 59260, S2 59292	`bee72a3162`	`f084d11558`	`sk_4707cd57`
18	move	S2 Exhibition1	18	2026-11-09T15:17:12.906Z	S1 59260, S2 59017	`b6a67d886c`	`bee72a3162`	`sk_4707cd57`
19	move	S1 Exhibition2	19	2026-11-09T15:17:14.999Z	S1 59167, S2 59017	`6b43a32d86`	`b6a67d886c`	`sk_4707cd57`
20	move	S2 Exhibition1	20	2026-11-09T15:17:16.957Z	S1 59167, S2 59059	`470440ce90`	`6b43a32d86`	`sk_4707cd57`
21	move	S1 Exhibition2	21	2026-11-09T15:17:19.208Z	S1 58916, S2 59059	`a2de1a9e99`	`470440ce90`	`sk_4707cd57`
22	move	S2 Exhibition1	22	2026-11-09T15:17:21.306Z	S1 58916, S2 58961	`7f42608a82`	`a2de1a9e99`	`sk_4707cd57`
23	move	S1 Exhibition2	23	2026-11-09T15:17:23.396Z	S1 58826, S2 58961	`5804f0022b`	`7f42608a82`	`sk_4707cd57`
24	move	S2 Exhibition1	24	2026-11-09T15:17:25.528Z	S1 58826, S2 58829	`7a4781543a`	`5804f0022b`	`sk_4707cd57`
25	move	S1 Exhibition2	25	2026-11-09T15:17:27.538Z	S1 58816, S2 58829	`35326230bf`	`7a4781543a`	`sk_4707cd57`
26	move	S2 Exhibition1	26	2026-11-09T15:17:29.607Z	S1 58816, S2 58760	`830904b137`	`35326230bf`	`sk_4707cd57`
27	move	S1 Exhibition2	27	2026-11-09T15:17:31.704Z	S1 58719, S2 58760	`a518fcd95c`	`830904b137`	`sk_4707cd57`
28	move	S2 Exhibition1	28	2026-11-09T15:17:33.697Z	S1 58719, S2 58767	`90f24a3ce3`	`a518fcd95c`	`sk_4707cd57`
29	move	S1 Exhibition2	29	2026-11-09T15:17:35.663Z	S1 58753, S2 58767	`477f180d62`	`90f24a3ce3`	`sk_4707cd57`
30	move	S2 Exhibition1	30	2026-11-09T15:17:37.629Z	S1 58753, S2 58801	`4d4018e425`	`477f180d62`	`sk_4707cd57`
31	move	S1 Exhibition2	31	2026-11-09T15:17:39.604Z	S1 58778, S2 58801	`d124b8bf3b`	`4d4018e425`	`sk_4707cd57`
32	move	S2 Exhibition1	32	2026-11-09T15:17:41.570Z	S1 58778, S2 58835	`f62aa3a033`	`d124b8bf3b`	`sk_4707cd57`
33	move	S1 Exhibition2	33	2026-11-09T15:17:43.595Z	S1 58753, S2 58835	`84a2e5fc0d`	`f62aa3a033`	`sk_4707cd57`
34	move	S2 Exhibition1	34	2026-11-09T15:17:45.558Z	S1 58753, S2 58872	`f160c8d14a`	`84a2e5fc0d`	`sk_4707cd57`
35	move	S1 Exhibition2	35	2026-11-09T15:17:47.534Z	S1 58777, S2 58872	`b458f3017a`	`f160c8d14a`	`sk_4707cd57`
36	move	S2 Exhibition1	36	2026-11-09T15:17:49.481Z	S1 58777, S2 58925	`4bee6ea9fe`	`b458f3017a`	`sk_4707cd57`
37	move	S1 Exhibition2	37	2026-11-09T15:17:51.431Z	S1 58827, S2 58925	`60bbf61e22`	`4bee6ea9fe`	`sk_4707cd57`
38	move	S2 Exhibition1	38	2026-11-09T15:17:53.386Z	S1 58827, S2 58970	`9e522eac5f`	`60bbf61e22`	`sk_4707cd57`
39	move	S1 Exhibition2	39	2026-11-09T15:17:55.347Z	S1 58866, S2 58970	`972bb18e17`	`9e522eac5f`	`sk_4707cd57`
40	move	S2 Exhibition1	40	2026-11-09T15:17:57.294Z	S1 58866, S2 59023	`97c451851d`	`972bb18e17`	`sk_4707cd57`
41	move	S1 Exhibition2	41	2026-11-09T15:17:59.269Z	S1 58891, S2 59023	`1f1afeda48`	`97c451851d`	`sk_4707cd57`
42	move	S2 Exhibition1	42	2026-11-09T15:18:01.446Z	S1 58891, S2 58846	`23aad5f89c`	`1f1afeda48`	`sk_4707cd57`
43	move	S1 Exhibition2	43	2026-11-09T15:18:03.713Z	S1 58624, S2 58846	`79786ef928`	`23aad5f89c`	`sk_4707cd57`
44	move	S2 Exhibition1	44	2026-11-09T15:18:05.753Z	S1 58624, S2 58806	`361704a275`	`79786ef928`	`sk_4707cd57`
45	move	S1 Exhibition2	45	2026-11-09T15:18:07.693Z	S1 58684, S2 58806	`912d1ee7df`	`361704a275`	`sk_4707cd57`
46	move	S2 Exhibition1	46	2026-11-09T15:18:09.628Z	S1 58684, S2 58871	`7bf589329b`	`912d1ee7df`	`sk_4707cd57`
47	move	S1 Exhibition2	47	2026-11-09T15:18:11.574Z	S1 58738, S2 58871	`2f6d1b1062`	`7bf589329b`	`sk_4707cd57`
48	move	S2 Exhibition1	48	2026-11-09T15:18:13.532Z	S1 58738, S2 58913	`867f071898`	`2f6d1b1062`	`sk_4707cd57`
49	move	S1 Exhibition2	49	2026-11-09T15:18:15.467Z	S1 58803, S2 58913	`c8b134c8cd`	`867f071898`	`sk_4707cd57`
50	move	S2 Exhibition1	50	2026-11-09T15:18:17.404Z	S1 58803, S2 58976	`605bf41532`	`c8b134c8cd`	`sk_4707cd57`
51	move	S1 Exhibition2	51	2026-11-09T15:18:19.341Z	S1 58866, S2 58976	`92d8370090`	`605bf41532`	`sk_4707cd57`
52	move	S2 Exhibition1	52	2026-11-09T15:18:21.274Z	S1 58866, S2 59043	`adcff1b432`	`92d8370090`	`sk_4707cd57`
53	move	S1 Exhibition2	53	2026-11-09T15:18:23.213Z	S1 58927, S2 59043	`6ab41432b8`	`adcff1b432`	`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_01M70E3W7RF7X9CPREYA839TH8

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

Verify set `set_01M70E3W7RF7X9CPREYA839TH8`

Verified

Set checks

Game 1 `m_01M70E3W7TE129WQ7V7FMWPAZG`: verified

Game 2 `m_01M70E3W7VF3KV152T04F05FS5`: verified

Check it yourself

Menu

Play

Watch

Learn

Verify set set_01M70E3W7RF7X9CPREYA839TH8

Verified

Set checks

Game 1 m_01M70E3W7TE129WQ7V7FMWPAZG: verified

Game 2 m_01M70E3W7VF3KV152T04F05FS5: verified

Check it yourself

Verify set `set_01M70E3W7RF7X9CPREYA839TH8`

Game 1 `m_01M70E3W7TE129WQ7V7FMWPAZG`: verified

Game 2 `m_01M70E3W7VF3KV152T04F05FS5`: verified