Re: DIS: Request for Feedback: What's the Method Anyway?

2024-03-12 Thread Gaelan Steele via agora-discussion


> On Mar 12, 2024, at 10:48 PM, nix via agora-discussion 
>  wrote:
> 
> This is related to CFJ 4072, but you don't need to be familiar with all
> of the arguments there.
> 
> I just want everyone's reading on one (crucial) element. R105 requires
> an "unambiguous and clear specification of the method to be used for
> changing the rule". For rule changes in proposals, what would you say is
> "the method", according to the rules? What would be a 1 sentence
> "unambiguous and clear specification" of that method?
> 
> -- 
> nix

I raised this on Discord, but on list for posterity: I’m starting
to think it’s “by proposal”.

“By proposal”, as a method of doing something, is a term that Agorans
use fairly frequently. By way of a few examples: the Herald reports
wins by proposal, the Tailor’s quick reference says black ribbons
can be gained by proposal. Even more convincingly, 2575/3 reads, in
part: {
  The holder [of Distributor] CANNOT be changed except without
  objection or by proposal.
}

Which implies fairly strongly that “by proposal” is the same sort
of thing as “without objection”, namely a method.

And I think there’s a reasonable argument that, by labelling a
potential rule change as a “proposal”, the distribution message
has specified the rule change alongside the mechanism of “by
proposal”.

Gaelan

Re: DIS: Request for Feedback: What's the Method Anyway?

2024-03-12 Thread 4st nomic via agora-discussion
On Tue, Mar 12, 2024 at 3:49 PM nix via agora-discussion <
agora-discussion@agoranomic.org> wrote:

> This is related to CFJ 4072, but you don't need to be familiar with all
> of the arguments there.
>
> I just want everyone's reading on one (crucial) element. R105 requires
> an "unambiguous and clear specification of the method to be used for
> changing the rule". For rule changes in proposals, what would you say is
> "the method", according to the rules? What would be a 1 sentence
> "unambiguous and clear specification" of that method?
>
> --
> nix
>
>
"When a proposal is adopted, it becomes an instrument and takes effect."
"The method to implement the rule changes is rule 105."

either of those I think.

-- 
4ˢᵗ

Uncertified Bad Idea Generator


DIS: Request for Feedback: What's the Method Anyway?

2024-03-12 Thread nix via agora-discussion
This is related to CFJ 4072, but you don't need to be familiar with all
of the arguments there.

I just want everyone's reading on one (crucial) element. R105 requires
an "unambiguous and clear specification of the method to be used for
changing the rule". For rule changes in proposals, what would you say is
"the method", according to the rules? What would be a 1 sentence
"unambiguous and clear specification" of that method?

-- 
nix



Re: DIS: Re: (@arbitor, @referee) Re: BUS: A lie

2024-03-12 Thread Janet Cobb via agora-discussion
On 3/12/24 14:39, ais523 via agora-discussion wrote:
> On Tue, 2024-03-12 at 14:29 -0400, Janet Cobb via agora-business wrote:
>> Or, in the alternative, based on the authority Rule 2125, Rule 2471
>> prohibits sending a message with certain attributes, and that is what
>> the infraction is. So, the infraction isn't contained within the message
>> in any case. Thus, even if all infractions are judged to be game
>> actions, whether or not sending the message was an infraction has no
>> bearing on whether the message *contained* a game action. So, the
>> message does not contain any game actions and the statement is FALSE.
> Something I'm confused about (and which is relevant to me because I
> need to make a ruling as Referee): I think it's undisputed that rule
> 2125 allows the rules to prohibit the sending of messages even if doing
> so is not an action (it says that very explicitly). However, it is less
> clear whether rule 2471 actually makes use of that permission; it says
> "A person SHALL NOT make a public statement that is a lie.", and "SHALL
> NOT" is defined (by rule 2152) as "Performing the described action
> violates the rule in question."
>
> If rule 2471 is therefore read as "It is a violation of this rule to
> perform the action of making a public statement that is a lie", it
> therefore matters whether or not the making of the statement is an
> action, because rule 2471 criminalises only statements that are
> actions, not statements that are not actions.


I don't dispute that sending the message is an "action", but even so it
doesn't have to be a "game action".


> For what it's worth, I'm currently leaning (based on the above
> expansion) towards a reading in which rule 2471 defines lying to be an
> unregulated action that is nonetheless a rules violation (rule 2125
> states that the rules cannot proscribe unregulated actions, except for
> the sending of public messages, so this is not a violation of rule
> 2125). But I'd be interested in feedback from other players in this
> respect.
>

