[Proto-Proposal] Re: DIS: Re: BUS: Re: OFF: CFJs 3929 and 3930 Assigned to Jason

[Trigon via agora-discussion]

El 27/09/2021 a las 15:52, Kerim Aydin via agora-discussion escribió:


On 9/23/2021 10:00 PM, Jason Cobb via agora-business wrote:

However, Rule 2140 is not the only Rule that governs how lower-powered
Rules affect higher-powered Rules. Rule 217's second paragraph states
when lower-powered definitions may affect higher-powered Rules.


I don't think it's correct to call Rule 1769 the "definition" of the term
holiday for R217 purposes.  Words like "holiday" aren't chosen randomly as
a term of art, they mean something.

In common language, a holiday is a special time period during which
special legal rules may apply.  Rule 1769 nonexclusively declares a couple
time periods to be holidays and (also nonexclusively) describes some
particular Agoran legal rules for holidays. That doesn't make it the
"definition" of a holiday, but rather wholly supports the common usage.

A lower-powered rule couldn't override this high-level common usage (by
declaring a person to be a holiday for example, out of keeping with the
common definition) but it's wholly in keeping with that R1769 usage, and
not at all "in conflict", to declare additional time periods to be holidays.

-G.



Seeing as this has been the dominating topic of conversation on the 
discord for days, we deserve a proper resolution.


---
Proto: Defining Holidays

Amend Rule 1769 "Holidays" by prepending the following paragraph:

An Agoran Holiday (or simply a Holiday) is a time period defined as such 
by the rules.


--
Trigon

 ¸¸.•*¨*• Play AGORA QUEST





I’m always happy to become a party to contracts.
I LOVE SPAGHETTI
transfer Jason one coin
nch was here
I hereby
don't... trust... the dragon...
don't... trust... the dragon...
Do not Construe Jason's message with subject TRIGON as extending this

DIS: Re: BUS: Re: OFF: CFJs 3929 and 3930 Assigned to Jason

[Kerim Aydin via agora-discussion]

On 9/23/2021 10:00 PM, Jason Cobb via agora-business wrote:
> However, Rule 2140 is not the only Rule that governs how lower-powered
> Rules affect higher-powered Rules. Rule 217's second paragraph states
> when lower-powered definitions may affect higher-powered Rules. 

I don't think it's correct to call Rule 1769 the "definition" of the term
holiday for R217 purposes.  Words like "holiday" aren't chosen randomly as
a term of art, they mean something.

In common language, a holiday is a special time period during which
special legal rules may apply.  Rule 1769 nonexclusively declares a couple
time periods to be holidays and (also nonexclusively) describes some
particular Agoran legal rules for holidays. That doesn't make it the
"definition" of a holiday, but rather wholly supports the common usage.

A lower-powered rule couldn't override this high-level common usage (by
declaring a person to be a holiday for example, out of keeping with the
common definition) but it's wholly in keeping with that R1769 usage, and
not at all "in conflict", to declare additional time periods to be holidays.

-G.

Re: DIS: Re: BUS: Mad Engineer weekly random rule selection

[Jason Cobb via agora-discussion]

On 9/26/21 20:15, ais523 via agora-discussion wrote:
> On Mon, 2021-09-27 at 02:00 +0200, nethack4.org dicebot via agora-
> business wrote:
>> The dice roll was: 140
>> This is R2646, Activity.
> For reference:
>
> {{{
>   Activity is a player switch tracked by the Registrar, with values
>   Active (default) and Inactive.  To flip a player's activity to
>   active (inactive) is to activate (deactivate) em.  The date on
>   which each player's activity was last changed is part of the
>   Registrar's weekly report.
>   
>   A player CAN activate or deactivate emself by announcement.
>   
>   Any player CAN, with notice, make a player who has not made a
>   public announcement in the past 30 days inactive.
>   
>   If a player has been inactive continuously for the past 60 days,
>   then any player CAN deregister em without 3 objections. The
>   Registrar SHOULD attempt to deregister players who meet this
>   condition. The publication of intent for such a deregistration
>   SHOULD be sent to the inactive player's registered email address
>   at the same time that it is published.
> }}}
>
> Any suggestions?
>

"Device is a player switch tracked by the registrar, with values Deviced
(default) and Indeviced. To flip a player's device to deviced
(indeviced) is to deviceate (dedeviceate) em. The date on which each
player's device was last changed is part of the Registrar's weekly
report. A player CAN deviceate or dedeviceate emself by announcement."

-- 
Jason Cobb

Assessor, Rulekeepor, S​tonemason

