From b2c37001e517daaf0da287135ec07fcef1308baf Mon Sep 17 00:00:00 2001 From: Janet Cobb Date: Thu, 10 Oct 2024 23:55:50 -0400 Subject: [PATCH 01/12] Import distribution Source: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-official/2024-September/018057.html --- .../assessor/decisions/9184-9185.kt | 76 +++++++++++++++++++ 1 file changed, 76 insertions(+) create mode 100644 src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt diff --git a/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt b/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt new file mode 100644 index 000000000..f32659cb7 --- /dev/null +++ b/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt @@ -0,0 +1,76 @@ +package org.agoranomic.assessor.decisions + +import org.agoranomic.assessor.dsl.assessment +import org.agoranomic.assessor.dsl.receivers.ai +import org.agoranomic.assessor.dsl.receivers.quorum + +@UseAssessment +fun assessment9184to9185() = assessment { + name("9184-9185") + quorum(5) + + proposals(v4) { + proposal(9184) { + title("Ratification fix") + ai("3.2") + author(ais523) + democratic() + + text( + """ +Amend rule 1551 by changing +{{{ +* The publication time is the instant at which the document to be + ratified was published. +}}} +to +{{{ +* The publication time can be specified by the instrument allowing + the ratification, defaulting to the instant at which the document + to be ratified was published. +}}} + +Amend rule 2201 by changing +{{{ +- If the rules define it as a self-ratifying attestation to a + given statement, the statement is ratified. +}}} +to +{{{ +- If the rules define it as a self-ratifying attestation to a + given statement, the statement is ratified, with the publication + time being the instant at which the document was published. +}}} + +[This has been broken for a while, and was observed to be broken a +while ago: self-ratifying attestations, such as proposal results, +currently don't usually self-ratify because the definition of the +publication time doesn't work for them unless the statement being +attested to is explicitly published. + +If this proposal is adopted, I encourage the Assessor to explicitly +publish the statement being attested to as part of the resolution +message, in order to ensure that those results self-ratify.]""" + ) + } + + proposal(9185) { + title("Gun control") + ai("1.0") + author(Janet) + ordinary() + + text( + """ +Amend Rule 2692 ("Bang!") by replacing "When a player stands alone, e +wins the game. If a player won the game in this manner 4 days ago, then +the match state is flipped to none (if it is not already)." with the +following: "When a player stands alone, eir radiance is increased by 30, +then the match state is flipped to none (if it is not already).". + +[A full win for this relatively fast (even after the changes) subgame +has always seemed like a lot to me.]""" + ) + } + } +} From d759453db3a190d077cf0d5afa4f5b3435fc2e76 Mon Sep 17 00:00:00 2001 From: Janet Cobb Date: Fri, 11 Oct 2024 00:13:57 -0400 Subject: [PATCH 02/12] Add voting strengths Latest ADoP's report: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-official/2024-October/018076.html Latest Referee's report: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-official/2024-October/018072.html --- .../assessor/decisions/9184-9185.kt | 35 +++++++++++++++++++ 1 file changed, 35 insertions(+) diff --git a/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt b/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt index f32659cb7..0635273c8 100644 --- a/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt +++ b/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt @@ -3,12 +3,47 @@ package org.agoranomic.assessor.decisions import org.agoranomic.assessor.dsl.assessment import org.agoranomic.assessor.dsl.receivers.ai import org.agoranomic.assessor.dsl.receivers.quorum +import org.agoranomic.assessor.dsl.votes.complexityBonuses +import org.agoranomic.assessor.dsl.votes.onOrdinaryProposals @UseAssessment fun assessment9184to9185() = assessment { name("9184-9185") quorum(5) + strengths { + default(3) + min(0) + max(15) + + onOrdinaryProposals { + complexityBonuses { + maxBonus(3) + + "Absurdor"(1) heldBy juan + "ADoP"(2) heldBy Murphy + "Arbitor"(2) heldBy Kate + "Archivist"(1) heldBy Gaelan + "Assessor"(3) heldBy Janet + "Collector"(2) heldBy Mischief + "Distributor"(0) heldBy omd + "Geologist"(1) heldBy Forest + "Herald"(2) heldBy Forest + "Illuminator"(1) heldBy Mischief + "Notary"(2) heldBy Forest + "Prime Minister"(0) heldBy Mischief + "Promotor"(3) heldBy snail + "Referee"(2) heldBy ais523 + "Registrar"(1) heldBy juan + "Rulekeepor"(3) heldBy Janet + "Speaker"(0) heldBy snail + "Spendor"(1) heldBy oliver + "Tailor"(1) heldBy Murphy + "Webmastor"(1) heldBy Quadrantal + } + } + } + proposals(v4) { proposal(9184) { title("Ratification fix") From 6b18bf112841fb488a86c76f9adf9f58d0b5ff0d Mon Sep 17 00:00:00 2001 From: Janet Cobb Date: Fri, 11 Oct 2024 00:14:04 -0400 Subject: [PATCH 03/12] Add voting block --- src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt b/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt index 0635273c8..6253a9368 100644 --- a/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt +++ b/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt @@ -108,4 +108,7 @@ has always seemed like a lot to me.]""" ) } } + + voting { + } } From 3e4740a6330d7259298b1fb8134a59bc5daa31aa Mon Sep 17 00:00:00 2001 From: Janet Cobb Date: Fri, 11 Oct 2024 00:14:55 -0400 Subject: [PATCH 04/12] Initial votes by snail Source: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-business/2024-September/053771.html --- .../kotlin/org/agoranomic/assessor/decisions/9184-9185.kt | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt b/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt index 6253a9368..ad0b3ac90 100644 --- a/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt +++ b/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt @@ -5,6 +5,8 @@ import org.agoranomic.assessor.dsl.receivers.ai import org.agoranomic.assessor.dsl.receivers.quorum import org.agoranomic.assessor.dsl.votes.complexityBonuses import org.agoranomic.assessor.dsl.votes.onOrdinaryProposals +import org.agoranomic.assessor.lib.vote.VoteKind.AGAINST +import org.agoranomic.assessor.lib.vote.VoteKind.PRESENT @UseAssessment fun assessment9184to9185() = assessment { @@ -110,5 +112,9 @@ has always seemed like a lot to me.]""" } voting { + votes(snail) { + PRESENT on 9184 + AGAINST on 9185 + } } } From bee223e3f6aaf4502b14cdd6185ed2b5ef771a92 Mon Sep 17 00:00:00 2001 From: Janet Cobb Date: Fri, 11 Oct 2024 00:15:15 -0400 Subject: [PATCH 05/12] Initial votes by Janet Source: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-business/2024-September/053773.html --- .../kotlin/org/agoranomic/assessor/decisions/9184-9185.kt | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt b/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt index ad0b3ac90..3e57a26e8 100644 --- a/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt +++ b/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt @@ -5,8 +5,7 @@ import org.agoranomic.assessor.dsl.receivers.ai import org.agoranomic.assessor.dsl.receivers.quorum import org.agoranomic.assessor.dsl.votes.complexityBonuses import org.agoranomic.assessor.dsl.votes.onOrdinaryProposals -import org.agoranomic.assessor.lib.vote.VoteKind.AGAINST -import org.agoranomic.assessor.lib.vote.VoteKind.PRESENT +import org.agoranomic.assessor.lib.vote.VoteKind.* @UseAssessment fun assessment9184to9185() = assessment { @@ -116,5 +115,10 @@ has always seemed like a lot to me.]""" PRESENT on 9184 AGAINST on 9185 } + + votes(Janet) { + FOR on 9184 + FOR on 9185 + } } } From a5d29f8e90f3ba9762c880a0d83e5e0228f700df Mon Sep 17 00:00:00 2001 From: Janet Cobb Date: Fri, 11 Oct 2024 00:15:33 -0400 Subject: [PATCH 06/12] Initial votes by Murphy Source: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-business/2024-September/053775.html --- .../kotlin/org/agoranomic/assessor/decisions/9184-9185.kt | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt b/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt index 3e57a26e8..5a92ffb64 100644 --- a/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt +++ b/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt @@ -120,5 +120,10 @@ has always seemed like a lot to me.]""" FOR on 9184 FOR on 9185 } + + votes(Murphy) { + FOR on 9184 + PRESENT on 9185 + } } } From 257d6bdd6b0f808a45ff5cdfca60718684392f08 Mon Sep 17 00:00:00 2001 From: Janet Cobb Date: Fri, 11 Oct 2024 00:15:54 -0400 Subject: [PATCH 07/12] Initial votes by Kate Source: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-business/2024-September/053779.html --- .../kotlin/org/agoranomic/assessor/decisions/9184-9185.kt | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt b/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt index 5a92ffb64..c6fcf7c52 100644 --- a/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt +++ b/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt @@ -125,5 +125,10 @@ has always seemed like a lot to me.]""" FOR on 9184 PRESENT on 9185 } + + votes(Kate) { + FOR on 9184 + FOR on 9185 + } } } From 121db511744051bb5295d17484c47bcbb436af1c Mon Sep 17 00:00:00 2001 From: Janet Cobb Date: Fri, 11 Oct 2024 00:16:10 -0400 Subject: [PATCH 08/12] Initial votes by Mischief Source: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-business/2024-September/053780.html --- .../kotlin/org/agoranomic/assessor/decisions/9184-9185.kt | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt b/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt index c6fcf7c52..a10d34c71 100644 --- a/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt +++ b/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt @@ -130,5 +130,10 @@ has always seemed like a lot to me.]""" FOR on 9184 FOR on 9185 } + + votes(Mischief) { + FOR on 9184 + FOR on 9185 + } } } From eb1d03a9301428ecc34f11c2356aabf0746329c7 Mon Sep 17 00:00:00 2001 From: Janet Cobb Date: Fri, 11 Oct 2024 00:16:35 -0400 Subject: [PATCH 09/12] Initial votes by ais523 Source: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-business/2024-September/053782.html --- .../kotlin/org/agoranomic/assessor/decisions/9184-9185.kt | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt b/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt index a10d34c71..37160ef1a 100644 --- a/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt +++ b/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt @@ -135,5 +135,10 @@ has always seemed like a lot to me.]""" FOR on 9184 FOR on 9185 } + + votes(ais523) { + FOR on 9184 + FOR on 9185 + } } } From d0856c5e39b070840e5e038b35e9b8abad3d2dc6 Mon Sep 17 00:00:00 2001 From: Janet Cobb Date: Fri, 11 Oct 2024 00:16:51 -0400 Subject: [PATCH 10/12] Kates changes vote on P9185 Source: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-business/2024-September/053783.html --- src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt b/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt index 37160ef1a..6873ecf3c 100644 --- a/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt +++ b/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt @@ -128,7 +128,7 @@ has always seemed like a lot to me.]""" votes(Kate) { FOR on 9184 - FOR on 9185 + AGAINST on 9185 } votes(Mischief) { From 8bed0df4a50cbedfaab11a1cb2fe7f782bb446c9 Mon Sep 17 00:00:00 2001 From: Janet Cobb Date: Fri, 11 Oct 2024 00:17:18 -0400 Subject: [PATCH 11/12] Initial votes by lare290 Source: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-business/2024-October/053805.html --- .../kotlin/org/agoranomic/assessor/decisions/9184-9185.kt | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt b/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt index 6873ecf3c..b08413f98 100644 --- a/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt +++ b/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt @@ -140,5 +140,10 @@ has always seemed like a lot to me.]""" FOR on 9184 FOR on 9185 } + + votes(lare290) { + FOR on 9184 + PRESENT on 9185 + } } } From 1d05c09393c90a6597cc1bdf059d1ba456dd914c Mon Sep 17 00:00:00 2001 From: Janet Cobb Date: Sun, 20 Oct 2024 16:19:06 -0400 Subject: [PATCH 12/12] Add urls --- .../kotlin/org/agoranomic/assessor/decisions/9184-9185.kt | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt b/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt index b08413f98..0e10772d2 100644 --- a/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt +++ b/src/main/kotlin/org/agoranomic/assessor/decisions/9184-9185.kt @@ -3,6 +3,7 @@ package org.agoranomic.assessor.decisions import org.agoranomic.assessor.dsl.assessment import org.agoranomic.assessor.dsl.receivers.ai import org.agoranomic.assessor.dsl.receivers.quorum +import org.agoranomic.assessor.dsl.receivers.url import org.agoranomic.assessor.dsl.votes.complexityBonuses import org.agoranomic.assessor.dsl.votes.onOrdinaryProposals import org.agoranomic.assessor.lib.vote.VoteKind.* @@ -10,6 +11,10 @@ import org.agoranomic.assessor.lib.vote.VoteKind.* @UseAssessment fun assessment9184to9185() = assessment { name("9184-9185") + url( + "https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-official/2024-October/018083.html", + "https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-official/2024-October/018087.html" + ) quorum(5) strengths {