Preliminary notes: All but one player (per registrar report) is definitely subscribed to a-d, with message delivery on. That leaves Tyler (who briefly showed up in June), who is not listed on a-d's member list.
Tyler sent a message to a-d in June, so e certainly was subscribed then. It's worth noting that mailman says "7 private members not shown," and Tyler could conceivably be one of them. (Although it's not clear how one becomes a private member; I don't see an option to do so.) Barring a) Tyler showing up and telling us e did or did not get the message, b) omg confirming that e is or is not a member of the list, I think the coin's owner is indeterminate and therefore it goes to the L&FD. Gaelan > On Oct 9, 2020, at 6:48 PM, Kerim Aydin via agora-official > <[email protected]> wrote: > > The below CFJ is 3886. I assign it to Gaelan. > > status: https://faculty.washington.edu/kerim/nomic/cases/#3886 > > =============================== CFJ 3886 =============================== > > The Bank currently owns 1 coin. > > ========================================================================== > > Caller: ATMunn > > Judge: Gaelan > > ========================================================================== > > History: > > Called by ATMunn: 09 Oct 2020 08:12:36 > Assigned to Gaelan: [now] > > ========================================================================== > > Caller's Evidence: > > (from > https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-discussion/2020-October/060335.html) > > On 10/8/2020 9:21 PM, ATMunn via agora-discussion wrote: >> I intend for this message to be a public message. >> >> I transfer 1 coin to the contract known as The Bank. >> > > > Caller's Arguments: > > Arguments FOR: Though the message was not sent to a public forum, it was > almost certainly sent to all players, and it contained a clear designation > of intent to be public. > > Arguments AGAINST: It may be hard to prove that all players are subscribed > to the agora-discussion list. Additionally, since the list's Publicity is > Discussion, it would logically follow that it is *only* for discussion and > no public messages can be sent. > > -------------------------------------------------------------------------- > > Gratuitous Arguments by Gaelan: > > We discussed this in August, and when I checked, there was one player who > was not subscribed to DIS. (So this would be ineffective, because while > there's an assumption that everyone gets messages sent to public fora, for > something like this you need to actually meet the standard of sending to > all players.) > > ========================================================================== >
