BUS: CFJ 3880 judged TRUE

2020-09-06 Thread ATMunn via agora-business

On 8/30/2020 2:41 PM, Kerim Aydin via agora-official wrote:

The below CFJ is 3880.  I assign it to ATMunn.

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

===  CFJ 3880  ===

   This is a CFJ.

==

Caller:Trigon

Judge: ATMunn

==

History:

Called by Trigon: 25 Aug 2020 20:29:58
Assigned to ATMunn:   [now]

==

Alleged calling message:

https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-business/2020-August/044696.html

Arbitor's Note:

If a judge finds that eir assigned CFJ is not a CFJ, common practice is to
leave it in the archives with its initial ID number (along with the not-
judgement) and not reassign the ID#, so it can be used as a handy reference
for any follow-up CFJs that might be called on the matter.

==



Judge's Arguments:

The only relevant piece of the rules here is the first paragraph of Rule
991:

  Any person (the initiator) can initiate a Call for Judgement (CFJ,
  syn. Judicial Case), specifying a statement to be inquired into by
  announcement.

It seems reasonable to interpret the statement of "This is a CFJ" as
meaning "I initiate a CFJ with the statement 'This is a CFJ'". We allow
the format "CFJ: blah", and this is not that far off from that.

I judge CFJ 3880 TRUE.

[I could certainly see the arguments for FALSE as well, but I don't have
much time and it doesn't really matter much anyway. If anyone is
strongly opposed, file a Motion, but I don't think anyone will care that
much.]
--
ATMunn
friendly neighborhood notary :)


Re: BUS: [Registrar] September zombie auction

2020-09-06 Thread ATMunn via agora-business

On 9/6/2020 3:33 PM, Gaelan Steele via agora-business wrote:




On Sep 6, 2020, at 8:02 PM, Falsifian via agora-business 
 wrote:

I hereby initiate a zombie auction, with the following method and lot.


I bid 10 coins.



I bid 11 coins.

--
ATMunn
friendly neighborhood notary :)


Re: BUS: [Registrar] September zombie auction

2020-09-06 Thread Gaelan Steele via agora-business



> On Sep 6, 2020, at 8:02 PM, Falsifian via agora-business 
>  wrote:
> 
> I hereby initiate a zombie auction, with the following method and lot.

I bid 10 coins.

[cfj] Re: BUS: to the moooooon [Emergency]

2020-09-06 Thread Kerim Aydin via agora-business


CFJ, barring Falsifian:

The Lunar Laser Ranging experiment is a forum.


Caller's Arguments:

On 9/6/2020 11:43 AM, Falsifian via agora-business wrote:
> Registrar's opinion:
>
> The Lunar Laser Ranging experiment is not a forum, so it does not have
> an instance of the Publicity switch, so the new Emergency Regulation
> didn't do anything.
>
> Even if the experiment can be used for communication, it would be a
> stretch to call it a "place for discussion" or a "message board"
> (Wiktionary: "forum").

Looking at the peer-reviewed literature linked to:
https://en.wikipedia.org/wiki/Lunar_Laser_Ranging_experiment

It looks like it would be possible, with reasonable effort, to write a
protocol giving instructions on using this medium for communications
(access to equipment is not relevant, any more than access to email
clients is part of email forum determination).  For example, Bender, P.
L.; et al. (1973). Science. 182 (4109): 229–238 gives a full description
of the method.  All that is needed is:

> - a powerful laser, typically a few watts, with substantial
> pulse energy;
> - sub-arcsecond intrinsic divergence, meaning a launch
> beam diameter exceeding 10 cm;
> - sub-arcsecond pointing and tracking capability;
> - large collection aperture for the return;
> - aggressive filtering in the temporal, spatial, and
> wavelength domains.
> Additionally, the laser pulsewidth should be <100 ps so that
> it does not compete with the reflector-induced spread in the
> overall error budget.

As such, it is an "open" forum ready for communication, even if the gear
is not set up or accessible.

Specifics aside, it would be useful to get a functional definition of a
forum, and whether (in a general sense) a powered instrument or regulation
can define one regardless of the existence of a reliable access method -
i.e. can a scam define a forum that's functionally inaccessible, or is
that blocked by the common definition?



