Skip to content

Commit

Permalink
[skip ci] CI Updates
Browse files Browse the repository at this point in the history
  • Loading branch information
ci-build committed Nov 3, 2024
1 parent 0cf2e7e commit 6e02885
Show file tree
Hide file tree
Showing 59 changed files with 6,338 additions and 3,418 deletions.
277 changes: 277 additions & 0 deletions 9186-9191.txt
Original file line number Diff line number Diff line change
@@ -0,0 +1,277 @@
RESOLUTION OF PROPOSALS 9186-9191
=================================

THIS IS AN AUTOMATICALLY GENERATED REPORT.
SOME INFORMATION MAY DIFFER FROM THE HISTORICAL REPORT.
THE ASSESSMENT SENT TO THE PUBLIC FORUM IS THE DEFINITIVE SOURCE OF HISTORICAL INFORMATION.

The official historical report is located at https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-official/2024-October/018099.html

ID Title Result
---------------------------------------------------
9186 No more stamps for Agora ADOPTED
9187 Gray Ribbon clarification ADOPTED
9188 Double Default Trouble ADOPTED
9189 Did you get a permit for that party? ADOPTED
9190 If there exists a party ADOPTED
9191 Back to the twenties ADOPTED

I hereby resolve the Agoran decisions to adopt the below proposals.

The quorum for all below decisions was 7.

VOTING STRENGTHS
================

Strength is 3 unless otherwise noted.
#: player has voting strength 3
$: player has voting strength 4
%: player has voting strength 5
^: player has voting strength 6

PROPOSALS
=========

PROPOSAL 9186 (No more stamps for Agora)
AUTHOR: kiako
CLASS: ORDINARY
FOR (6): Janet^, Kate%, Mischief^, Murphy^, kiako, lare290
AGAINST (1): snail^
PRESENT (1): juan%
BALLOTS: 8
AI (F/A): 29/6 (AI=1.0)
POPULARITY: 0.625
OUTCOME: ADOPTED
[
Murphy: Mischief is the Collector: Endorsement of Mischief
]

PROPOSAL 9187 (Gray Ribbon clarification)
AUTHOR: kiako
CLASS: DEMOCRATIC
FOR (6): Kate, Mischief, Murphy, kiako, lare290, snail
AGAINST (0):
PRESENT (2): Janet, juan
BALLOTS: 8
AI (F/A): 18/0 (AI=3.0)
POPULARITY: 0.750
OUTCOME: ADOPTED

PROPOSAL 9188 (Double Default Trouble)
AUTHOR: kiako
CLASS: ORDINARY
FOR (4): Kate%, kiako, lare290, snail^
AGAINST (1): Janet^
PRESENT (3): Mischief^, Murphy^, juan%
BALLOTS: 8
AI (F/A): 17/6 (AI=2.0)
POPULARITY: 0.375
OUTCOME: ADOPTED

PROPOSAL 9189 (Did you get a permit for that party?)
AUTHOR: Janet
CLASS: DEMOCRATIC
FOR (6): Janet, Kate, Murphy, kiako, lare290, snail
AGAINST (0):
PRESENT (2): Mischief, juan
BALLOTS: 8
AI (F/A): 18/0 (AI=3.0)
POPULARITY: 0.750
OUTCOME: ADOPTED

PROPOSAL 9190 (If there exists a party)
AUTHOR: Janet
CLASS: DEMOCRATIC
FOR (4): Kate, Murphy, lare290, snail
AGAINST (0):
PRESENT (4): Janet, Mischief, juan, kiako
BALLOTS: 8
AI (F/A): 12/0 (AI=3.0)
POPULARITY: 0.500
OUTCOME: ADOPTED

PROPOSAL 9191 (Back to the twenties)
AUTHOR: snail
CLASS: ORDINARY
FOR (4): Kate%, juan%, lare290, snail^
AGAINST (2): Janet^, Mischief^
PRESENT (2): Murphy^, kiako
BALLOTS: 8
AI (F/A): 19/12 (AI=1.0)
POPULARITY: 0.250
OUTCOME: ADOPTED
[
Murphy: oliver.n is the Collector: Endorsement of non-voter oliver.n: Inextricable
]

The full text of each ADOPTED proposal is included below:

//////////////////////////////////////////////////////////////////////
ID: 9186
Title: No more stamps for Agora
Adoption index: 1.0
Author: kiako
Co-authors:


[Agora was given permission to hold stamps by P 9075, but was not reverted
when the raffle was repealed in P 9105. Since there's no economic benefit
to sending stamps to Agora, this is unnecessary complexity.]

Amend Rule 2659 ("Stamps") by replacing
{
Stamps are a category of asset ownable by players and Agora.
}
with
{
Stamps are a category of asset ownable by players.
}

//////////////////////////////////////////////////////////////////////
ID: 9187
Title: Gray Ribbon clarification
Adoption index: 3.0
Author: kiako
Co-authors: Janet, Kate


