WEBVTT

1
00:00:00.000 --> 00:00:01.403
Fossil and Silicon.

2
00:00:01.403 --> 00:00:07.559
Show one teaching record bound to the action, then a restart that mints nothing.

3
00:00:07.559 --> 00:00:12.657
The teaching record is written when Rain dispatches the fresh PERMIT.

4
00:00:12.657 --> 00:00:16.856
It is bound to that actor, effect, resource, and request.

5
00:00:16.856 --> 00:00:21.354
It is a teaching-workstation record, not a production record.

6
00:00:21.354 --> 00:00:24.203
Decision memory keeps what was decided.

7
00:00:24.203 --> 00:00:28.026
Remembering the decision does not mint a new permit.

8
00:00:28.026 --> 00:00:33.199
After restart, the same nonce is presented again and does not execute.

9
00:00:33.199 --> 00:00:34.474
Silicon is memory.

10
00:00:34.474 --> 00:00:37.023
It is not a second way to dispatch.

11
00:00:37.023 --> 00:00:40.996
Here is the measured teaching-workstation run.

12
00:00:40.996 --> 00:00:44.617
Dispatch the fresh PERMIT for lab.observe.

13
00:00:44.617 --> 00:00:45.853
Outcome PERMIT.

14
00:00:45.853 --> 00:00:47.266
Dispatch is true.

15
00:00:47.266 --> 00:00:48.679
Executed is true.

16
00:00:48.679 --> 00:00:51.417
The teaching nonce is on screen.

17
00:00:51.417 --> 00:00:56.186
Restart the workstation and present the consumed nonce.

18
00:00:56.186 --> 00:00:57.245
Outcome DENY.

19
00:00:57.245 --> 00:00:58.747
Dispatch is false.

20
00:00:58.747 --> 00:01:00.248
Executed is false.

21
00:01:00.248 --> 00:01:02.809
The reason is replay rejected.