-
Notifications
You must be signed in to change notification settings - Fork 3
/
1110
317 lines (248 loc) · 13 KB
/
1110
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
From - Wed May 17 14:55:27 2000
Return-Path: <[email protected]>
Received: from gecko.serc.rmit.edu.au ([131.170.42.16])
by mx6.mindspring.com (Mindspring Mail Service) with ESMTP id shuqsg.e2c.37kbi14
for <[email protected]>; Sun, 14 May 2000 23:14:23 -0400 (EDT)
Received: (from majordomo@localhost)
by gecko.serc.rmit.edu.au (8.8.5/8.8.5) id DAA26993
for agora-discussion-list; Mon, 15 May 2000 03:05:06 GMT
Received: from fw.serc.rmit.edu.au (fw-in.serc.rmit.edu.au [131.170.42.1])
by gecko.serc.rmit.edu.au (8.8.5/8.8.5) with ESMTP id DAA26990
for <[email protected]>; Mon, 15 May 2000 03:05:03 GMT
Received: (from mail@localhost)
by fw.serc.rmit.edu.au (8.9.3/8.9.1) id NAA50060
for <[email protected]>; Mon, 15 May 2000 13:26:57 +1000 (EST)
Received: from silas-2.cc.monash.edu.au(130.194.1.7) by fw.serc.rmit.edu.au via smap (V2.1)
id xma050058; Mon, 15 May 00 13:26:47 +1000
Received: (from gardner@localhost)
by silas-2.cc.monash.edu.au (8.9.1a/8.9.1) id NAA27265
for [email protected]; Mon, 15 May 2000 13:10:24 +1000 (EST)
From: Steve Gardner <[email protected]>
Message-Id: <[email protected]>
Subject: DIS: Repost of CFJ 1110
To: [email protected] (Agora Nomic Discussion List)
Date: Mon, 15 May 2000 13:10:24 +1000 (EST)
X-Mailer: ELM [version 2.5 PL3]
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Content-Transfer-Encoding: 7bit
Sender: [email protected]
Precedence: bulk
Reply-To: [email protected]
X-Mozilla-Status: 8001
X-Mozilla-Status2: 00000000
X-UIDL: shuqsg.e2c.37kbi14
==========================================================================
CFJ 1110
The Voting Period for Proposals 3810-3812 ended between 07:18:33 (GMT)
on December 4 and 07:59:20 (GMT) on December 7.
==========================================================================
Called by: Blob
Judge: lee
Judgement: TRUE
Judgement Appealed
Appeals Board: Morendil (S), Crito (J), Steve (C)
Justices' Decisions:
Morendil: TRUE
Crito: TRUE
Steve: TRUE
Board's Decision: SUSTAIN
Judge selection:
Eligible: Andre, Chuck, Crito, elJefe, General Chaos,
Kolja A., lee, Macross, Morendil, Murphy, Oerjan,
Proglet, Steve
Not eligible:
Caller: Blob
Barred: -
Already served: -
Defaulted: -
By request: -
On Hold: Michael
==========================================================================
History:
Called by Blob: Wed, 09 Dec 1998 12:36:58 +1100
Assigned to lee: Wed, 09 Dec 1998 13:38:28 +1100
Judged TRUE by lee: Fri, 11 Dec 1998 07:39:11 -0500
Judgement published: Mon, 14 Dec 1998 11:30:52 +1100
Appealed by Steve: Mon, 14 Dec 1998 11:35:30 +1100
Appealed by Blob: Mon, 14 Dec 1998 11:40:30 +1100
Appealed by elJefe: Mon, 14 Dec 1998 20:17:38 -0500
Assigned to Appeals Board: Wed, 16 Dec 1998 09:48:55 +1100
Judged TRUE by Crito: Mon, 21 Dec 1998 11:47:33 -0500
Judged TRUE by Morendil: Mon, 21 Dec 1998 18:38:02 +0200
Judged TRUE by Steve: Tue, 22 Dec 1998 16:27:34 +1100
Decision of Appeals Board published: Tue, 22 Dec 1998 16:27:34 +1100
==========================================================================
Caller's Arguments:
When P3809 took effect, it set the Voting Period to seven days.
Proposals 3810-3812 were distributed on Mon, 30 Nov 1998 at 07:29:29
(GMT).
Now there are, as far as I can see, three possible hypotheses as to when
the Voting Period on these proposals ends:
i) Seven days after they were Proposed,
at 07:29:29 (GMT) on Monday, December 7.
ii) Ten days after they were Proposed,
at 07:29:29 (GMT) on Thursday, December 10.
iii) At the time P3809 took effect,
at 07:55:39 (GMT) on Monday, December 7.
Now I don't have any particular opinion as to which of these is true,
but I note that it doesn't make much practical difference whether it is
(i) or (iii), as no votes were cast during this period. The times
mentioned in the Statement are the times of the last recorded
vote before (i) and the first recorded vote after (iii).
==========================================================================
Judge's Arguments:
I rule true.
I have read the arguments. i think votes that were legal when cast
counted. I don't buy that the VP was changed for all past proposals
were changed.
==========================================================================
Justice Crito's Arguments:
I sustain the TRUE verdict for CFJ 1110.
The truth or falsity of this CFJ statement depends on what it means for
a Voting Period to have ended. The simplest and most natural answer to
this is to say that a VP has ended as long as the date designated by the
Rules to be the end of that VP is in the past. At the time this CFJ was
called, there were only two dates that the Rules ever designated as the
end of the VPs for these proposals. Both of these dates were in the
past relative to the time of this CFJ, and by this definition a
judgement of TRUE was supported.
However, much ink has been spilled on the discussion list concerning the
possibility that the "now" pointer of time must have passed through the
designated date for the VP to actually have ended. This viewpoint
relies on the notion that the end of a VP is an event such as the
striking of a gavel (marking the end of the VP). However, IMO, the text
of the Rule 693 does not support this viewpoint. It does not even
mention the end of the VP specifically, it merely specifies the VPs
duration. Duration is an attribute that the Rules are free to change at
any time. (IMO, R101 prevents a change of attribute from having any
effect on events in the past, but this is an issue that is irrelevant to
the truth or falsity of this particular CFJ statement). Therefore, I
believe this outcome is not supported and the judgement of TRUE should
withstand.
It might be useful to point out that one consequence of this is the fact
that the time period during which votes may legally be cast on a
particular proposal need not correspond to any time period designated as
a Voting Period of that proposal. But this should not be so surprising
when one realizes that VPs are not defined in terms of when votes may
legally be cast, but that legal votes are defined in terms of VPs.
==========================================================================
Justice Morendil's Arguments:
As I see it, Blob's enumeration of the admissible hypotheses is
incomplete, and the very existence of CFJ 1111 attests to that. ;) For
completeness, they are as follows, and in no particular order, with D
(Mon, 30 Nov 1998 at 07:29:29) being the time of distribution;
a- the VP ended at D + 10 days, due to R693/3
b- the VP ended at D + 7 days, due to R693/4
c- the VP ended at the time P3809 took effect
d- the VP ended at some other time
e- the VP never ended
Now, d) seems quite unlikely. The only Rules that have an effect of any
sort on Voting Periods are R693, R1724 and R1726. In the absence of any
evidence that a Guillotine Application was executed, we can safely
conclude that it is ruled out.
Hypothesis e) is conceivable under the interpretation that "the end of
the Voting Period" is an 'event', that is, a change in some entity's
attributes occurring at a given point in time. This would imply that
Rule 693 operates by 'setting' the a Proposal to into a certain 'state'
at the time it is distributed, then 'setting' a different 'state' when
the prescribed period has elapsed. Since the moment specified, under
that view, by 693/4 for 'closing' the VP of the relevant Proposals
happened before 693/4 became law, that 'event' did not - and now cannot
- happen.
Hypothesis a) implies that the Voting Period is an 'attribute' of a
given Proposal, and, once granted to that Proposal, can only be changed
via the operation of some Rule, under R1011. In other words, as soon as
a Proposal is distributed, it has a 'timer clock' attached to it that
will ring some specified time later, and R639 only operates by setting
the dials on the timer, so to speak.
Hypotheses b) and c) imply that Voting Periods are not exactly
attributes, but more of a legal designation pertaining to acts that may
be legal or not depending on whether they were performed during or
outside of such periods. Thus, R693/4 states that Votes cast between the
time D a Proposal is Distributed and 7 days later are legal, and others
are not, whereas R693/3 stated that Votes cast between D and 10 days
later were legal. The 'end of the VP' under that view is something of a
fiction - the term refers to something with event-like properties. It
can definitely be said that after P3809 took effect, the VP in question
had ended, but from a stricter point of view, the end of the VP as
described by the Rules was the earlier time.
This distinction would matter more for the purpose of determining ASAP
violations; if the difference between the two times had been longer than
a week, then under some bizzarre circumstances the Assessor could have
become technically guilty of Tardiness without being able to do anything
about it.
Now, my opinion, given the wordings of R693, R1724 and R1726, is that
the 'legal designation' model is the one that least stands in the way of
a consistent interpretation of all three Rules. As a consequence, I
sustain the original Judgement of TRUE.
==========================================================================
Justice Steve's Arguments:
I had intended a much lengthier Judgement, which would closely examine
the issues which have been raised in the discussion of thast two weeks.
I find, however, that my fellow Justice Crito has made the points I wish
to make. Therefore, I will simply join him and Morendil in sustaining
the original Judgement of TRUE.
==========================================================================
Evidence attached by Caller:
1. Headers of the message distributing P3810-3812
2. Assessor's Report for P3809
3. Text of R693/3 (version prior to adoption of P3809)
-----1. Headers of the message distributing P3810-3812:
Return-Path: <[email protected]>
Sender: [email protected]
To: [email protected] (Nomic Official)
Date: Mon, 30 Nov 1998 18:29:29 +1100 (EST)
Subject: OFF: New Proposals: 3810 - 3812
Precedence: bulk
Reply-To: [email protected]
New Proposals: 3810 - 3812
There are three new proposals distributed as of this report. The Voting
Period on these Proposals commences as of this message and will end on
December 10. Voting on these proposals will cost 0 VTs.
-----2. Assessor's Rreport for P3809:
Return-Path: <[email protected]>
Sender: [email protected]
To: [email protected] (Nomic Official)
Date: Mon, 7 Dec 1998 18:55:39 +1100 (EST)
Subject: OFF: Assessor's Report for Proposals 3808 - 3809
Precedence: bulk
Reply-To: [email protected]
Agora Nomic
Voting Report: 3808 - 3809
Date of last Report: Mon, 30 Nov 1998
Date of this Report: Mon, 07 Dec 1998
H. Promotor Blob and H. Accountor Lee, please be advised that this
message
contains Payment Orders for Currencies for which you are the
Recordkeepors.
===========================================================================
Voting on Proposal 3808-3809 commenced: Wed, 25 Nov 1998 01:31:45 (GMT)
Voting on Proposal 3808-3809 concluded: Sat, 05 Dec 1998 01:31:45 (GMT)
At the commencement of the Voting Period of Proposals 3808-3809 there
were 15 Registered Players: 15 Active, 0 On Hold. Therefore Quorum for
these Proposals is 5 (Rule 879/7).
Num. Proposer AI Title RESULT F A *
3808 Kolja 1 Monthly voting bills FAILS 4-7-2
3809 Gen Chaos 1 Ten Days is Too Long PASSES 11-6-0
===========================================================================
...
======================================================================
Text of Adopted Proposals
======================================================================
Proposal 3809 (Gen Chaos) AI = 1
Ten Days is Too Long
Be it therefore resolved, that Rule 693 be amended, by replacing "ten
days "with "seven days".
======================================================================
-----3. Text of Rule 693/3 (before P3809 took effect):
Rule 693/3 (Power=1)
Prescribed Voting Period
The prescribed Voting Period for a Proposal is ten days,
beginning at the time the Proposal is distributed to all
Players.
--
Steve Gardner | Appearances to the contrary,
Dept. of Philosophy, Monash Uni. | things are just what they seem.