OFF: [Treasuror] [Weekly Report] Forbes 439

[Trigon via agora-official]

FORBES FOUR HUNDRED THIRTY-NINE
   or   
   TREASUROR'S WEEKLY REPORT


Reports available online at: 

DATES OF PUBLICATION  (contains no data)


(all times and dates in UTC)

Date of previous original report: 28 May 2021
Date of first report this week:   6 June 2021


NOTES ON REPORT   (contains no data)


* Find my report drafts on Discord or IRC.
* As always, please check the general accuracy of this report.


BUOYANCY (self-ratifies)


Total Buoyancy : 34495
Buoyancy Target: 34495


ASSET BALANCES   (self-ratifies)


   Player(+a)  cn wcjclcvcwpbgpdxv
 ==  ==                
 Aenet  428 1 1 1 1 0 0 0 0
 Aris  5152 0 0 2 5 0 0 6 0
 ATMunn3208 0 0 1 0 0 0 4 0
 banana [0] 628 0 1 1 1 3 0 0 0
 Cuddlebeam 583 1 0 0 0 1 0 0 0
 Falsifian 1484 0 1 2 023 0 0 0
 G.3559 1 1 0 0 0 4 9 5
 Gaelan 1 1 1 1 0 0 5 0
 Jason 3381 0 0 0 0 0 522 7
 Jumble 428 1 1 1 1 3 0 0 0
 Murphy2623 1 1 2 0 0 0 4 5
 Nathan 331 1 1 1 1 0 0 0 0
 nix   1282 1 3 0 1 1 0 2 0
 Noah   592 1 1 1 1 0 0 0 0
 omd839 1 1 1 1 0 0 0 0
 R. Lee 636 1 1 1 1 0 0 0 0
 seventeen  [1] 442 2 1 2 1 0 0 0 0
 Trigon5283 1 1 2 0 0 0 0 3

0. cuddlybanana
1. seventeenMachine

   Player(-a)  cn wcjclcvcwpbgpdxv
 ==  ==                
 Joe[0] 655 0 1 1 1 0 0 0 0
 JTAC   607 1 1 1 1 0 0 0 0
 Lucidiot   351 1 1 1 1 2 0 0 0
 Ubercrow   282 1 1 1 1 0 0 0 0

0. Slam_Joe_Junior_Supreme

Contract   cn wcjclcvcwpbgpdxv
 ==  ==                
 CB Locker  [0]   0 0 0 0 0 0 0 0 0
 D. Corp.   [1]   0 0 0 0 0 0 0 0 0
 DragonQE   [2]   0 0 0 0 0 0 0 0 0
 IBTWWBG[3]  50 0 0 0 0 0 0 0 0
 PlunderPS  [4] 179 0 0 0 0 0 0 0 0
 Pooling[5]   0 0 0 0 0 8 0 0 0
 Press  [6] 536 0 0 0 0 0 0 0 0
 SEAMSTRESS [7]   0 0 0 0 0 0 0 0 0
 TeamMarg   [8] 137 0 0 0 0 0 0 0 0

0. Cuddlebeam's Locker
1. Dragon Corporation
2. Dragon Quickexchange
3. I Bet This Was Written By G.
4. Plunder Partnership
5. Obstructive Pooling
6. Agoran Press
7. Signature Enthusiast Allows Modification of Signature Through
   Rigorous Exchanging of Signature Suggestions
8. Team Margaux

 Entitycn wcjclcvcwpbgpdxv
 ==  ==                
 Agora0 0 0 0 0 0 0 0 0
 L Dept. 2719 2 2 2 2 0 0 0 0


ASSET INDEX   (does not self-ratify)


* Tracked by the Treasuror (this report)
   * Coins (cn)
   * Cards
  * Victory (wc), Justice (jc), Legislative (lc), Voting (vc)
   * Products
  * Victory Points (wp), Blot-B-Gone (bg), Pendant (pd), Extra Vote
(xv)

* Tracked by the Referee
   * Blots

* 

