Murphy wrote: > ais523 wrote: >> root wrote: >>> What is unknown about the current set of CFJs? >> Whether comex filed an equity case against the Gnarlier Contract. (E >> tried to, and it was found UNDECIDABLE whether this was possible, so >> I can only include that it's undecidable whether e created the CFJ. >> Murphy ignored the message, which was a reasonable action under the >> circumstances, and I was ratifying the docket that assigned ID numbers >> to the CFJs called after comex's attempt, thus removing any CFJ that >> comex may have created from the gamestate. > This can be cleaned up by comex retracting the CFJ (in case it exists). I'm not so sure; if it did exist, then you violated a time limit to assign it to someone, but if it didn't, then you didn't. So there'll still be something unknown in the gamestate.
-- ais523
<<winmail.dat>>
