Norman Hardy; 2009 Feb

This note is to explore more thoroughly the ideas I first noted here. That explanation assumes too much familiarity with capability patterns, and also is vague on some points that have interesting and useful variations.

I explore an interesting trust complexity gamut with the dramatis personæ given above.

The box referred to immutably holds a key. It will return the key and the box factory will vouch for boxness of the box. Some boxes (but not those above) will not return the key but will compare the held key with a proffered key.