Skip to content

Commit

Permalink
Proposals 9040-9045 (#156)
Browse files Browse the repository at this point in the history 
* Import distribution

Source: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-official/2023-December/017491.html

* Add voting strengths

Latest Referee's report: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-official/2023-December/017506.html

Latest ADoP's report: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-official/2023-December/017511.html

Latest Dream Keeper's report: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-official/2023-December/017513.html

Janet wields Power Stone: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-business/2023-December/052357.html

* Add voting block

* Initial votes by Kate

Source: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-business/2023-December/052317.html

Later convergence: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-business/2023-December/052322.html

* Initial votes by Murphy

Source: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-business/2023-December/052318.html

* Initial votes by snail

Source: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-business/2023-December/052319.html

* Initial votes by 4st

Source: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-business/2023-December/052320.html

* Initial votes by Janet

Source: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-business/2023-December/052324.html

* Initial votes by juan

Source: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-business/2023-December/052330.html

* Initial votes by Gaelan

Source: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-business/2023-December/052333.html

* Initial votes by nix

Source: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-business/2023-December/052338.html

* Initial votes by kiako

Source: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-business/2023-December/052339.html

* Janet changes vote on 9040

Source: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-business/2023-December/052340.html

* juan changes votes on 9041-9045

Source: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-business/2023-December/052347.html

* Gaelan changes vote on 9040

Source: https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-business/2023-December/052348.html

* Add url
  • Loading branch information
@randomnetcat
randomnetcat authored Dec 31, 2023
1 parent d8a7e0d commit 00a5dd4
Showing 1 changed file with 237 additions and 0 deletions.
237 changes: 237 additions & 0 deletions src/main/kotlin/org/agoranomic/assessor/decisions/9040-9045.kt
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,237 @@
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.*
import org.agoranomic.assessor.lib.vote.VoteKind.AGAINST
import org.agoranomic.assessor.lib.vote.VoteKind.FOR

@UseAssessment
fun assessment9040to9045() = assessment {
name("9040-9045")
url("https://mailman.agoranomic.org/cgi-bin/mailman/private/agora-official/2023-December/017521.html")
quorum(5)

strengths {
default(3)
min(0)
max(15)

onOrdinaryProposals {
powerDream(Aris, 2)
powerDream(Yachay, 2)
powerDream(Goren, 2)

powerStone(Janet, 3)

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(9040) {
title("Adoption AI security")
ai("1.0")
author(Janet)
coauthors(ais523)
ordinary()

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(9041) {
title("Repeal 107")
ai("3.0")
author(Forest)
coauthors(Murphy)
democratic()

text(
"""
Repeal Rule 107 ("Initiating Agoran Decisions")"""
)
}

proposal(9042) {
title("Repeal 2464")
ai("1.0")
author(Forest)
coauthors(Murphy)
ordinary()

text(
"""
Repeal Rule 2464 ("Tournaments")"""
)
}

proposal(9043) {
title("Repeal 2676")
ai("1.7")
author(Forest)
coauthors(Murphy)
ordinary()

text(
"""
Repeal Rule 2676 ("Forgiveness")"""
)
}

proposal(9044) {
title("Repeal 2573")
ai("2.0")
author(Forest)
coauthors(Murphy)
ordinary()

text(
"""
Repeal Rule 2573 ("Impeachment")"""
)
}

proposal(9045) {
title("Repeal 879")
ai("3.0")
author(Forest)
coauthors(Murphy)
democratic()

text(
"""
Repeal Rule 879 ("Quorum")"""
)
}
}

voting {
votes(Kate) {
endorse(Janet) on 9040
AGAINST on 9041
AGAINST on 9042
AGAINST on 9043
AGAINST on 9044
AGAINST on 9045
}

votes(Murphy) {
FOR on 9040
AGAINST on 9041
AGAINST on 9042
AGAINST on 9043
AGAINST on 9044
AGAINST on 9045
}

votes(snail) {
FOR on 9040
AGAINST on 9041
AGAINST on 9042
AGAINST on 9043
AGAINST on 9044
AGAINST on 9045
}

votes(Forest) {
FOR on 9040
AGAINST on 9041
FOR on 9042
FOR on 9043
FOR on 9044
AGAINST on 9045
}

votes(Janet) {
AGAINST on 9040
AGAINST on 9041
AGAINST on 9042
AGAINST on 9043
AGAINST on 9044
AGAINST on 9045
}

votes(juan) {
endorse(Forest) on 9040
AGAINST on 9041
AGAINST on 9042
AGAINST on 9043
AGAINST on 9044
AGAINST on 9045
}

votes(Gaelan) {
AGAINST on 9040
AGAINST on 9041
AGAINST on 9042
AGAINST on 9043
AGAINST on 9044
AGAINST on 9045
}

votes(nix) {
AGAINST on all
}

votes(kiako) {
endorse(Janet) on 9040
AGAINST on 9041
AGAINST on 9042
AGAINST on 9043
AGAINST on 9044
AGAINST on 9045
}
}
}

0 comments on commit 00a5dd4

Please sign in to comment.