WEBVTT

1
00:00:00.000 --> 00:00:02.868
Rain Dispatches Only a Fresh PERMIT.

2
00:00:02.868 --> 00:00:08.769
Show handle stopping, Rain running once, and the consumed nonce stopping.

3
00:00:08.769 --> 00:00:10.623
Handle decides and stops.

4
00:00:10.623 --> 00:00:15.875
In this run it returns PERMIT with dispatch false and executed false.

5
00:00:15.875 --> 00:00:21.977
Rain then receives that nonce and the same actor, effect, resource, and request.

6
00:00:21.977 --> 00:00:27.693
The effect executes once, and the record stays on the teaching workstation.

7
00:00:27.693 --> 00:00:29.933
There is no production record.

8
00:00:29.933 --> 00:00:32.482
The same nonce is presented again.

9
00:00:32.482 --> 00:00:35.108
The second result does not execute.

10
00:00:35.108 --> 00:00:38.120
A consumed nonce does not execute again.

11
00:00:38.120 --> 00:00:42.157
Here is the measured teaching-workstation run.

12
00:00:42.157 --> 00:00:43.771
Handle lab.observe.

13
00:00:43.771 --> 00:00:45.027
Outcome PERMIT.

14
00:00:45.027 --> 00:00:46.551
Dispatch is false.

15
00:00:46.551 --> 00:00:48.076
Executed is false.

16
00:00:48.076 --> 00:00:52.112
The reason is fresh permit not yet dispatched.

17
00:00:52.112 --> 00:00:54.893
The teaching nonce is on screen.

18
00:00:54.893 --> 00:00:57.673
Rain presents the exact binding.

19
00:00:57.673 --> 00:00:58.929
Outcome PERMIT.

20
00:00:58.929 --> 00:01:00.364
Dispatch is true.

21
00:01:00.364 --> 00:01:01.799
Executed is true.

22
00:01:01.799 --> 00:01:04.580
The teaching nonce is on screen.

23
00:01:04.580 --> 00:01:08.974
Rain presents the same nonce and the same binding.

24
00:01:08.974 --> 00:01:10.051
Outcome DENY.

25
00:01:10.051 --> 00:01:11.576
Dispatch is false.

26
00:01:11.576 --> 00:01:13.100
Executed is false.

27
00:01:13.100 --> 00:01:15.701
The reason is replay rejected.