BUS: [Registrar] September zombie auction

2020-09-06 Thread Falsifian via agora-business
Note: different auction method this time.

I hereby initiate a zombie auction, with the following method and lot.

Method:

The auction will be conducted as a Second Price Auction, as described in
the Treasuror's regulations, with the following changes:

* All players are considered to be "funded" at all times. [See comment
  below.]

* If a talisman that is a lot in this auction ceases to be owned by
  Agora before bidding closes, then that lot is removed from the auction
  and the remaining lots (if any) are renumbered accordingly within the
  list.

  [Comment: I added "before bidding closes" to the same provision from
  the August auction.]


Lot:

This auction has one lot: the talisman of twg.


Comment on "funded" requirement, and public bids:

The below text contains no game actions and is not part of the auction
method.

The "funded" requirement caused problems last time and I'm not convinced
it's helpful.

One potential problem with the "Second Price" method is that since bids
are public, there's not much stopping me from forcing the top bidder to
pay (almost) eir full bid by bidding one less, with no consequence to
me. It's possible the "funded" requirement could mitigate this by only
leaving that option open to the rich, but that doesn't seem like a real
solution. Instead, I hope you'll bribe each other not to do that or
something.

-- 
Falsifian


Re: BUS: Proposal: Clarify asset ownership some more

2020-09-06 Thread Edward Murphy via agora-business

I wrote:


I intend, without objection, to flip this proposal to Pending. (If there
is an objection, then does anyone want to trade for a pendant?)


Having received no objection, I do so.


Proposal: Clarify asset ownership some more
(AI = 3, co-author = G.)

Amend Rule 2576 (Ownership) by replacing this text:

   If an asset's owner would otherwise be nonexistent, indeterminate,
   or invalid, then it is owned by the Lost and Found Department (if
   possible) or destroyed (otherwise), subject to modification by its
   backing document.

with this text:

   An asset "in abeyance" is one whose owner is nonexistent,
   indeterminate, or invalid. If an asset would otherwise be in
   abeyance, then it is owned by the Lost and Found Department (if
   possible) or destroyed (otherwise), subject to modification by its
   backing document (provided that the modification either destroys
   it or prevents it from being in abeyance).




Re: BUS: to the moooooon [Emergency]

2020-09-06 Thread Falsifian via agora-business
On 2020-09-04 20:06, Kerim Aydin via agora-business wrote:
> 
> I demonstrate the following rulebending form:
> 
> 
> The following Emergency Regulation is enacted:
> 
> The publicity of the Lunar Laser Ranging experiment is set to
> Discussion.
> 
> [
> For reference:
> https://en.wikipedia.org/wiki/Lunar_Laser_Ranging_experiment
> ]
> 
> 
> Note:  this had/has nothing to do with the original purpose of the scam,
> but in setting this up it became apparent that the creation of emergency
> regulations isn't secured, so it's a huge hole whereby an AI-1 instrument,
> including a proposal, can change AI-3 secured stuff (arguably, of course!)
>  I think the emergency regulations would get around just about every limit
> that rulebending places on itself.

Registrar's opinion:

The Lunar Laser Ranging experiment is not a forum, so it does not have
an instance of the Publicity switch, so the new Emergency Regulation
didn't do anything.

Even if the experiment can be used for communication, it would be a
stretch to call it a "place for discussion" or a "message board"
(Wiktionary: "forum").

-- 
Falsifian


Re: BUS: [Promotor] Administrative Regulations

2020-09-06 Thread Falsifian via agora-business
On 2020-09-04 07:01, Aris Merchant via agora-business wrote:
> I intend, for each of the two  "---" delimited texts below, to
> promulgate that text as an Administrative Regulation of the office of
> Promotor with 1.5 Agoran consent.

I support the intent for the Proposal Style Guide. I object to the
intent for Certification.