OFF: [Promotor] Distribution of Proposals 8561-8572

[Aris Merchant via agora-official]

PROMOTOR'S REPORT; BACKDATED IN PART TO 03:00 UTC June 6, 2021.

I hereby distribute each listed proposal, initiating a referendum on it,
and removing it from the proposal pool. For this decision, the vote collector
is the Assessor, the quorum is 3, the voting method is AI-majority, and the
valid options are FOR and AGAINST (PRESENT is also a valid vote, as are
conditional votes).

ID  Author(s)   AITitle
---
8561&   G., nix 2.0   Election Cycle
8562*   ATMunn, Aris3.0   Officializing Discord
8563&   Aris1.7   Determinacy is a Good Thing
8564&   Aris1.0   Sponsorship is not Co-authorship
8565&   Aris1.0   Popularity Contest
8566*   Jason   3.0   Anti-AI escalation
8567*   Jason   3.0   AI voting method clarification
8568*   Jason   3.0   Supporter/Objector clarification
8569*   Jason, Aris, Murphy 3.0   Fixing Festivals
8570*   Jason   3.1   Emergency Regulation Clarification
8571&   Jason   2.0   Gauntlet announcement patch
8572&   Jason, Trigon   2.0   Thou shalt not disobey Trigon

Pool report: At 03:00 UTC on June 6, 2021, the proposal pool
contained (only) the above proposals.

Legend: * : Democratic proposal.
& : Ordinary proposal.
~ : Unsponsored proposal.

The full text of the aforementioned proposal(s) is included below. Where
the information shown below differs from the information shown above,
the information shown above shall control.

//
ID: 8561
Title: Election Cycle
Adoption index: 2.0
Author: G.
Co-author(s): nix


Create a power=2 rule, "The Election Cycle", with the following text:

  A holder of an elected office who did not become its holder by
  winning an election, and has not won an election for that office
  since, is an interim holder. An elected office that is either
  vacant or has an interim holder is an interim office.

  An office is term-limited if the most recent election for that
  office was resolved more than the length of that office's term
  prior. The term for the office of Prime Minister is 90 days. The
  term for all other elected offices is 180 days.

  A player CAN initiate an election for a specified elected office:

  a) with 2 support, if either the office is interim or term-
 limited, and provided that the initiator becomes a candidate
 in the same message.

  b) By announcement, if e is the ADoP (or, if the office is the
 ADoP, if e is the Assessor) and the office is interim, or if
 e is the holder of that office.

  Once per quarter, the ADoP CAN and SHALL publish a Notice of
  Election specifying between 2-4 term-limited offices (if there
  fewer than 2 term-limited offices, the ADoP MUST instead list
  all of them).  Such a notice initiates elections for the
  specified offices.  The ADoP SHOULD prioritize offices that
  have gone longest since their last elections.

  The above notwithstanding, an election for an office CANNOT be
  initiated if one is already in progress.


[Delete this section added to the previous rule - better gathers
election procedure rules in one place].

Amend Rule 1006 (Offices) by removing:
  A holder of an elected office who did not become its holder by
  winning an election, and has not won an election for that office
  since, is an interim holder. An elected office that is either
  vacant or has an interim holder is an interim office.


[For the below rule, remove text placed in the new rule above,
and add the Assessor as the vote collector for ADoP elections].

