Well, R217 does say, "Where the text is silent, inconsistent, or unclear, it is to be augmented by game custom, common sense, past judgements, and consideration of the best interests of the game." Just from the fact that we're arguing about it, the text is evidently unclear, and Officeholder not being a switch doesn't seem very sensible to me, to say nothing of the game's best interests.
Though, if you really want to break things, I think another way to interpret R2162 and R1006 is that, because R1006 states (while taking precedence over R2162) that Officeholder is a switch, it implies that Officeholder meets all the requirements defined in R2162 _even if it actually doesn't_. In other words, R1006 both specifies a default value for Officeholder (because R2162 says it surely must) and simultaneously doesn't (as we can see by simply reading it). Admittedly, the above paradox is a little tongue-in-cheek, but just in case, I call the following three CFJs: - "Officeholder is a switch." - "Officeholder is a switch with a default value." - "Officeholder is a switch with a default value specified in Rule 1006." And I believe switches being accidentally set to indeterminate values is exactly what gamestate convergences were designed for. On which topic, I intend, with 3 Agoran Consent, to designate as a convergence Aris' appointment of omd as Distributor. Hopefully that absolves Murphy of the responsibility of working out exactly when omd ceased to be Distributor, or the Distributor Officeholder ceased to exist, if indeed either of those things happened. Finally, since I'm here, I vote [Publius Scribonius Scholasticus] in the ongoing Herald election and [Corona] in the ongoing Registrar election. Now I'm going to bed. Hopefully Agora will have failed to implode by the time I wake up. -twg ‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐ On July 8, 2018 10:35 PM, Kerim Aydin <ke...@u.washington.edu> wrote: > > > This is a very interesting case. I'm not sure your logic works > > because R2162 contains the definition of a switch, and rules that > > use terms defined elsewhere (like R1006) inherently defer to their > > definitions if the definitions are of the same power. (combo of R1030 > > and R217). > > Think about it this way, for this exact situation: what exactly has > > the Distributor officeholder switch self-ratified as? The switch rule > > states that report, by not containing "Distributor" officeholder switch, > > implies that Distributor is at its "default value". But no default is > > defined so... what did it ratify to? If you don't use the R2162 > > definition, you get some kind of indeterminate/unknown value...? > > On Sun, 8 Jul 2018, Timon Walshe-Grey wrote: > > > It's rule 1006, "Offices", that says Officeholder is a switch, and it's > > rule 2162, "Switches", that (indirectly) says it's not. Rule 1030, > > "Precedence between Rules", gives a handy algorithm for resolving > > contradictions between rules: > > > > - Compare their powers (Not useful, they're both power 2.0) > > - Do they both defer to a different rule for determining precedence? (No, > > not as far as I can see) > > - Does one rule state that it defers to the other? (No) > > - Compare their ID numbers (So rule 1006 takes precedence over rule 2162.) > > > > Since the "Offices" rule takes precedence, Officeholder is a switch, > > regardless of what the "Switches" rule has to say about it. At least I > > think that's how it works. Someone should probably check my logic. > > > > (Of course, we should probably remove the contradiction - and probably > > increase the power of 2162 because this seems like a prolific source of > > loopholes - but I don't believe there's anything to immediately panic > > about.) > > > > -twg > > > > ‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐ > > > > On July 8, 2018 9:45 PM, Kerim Aydin ke...@u.washington.edu wrote: > > > > > Erk. > > > > > > If the July 1 ADoP Report self-ratified, then ratification beats the > > > > > > Distributor rule in ratifying the Distributor officeholder at its default > > > > > > value. > > > > > > EXCEPT. Double-erk. R1006 doesn't explicitly define a default value for > > > > > > Officeholder switches. Either we indirectly infer "vacant" as the > > > > > > default (questionable), or Officeholder isn't a Switch at all, because by > > > > > > R2162(2), a switch must designate a default value in order to be a switch. > > > > > > Dunno if I'm missing something basic ... but if Officeholder isn't > > > > > > actually a switch ---ok Aris, now that's the sort of thing you can call > > > > > > a crisis. > > > > > > On Sun, 8 Jul 2018, Publius Scribonius Scholasticus wrote: > > > > > > > CoE: The Distributor is an office. > > > > > > > > On Sun, Jul 8, 2018 at 5:26 PM Edward Murphy emurph...@zoho.com wrote: > > > > > > > > > =====Metareport===== > > > > > > > > > > You can find an up-to-date version of this report at > > > > > > > > > > http://zenith.homelinux.net/adop/report.php > > > > > > > > > > Date of last report: 2018-07-02 > > > > > > > > > > Date of this report: 2018-07-08 > > > > > > > > > > MISCELLANEOUS INFO > > > > > > > > > > Filled offices: 10/13 (76.92%) > > > > > > > > > > Total officers: 7 > > > > > > > > > > Consolidation[1]: 1.43 > > > > > > > > > > Late reports: 3/10 (30.00%) > > > > > > > > > > [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 > > > > > ------------------------------------ > > > > > > > > > > ADoP Murphy 2018-01-18 2018-01-18 > > > > > > > > > > Arbitor Murphy 2018-01-28 2018-01-28 > > > > > > > > > > Assessor G. 2018-02-06 2018-02-27 > > > > > > > > > > Cartographor Trigon 2018-02-24 (never) > > > > > > > > > > Herald *G. 2018-06-25 (ongoing) > > > > > > > > > > Prime Minister *(vacant) 2018-07-05[2] (ongoing) > > > > > > > > > > Promotor Aris 2016-10-21 2017-09-21 > > > > > > > > > > Referee VJ Rada 2018-07-02 2018-07-02 > > > > > > > > > > Registrar *(vacant) 2018-07-01[2] (ongoing) > > > > > > > > > > Rulekeepor *(vacant) 2018-07-01[2] 2018-07-08 > > > > > > > > > > Speaker G. 2018-07-02 2014-04-21 > > > > > > > > > > Tailor ATMunn 2018-05-09 2018-05-09 > > > > > > > > > > Treasuror twg 2018-06-24 2018-06-24 > > > > > > > > > > [1] * = Interim office (vacant or holder not elected) > > > > > > > > > > [2] Vacant since this date > > > > > > > > > > [3] Currently imposed > > > > > > > > > > WEEKLY REPORTS > > > > > > > > > > Office Report Last Published Late[1] > > > > > ------------------------------------ > > > > > > > > > > ADoP Offices 2018-07-02[2] > > > > > > > > > > Arbitor Judicial matters 2018-07-08 > > > > > > > > > > Cartographor Land of Arcadia 2018-07-02 > > > > > > > > > > Herald Matters of Honour 2018-07-05 > > > > > > > > > > Promotor Proposal pool 2018-07-05 > > > > > > > > > > Referee Rule violations 2018-06-24 ! > > > > > > > > > > Registrar Players, Fora 2018-06-24 (vacant) > > > > > > > > > > Rulekeepor Short Logical Ruleset 2018-06-12 (vacant) > > > > > > > > > > Treasuror Coins, other currencies 2018-07-04 > > > > > > > > > > [1] ! = 1 period missed, !! = 2, !!! = 3+ > > > > > > > > > > [2] Not including this report > > > > > > > > > > MONTHLY REPORTS > > > > > > > > > > Office Report Last Published Late > > > > > --------------------------------- > > > > > > > > > > Herald Patent titles 2018-06-10 > > > > > > > > > > Registrar Player history 2018-06-12 (vacant) > > > > > > > > > > Rulekeepor Full Logical Ruleset 2018-06-06 (vacant) > > > > > > > > > > Tailor Ribbons 2018-06-12 > > > > > > > > > > ELECTIONS > > > > > > > > > > Office Initiated Phase Candidates > > > > > --------------------------------- > > > > > > > > > > Herald 2018-07-02 Voting Corona, G., PSS > > > > > > > > > > Prime Minister 2018-07-05 Nominating Aris, Corona > > > > > > > > > > Registrar 2018-07-02 Voting Corona, PSS > > > > > > > > > > UPCOMING ELECTIONS[1] > > > > > > > > > > Office Days Until Last Election > > > > > ------------------------------- > > > > > > > > > > Promotor 00 Days 2017-09-21 > > > > > > > > > > ADoP 00 Days 2018-01-18 > > > > > > > > > > Arbitor 00 Days 2018-01-28 > > > > > > > > > > Assessor 00 Days 2018-02-27 > > > > > > > > > > Tailor 29 Days 2018-05-09 > > > > > > > > > > [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 > > > > > > > > > > PSS Publius Scribonius Scholasticus > > > > > > > > > > RECENT EVENTS (all times UTC) > > > > > ----------------------------- > > > > > > > > > > Fri, Jun 01 2018 (07:39:12) - Trigon made a CoE on the Cartographor's > > > > > > > > > > weekly report > > > > > > > > > > Fri, Jun 01 2018 (07:43:38) - Trigon published the Cartographor's > > > > > weekly > > > > > > > > > > report > > > > > > > > > > Fri, Jun 01 2018 (17:13:04) - Trigon made a CoE on the Cartographor's > > > > > > > > > > weekly report > > > > > > > > > > Fri, Jun 01 2018 (17:21:32) - Trigon published the Cartographor's > > > > > weekly > > > > > > > > > > report > > > > > > > > > > Fri, Jun 01 2018 (17:29:48) - G. made a CoE on the Cartographor's > > > > > weekly > > > > > > > > > > report > > > > > > > > > > Fri, Jun 01 2018 (17:53:40) - twg made a CoE on the Cartographor's > > > > > > > > > > weekly report > > > > > > > > > > Sun, Jun 03 2018 (18:42:44) - G. published the Registrar's weekly > > > > > report > > > > > > > > > > Sun, Jun 03 2018 (19:27:34) - G. published the Referee's weekly report > > > > > > > > > > Tue, Jun 05 2018 (02:53:28) - Murphy published the Arbitor's weekly > > > > > report > > > > > > > > > > Tue, Jun 05 2018 (02:54:36) - Murphy published the ADoP's weekly > > > > > report > > > > > > > > > > Tue, Jun 05 2018 (07:30:33) - Aris published the proposal pool > > > > > > > > > > Tue, Jun 05 2018 (07:31:22) - Aris published the Agora Nomic Code of > > > > > > > > > > Regulations > > > > > > > > > > Tue, Jun 05 2018 (07:46:39) - twg made a CoE on the proposal pool > > > > > > > > > > Wed, Jun 06 2018 (06:37:26) - Aris published the proposal pool > > > > > > > > > > Wed, Jun 06 2018 (20:14:31) - G. deputised for Rulekeepor and > > > > > published > > > > > > > > > > the Full Logical Ruleset > > > > > > > > > > Wed, Jun 06 2018 (20:14:31) - G. published the Full Logical Ruleset > > > > > > > > > > Sun, Jun 10 2018 (20:12:04) - Corona published the Treasuror's weekly > > > > > report > > > > > > > > > > Sun, Jun 10 2018 (20:28:32) - Corona published the Herald's monthly > > > > > report > > > > > > > > > > Sun, Jun 10 2018 (20:36:31) - Murphy published the Arbitor's weekly > > > > > report > > > > > > > > > > Sun, Jun 10 2018 (20:39:21) - Murphy initiated an election for Referee > > > > > > > > > > Sun, Jun 10 2018 (20:39:21) - Murphy initiated an election for > > > > > Rulekeepor > > > > > > > > > > Sun, Jun 10 2018 (20:39:21) - Murphy initiated an election for > > > > > Treasuror > > > > > > > > > > Sun, Jun 10 2018 (20:40:37) - Murphy published the ADoP's weekly > > > > > report > > > > > > > > > > Sun, Jun 10 2018 (20:44:40) - Corona became a candidate for the > > > > > > > > > > Treasuror election > > > > > > > > > > Sun, Jun 10 2018 (20:44:40) - Corona became a candidate for the > > > > > Referee > > > > > > > > > > election > > > > > > > > > > Sun, Jun 10 2018 (20:48:37) - G. became a candidate for the Referee > > > > > election > > > > > > > > > > Sun, Jun 10 2018 (20:48:39) - Corona published the Herald's weekly > > > > > report > > > > > > > > > > Sun, Jun 10 2018 (21:10:16) - twg became a candidate for the Treasuror > > > > > > > > > > election > > > > > > > > > > Mon, Jun 11 2018 (09:29:49) - VJ Rada became a candidate for the > > > > > Referee > > > > > > > > > > election > > > > > > > > > > Mon, Jun 11 2018 (13:37:02) - ATMunn became a candidate for the > > > > > > > > > > Treasuror election > > > > > > > > > > Mon, Jun 11 2018 (14:35:53) - G. withdrew as a candidate for the > > > > > Referee > > > > > > > > > > election > > > > > > > > > > Mon, Jun 11 2018 (18:28:07) - Aris became a candidate for the Referee > > > > > > > > > > election > > > > > > > > > > Mon, Jun 11 2018 (21:50:00) - ATMunn published the Tailor's monthly > > > > > report > > > > > > > > > > Tue, Jun 12 2018 (00:34:23) - G. made a CoE on the Tailor's monthly > > > > > report > > > > > > > > > > Tue, Jun 12 2018 (01:10:27) - VJ Rada published the Notary's weekly > > > > > report > > > > > > > > > > Tue, Jun 12 2018 (03:03:45) - Trigon published the Cartographor's > > > > > weekly > > > > > > > > > > report > > > > > > > > > > Tue, Jun 12 2018 (06:15:56) - Corona made a CoE on the Cartographor's > > > > > > > > > > weekly report > > > > > > > > > > Tue, Jun 12 2018 (15:09:32) - ATMunn published the Tailor's monthly > > > > > report > > > > > > > > > > Tue, Jun 12 2018 (18:22:50) - G. published the Short Logical Ruleset > > > > > > > > > > Tue, Jun 12 2018 (19:54:16) - G. published the Short Logical Ruleset > > > > > > > > > > Tue, Jun 12 2018 (21:38:38) - G. published the Registrar's monthly > > > > > report > > > > > > > > > > Tue, Jun 12 2018 (21:40:35) - G. published the Registrar's weekly > > > > > report > > > > > > > > > > Wed, Jun 13 2018 (01:21:24) - Aris made a CoE on the Short Logical > > > > > Ruleset > > > > > > > > > > Wed, Jun 13 2018 (01:21:24) - Aris made a CoE on the Full Logical > > > > > Ruleset > > > > > > > > > > Wed, Jun 13 2018 (06:15:57) - Trigon published the Cartographor's > > > > > weekly > > > > > > > > > > report > > > > > > > > > > Wed, Jun 13 2018 (10:24:22) - twg made a CoE on the Cartographor's > > > > > > > > > > weekly report > > > > > > > > > > Sun, Jun 17 2018 (18:49:26) - Murphy published the Arbitor's weekly > > > > > report > > > > > > > > > > Sun, Jun 17 2018 (18:55:37) - Murphy initiated voting for the Referee > > > > > > > > > > election > > > > > > > > > > Sun, Jun 17 2018 (18:55:37) - Murphy resolved the Rulekeepor election, > > > > > > > > > > no candidates > > > > > > > > > > Sun, Jun 17 2018 (18:55:37) - Murphy initiated voting for the > > > > > Treasuror > > > > > > > > > > election > > > > > > > > > > Sun, Jun 17 2018 (18:59:26) - Murphy published the ADoP's weekly > > > > > report > > > > > > > > > > Sun, Jun 17 2018 (20:48:29) - G. published the Referee's weekly report > > > > > > > > > > Mon, Jun 18 2018 (16:01:57) - Corona published the Treasuror's weekly > > > > > report > > > > > > > > > > Mon, Jun 18 2018 (16:18:35) - G. made a CoE on the Treasuror's weekly > > > > > report > > > > > > > > > > Mon, Jun 18 2018 (17:26:38) - Corona published the Herald's weekly > > > > > report > > > > > > > > > > Mon, Jun 18 2018 (17:37:47) - Corona published the Treasuror's weekly > > > > > report > > > > > > > > > > Mon, Jun 18 2018 (17:51:58) - twg made a CoE on the Treasuror's weekly > > > > > > > > > > report > > > > > > > > > > Mon, Jun 18 2018 (17:54:35) - Corona published the Treasuror's weekly > > > > > report > > > > > > > > > > Thu, Jun 21 2018 (23:23:42) - Trigon published the Cartographor's > > > > > weekly > > > > > > > > > > report > > > > > > > > > > Sat, Jun 23 2018 (06:01:20) - Aris published the proposal pool > > > > > > > > > > Sat, Jun 23 2018 (06:02:54) - Aris resigned from Regkeepor > > > > > > > > > > Sun, Jun 24 2018 (19:31:11) - G. published the Referee's weekly report > > > > > > > > > > Sun, Jun 24 2018 (19:47:03) - G. published the Registrar's weekly > > > > > report > > > > > > > > > > Sun, Jun 24 2018 (21:22:10) - Murphy resolved the Treasuror election, > > > > > > > > > > electing twg > > > > > > > > > > Sun, Jun 24 2018 (21:52:06) - Murphy published the Arbitor's weekly > > > > > report > > > > > > > > > > Sun, Jun 24 2018 (21:53:25) - Murphy published the ADoP's weekly > > > > > report > > > > > > > > > > Mon, Jun 25 2018 (00:53:33) - VJ Rada published the Notary's weekly > > > > > report > > > > > > > > > > Mon, Jun 25 2018 (08:09:20) - twg published the Treasuror's weekly > > > > > report > > > > > > > > > > Mon, Jun 25 2018 (14:27:06) - G. deputised for Herald and proposed > > > > > > > > > > Birthday Tournament Regulations > > > > > > > > > > Sun, Jul 01 2018 (01:43:07) - G. resigned from Registrar > > > > > > > > > > Sun, Jul 01 2018 (01:43:07) - G. resigned from Rulekeepor > > > > > > > > > > Sun, Jul 01 2018 (19:50:55) - Notary repealed by Proposal 8054 > > > > > > > > > > Sun, Jul 01 2018 (19:50:55) - Regkeepor repealed by Proposal 8056 > > > > > > > > > > Sun, Jul 01 2018 (21:07:02) - G. published the Herald's weekly report > > > > > > > > > > Mon, Jul 02 2018 (04:17:43) - Murphy resolved the Referee election, > > > > > > > > > > electing VJ Rada > > > > > > > > > > Mon, Jul 02 2018 (05:03:56) - Murphy published the Arbitor's weekly > > > > > report > > > > > > > > > > Mon, Jul 02 2018 (05:05:48) - Murphy published the ADoP's weekly > > > > > report > > > > > > > > > > Mon, Jul 02 2018 (05:09:37) - Murphy initiated an election for Herald > > > > > > > > > > Mon, Jul 02 2018 (05:09:37) - Murphy initiated an election for > > > > > Registrar > > > > > > > > > > Mon, Jul 02 2018 (05:09:37) - Murphy initiated an election for > > > > > Rulekeepor > > > > > > > > > > Mon, Jul 02 2018 (06:26:09) - Corona became a candidate for the Herald > > > > > > > > > > election > > > > > > > > > > Mon, Jul 02 2018 (06:26:09) - Corona became a candidate for the > > > > > > > > > > Registrar election > > > > > > > > > > Mon, Jul 02 2018 (10:15:27) - PSS became a candidate for the Herald > > > > > election > > > > > > > > > > Mon, Jul 02 2018 (10:15:27) - PSS became a candidate for the Registrar > > > > > > > > > > election > > > > > > > > > > Mon, Jul 02 2018 (14:38:05) - G. became a candidate for the Herald > > > > > election > > > > > > > > > > Mon, Jul 02 2018 (14:45:09) - G. resigned from Prime Minister > > > > > > > > > > Mon, Jul 02 2018 (14:45:09) - G. deputised for Prime Minister and > > > > > > > > > > appointed emself Speaker > > > > > > > > > > Mon, Jul 02 2018 (14:45:09) - G. appointed G. to Speaker > > > > > > > > > > Mon, Jul 02 2018 (19:49:15) - Trigon published the Cartographor's > > > > > weekly > > > > > > > > > > report > > > > > > > > > > Mon, Jul 02 2018 (20:07:21) - G. made a CoE on the Cartographor's > > > > > weekly > > > > > > > > > > report > > > > > > > > > > Mon, Jul 02 2018 (20:20:18) - Corona made a CoE on the Cartographor's > > > > > > > > > > weekly report > > > > > > > > > > Tue, Jul 03 2018 (23:21:08) - twg made a CoE on the Cartographor's > > > > > > > > > > weekly report > > > > > > > > > > Wed, Jul 04 2018 (21:48:00) - twg published the Treasuror's weekly > > > > > report > > > > > > > > > > Thu, Jul 05 2018 (21:20:38) - G. made a CoE on the Cartographor's > > > > > weekly > > > > > > > > > > report > > > > > > > > > > Thu, Jul 05 2018 (21:45:33) - Aris published the proposal pool > > > > > > > > > > Thu, Jul 05 2018 (23:00:45) - G. initiated an election for Prime > > > > > Minister > > > > > > > > > > Thu, Jul 05 2018 (23:00:45) - G. resigned from Prime Minister > > > > > > > > > > Thu, Jul 05 2018 (23:27:44) - G. published the Herald's weekly report > > > > > > > > > > Fri, Jul 06 2018 (06:43:59) - Aris became a candidate for the Prime > > > > > > > > > > Minister election > > > > > > > > > > Fri, Jul 06 2018 (10:58:24) - Corona became a candidate for the Prime > > > > > > > > > > Minister election > > > > > > > > > > Sun, Jul 08 2018 (20:06:34) - Murphy initiated voting for the Herald > > > > > > > > > > election > > > > > > > > > > Sun, Jul 08 2018 (20:06:34) - Murphy initiated voting for the > > > > > Registrar > > > > > > > > > > election > > > > > > > > > > Sun, Jul 08 2018 (20:06:34) - Murphy resolved the Rulekeepor election, > > > > > > > > > > no candidates > > > > > > > > > > Sun, Jul 08 2018 (21:17:04) - Murphy published the Arbitor's weekly > > > > > report
