nix wrote:
On 5/5/24 18:05, ais523 via agora-business wrote:
CFJ: I own the Power Stone.
Arguments: The Anti-Equatorial Stone transfers the "mossiest non-immune
stone", or a specified such stone if multiple non-immune stones are
tied for mossiest. Currently, "mossiness" is not defined (with the only
mention outside the Anti-Equatorial stone being in rule 2451, which
allows the Prime Minister to increase a stone's mossiness by 2). Does
that mean that all stones are currently tied for mossiest, on the basis
that the Prime Minister has not used the power in question to make them
mossier?
I assign this CFJ number 4079. I assign CFJ 4079 to Murphy.
Judge's arguments:
I agree with ais523 that the remaining rules do not define "mossiness" -
defining a way to change a thing is not the same as defining that thing
itself - so Rule 1586 (Definition and Continuity of Entities) doesn't
apply.
"Mossiness" in this context only existed because the rules defined it,
much as the Stones themselves only exist because the rules define them;
the rules were never referring to physical mossy stones that already
existed previously. Thus, there is no relevant ordinary-language
definition of "mossiness" to fall back on. It ceased to have any
relevant definition, and the clauses in the other rules became
ineffective due to attempting to reference an undefined term.
In particular, ais523 failed to transfer the Power Stone to emself at
the time in question, so I judge CFJ 4079 FALSE.
Judge's evidence:
ais523's announcement immediately before calling this CFJ:
> I wield the Anti-Equatorial Stone, specifying the Power Stone.
Rule 2645 (The Stones), excerpt
- Anti-Equatorial Stone (monthly, 5): When wielded, the mossiest
non-immune stone is transferred to the wielder. If more than one
such stone is tied for mossiest, a specified one is transferred.
When this happens, the wielded stone's mossiness is incremented
by 1.
Rule 2451 (Executive Orders), excerpt
- Growth (Stonemason): The Prime Minister increases the mossiness
of a specified stone by 2.
Rule 2640 (Stones), excerpt; this text was removed by Proposal 9079
(Spendies v1.1) before the CFJ, without explicitly addressing the
dangling references to mossiness in other rules:
Mossiness is a Stone switch with values of non-negative integers
and a default of 0 tracked by the Stonemason. When a stone is
transferred from Agora to a player or from a player to Agora, its
Mossiness is set to 0. The mossiest stone(s) in a set of stone is
(are) the stone(s) with the highest Mossiness value.