> ---
> Certification
> 
> For the Promotor to cause a proposal to become pending with 2+N support,
> where N is equal to the number of times e has done so in the past 7 days,
> is for em to certify it.
> 
> A proposal is certifiable if:
> 1. it is reasonably narrowly tailored to fix one or more problems,
>   including a) bugs, b) errors, c) ambiguities, and d) vulnerabilities*; or
> 2. unusual or exigent circumstance render it in the public interest for
>it to become pending via this method.
> 
> * Note: Any of these problems may arise from a single source or the 
> interaction
>   of multiple sources, which may be individually unproblematic. This provision
>   is to be interpreted broadly and flexibly to effectuate its spirit.
> 
> The Promotor SHOULD NOT certify a non-certifiable proposal. Players SHOULD
> support an intent to certify a proposal if and only if it is certifiable.
> 
> The author of a proposal in the pool CAN, by announcement, request
> certification of the proposal, provided e does so in a message that has either
> "Promotor" or "Proposal" in the subject line; e SHOULD NOT do so unless
> e believes eir proposal is certifiable and is ENCOURAGED to explain why
> eir proposal is certifiable. Once certification is requested, the Promotor
> SHALL respond publicly before publishing the next report that contains
> the proposal, unless the proposal is withdrawn or pended in the interim.
> Petitioning the Promotor to certify a proposal is DEPRECATED.
> 
> ---
> Proposal Style Guide
> 
> Players SHOULD format proposals in accordance with the following guidelines.
> These guidelines represent the Promotor's preferred formatting. Most of
> these guidelines are flexible recommendations, but where something is marked 
> as
> STRONGLY DISCOURAGED, doing it is actively inconvenient for the Promotor.
> 
> I. Headers and Metadata.
> 
> 1. Format headers as close as possible to the heading used for distributions,
>which looks like this:
> 
> Title: _
> Adoption index: _._
> Author: 
> Co-authors: , 
> 
> To be clear:
> a) write the fields in that order;
> b) write out all the fields, even the ones that have default values; and
> c) write each field on its own line.
> 
> 2. a) Give proposals titles 35 characters or less.
>b) Giving proposals titles over 70 characters is STRONGLY DISCOURAGED.
> 
> II. Bodies.
> 
> 1. Indent Proposals two spaces per indent level.
> 
> 2. a) Wrap proposal lines to 80 characters or less.
>b) Making it so the Promotor cannot wrap lines to 80 characters or less is
>   STRONGLY DISCOURAGED unless it is absolutely unavoidable (e.g.
>   in the case of URLs).
> 
> 3. Players are STRONGLY DISCOURAGED from placing markings that indicate the
>start of the proposal's text on the same line as the start of the text.
> ---


-- 
Falsifian


BUS: Re: OFF: [Promotor] Distribution of Proposals 8488A-8489A and 8495-8497

2020-09-06 Thread Falsifian via agora-business
I vote as follows:

> ID   Author(s)AITitle
> ---
> 8488A*^  Falsifian, Jason, omd3.0   Empty the escalator v1
FOR

> 8489Ae^  Jason, Trigon1.0   Interesting economics
endorse the Assessor (if you want to deal with this, then sure)

> 8495p^   G.   1.0   Please stand by
AGAINST

> 8496l^   Jason, Aris  1.0   Timely reminders
FOR

> 8497*^   nix  3.0   Withdrawal Quick-Fixendorse the 
> Treasuror (I'm somewhat indifferent but this would give the
Treasuror one more thing to verify)

-- 
Falsifian


BUS: Re: OFF: [Treasuror] [Weekly Report] Forbes 482

2020-09-06 Thread Falsifian via agora-business
On 2020-08-31 01:00, Reuben Staley via agora-official wrote:

...

> +-++++++++++
> |   Entity    | cn | wc | jc | lc | vc | wp | bg | pd | xv |
> +=++++++++++
> |Agora    |2340|   0|   0|   0|   0|   0|   0|   0|   0|
> |CB Locker[1] | 239|   1|   1|   1|   1|   0|   0|   0|   0|
> |D. Corp.[2]  | 495|   0|   0|   0|   0|   0|   1|  11|   1|
> |Experiment[3]|  10|   0|   0|   0|   0|   0|   0|   0|   0|
> |DragonQE[4]  |   0|   0|   0|   0|   0|   2|   2|   5|   1|
> |IBTWWBG[5]   |  50|   0|   0|   0|   0|   0|   0|   0|   0|
> |L Dept.[6] | 183|   0|   0|   0|   0|   0|   0|   0|   0|
> |PlunderPS[7] | 179|   0|   0|   0|   0|   0|   0|   0|   0|
> |SEAMSTRESS[8]|   0|   0|   0|   0|   0|   0|   0|   0|   0|
> |TeamMarg[9]  | 226|   0|   0|   0|   0|   0|   0|   0|   0|
> +-++++++++++


