DIS: Re: BUS: Re: OFF: [Arbitor] CFJ 3902 Assigned to Murphy

2021-03-30 Thread Falsifian via agora-discussion
I'm confused about a couple of things... > Abstractly, the situation is as follows: > > * Just before time T, rule R had body B0 and revision number R0. > > * Document D alleges that, at time T, rule R had body B1 and revision > number R1. > > * At time T+Y, document D is ratified.

Re: DIS: [Proto] Ratification Rewrite

2021-03-30 Thread Falsifian via agora-discussion
On Sun, Mar 28, 2021 at 01:04:33PM -0700, Aris Merchant via agora-discussion wrote: > Wasn't really planning to publish this so soon, as I'm not really done > editing it. On the other hand, Murphy has published eirs, so I'm going > for it. > > -Aris > --- > Title: Ratification Rewrite > Adoption