Amend Rule 2154 (Election Procedure) to read in full:

  When an election is initiated, it enters the nomination period,
  which lasts for 4 days. After an election is initiated and until
  nominations close, any player CAN become a candidate by
  announcement. A candidate ceases to be a candidate if e ceases to
  be a player during the election or if holding the office would
  make em Overpowered. During the nomination period, a candidate CAN
  cease to be a candidate by announcement if there is at least one
  other candidate.

  An election whose nomination period is complete is contested if it
  has two or more candidates, and uncontested otherwise. Nominations
  close at the end of the poll's voting period or when the election
  is ended, whichever comes first.

  After the nomination period ends, the ADoP (or, if the office is
  the ADoP, the Assessor) CAN and, in a timely fashion, SHALL:

  1) If the election is contested, initiate an Agoran decision to
 select the winner of the election (the poll). For this
 decision, the Vote Collector is the ADoP (or, if the office
 is the ADoP, the Assessor), the valid options are
 the candidates for that election (including those who become

OFF: [ADoP] Metareport

[Edward Murphy via agora-official]

=Metareport=
You can find an up-to-date version of this report at 
http://zenith.homelinux.net/adop/report.php


Date of last report: 2021-05-30
Date of this report: 2021-06-06


MISCELLANEOUS INFO


Filled offices: 17/17 (100.00%)
Total officers: 9
Consolidation[1]: 1.89
Late reports: 5/13 (38.46%)

[1] This is the number of filled offices divided by the number of
officers. At 1, this means that all offices are filled by different
players; if it reached the number of filled offices, that would mean
that all offices are filled by one player.


OFFICES

Office Holder[1]  Since Last Election Complexity

ADoP  *Murphy 2020-07-032020-06-271
ArbitorG. 2019-06-112019-11-232
Assessor   Jason  2019-07-092020-07-273
Distributoromd2018-06-15(never)[3]0
Herald nix2020-12-312021-01-092
Ministor   nix2020-10-28(never)   1
Notary ATMunn 2020-10-122021-01-172
Prime Minister Trigon 2021-02-142021-02-140
Promotor   Aris   2016-10-212017-09-213
RefereeGaelan 2021-03-142021-03-142
Registrar *Aris   2021-04-042020-02-261
Rulekeepor Jason  2019-12-062020-03-073
SpeakerG. 2021-04-162019-11-05 [3]0
Stonemason Jason  2020-11-11(never)   1
Tailor*Murphy 2021-02-282020-04-191
Treasuror  Trigon 2020-05-012020-05-013
Webmastor  nix2020-06-032020-06-131

[1] * = Interim office (vacant or holder not elected)
[2] Vacant since this date
[3] Currently imposed


WEEKLY REPORTS

Office ReportLast Published Late[1]

ADoP   Offices   2021-05-30[2]
ArbitorJudicial matters  2021-06-06
Notary Contracts 2021-05-29
Promotor   Proposal pool 2021-05-23 !
RefereeRule violations   2021-05-23 !
Registrar  Players, Fora 2021-06-01
Rulekeepor Short Logical Ruleset 2021-05-18 !
Stonemason Stones2021-06-02
Tailor Glitter values2021-06-06
Treasuror  Coins, other currencies   2021-05-29

[1] ! = 1 period missed, !! = 2, !!! = 3+
[2] Not including this report

MONTHLY REPORTS

Office ReportLast Published Late

Herald Patent titles 2021-04-11 !
Ministor   Foci  2021-05-07
Registrar  Player history2021-05-02
Rulekeepor Full Logical Ruleset  2021-03-31 !!
Tailor Ribbons   2021-06-06
Webmastor  Web resources 2021-02-07 !!!



ELECTIONS

Office Initiated   Phase   Candidates

(none in progress)


UPCOMING ELECTIONS[1]

Office Days Until  Last Election

Promotor   00 Days 2017-09-21
Arbitor00 Days 2019-11-23
Registrar  00 Days 2020-02-26
Rulekeepor 00 Days 2020-03-07
Tailor 00 Days 2020-04-19

[1] Anyone can start an election (with 2 support and also becoming a
candidate) 90 days after the previous one (or if it's interim and no
election is ongoing). This section shows the 5 elected offices with the
most time passed since the last election.


ABBREVIATIONS
-
ADoP Associate Director of Personnel


RECENT EVENTS (all times UTC)

Sat, May 01 2021 (19:09:22) - Jason published the Stonemason's weekly report
Sat, May 01 2021 (22:43:00) - grok deregistered
Sat, May 01 2021 (22:43:00) 

OFF: [ADoP] Floating salaries (attn Treasuror)

[Edward Murphy via agora-official]

I grant boatloads of coins to players as follows:

(weekly)

 5 BoC - Sun, May 30 2021 (20:33:05) - Murphy published the ADoP's 
weekly report
 5 BoC - Tue, Jun 01 2021 (08:12:36) - Aris published the Registrar's 
weekly report
 5 BoC - Wed, Jun 02 2021 (04:23:09) - Jason published the Stonemason's 
weekly report
10 BoC - Sun, Jun 06 2021 (16:21:52) - G. published the Arbitor's weekly 
report
 5 BoC - Sun, Jun 06 2021 (20:53:43) - Murphy published the Tailor's 
weekly report


15 BoC - Sat, Jun 05 2021 (00:47:04) - Jason assessed Proposal 8560

(monthly)

 5 BoC - Sun, Jun 06 2021 (20:55:31) - Murphy published the Tailor's 
monthly report


I believe the Unit of Floatation is either 12 or 14 (not sure whether
the latter has been announced publically), thus these should expand to:
  *  5 boatloads of coins -> 60 or 70 coins
  * 10 boatloads of coins -> 120 or 140 coins
  * 15 boatloads of coins -> 180 or 210 coins

OFF: [Tailor] Ribbon Bar

[Edward Murphy via agora-official]

The Ribbon Bar (Tailor's Monthly Report) as of Sunday 2021-06-06


You can find an up-to-date version of this report at 
http://zenith.homelinux.net/tailor/report_monthly.php



FESTIVITY(self-ratifies)


No Festival is ongoing; that is, Agora's Festivity is 0.


RIBBON OWNERSHIP (self-ratifies)


---
ACTIVE PLAYERS ROGECBMUVIPLWKAT
---
Aenet
Aris   ROG CBMUVIPL KAT
ATMunn  OGECBMUV P WKAT
Cuddlebeam C MUVIP W A
cuddlybanana
Falsifian  ROGECBMUV PL KAT
G. ROG CBMUV PLWKAT
Gaelan CBMUV A
Jason  ROGECB UVIPL KAT
JTAC  EC
Jumble
Lucidiot A
Murphy R G CBMUVKAT
Nathan
nixROGECBMUV PLWKAT
Noah
omdC  UVKA
PSSROGECBMUV  L KAT
R. Lee  O ECBMUV  LWKA
seventeenMachine
Slam_Joe_Jr_Supreme
Trigon ROGECBMUV P  KAT
Ubercrow

---
EX-PLAYERS ROGECBMUVIPLWKAT
---
ais523 ROG CBMUV PLWKAT
Alexis ROGECBMUVIP WKAT
aranea ROG CBM V PLW A
babelian  U
Baron von Vaderham   A
Bayushi  MU
Bede M W
Bernie ROM
Bögtil  A
ChuckM
Corona   M VK
D. Margaux ROG CBMUVIP WKAT
grokO   BMUV P   A
Ienpw III UV
K  W
Kenyon   A
o  ROG  BMUV   WKAT
Ørjan   M V A
pokes   K
Quazie  O  C MUVKA
Rance  C
Roujo  V
SprocklemMUV   W A
stadjerW
Tekneek  M
Telnaior M VKA
TenhigitsuneO UV A
Tiger   BM
tmanthe2ndUV
twg O EC  U IP WKAT
Veggiekeks C  UV
Walker   M
Warrigal   C M
YallyM
Zachary Watterson U


RULES SUMMARY (does not self-ratify)

The rules for Ribbons are set out in detail in Rule 2438, but to
summarise, you can be awarded each different colour of Ribbon for
different achievements within Agora, usually within 7 days after the
chievement. If you come to qualify for a Ribbon that you already have,
you can instead award yourself Glitter, which provides you a small coin
bonus based on the Ribbon's rarity.

When you have collected all 16 Ribbons, you can use them to win the game
by Renaissance. After winning by Renaissance, you can't collect any more
Ribbons (or Glitter) for 7 days.

Approximate summary of how to collect each type of Ribbon:

Red  Successfully propose a rule change at Power 3 or higher
Orange   Your proposal is unanimously adopted
GreenHold an elected office for 30 days, without Tardiness
Emerald  Win an election
Cyan Deputise for an officer
Blue Judge a CFJ within the time limit
Magenta  Claim on Agora's Birthday
Ultraviolet  Become Champion not by Renaissance (usually by winning the 
game)

Violet   Receive a Patent Title (other than Champion or a degree)
Indigo   Receive a degree
Platinum Be the Speaker of Agora
Lime Co-author three adopted proposals within 7 days
WhiteNever own a White Ribbon before; or, receive from someone 
who has never gifted a White Ribbon before

blacKN/A; only possible by proposal or scam
grAy Awarded monthly by the Tailor
Transparent  Receive or qualify for 5 Ribbons within 7 days


RECENT EVENTS (all times UTC)

Sat, May 01 2021 (22:43:00) - grok deregistered
Sat, May 01 2021 (22:43:00) - Shy Owl deregistered

OFF: [Tailor] Glitteral

[Edward Murphy via agora-official]

Glitter: Tailor's Weekly Report as of Sunday 2021-06-06


You can find an up-to-date version of this report at 
http://zenith.homelinux.net/tailor/report.php


Current Glitter prices:
(All prices are in Boatloads of Coins)

  Color Price
  ---
  Red  16
  Orange   15
  Green15
  Emerald  16
  Cyan 10
  Blue 13
  Magenta  13
  Ultraviolet  11
  Violet   11
  Indigo   21
  Platinum 16
  Lime 17
  White19
  blacK13
  grAy 10
  Transparent  15


RECENT EVENTS (all times UTC)

Sat, May 01 2021 (22:43:00) - grok deregistered
Sat, May 01 2021 (22:43:00) - Shy Owl deregistered

OFF: [Arbitor] Court Gazette

[Kerim Aydin via agora-official]

Agoran Court Gazette (Arbitor's Weekly Report)
Sun 06 Jun 2021 16:21:12 UTC


DEADLINES (details below)
---
3908 Assigned to G.  Due Sun 13 Jun 2021 16:15:08
3909 Assigned to G.  Due Sun 13 Jun 2021 16:15:32
3910 Assigned to Gaelan  Due Sun 13 Jun 2021 16:17:39
3911 Assigned to Murphy  Due Sun 13 Jun 2021 16:18:00
3912 Assigned to Jason   Due Sun 13 Jun 2021 16:18:25


INTERESTED JUDGES AND THEIR MOST RECENT CASE
---
3904 ATMunn
3909 G.
3910 Gaelan
3911 Murphy
3912 Jason
Occasional: Falsifian, Cuddlebeam, Aris, nix


OPEN CASES
---
3912 Assigned to Jason [Due Sun 13 Jun 2021 16:18:25]
 https://faculty.washington.edu/kerim/nomic/cases/?3912
 The above pledge made by Gaelan has expired.

3911 Assigned to Murphy [Due Sun 13 Jun 2021 16:18:00]
 https://faculty.washington.edu/kerim/nomic/cases/?3911
 For the purposes of R2553, CFJ 3907 is about the effectiveness,
 possibility, or legality of a change in the gamestate.

3910 Assigned to Gaelan [Due Sun 13 Jun 2021 16:17:39]
 https://faculty.washington.edu/kerim/nomic/cases/?3910
 Proposal 8559, when taking effect, modified the text of Rule 1742
 by adding a new paragraph.

3909 Assigned to G. [Due Sun 13 Jun 2021 16:15:32]
 https://faculty.washington.edu/kerim/nomic/cases/?3909
 The contract "Cuddlebeam's Sandwich" has finite length.

3908 Assigned to G. [Due Sun 13 Jun 2021 16:15:08]
 https://faculty.washington.edu/kerim/nomic/cases/?3908
 The above amendment to "Cuddlebeam's Sandwich" was successful.


RECENTLY-JUDGED CASES
---
3907 Judged PARADOXICAL by Aris [Sat 05 Jun 2021]
 https://faculty.washington.edu/kerim/nomic/cases/?3907
 I have violated one of the quoted pledges.

3906 Judged TRUE by Jason [Tue 25 May 2021]
 https://faculty.washington.edu/kerim/nomic/cases/?3906
 With the above-quoted message, Trigon created one Victory Card in
 Falsifian's possession.

3905 Judged TRUE by Jason [Tue 25 May 2021]
 https://faculty.washington.edu/kerim/nomic/cases/?3905
 With the above-quoted message, Trigon revoked 400 Coins from
 Falsifian.

OFF: [Arbitor] CFJ 3911 Assigned to Murphy

[Kerim Aydin via agora-official]

The below CFJ is 3911.  I assign it to Murphy.

status: https://faculty.washington.edu/kerim/nomic/cases/#3911

===  CFJ 3911  ===

  For the purposes of R2553, CFJ 3907 is about the effectiveness,
  possibility, or legality of a change in the gamestate.

==

Caller:G.
Barred:Gaelan


Judge:
==

History:

Called by G.: 05 Jun 2021 21:58:39
Assigned to Murphy:   [now]

==

Caller's Evidence:

https://faculty.washington.edu/kerim/nomic/cases/?3907


Caller's Arguments:

Gaelan wrote:
> The fact that I violated the rules has a direct impact on the
> effectiveness, legality, etc of our various criminal-justice
> mechanisms, so I'd argue TRUE. If necessary, I would just call
> another CFJ along the lines of "it's possible to give me blots
> for violating that pledge".

That answer's trivial - it's not possible, because you can't actually be
blotted for an indeterminate crime:

Rule 2531
> Any attempt to levy a fine pursuant to the imposition of the Cold
> Hand of Justice is INEFFECTIVE if:
>   (1) it attempts to levy a fine on a person when that person
>   can't be established by a preponderance of the evidence to
>   have committed the action or inaction for which the fine was
>   levied;

This protection makes it irrelevant.

==

OFF: [Arbitor] CFJ 3912 Assigned to Jason

[Kerim Aydin via agora-official]

The below CFJ is 3912.  I assign it to Jason.

status: https://faculty.washington.edu/kerim/nomic/cases/#3912

===  CFJ 3912  ===

  The above pledge made by Gaelan has expired.

==

Caller:ATMunn

Judge: Jason

==

History:

Called by ATMunn: 29 May 2021 00:28:49
Assigned to Jason:[now]

==

Caller's Evidence:

On 5/22/2021 8:44 PM, Gaelan Steele via agora-business wrote:
> I pledge to violate this pledge, with a time window of one hour.
>
> (There has to be a paradox protection for pledges somewhere, right? Right 
> But I can't find it, so let's find out)
>
> Gaelan
> 


Caller's Arguments:

The rules for pledges state that the time window is "W days,"
but nowhere does it say that W must be an integer. I think it is
reasonable to say that the time window was set to 1/24th of a day.

==

OFF: [Arbitor] CFJ 3910 Assigned to Gaelan

[Kerim Aydin via agora-official]

The below CFJ is 3910.  I assign it to Gaelan.

status: https://faculty.washington.edu/kerim/nomic/cases/#3910

===  CFJ 3910  ===

  Proposal 8559, when taking effect, modified the text of Rule 1742
  by adding a new paragraph.

==

Caller:Jason

Judge: Gaelan

==

History:

Called by Jason:  30 May 2021 15:16:21
Assigned to Gaelan:   [now]

==

Caller's Evidence:

> //
> ID: 8559
> Title: Paper Shredding
> Adoption index: 2.5
> Author: ATMunn
> Co-authors: G., Aris
>
>
> Amend Rule 1742 "Contracts" by appending the following:
>
>   Any player CAN cause a contract to be terminated (syn. "shred")
>   without 2 objections. This SHOULD only be done to remove unused
>   contracts or contracts deemed detrimental to the game as a whole.
>
> //


Caller's Arguments:

The plain meaning of "append" is simply a string concatenation, without
inserting paragraph breaks. The clear intent, as confirmed by the author
on Discord, however, is for the text to be inserted as a new paragraph
(and this is perhaps indicated in the text by the formatting as a new
paragraph). Perhaps this question means that the entire rule change
failed under Rule 105/22 by " Any ambiguity in the specification of a
rule change causes that change to be void and without effect."

--

Gratuitous Arguments by G.:

For "append the following text", as opposed to e.g. "append the following
paragraph" it is unclear how much whitespace exists at the end of each
rule (does each rule end with a R2429 "significant" paragraph break?).
Also, in this proposal, there is a space between the "Amend" command and
the text - is that a significant paragraph break to insert?

==

OFF: [CotC] CFJ 3907 Judged PARADOXICAL by Aris

[Kerim Aydin via agora-official]

status: https://faculty.washington.edu/kerim/nomic/cases/#3907
(This document is informational only and contains no game actions).

===  CFJ 3907  ===

  I have violated one of the quoted pledges.

==

Caller:Gaelan

Judge: Aris
Judgement: PARADOXICAL

==

History:

Called by Gaelan: 25 May 2021 19:31:51
Assigned to Aris: 28 May 2021 00:12:08
Judged PARADOXICAL by Aris:   05 Jun 2021 21:46:27

==

Caller's Evidence:

> On May 22, 2021, at 5:45 PM, Gaelan Steele via agora-business 
>  wrote:
>
> 
>
>> On May 22, 2021, at 5:44 PM, Gaelan Steele via agora-business 
>>  wrote:
>>
>> I pledge to violate this pledge, with a time window of one hour.
>>
>> (There has to be a paradox protection for pledges somewhere, right? 
>> Right But I can't find it, so let's find out)
>>
>> Gaelan
>
> wait, oops: I pledge to violate this pledge, with a time window of one day.
>
> Gaelan

--

Judge Aris's Arguments:

Gaelan pledged "I pledge to violate this pledge,
with a time window of one day." (Eir other pledge,
which may or may not exist, is substantively equivalent
for the purposes of this CFJ.) A day passed. Did Gaelan
violate this pledge?

There are two possibilities.

1) Gaelan created a pledge that refers to itself,
causing an infinite loop. In this case, the CFJ is
PARADOXICAL.

2) Gaelan's purported pledge does not properly specify
actions to perform or refrain from performing, since
determining the actions results in an infinite loop.
In this case, the CFJ is DISMISS.

