Auditor

Protocol
CAUTION: If the auditor uses the Audition method to apply stamps, then the auditor must check that the audition is a genuine system-created Audition or it will be vulnerable to fake auditions which supply the wrong object-examination answers but forward ask/1, or simply steal the stamps and misapply them itself.

Note that under guard-based auditing, the as-auditor of an object is stored in the binding as if the object passed the auditor as a guard; therefore, objects which implement this Auditor protocol as well as the Guard protocol should make them consistent with each other.