On 27/1/2021 9:53 am, Jason Cobb via agora-discussion wrote:
> {
>
> Executor is a contract switch with possible values of every party that
> is a player, Agora, and null, defaulting to null, tracked by the Notary.
> Assets CANNOT be transferred to a contract with null executor.
>
> A party to the contract CAN by announcement flip its executor to a
> party, when explicitly permitted by the text of the contract, or with
> the consent of all parties. The executor of a contract CAN be flipped to
> Agora with 2 Agoran consent. The executor of a contract whose executor
> is Agora CAN be flipped to null with Agoran consent.
>
> If this rule has existed for at least 30 days, and a contract has had a
> null executor for the past 14 days, a player CAN, with 7 days notice and
> 2 support, destroy all assets held by that contract.
>
> The jointly-accessible assets of a player are the following; assets
> listed earlier are said to be jointly-accessible "earlier" or "first":
> 1. The assets e owns;
> 2. The assets in each contract for which e is the executor, with earlier
> joint-accessibility for more recently created contracts;
> 3. The assets in each contract with a null executor that e is party to,
> with earlier joint-accessibility for more recently created contracts.
>
> }
>
The current draft would cause the switch value to become indeterminate
in this scenario, and thus according to rule 2162, the party who was
executor (prior to the departure of the current executor from the
contract) becomes executor, unless there wasn't a last executor, in
which case it would become null.
Is this intended behavior?
JTAC
Referee