Another way of looking at it is that this all depends
on whether the action can have a parameter. In other
words, can I pledge, for all Y "I pledge to take an
action X, such that X accomplishes Y"? Can I never
pledge this? Or can I only pledge this if it's clear
what sort of X accomplishes Y? This is determinative
because Gaelan's pledge can be translated to "I pledge
to take an action X, such that X violates this pledge".

I think it's clear that "I pledge to not violate the
rules" is a valid pledge. We have a reasonably clear
notion of what sorts of things violate the rules.
I think it's equally clear that, as G. pointed out,
"I pledge that the sun will rise tomorrow" is invalid,
given that the sun rising is not an action taken by
any Agoran (unless Helios happens to be a player).
The question in this case is, would the
pledge "I pledge not to do anything that would
cause the sun not rise is valid" be valid?
That's harder to figure out.

"But Aris," you say, "you haven't looked at the
text. Surely the text solves this problem and you're
just making things more complicated than
they need to be." Alright, let's look at the text.

Rule 2450/10, "Pledges", says "If a consenting Player
makes a clear public pledge (syn. Oath) to perform
(or refrain from performing) certain actions, then
breaking the pledge is ILLEGAL".

One thing is certain: pledges must be clear.
Unfortunately, this doesn't resolve the case. The
relevant question is whether the "certain actions"
must be clear. That is, do I need to know the
specific actions that would violate the pledge,
or merely the categories of actions that might.
The text can be read either way. Textually,
I would say that these interpretations are
equally plausible.

