WEBVTT

1
00:00:00.000 --> 00:00:03.007
Practical: Evidence Must Stay Bound.

2
00:00:03.007 --> 00:00:08.937
Verify a teaching record, change the resource, and show the copy fail.

3
00:00:08.937 --> 00:00:13.400
Rain dispatches lab.observe once and writes a teaching record.

4
00:00:13.400 --> 00:00:16.034
Verification of that record succeeds.

5
00:00:16.034 --> 00:00:17.643
Verification is a read.

6
00:00:17.643 --> 00:00:20.131
It does not dispatch a second time.

7
00:00:20.131 --> 00:00:25.180
The record is then copied and only the resource is changed to scope-b.

8
00:00:25.180 --> 00:00:26.936
The copy does not verify.

9
00:00:26.936 --> 00:00:30.741
Evidence has to match the action that was authorized.

10
00:00:30.741 --> 00:00:37.472
A true story about a different resource is a different story, and the workstation rejects it.

11
00:00:37.472 --> 00:00:41.194
Here is the measured teaching-workstation run.

12
00:00:41.194 --> 00:00:44.585
Dispatch the fresh PERMIT for lab.observe.

13
00:00:44.585 --> 00:00:45.743
Outcome PERMIT.

14
00:00:45.743 --> 00:00:47.066
Dispatch is true.

15
00:00:47.066 --> 00:00:48.389
Executed is true.

16
00:00:48.389 --> 00:00:50.953
The teaching nonce is on screen.

17
00:00:50.953 --> 00:00:52.938
Verify the stored record.

18
00:00:52.938 --> 00:00:56.577
Verification is a read and does not dispatch.

19
00:00:56.577 --> 00:00:57.900
Outcome verified.

20
00:00:57.900 --> 00:01:00.216
The reason is record matches.

21
00:01:00.216 --> 00:01:04.765
Copy the record and change only the resource to scope-b.

22
00:01:04.765 --> 00:01:06.088
Outcome rejected.

23
00:01:06.088 --> 00:01:08.983
The reason is record does not match.