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