Can we resolve this problem through game custom?
If we error trap anything that can cause a paradox,
we will have no paradoxes. Does game custom
say this is a good or a bad thing? The answer is
unfortunately rather mixed. For many years,
Agora had a way to win by paradox. In such a system,
I would guess that  while people tried to prevent
paradoxes, they would be tolerant of the notion that
they might arise anyway. Then that win method
was repealed. Agora went through a period where
paradoxes didn't help anything, simply making
the state of the game more confusing. In this
period, judges avoided paradox wherever possible.
Then, we reenacted wins by paradox. Now, it
is culturally unclear whether paradoxes are to be
avoided or embraced in judicial interpretation.

However, there is one norm that is abundantly
clear. Actions cannot be structured to be
paradoxical in and of themselves: if an
action is specified in a way that resolves
to an infinite loop, it is not taken at all.
For instance, "If this sentence is false, I..."
doesn't work. When taken, an action must be
fully and completely specified.

One final point about game custom. While it is
not necessarily the most persuasive factor,
Agorans in general take a fairly
math/logic/programming view of the 

OFF: [Arbitor] CFJ 3909 Assigned to G.

[Kerim Aydin via agora-official]

The below CFJ is 3909.  I assign it to G..

status: https://faculty.washington.edu/kerim/nomic/cases/#3909