CoE: this is missing Gaelan's actions from this 2020-08-29 message:
https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-business/2020-August/044722.html

-- 
Falsifian


BUS: [Dragon] QuickExchange report

2020-09-06 Thread Falsifian via agora-business


> I perform the following actions if and only if they result in two proposals 
> becoming pended: {
> I become a party to Dragon QuickExchange.
> 
> Twice, I pay a fee of one legislative card to Dragon QuickExchange to be 
> granted 100 Legislative Credits.
> 
> Four times, I pay a fee of 47 legislative credits to transfer a pendant from 
> Dragon QuickExchange to me.
> 
> I spend a pendant each to pend my proposals "nope" and "nopenopenope".
> 
> [This should leave me with 12 legislative credits and 2 pendants.]
> }
> 
> Gaelan

The above agrees with my accounting of Dragon QuickExchange.

I believe Dragon QuickExchange currently owns:

* Two Victory Points
* Two Blot-B-Gones
* One Pendant
* Two Legislative Cards
* One Extra Vote

I intend without objection to ratify the following document:
{
Ownership of Credits backed by Dragon QuickExchange is as follows:

Victory Credits: Falsifian owns 88.
Justice Credits: Falsifian owns 88.
Legislative Credits: Falsifian owns 129; R. Lee owns 88; Gaelan owns 12.
Voting Credits: Falsifian owns 44.
}


-- 
Falsifian


Re: BUS: [Dragon] Auctions

2020-09-06 Thread Falsifian via agora-business
On 2020-09-01 15:47, Jason Cobb via agora-business wrote:
> On 8/28/20 6:16 PM, Jason Cobb via agora-business wrote:
>> I submit the following Amendment Proposal to the Dragon Corporation:
>>
>> {
>>
>> Amend the Dragon Corporation by adding a bylaw titled "Spoils" with the
>> following text:
>>
>> {
>>
>> Whenever the Dragon Corporation possesses non-coin assets, the President
>> CAN initiate an auction for a subset of those assets using an auction
>> method specified in an auction regulation, provided:
>>
>> - there is no ongoing auction under this bylaw;
>>
>> - the currency of the auction is coins; and,
>>
>> - all auctioned assets are contained within a single lot.
>>
>>
>> Unless otherwise specified, Dragon Corporation auctions function as
>> closely as possible to auctions defined by the rules, except that they
>> are controlled by this contract.
>>
>> Instead of what is specified by the auction regulation, auction bids are
>> to be paid as a fee to the Dragon Corporation. After eir bid is paid,
>> the bidder is authorized to once transfer the assets e won from the
>> Dragon Corporation to emself.
>>
>> }
>>
>> }
>>
> 
> I vote FOR this amendment proposal.

I vote FOR it too.

-- 
Falsifian


BUS: @Treasuror Claiming Reportor Salary

2020-09-06 Thread Falsifian via agora-business
On 2020-09-06 18:08, Falsifian via agora-official wrote:
> This is my weekly report as Editor of the Agoran Press contract.
> 
> Three Credits exist. All are owned by Falsifian.
> 
> History (not self-ratifying):
> 2020-08-23: Falsifian earns one Credit for summarizing 2020-08-10..16.
> 2020-08-30: Falsifian earns one Credit for summarizing 2020-08-17..23.
> 2020-09-06: Falsifian earns one Credit for summarizing 2020-08-24..30.

I transfer 5 Credits from the Agoran press to myself.
I transfer 5 Credits from the Agoran press to myself.
I transfer 5 Credits from the Agoran press to myself.

-- 
Falsifian


Re: BUS: Proposal: Clarify asset ownership some more

2020-09-06 Thread Falsifian via agora-business
On 2020-08-30 18:03, Edward Murphy via agora-business wrote:
> I intend, without objection, to flip this proposal to Pending. (If there
> is an objection, then does anyone want to trade for a pendant?)

