Proposals 9046-9048 (#157)

* Import distribution Source: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-official/2023-December/017510.html * Add voting strengths Latest Referee's report: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-official/2023-December/017530.html Latest ADoP's report: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-official/2023-December/017520.html Latest Dream Keeper's report: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-official/2023-December/017513.html * Add voting block * Initial votes by snail Source: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-business/2023-December/052369.html * Initial votes by Gaelan Source: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-business/2023-December/052371.html * Initial votes by Murphy Source: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-business/2023-December/052372.html * Initial votes by juan Source: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-business/2023-December/052381.html * Initial votes by 4st Source: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-business/2023-December/052382.html * Initial votes by Janet Source: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-business/2023-December/052389.html * Initial votes by nix Source: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-business/2023-December/052390.html * Initial votes by ais523 Source: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-business/2023-December/052391.html * Add url
AgoraNomic · Jan 28, 2024 · 606c795 · 606c795
1 parent 00a5dd4
commit 606c795
Showing 1 changed file with 192 additions and 0 deletions.
diff --git a/src/main/kotlin/org/agoranomic/assessor/decisions/9046-9048.kt b/src/main/kotlin/org/agoranomic/assessor/decisions/9046-9048.kt
@@ -0,0 +1,192 @@
+package org.agoranomic.assessor.decisions
+
+import org.agoranomic.assessor.dsl.assessment
+import org.agoranomic.assessor.dsl.receivers.ai
+import org.agoranomic.assessor.dsl.receivers.coauthors
+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.endorse
+import org.agoranomic.assessor.dsl.votes.onOrdinaryProposals
+import org.agoranomic.assessor.dsl.votes.powerDream
+import org.agoranomic.assessor.lib.vote.VoteKind.*
+
+@UseAssessment
+fun assessment9046to9048() = assessment {
+    name("9046-9048")
+    url("https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-official/2023-December/017537.html")
+    quorum(6)
+
+    strengths {
+        default(3)
+        min(0)
+        max(15)
+
+        onOrdinaryProposals {
+            powerDream(Aris, 2)
+            powerDream(Yachay, 2)
+            powerDream(Goren, 2)
+
+            complexityBonuses {
+                maxBonus(3)
+
+                "Absurdor"(0) heldBy juan
+                "ADoP"(1) heldBy Murphy
+                "Arbitor"(2) heldBy Kate
+                "Assessor"(3) heldBy Janet
+                "Collector"(1) heldBy snail
+                "Distributor"(0) heldBy omd
+                "Dream Keeper"(1) heldBy snail
+                "Geologist"(1) heldBy Forest
+                "Herald"(2) heldBy snail
+                "Illuminator"(1) heldBy snail
+                "Notary"(2) heldBy snail
+                "Prime Minister"(0) heldBy Janet
+                "Promotor"(3) heldBy snail
+                "Referee"(2) heldBy ais523
+                "Registrar"(1) heldBy juan
+                "Rulekeepor"(3) heldBy Janet
+                "Speaker"(0) heldBy snail
+                "Stonemason"(1) heldBy Janet
+                "Tailor"(1) heldBy Murphy
+                "Webmastor"(1) heldBy null
+            }
+        }
+    }
+
+    proposals(v4) {
+        proposal(9046) {
+            title("Crystal fix 1")
+            ai("1.0")
+            author(Forest)
+            coauthors(ais523, Gaelan)
+            ordinary()
+
+            text(
+                """
+Amend Rule 2685 ("Crystals") by replacing {
+The size of that crystal is increased by the power of that
+        proposal (rounded down).
+} with {
+The size of that crystal is increased by the power of that
+        proposal when that proposal's power was greater than 0 (rounded
+down).
+}
+
+Amend Rule 2685 ("Crystals") by replacing {
+Each quarter, each crystal whose identity is not equal to the ID
+      of any rule in the current ruleset has its size increased by 3.
+} with {
+At the beginning of each quarter, each crystal whose identity is not equal
+to the ID
+      of any rule in the current ruleset has its size increased by 3.
+}
+
+Change the size of crystal 2659 to 1."""
+            )
+        }
+
+        proposal(9047) {
+            title("Shameless copy of Adoption AI Security with the right AI")
+            ai("3.0")
+            author(Forest)
+            coauthors(Janet, ais523)
+            democratic()
+
+            text(
+                """
+Amend Rule 1607 ("Distribution") by deleting the text ", or 1.0 if the
+proposal does not have one".
+
+[A proposal always has a numeric AI, so this clause can never be
+triggered. And, even if it could be triggered, this isn't the right
+behavior (AI 3 would be a more sensible default, but we don't add that
+here because it's impossible).]
+
+
+Amend Rule 106 ("Adopting Proposals") by replacing "its power is set to
+the minimum of four and its adoption index" with "its power is set to
+the minimum of four, the adoption index of the proposal, and the
+adoption index of the referendum".
+
+[Defend against any case where a proposal does not have an AI but the
+referendum does, or where the referendum has a lower AI than the proposal.]
+
+
+[Currently, these issues combine so that if there were somehow a
+proposal without an AI (which cannot exist not but has been possible in
+the past, according to ais523), it would be voted on at AI 1.0 but
+adopted at power 4; this fixes both: it would no longer be
+distributable, and if it were to take effect it would only take effect
+at power 1.]"""
+            )
+        }
+
+        proposal(9048) {
+            title("It's been 4+ years, Agora. 4+ YEARS.")
+            ai("3.0")
+            author(nix)
+            coauthors(Forest, snail)
+            democratic()
+
+            text(
+                """
+Ratify the Short Logical Ruleset published on the 19th of June, 2023,
+available here [1].
+
+[1]
+https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-official/2023-June/017167.html"""
+            )
+        }
+    }
+
+    voting {
+        votes(snail) {
+            FOR on 9046
+            FOR on 9047
+            FOR on 9048
+        }
+
+        votes(Gaelan) {
+            FOR on 9046
+            FOR on 9047
+            endorse(Janet) on 9048
+        }
+
+        votes(Murphy) {
+            FOR on 9046
+            FOR on 9047
+            FOR on 9048
+        }
+
+        votes(juan) {
+            PRESENT on 9046
+            PRESENT on 9047
+            PRESENT on 9048
+        }
+
+        votes(Forest) {
+            endorse(juan) on 9046
+            endorse(juan) on 9047
+            endorse(juan) on 9048
+        }
+
+        votes(Janet) {
+            endorse(ais523) on 9046
+            FOR on 9047
+            PRESENT on 9048
+        }
+
+        votes(nix) {
+            endorse(Forest) on 9046
+            endorse(Janet) on 9047
+            FOR on 9048
+        }
+
+        votes(ais523) {
+            FOR on 9046
+            FOR on 9047
+            AGAINST on 9048
+        }
+    }
+}