Another actor presents the nonce
Actor other presents operator's nonce
- outcome
- DENY
- dispatch
- false
- executed
- false
- reason
- binding_rejected
- effect
- lab.observe
- actor id
- other
- resource
- scope-a
- request id
- iso-1
Stop one actor from spending another's permit, and store a message as a message.
Recommended first: HIOP Fundamentals. You can still study this lesson.
Isolation means one actor cannot spend another actor's permit. Operator receives a fresh PERMIT for lab.observe. Actor other presents that nonce. The binding is rejected because the actor does not match. A message from operator to other is then stored. The message creates no permit, and it does not execute. An inter-agent message is a message. It is not authority moving between agents.
These fields were returned by the teaching workstation for this lesson. They are not a production permit.
Actor other presents operator's nonce
Deliver a message from operator to other
Find the rejected binding and the stored message. Neither one is a dispatch.
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.