Re: DIS: Re: BUS: [Promise] Treasure

2020-06-21 Thread Jason Cobb via agora-discussion 
On 6/21/20 10:32 PM, omd via agora-discussion wrote:
> On Sun, Jun 21, 2020 at 7:23 PM Jason Cobb via agora-discussion
>  wrote:
>> I believe this fails because promises cannot possess promises
> Why not?


Promises can only be possessed by Agora, players, contracts, and the
Library. A promise is none of those.

-- 
Jason Cobb

Re: DIS: Re: BUS: [Promise] Treasure

2020-06-21 Thread omd via agora-discussion 
On Sun, Jun 21, 2020 at 7:23 PM Jason Cobb via agora-discussion
 wrote:
> I believe this fails because promises cannot possess promises

Why not?

DIS: Re: BUS: [Promise] Treasure

2020-06-21 Thread Jason Cobb via agora-discussion 
On 6/21/20 10:21 PM, omd via agora-business wrote:
> I grant myself a promise with the text "I pay 200 coins to the bearer".
>
> I transfer that promise to itself.


I believe this fails because promises cannot possess promises, and
because of R2576:

>   Each asset has exactly one owner. If an asset's backing document
>   restricts its ownership to a class of entities, then that asset
>   CANNOT be gained by or transferred to an entity outside that
>   class, and is destroyed if it is owned by an entity outside that
>   class. The restrictions in the previous sentence are subject to
>   modification by its backing document. By default, ownership of an
>   asset is restricted to Agora, players, and contracts.

-- 
Jason Cobb