Operator training

Lab: Approval Must Not Dispatch

Repeat the approval run and show that PERMIT_WITH_APPROVAL stays undispatched.

Explanation

What you are learning

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

Do this lab by reading the flags, not by remembering the slogan. The email is held. The duty officer is recorded. The fact mints no authority. A later email request re-enters CRUSHIA and is held again. PERMIT_WITH_APPROVAL stays undispatched. The approved production.deploy request stays DENY. If a row executed, this lab would have failed. None of these rows execute.

Worked example

Teaching workstation

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

The email request is held

Handle send email before using the approval

outcome
PERMIT_WITH_APPROVAL
dispatch
false
executed
false
reason
approval_required
effect
send_email
actor id
operator
resource
mailbox
request id
approve-1

Record the approval as a fact

Record the duty officer's approval of that request

dispatch
false
executed
false
request id
approve-1
mints authority
no
approval
recorded fact

The fact re-enters the next decision

Handle a new send-email request after the fact is recorded

outcome
PERMIT_WITH_APPROVAL
dispatch
false
executed
false
reason
approval_required
effect
send_email
actor id
operator
resource
mailbox
request id
approve-2

Approval does not open a locked effect

Ask for production.deploy and mark the request approved

outcome
DENY
dispatch
false
executed
false
reason
locked_deny
effect
production.deploy
actor id
operator
resource
release
request id
approve-3
Exercise

Try it before you check

Confirm every row shows executed false before you mark the exercise.

Did any row in this lab dispatch?
Assessment

Explain the result

Where does the approval go?

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.