The sensory version of a key is defined as:

The sensory version of any key does not contain the authority to change the observable state of any object.

The Weakener {(p2, weakener)} may be used to create the sensory version of any key.

If "S" is a sense key to node N and 0 <= n <= 15 then S(SENSE__FETCH+n;==>;K) produces in K the sensory version of the key in slot n of N.

S(SENSE__DATA_BYTE;==>c;) returns the databyte of S in c.

S(kt;==>c;) returns 1 in c.


We have chosen to restrict access to sense keys for the reasons given in (p1,sense-int). Come to us if you think that you need them.