I object.



> Proposal: Clarify asset ownership some more
> (AI = 3, co-author = G.)
> 
> Amend Rule 2576 (Ownership) by replacing this text:
> 
>   If an asset's owner would otherwise be nonexistent, indeterminate,
>   or invalid, then it is owned by the Lost and Found Department (if
>   possible) or destroyed (otherwise), subject to modification by its
>   backing document.
> 
> with this text:
> 
>   An asset "in abeyance" is one whose owner is nonexistent,
>   indeterminate, or invalid. If an asset would otherwise be in
>   abeyance, then it is owned by the Lost and Found Department (if
>   possible) or destroyed (otherwise), subject to modification by its
>   backing document (provided that the modification either destroys
>   it or prevents it from being in abeyance).

-- 
Falsifian


BUS: Re: OFF: [Splat Market] Order Book

2020-09-06 Thread Publius Scribonius Scholasticus via agora-business
On 9/6/20 11:27 AM, Gaelan Steele via agora-official wrote:
> The following orders (as defined by the Splat Market contract) exist: 
> 
> Victory Cards:
> 1x sell @ 200 coins (Gaelan)
> 
> Justice Cards:
> 3x buy @ 30 coins (Gaelan)
> 
> Legislative Cards:
> 3x buy @ 30 coins (Gaelan)
> 
> Blot-B-Gones:
> 4x buy @ 15 coins (Gaelan)
> 
> Dragon QuickExchange Legislative Credits:
> 12x sell @ 1 coin (Gaelan)
> 
> Gaelan
> 

As Referee, I grant one justice card to Gaelan, if doing so would allow
me to perform the following two actions successfully.  I act on Gaelan's
behalf to transfer 30 coins to me.  I destroy Gaelan's buy order for a
justice card at 30 coins.

-- 

Publius Scribonius Scholasticus, Herald, Referee, Tailor, Pirate
Champion, Badge of the Great Agoran Revival, Badge of the Salted Earth


BUS: [@Notary] Splat Market Updates

2020-09-06 Thread Gaelan Steele via agora-business
I create 12 sell orders for Dragon QuickExchange Legislative Credits @ 1 coin.

I amend the Splat Market to the following:
[This allows officers to execute buy orders by directly granting cards to the 
buyer. Only
the third-to-last paragraph (as in "thing between blank lines") is changed.]
{
Any player may become a party to this contract. Any party may cease to
be a party to this contract; upon a player ceasing to be a party (by any
mechanism), all of eir orders are destroyed.

Any party may amend this contract with the consent of a simple majority
of parties. Upon doing so (and without any of the new provisions
becoming binding upon em), any players who did not consent cease to be
parties. Players making amendments SHOULD wait to allow all interested
parties to indicate eir consent.

An order is an entity with the following properties:
- currency (any non-fixed currency that is not the official currency of
Agora)
- direction (buy or sell)
- owner (a player)
- a price (a number of instances of the official currency of Agora)

A buy order is an order with a direction of buy, and a sell order is an
order with a direction of sell. A player's orders are the orders where
the owner is that player.

Parties can create orders with emself as the owner, by announcement,
specifying all other properties. Parties can destroy eir orders by
announcement.

For each (currency, direction) pair, there is an "active order." For buy
orders, this is the order with that currency and the highest price. For
sell orders, this is the order with that currency and the lowest price.
In either case, if multiple orders have the same price, the oldest order
is the sell order.

For any given currency, it is IMPOSSIBLE to create a sell order with a
price lower than the active buy order, and IMPOSSIBLE to create a buy
order with a price higher than the active sell order.

To perform a set of actions atomically is to preform them, in order, in
the same message, with no intervening actions. Where this contract
permits players to perform actions as part of an atomic set, it permits
doing so only if all actions in the set would be EFFECTIVE.

Any player CAN perform the following actions atomically: {
Transfer a number of instances of Agora's official currency equal to an
active sell order's price to that order's owner.
Act on that order's owner's behalf to transfer one instance of the
order's currency to emself.
Destroy that order.
}
"Executing N of 's sell orders for  at "
(or similar language) is shorthand for completing the above process, N
times, with the specified attributes.

Any player CAN perform the following actions atomically: {
Transfer or grant one instance of an active buy order's currency to
that  order's owner.
Act on that order's owner's behalf to transfer a number of instances of
Agora's official currency equal to that order's price to emself.
Destroy that order.
}
"Executing N of 's buy orders for  at " (or
similar language) is shorthand for completing the above process, N
times, with the specified attributes. Unless otherwise specified, it is
assumed that the executor does so by transferring assets, not granting them.

If either of the above sets of actions would be IMPOSSIBLE due to the
active order's owner having an insufficient currency balance, any player
CAN destroy the active order by announcement.

Gaelan SHALL publish a weekly report listing the properties of each
order, and the relative age (i.e. which orders are older, but not
necessarily any specific dates) of any orders with the same currency,
direction, and price.
}

