On 1/23/2020 8:28 AM, Alexis Hunt wrote:
> On Thu, 23 Jan 2020 at 11:20, Kerim Aydin via agora-discussion <
> agora-discussion@agoranomic.org> wrote:
>
>>
>> On 1/23/2020 7:49 AM, Alexis Hunt via agora-business wrote:
>>> Proposal: A Degree of Inefficiency (AI=3)
>>> {{{
>>> Amend Rule 2595 (Performing a Dependent Action) by inserting ", and did
>> not
>>> subsequently withdraw, " immediately after "published" in the first
>>> paragraph.
>>> }}}
>>>
>>> -Alexis
>>>
>>
>> Consider:
>>
>> 1. Announcement of intent 1.
>> 2. Withdrawn.
>> 3. Second Announcement for the same thing.
>>
>> Now, since I have "previously withdrawn" such an announcement, the blocking
>> condition will still be true, I can't do it.
>>
>
> It's a good thing I wrote "subsequently withdraw" not "previously
> withdrawn", then.
Sorry, I mis-typed, but it doesn't change it IMO. The question "did I publish
and then subsequently withdraw an announcement of intent" becomes true when I
do it once, and remains true regardless of later announcements of intent.
> More debatable whether:
>
> 1. intent
> 2. intent again
> 3. withdraw one intent but not the other
>
> works, but since it refers to "an announcement of intent", the intended
> interpretation is that it applies to the specific announcement, reinforced
> by the fact that the other clauses in the rule refer to the specific
> announcement in point 1; the announcements are clearly not fungible.
>
I disagree. If you announce intent twice, then perform the action once,
there's no real way to say "this action is associated with intent #1 not
intent #2". It's really "if at least one of the intents is good, it works."
Similarly, if at least one of the announcements has been "subsequently
withdrawn", your added language seems to block it.
This is important for how we've done things in the past, especially
convergences. If there's an uncertainty in one Intent, publish another one.
If we had 1-1 matching, we couldn't really converge this way without doing
more specific 1-1 matching in the action announcement, which is a pain and
prone to error.
-G.
