Operator training

Lab: Replay, Substitution, and Restart

Fail a substituted resource, run the original binding once, and fail the restart.

Explanation

What you are learning

Recommended first: Product training. You can still study this lesson.

Three dispatches are attempted. The first changes the resource to scope-b and is rejected. The second presents the original binding and executes once. The third happens after restart and does not execute. That is the lab. Substitution fails. Replay after consumption fails. Restart mints nothing. Count the executed flags. Only one of them is true.

Worked example

Teaching workstation

These fields were returned by the teaching workstation for this lesson. They are not a production permit.

Substitution fails

Change the resource to scope-b and present the nonce

outcome
DENY
dispatch
false
executed
false
reason
binding_rejected
effect
lab.observe
actor id
operator
resource
scope-b
request id
mix-1

The original binding runs once

Present the original resource

outcome
PERMIT
dispatch
true
executed
true
effect
lab.observe
actor id
operator
resource
scope-a
request id
mix-1
nonce
49f14a29b772e751452df9a3e701d193
record
teaching workstation
production record
none

Restart does not make a new permit

Restart and present the consumed nonce

outcome
DENY
dispatch
false
executed
false
reason
replay_rejected
effect
lab.observe
actor id
operator
resource
scope-a
request id
mix-1
Exercise

Try it before you check

Say the order out loud: reject, run once, reject again.

Which attempt executed?
Assessment

Explain the result

What does restart restore?

This lesson is not complete yet.

Materials

Use these with the lesson

Previous lessonCourseNext lesson

A passed check is saved in this browser so you can resume. It is not a certificate, not an accreditation, and not authority to run an effect.