[cap-talk] capability copy and capability map

[Charles Landau]

At 10:36 PM +0200 10/25/06, Marcus Brinkmann wrote:
>Should the eq? operation yield true when comparing a wrapper and the
>wrapped object?

Definitely not.

>If wrapping is understood to be used for revocable delegation, I think
>that "yes" would be a reasonable answer to that question.  However,
>one can also make a reasonable argument against is.  But then the
>delegation is not transparent anymore.

Revocable delegation is never transparent. After revocation, the 
revoked capability is unusable, and the original capability is not. 
They are clearly different.

>Personally, for the use cases I think about most, I think that
>revocable delegation should be transparent to eq?.

Can you give an example? I'm sure that example can be served by using 
some other mechanism, perhaps the Alleged Key Type, rather than eq?.