[cap-talk] Petnames versus E-order with ocaps

[Charles Landau]

Karp, Alan H wrote:
> Charles Landau wrote:
>> Those two references have different properties, so they are
>> different references, in other words references to different
>> objects. So they should have different petnames.
>> 
> In what way are the properties different.  In a single vat, the
> reference is just a pointer to a local object.

Let's consider the two cases separately.

In different vats, Bob's old reference will deliver messages to Carol 
right away, while his new reference will wait until Alice's previous 
messages have arrived. Would you agree this difference requires the two 
references to be different?

In the same vat, even if the references are identical and are associated 
with the same petname, Bob does not have a problem ensuring the order of 
his messages to Carol relative to Alice's messages.