===  CFJ 3909  ===

  The contract "Cuddlebeam's Sandwich" has finite length.

==

Caller:ATMunn

Judge: G.

==

History:

Called by ATMunn: 29 May 2021 00:26:07
Assigned to G.:   [now]

==

[Linked to CFJ 3908]

Caller's Evidence:

On 5/27/2021 1:03 PM, Cuddle Beam via agora-business wrote:
> I create the following contract named "Cuddlebeam's Sandwich":
>
> --
> Cuddlebeam is the sole party to this contract.
>
> Layer 1: This is a layer of bread.
> Layer 2: This is a layer of ham.
> Layer 3: This is a layer of bread.
> Layer 4: This is a layer of ham.
> --
>
> I consent to modify the above contract by adding layers for all natural
> numbers, alternating bread and ham, following this example:
>
> Layer 1: This is a layer of bread.
> Layer 2: This is a layer of ham.
> Layer 3: This is a layer of bread.
> Layer 4: This is a layer of ham.
> Layer 5: This is a layer of bread.
> Layer 6: This is a layer of ham.
> etc.
>
> Note that I just need to *consent* to a modification, not spell it out
> entirely.
>

==

OFF: [Arbitor] CFJ 3908 Assigned to G.

[Kerim Aydin via agora-official]

The below CFJ is 3908.  I assign it to G..

status: https://faculty.washington.edu/kerim/nomic/cases/#3908

===  CFJ 3908  ===

  The above amendment to "Cuddlebeam's Sandwich" was successful.

==

Caller:ATMunn

Judge: G.

==

History:

Called by ATMunn: 29 May 2021 00:26:07
Assigned to G.:   [now]

==

[Linked to CFJ 3909]

Caller's Evidence:

On 5/27/2021 1:03 PM, Cuddle Beam via agora-business wrote:
> I create the following contract named "Cuddlebeam's Sandwich":
>
> --
> Cuddlebeam is the sole party to this contract.
>
> Layer 1: This is a layer of bread.
> Layer 2: This is a layer of ham.
> Layer 3: This is a layer of bread.
> Layer 4: This is a layer of ham.
> --
>
> I consent to modify the above contract by adding layers for all natural
> numbers, alternating bread and ham, following this example:
>
> Layer 1: This is a layer of bread.
> Layer 2: This is a layer of ham.
> Layer 3: This is a layer of bread.
> Layer 4: This is a layer of ham.
> Layer 5: This is a layer of bread.
> Layer 6: This is a layer of ham.
> etc.
>
> Note that I just need to *consent* to a modification, not spell it out
> entirely.
>

==