WEBVTT

1
00:00:00.000 --> 00:00:02.533
Fail Closed and Durable State.

2
00:00:02.533 --> 00:00:07.949
Deny a blank request, then show restart creating no new permit.

3
00:00:07.949 --> 00:00:12.285
When the request is blank, the workstation fails closed.

4
00:00:12.285 --> 00:00:17.645
The blank request id is DENY, reason malformed, and nothing executes.

5
00:00:17.645 --> 00:00:19.380
There is no best guess.

6
00:00:19.380 --> 00:00:22.927
Durable state is the other half of the lesson.

7
00:00:22.927 --> 00:00:26.080
A successful dispatch consumes the nonce.

8
00:00:26.080 --> 00:00:28.918
Restart restores that consumed state.

9
00:00:28.918 --> 00:00:33.806
It does not mint a permit and it does not run the effect again.

10
00:00:33.806 --> 00:00:36.013
Malformed input fails closed.

11
00:00:36.013 --> 00:00:39.403
Restart is not a reset button for authority.

12
00:00:39.403 --> 00:00:43.474
Here is the measured teaching-workstation run.

13
00:00:43.474 --> 00:00:45.735
Submit a blank request id.

14
00:00:45.735 --> 00:00:46.821
Outcome DENY.

15
00:00:46.821 --> 00:00:48.359
Dispatch is false.

16
00:00:48.359 --> 00:00:49.896
Executed is false.

17
00:00:49.896 --> 00:00:51.977
The reason is malformed.

18
00:00:51.977 --> 00:00:57.767
After a successful dispatch, restart and present the nonce again.

19
00:00:57.767 --> 00:00:58.852
Outcome DENY.

20
00:00:58.852 --> 00:01:00.390
Dispatch is false.

21
00:01:00.390 --> 00:01:01.928
Executed is false.

22
00:01:01.928 --> 00:01:04.551
The reason is replay rejected.