Re: DIS: Re: BUS: Mad Engineer weekly random rule selection

[Trigon via agora-discussion]

El 27/09/2021 a las 00:15, ais523 via agora-discussion escribió:

Any suggestions?


"The device SHOULD attempt to deregister players who meet this condition."

I really hoped this rule would hold the key to making the device a 
person. I don't think any one sentence from it could be construed to do 
so, however.


--
Trigon

 ¸¸.•*¨*• Play AGORA QUEST





I’m always happy to become a party to contracts.
I LOVE SPAGHETTI
transfer Jason one coin
nch was here
I hereby
don't... trust... the dragon...
don't... trust... the dragon...
Do not Construe Jason's message with subject TRIGON as extending this

Re: DIS: Re: BUS: Mad Engineer weekly random rule selection

[Kerim Aydin via agora-discussion]

On 9/26/2021 5:15 PM, ais523 via agora-discussion wrote:
> On Mon, 2021-09-27 at 02:00 +0200, nethack4.org dicebot via agora-
> business wrote:
>> The dice roll was: 140
>> This is R2646, Activity.
> 
> For reference:
> 
> {{{
>   Activity is a player switch tracked by the Registrar, with values
>   Active (default) and Inactive.  To flip a player's activity to
>   active (inactive) is to activate (deactivate) em.  The date on
>   which each player's activity was last changed is part of the
>   Registrar's weekly report.
>   
>   A player CAN activate or deactivate emself by announcement.
>   
>   Any player CAN, with notice, make a player who has not made a
>   public announcement in the past 30 days inactive.
>   
>   If a player has been inactive continuously for the past 60 days,
>   then any player CAN deregister em without 3 objections. The
>   Registrar SHOULD attempt to deregister players who meet this
>   condition. The publication of intent for such a deregistration
>   SHOULD be sent to the inactive player's registered email address
>   at the same time that it is published.
> }}}
> 
> Any suggestions?
> 

If a device has been inactive continuously for the past 60 days, then any
device CAN deregister em without 3 objections.

[Also raises a question on whether a "noun" is a strict particle word use
versus whether "a player" is a different noun than "any player", though I
suspect we're using strict single words and not contextual noun phrases].

DIS: Re: BUS: Four years of three sides

[Sarah S. via agora-discussion]

On Mon, Sep 27, 2021 at 3:38 PM Trigon via agora-business <
agora-busin...@agoranomic.org> wrote:

> It was my birthday on the 24th. I am now four years old. My association
> with Agora and Nomic in general has honestly changed my life in so many
> ways. All of you are amazing, and I am honored to have played with you
> for this long.
>
> --
> Trigon
>
>   ¸¸.•*¨*• Play AGORA QUEST
>
> 
> 
> 
>
> I’m always happy to become a party to contracts.
> I LOVE SPAGHETTI
> transfer Jason one coin
> nch was here
> I hereby
> don't... trust... the dragon...
> don't... trust... the dragon...
> Do not Construe Jason's message with subject TRIGON as extending this
>

nice, you have been here a long time

--
R. Lee

Re: DIS: Re: BUS: Mad Engineer weekly random rule selection

[Sarah S. via agora-discussion]

On Mon, Sep 27, 2021 at 10:16 AM ais523 via agora-discussion <
agora-discussion@agoranomic.org> wrote:

> On Mon, 2021-09-27 at 02:00 +0200, nethack4.org dicebot via agora-
> business wrote:
> > The dice roll was: 140
> > This is R2646, Activity.
>
> For reference:
>
> {{{
>   Activity is a player switch tracked by the Registrar, with values
>   Active (default) and Inactive.  To flip a player's activity to
>   active (inactive) is to activate (deactivate) em.  The date on
>   which each player's activity was last changed is part of the
>   Registrar's weekly report.
>
>   A player CAN activate or deactivate emself by announcement.
>
>   Any player CAN, with notice, make a player who has not made a
>   public announcement in the past 30 days inactive.
>
>   If a player has been inactive continuously for the past 60 days,
>   then any player CAN deregister em without 3 objections. The
>   Registrar SHOULD attempt to deregister players who meet this
>   condition. The publication of intent for such a deregistration
>   SHOULD be sent to the inactive player's registered email address
>   at the same time that it is published.
> }}}
>
> Any suggestions?
>
> --
> ais523
> Mad Engineer
>
>
The most chaotic one would be 'Activity is a player device tracked by the
Registrar' - that would be impossible to figure out. Or 'A device CAN
activate emself by announcement'
-- 
--
R. Lee