WEBVTT

1
00:00:00.000 --> 00:00:01.686
Lab: Build the Chain.

2
00:00:01.686 --> 00:00:08.347
Run register, handle, and Rain, and keep the fossil on the teaching workstation.

3
00:00:08.347 --> 00:00:11.076
This is the same chain, done as a lab.

4
00:00:11.076 --> 00:00:12.404
Register the actor.

5
00:00:12.404 --> 00:00:14.396
Handle lab.observe and stop.

6
00:00:14.396 --> 00:00:18.231
The first measured row is PERMIT with dispatch false.

7
00:00:18.231 --> 00:00:20.223
Give Rain the exact binding.

8
00:00:20.223 --> 00:00:24.428
The second row executes once and writes a teaching record.

9
00:00:24.428 --> 00:00:28.116
There is no second kernel and no production record.

10
00:00:28.116 --> 00:00:33.427
Your exercise is to name which call executed and which call only decided.

11
00:00:33.427 --> 00:00:37.306
Here is the measured teaching-workstation run.

12
00:00:37.306 --> 00:00:39.892
Handle lab.observe for scope-a.

13
00:00:39.892 --> 00:00:41.099
Outcome PERMIT.

14
00:00:41.099 --> 00:00:42.564
Dispatch is false.

15
00:00:42.564 --> 00:00:44.030
Executed is false.

16
00:00:44.030 --> 00:00:47.909
The reason is fresh permit not yet dispatched.

17
00:00:47.909 --> 00:00:50.581
The teaching nonce is on screen.

18
00:00:50.581 --> 00:00:55.322
Give Rain the same actor, effect, resource, and request.

19
00:00:55.322 --> 00:00:56.529
Outcome PERMIT.

20
00:00:56.529 --> 00:00:57.908
Dispatch is true.

21
00:00:57.908 --> 00:00:59.287
Executed is true.

22
00:00:59.287 --> 00:01:01.959
The teaching nonce is on screen.