Detail: http://cotc.psychose.ca/viewcase.php?cfj=3327
============================== CFJ 3327 ==============================
It was POSSIBLE for me to cash 'ZipZop Series G-002' when I
attempted to do so.
========================================================================
Caller: omd
Judge: woggle
Judgement: TRUE
Judge: woggle
Judgement:
========================================================================
History:
Called by omd: 21 May 2013 01:13:52 GMT
Assigned to Ienpw III: 27 May 2013 22:33:11 GMT
Ienpw III recused: 09 Jun 2013 18:20:49 GMT
Assigned to woggle: 09 Jun 2013 18:21:30 GMT
Judged TRUE by woggle: 15 Jun 2013 23:02:21 GMT
Reconsideration requested by Murphy: 19 Jun 2013 17:05:18 GMT
Reconsideration requested by Roujo: 19 Jun 2013 17:07:33 GMT
Reconsideration requested by omd: 19 Jun 2013 19:03:58 GMT
Assigned to woggle: 19 Jun 2013 19:03:58 GMT
========================================================================
Request for reconsideration by Murphy:
I intend (with 2 support) to request reconsideration, suggesting
REMAND so we can get some arguments and/or evidence.
========================================================================
Request for reconsideration by Roujo:
I support.
========================================================================
Request for reconsideration by omd:
There is nothing out of the ordinary about this promise, but consider
how the logic actually works. The rules state that the transfer from
the Tree succeeded if the cashing succeeded and that the cashing
succeeded if the transfer succeeded (because otherwise it wouldn't be
in my possession): c -> t ∧ t -> c. Both "c = t = T" and "c = t = F"
are consistent, and there is no actual guidance on which way the
computation should be biased, so a priori the rules do not define c or
t as either true or false. That is, except for game custom and
perhaps common sense as guidance: is that enough?
Does the clause about indeterminacy caused by cashing come into play?
========================================================================
Request for reconsideration by omd:
If cashing a promise would lead, through its own actions or
actions directly caused by its cashing, to a value being
indeterminate an instant after the promise is cashed, then
(other provisions of this or other rules notwithstanding) it
CANNOT be cashed.
If a promise is possessed by the Tree, any player except the
promise's author CAN transfer it to emself by announcement, if e
cashes the promise in the same message in which e transfers it
to emself.
========================================================================
