Difficult, yes, but formally IMPOSSIBLE? On Wed, Jul 29, 2020 at 1:34 PM ais523 via agora-business < agora-busin...@agoranomic.org> wrote:
> On Wed, 2020-07-29 at 10:06 +0200, Cuddle Beam via agora-business wrote: > > I motion to reconsider. The "A public message, after all, is evaluated > only > > once, and does not continue taking effect thereafter" thing seems weird > to > > me, considering that we can do deadlines for things. Or maybe deadlines > > just don't work at all! Which would be amusing as well. > > > > For example "This contract is OPEN before July 1, and CLOSED after it." > > > > It would be weird that such a contract would be OPEN forever, but that is > > what this Judgement seems to imply, that mechanisms "in the background" > > can't happen, because they're not being evaluated by a message. That, or > > the reproduction still works, and my CfJ referring to these reproducing > > contracts did set this Schr??ninger's Box to the state it was written to > be > > in. > > Gratuitous: the "OPEN" / "CLOSED" example works because it changes only > contract-defined gamestate, not something tracked by the rules of Agora > themselves. It could easily be interpreted as a shorthand definition: > "This contract is OPEN" means "The date is before July 1". > > Changing officer-tracked information is much more difficult. > > -- > ais523 > >