[This is the only rule where "unless e has done so earlier in the month"
is used instead of "Once per month".

This proposal has two consequences:
- Pending a CFJ (or precedent), the Tailor may be able to award two
Gray Ribbons in the month this is adopted.
- In a month where the Tailor changes to a new player, e will likely
be unable to award a Gray Ribbon if the prior Tailor had done so that
month, where the previous version may have allowed it.
Seeing as Gray ribbons aren't exactly a hot commodity right now, I think
the simplicity is better than the potential extra award.]

Amend Rule 2438 ("Ribbons")by replacing
{
The Tailor CAN award a Gray Ribbon by announcement, unless e has done
so earlier in the month.
}
with
{
Once per month the Tailor CAN award a Gray Ribbon by announcement.
}

//////////////////////////////////////////////////////////////////////
ID: 9188
Title: Double Default Trouble
Adoption index: 2.0
Author: kiako
Co-authors:


[No numerical switch uses the "default to 0" fallback, except for
Crystal's identity, which is always set to a different value before it
can be used. Considering the "default to null" fallback, 5 switches
explicitly create and define a "none" instance, and two more define
similar values under different names ("unassigned" and "vacant"). It is
clear then that neither of these fallbacks take on the semantic meaning
of "a default value meant to be used".

In this case, it would make more sense to unambiguously allow Crystal
identity to default to "null", assigning that fallback the semantic
meaning of "This switch must have a default value, but it does not
matter what it is because it is never used in practice."

Janet noted that this would break mathematical operations if a numerical
switch ends up using the default, but under this new semantic meaning I
believe the outcome is what is expected: since "null + 3" is undefined,
the switch fails to be flipped, and remains "null". (Defaulting to 0, on
the other hand, would give the guise that the default should be
considered a usable instance.)]

Amend Rule 2509 ("Agoran Numbers") by removing the following paragraph:
{
If 0 is in the specified values for a numerical switch and no
default value is otherwise specified, 0 is the default value for that
switch.
}

//////////////////////////////////////////////////////////////////////
ID: 9189
Title: Did you get a permit for that party?
Adoption index: 3.0
Author: Janet
Co-authors: Kate


Amend Rule 2480 ("Festivals") by replacing the final paragraph with the
following paragraph:

{

A player who would be Festive if Agora's Festivity were N CAN flip it to
N (where N is an integer greater than Agora's Festivity) with 4 support
from other players who would be Festive if Agora's Festivity were N,
unless Agora's Festivity has had a value greater than or equal to N in
the past 21 days.

}

and by appending the following sentence to the first paragraph:

{

A Festival is ongoing whenever Agora's Festivity is non-zero.

}

and by replacing each instance of "nonzero" with "non-zero".

[Removes the definition of the action of Starting a Festival, which was
mildly redundant and, more importantly, did not have its POSSIBILITY
secured. Cleans up some other language to be more precise.]


Amend Rule 2481 ("Festival Restrictions") by replacing each instance of
"nonzero" with "non-zero".

[While we're here, normalize this language.]

//////////////////////////////////////////////////////////////////////
ID: 9190
Title: If there exists a party
Adoption index: 3.0
Author: Janet
Co-authors: Kate


Amend Rule 2480 ("Festivals") by replacing the final two paragraphs with
the following paragraphs:

{

A Festive person is a person whose Laudability is greater than or equal
to Agora's Festivity. An N-Festive person is a person who would be
Festive, were Agora's Festivity N.

For any integer N greater than Agora's Festivity, an N-Festive player
CAN flip Agora's Festivity to N with 4 support from other N-Festive
players, unless Agora's Festivity has had a value greater than or equal
to N in the past 21 days.

}

[Adds onto the first proposal ("Did you get a permit for that party?")
by rewriting the same text in slightly more mathematical language. We
think this is clearer than the original rule, but opinions may vary. The
two proposals are written such that this should work even if the first
one doesn't pass.]

//////////////////////////////////////////////////////////////////////
ID: 9191
Title: Back to the twenties
Adoption index: 1.0
Author: snail
Co-authors:


Amend Rule 2690 (Spendies) by replacing "every player is granted 15
Spendies" with "every player is granted 20 Spendies".

//////////////////////////////////////////////////////////////////////
3 changes: 2 additions & 1 deletion index.md
Original file line number Diff line number Diff line change
@@ -1,9 +1,10 @@
# Assessor's Archive

[Latest Assessment](9184-9185.txt)
[Latest Assessment](9186-9191.txt)

List of assessments:

* [9186-9191.txt](9186-9191.txt)
* [9184-9185.txt](9184-9185.txt)
* [9182-9183.txt](9182-9183.txt)
* [9179-9181.txt](9179-9181.txt)
Expand Down
Loading

0 comments on commit 6e02885

Please sign in to comment.