I wrote the R2125 clause, and that's the intent, yes.

-- 
Janet Cobb

Assessor, Rulekeepor, S​tonemason



DIS: Re: (@arbitor, @referee) Re: BUS: A lie

2024-03-12 Thread 4st nomic via agora-discussion
On Tue, Mar 12, 2024 at 11:29 AM Janet Cobb via agora-business <
agora-busin...@agoranomic.org> wrote:

> On 3/12/24 03:51, secretsnail9 via agora-business wrote:
> >
> >> On Mar 12, 2024, at 2:46 AM, secretsnail9 via agora-business <
> agora-busin...@agoranomic.org> wrote:
> >>
> >> I confirm, under penalty of no faking, this message contains a game
> action.
> >>
> >> --
> >> snail
> > I note that snail committed the infraction of breaking Rule 2471 (No
> Faking) in the above quoted message.
>
>
> Regardless of how the CFJ is judged, snail is guilty. Based on eir
> arguments, e believed the statement e made to be paradoxical and thus
> "not true".
>

Arguments TRUE:
Under penalty of no faking, it purported to contain a game action.
Their CFJ has no such no-faking associated with it.
The CFJ is simply not paradoxical, it is instead simply TRUE.

Per rule 101:
  Agora is a game of Nomic, wherein Persons, acting in accordance
  with the Rules, communicate their game Actions and/or results of
  these actions via Fora in order to play the game. The game may be
  won, but the game never ends.

  Please treat Agora Right Good Forever.

As such, communication is their game action and/or a result of their
actions via Fora in order to play the game.
I believe there are no results presented in their original message, thus,
it is a game action.
-- 
4ˢᵗ

Uncertified Bad Idea Generator


DIS: Re: (@arbitor, @referee) Re: BUS: A lie

2024-03-12 Thread ais523 via agora-discussion
On Tue, 2024-03-12 at 14:29 -0400, Janet Cobb via agora-business wrote:
> Or, in the alternative, based on the authority Rule 2125, Rule 2471
> prohibits sending a message with certain attributes, and that is what
> the infraction is. So, the infraction isn't contained within the message
> in any case. Thus, even if all infractions are judged to be game
> actions, whether or not sending the message was an infraction has no
> bearing on whether the message *contained* a game action. So, the
> message does not contain any game actions and the statement is FALSE.

Something I'm confused about (and which is relevant to me because I
need to make a ruling as Referee): I think it's undisputed that rule
2125 allows the rules to prohibit the sending of messages even if doing
so is not an action (it says that very explicitly). However, it is less
clear whether rule 2471 actually makes use of that permission; it says
"A person SHALL NOT make a public statement that is a lie.", and "SHALL
NOT" is defined (by rule 2152) as "Performing the described action
violates the rule in question."

If rule 2471 is therefore read as "It is a violation of this rule to
perform the action of making a public statement that is a lie", it
therefore matters whether or not the making of the statement is an
action, because rule 2471 criminalises only statements that are
actions, not statements that are not actions.

For what it's worth, I'm currently leaning (based on the above
expansion) towards a reading in which rule 2471 defines lying to be an
unregulated action that is nonetheless a rules violation (rule 2125
states that the rules cannot proscribe unregulated actions, except for
the sending of public messages, so this is not a violation of rule
2125). But I'd be interested in feedback from other players in this
respect.

-- 
ais523
Referee


Re: DIS: Re: [Arbitor] Assignment of CFJ 4072 to nix [Re: BUS: [CFJ] Another R105 CFJ]

2024-03-12 Thread Gaelan Steele via agora-discussion


> On Mar 12, 2024, at 3:04 PM, nix via agora-discussion 
>  wrote:
> 
> I haven't started drafting, but not sure I quite agree with this. A rule
> change is defined as "any effect that falls into the above classes", so
> the "full text" would be the full text of the change. Your reading seems
> like it'd make more sense if 105 said "the full text of the changed
> rules" or something to the effect.

Ah yes, good point.

It’s a little weird because an “effect” is an an abstract thing that
doesn’t really have text, per se - there are lots of ways to describe
the same amendment. But I think you’re right that this isn’t a game-
breaking problem, even if the wording could be improved.

Gaelan

Re: DIS: Re: [Arbitor] Assignment of CFJ 4072 to nix [Re: BUS: [CFJ] Another R105 CFJ]

2024-03-12 Thread nix via agora-discussion
On 3/12/24 09:28, Gaelan Steele via agora-discussion wrote:
> 105 requires us to publish the “full text” of a rule change. What
> is that?
> 
> Clearly what was intended is “a full description of the change to
> be made”, that feels like a somewhat counterintuitive interpretation.
> It seems like the literal meaning here would be that the full amended
> text of the rule be published 4 days before.

