Show one teaching record bound to the action, then a restart that mints nothing.
Recommended first: HIOP Fundamentals. You can still study this lesson.
The teaching record is written when Rain dispatches the fresh PERMIT. It is bound to that actor, effect, resource, and request. It is a teaching-workstation record, not a production record. Decision memory keeps what was decided. Remembering the decision does not mint a new permit. After restart, the same nonce is presented again and does not execute. Silicon is memory. It is not a second way to dispatch.
These fields were returned by the teaching workstation for this lesson. They are not a production permit.
Dispatch the fresh PERMIT for lab.observe
Restart the workstation and present the consumed nonce
Separate the row that writes the record from the row after restart.
This lesson is not complete yet.
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.