Operator training

Rain Dispatches Only a Fresh PERMIT

Show handle stopping, Rain running once, and the consumed nonce stopping.

Explanation

What you are learning

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

Handle decides and stops. In this run it returns PERMIT with dispatch false and executed false. Rain then receives that nonce and the same actor, effect, resource, and request. The effect executes once, and the record stays on the teaching workstation. There is no production record. The same nonce is presented again. The second result does not execute. A consumed nonce does not execute again.

Worked example

Teaching workstation

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

Handle stops before execution

Handle lab.observe

outcome
PERMIT
dispatch
false
executed
false
reason
fresh_permit_not_yet_dispatched
effect
lab.observe
actor id
operator
resource
scope-a
request id
rain-1
nonce
fe9f72408e270eef05e688929125aaa9

Rain dispatches the fresh PERMIT once

Rain presents the exact binding

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

The consumed nonce does not run again

Rain presents the same nonce and the same binding

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

Try it before you check

Point at the row that executes, then point at the row that refuses the replay.

Does handle execute the effect?
Assessment

Explain the result

What happens when the consumed nonce is presented again?

This lesson is not complete yet.

Materials

Use these with the 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.