I haven't started drafting, but not sure I quite agree with this. A rule
change is defined as "any effect that falls into the above classes", so
the "full text" would be the full text of the change. Your reading seems
like it'd make more sense if 105 said "the full text of the changed
rules" or something to the effect.

-- 
nix



Re: DIS: CFJ 4062 draft-judged TRUE

2024-03-12 Thread Gaelan Steele via agora-discussion



> On Mar 12, 2024, at 2:39 PM, Gaelan Steele via agora-discussion 
>  wrote:
> 
> 
>> On Mar 9, 2024, at 6:37 PM, nix via agora-business 
>>  wrote:
>> 
>> On 1/28/24 00:59, Janet Cobb via agora-business wrote:
>>> I CFJ: "Proposal 9051, as part of its effect, applied a rule change."
>>> 
>> 
>> I number this CFJ 4062. I assign CFJ 4062 to Gaelan.
> 
> This is a draft judgement, as I haven’t done this in a while and would
> like assurance I’m not utterly off-base.

*taps earpiece* I have been informed that I was utterly off-base.
Specifically, I was looking at the post-patch version of 105.

Anyway, I think the thrust of my ruling is still true: even
without the patch, the proposal text wasn’t ambiguous, as there
was only one possible interpretation.

Gaelan

DIS: CFJ 4062 draft-judged TRUE

2024-03-12 Thread Gaelan Steele via agora-discussion


> On Mar 9, 2024, at 6:37 PM, nix via agora-business 
>  wrote:
> 
> On 1/28/24 00:59, Janet Cobb via agora-business wrote:
>> I CFJ: "Proposal 9051, as part of its effect, applied a rule change."
>> 
> 
> I number this CFJ 4062. I assign CFJ 4062 to Gaelan.

This is a draft judgement, as I haven’t done this in a while and would
like assurance I’m not utterly off-base.

I find TRUE.

First, I note that a separate ongoing CFJ (4072) considers the
possibility that this proposal, among many others, may have been
prevented from causing rule changes due to deficiencies in its
distribution. I’ll leave that possibility to Judge nix (to whom I offer
my deepest condolences), and disregard it in this judgement.

With that out of the way:

Most actions in Agora are done by sending a message meeting criteria,
for example the famous requirement to “set[] forth intent ... clearly
and unambiguously” to perform an action by announcement. If this were
an action by announcement, my task would be to find the criteria, and
determine if the message in question met them.

But proposals do not take actions by announcement. Instead, rule 106/46
reads: {
  When a proposal takes effect, the proposal applies the changes that
  it specifies in its text, except as prohibited by other rules. 
}

So if a proposal says something happens, the presumption is that *it
happens.* The only reason it wouldn’t is if a rule explicitly prevents
it from doing so. So, what could prevent this?

The only thing I see that comes close - other than the four-day rule,
which is being debated elsewhere - is this paragraph of 105/24: {
  Any ambiguity in the specification of a rule change causes that
  change to be void and without effect. [...] Furthermore, if the
  change being specified would be clear to any reasonable player, the
  specification is not ambiguous, even if it is incorrect or unclear
  on its face.
}

I don’t think the change is ambiguous in the ordinary sense of the
term: I don’t think there’s any plausible interpretation other than
appending the text at the end of the bulleted list. But 105 goes on,
clarifying that a specification is not ambiguous so long as it would
be clear to “any reasonable player”, even if incorrect or unclear on
its face. So I think it’s quite clear that the above provision does
not prevent this change from taking place.

As nothing prevents the change from taking place, it does.

Gaelan



DIS: Re: [Arbitor] Assignment of CFJ 4072 to nix [Re: BUS: [CFJ] Another R105 CFJ]

2024-03-12 Thread Gaelan Steele via agora-discussion



> On Mar 12, 2024, at 2:31 AM, nix via agora-business 
>  wrote:
> 
> On 3/11/24 19:16, Janet Cobb via agora-business wrote:
>> I CFJ: "There exists an entity that is a Rule with ID number 2687."
> 
> I number this CFJ 4072. Unfortunately, I assign CFJ 4072 to nix.
> 
> -- 
> nix
> 

A related and unfortunate question:

105 requires us to publish the “full text” of a rule change. What
is that?

Clearly what was intended is “a full description of the change to
be made”, that feels like a somewhat counterintuitive interpretation.
It seems like the literal meaning here would be that the full amended
text of the rule be published 4 days before.

Gaelan