Gaelan

BUS: [@Treasuror] Team Margaux Refund

2020-09-06 Thread Gaelan Steele via agora-business
I transfer 79 coins from Team Margaux to myself.

[This is permitted by the penultimate paragraph:
After the August 2020 zombie auction ends, if Gaelan is not the awardee
of a lot, any party may transfer a number of coins equal to eir
contribution from this contract to emself.
]

Gaelan


BUS: [Arbitor] Rewards

2020-09-06 Thread Kerim Aydin via agora-business


I grant 5 coins to each of the following players for timely judgements:
  Publius (#3879 on 06 Sep):  6.79 days









BUS: CFJ 3879 judged FALSE

2020-09-06 Thread Publius Scribonius Scholasticus via agora-business
On 8/30/20 2:41 PM, Kerim Aydin via agora-official wrote:
> The below CFJ is 3879.  I assign it to Publius Scribonius Scholasticus.
> 
> status: https://faculty.washington.edu/kerim/nomic/cases/#3879
> 
> ===  CFJ 3879  ===
> 
>   After the first instant of the existence of the Supertask
>   Experiment Redux contract, Nathan is the owner of the first Dock
>   asset created by the Supertask Experiment Redux contract.
> 
> ==
> 
> Caller:Nathan
> 
> Judge: Publius Scribonius Scholasticus
> 
> ==

I judge CFJ 3879 to be trivially FALSE because the contract only
provides a means for the transfer of the Dock asset between the contract
and Nathan, therefore it would be created in Nathan's possession and
instantaneously transferred to the contract.

The malformed clause is specifically:

> 2. If a dock asset is owned by this contract. The Dock asset is
> transferred from Nathan to this contract.
-- 

Publius Scribonius Scholasticus, Herald, Referee, Tailor, Pirate
Champion, Badge of the Great Agoran Revival, Badge of the Salted Earth


Re: (@Referee PETITION) Re: BUS: CFJ about scam

2020-09-06 Thread Publius Scribonius Scholasticus via agora-business
On 9/4/20 3:40 PM, Kerim Aydin via agora-business wrote:
> 
> While this wasn't filed with the referee, I petition the Referee to
> recommend a judge for this case, whom I will assign if POSSIBLE and LEGAL.
> 
> I suggest further CFJs on this matter also be filed with the referee.
> 
>  -G.
> 
> On 9/4/2020 12:37 PM, Gaelan Steele via agora-business wrote:
>> I CFJ, barring G.: {Jason is REQUIRED to resolve the referendum on proposal 
>> 8493 within a timely fashion.}
>>
>> Arguments:
>>
>> 208/14 says "The vote collector for an unresolved Agoran decision CAN 
>> resolve it by announcement, indicating the outcome. If it was required to be 
>> initiated, then e SHALL resolve it in a timely fashion after the end of the 
>> voting period."
>>
>> This decision was not required to be initiated; the PM used the Manifesto 
>> cabinet order, which e had no obligation to do.
>>
>> Gaelan
>>

I respond to this CFJ. I believe that R. Lee would be an appropriate
judge, according to the most recent Court Gazette.

-- 

Publius Scribonius Scholasticus, Herald, Referee, Tailor, Pirate
Champion, Badge of the Great Agoran Revival, Badge of the Salted Earth