On Thu, 23 Jan 2020 at 12:12, Kerim Aydin via agora-discussion < [email protected]> wrote:
> 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. > The requirement is that you publish and not subsequently withdraw. That's not the same as never having published and then withdrawn. Unambiguously, if I intend, withdraw, and then intend, I have intended without subsequently withdrawing. > > 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. > If any intent is good, it works, but the conditions on each intent's goodness are evaluated separately for that intent. For instance, the conditions in the intent must be specified, and the intent must be within the time window. You cannot combine intents, by having one intent within the time window with unsatisfied conditions, and one without conditions but outside the time window, in order to do the action. -Alexis
