diff --git a/agora/Agora/Proposal.hs b/agora/Agora/Proposal.hs index 6edaa14..9ef0ed7 100644 --- a/agora/Agora/Proposal.hs +++ b/agora/Agora/Proposal.hs @@ -891,7 +891,7 @@ pwinner' = phoistAcyclic $ exceedQuorum = ptraceIfFalse "Highest vote count should exceed the minimum threshold" $ - quorum #< highestVotes + quorum #<= highestVotes pure $ pif diff --git a/agora/Agora/Proposal/Scripts.hs b/agora/Agora/Proposal/Scripts.hs index 2adf936..69b139e 100644 --- a/agora/Agora/Proposal/Scripts.hs +++ b/agora/Agora/Proposal/Scripts.hs @@ -423,7 +423,7 @@ proposalValidator = # proposalInputDatumF.cosigners pguardC "Less cosigners than maximum limit" $ - plength # updatedSigs #< maximumCosigners + plength # updatedSigs #<= maximumCosigners pguardC "Meet minimum GT requirement" $ pfromData thresholdsF.cosign #<= stakeF.stakedAmount @@ -467,7 +467,7 @@ proposalValidator = # sctxF.inputStakes pguardC "Exceed minimum amount" $ - thresholdsF.vote #< totalStakeAmount + thresholdsF.vote #<= totalStakeAmount pguardC "Input proposal must be in VotingReady state" $ currentStatus #== pconstant VotingReady @@ -646,7 +646,7 @@ proposalValidator = pmatchC notTooLate >>= \case PTrue -> do pguardC "More cosigns than minimum amount" $ - punsafeCoerce (pfromData thresholdsF.toVoting) #< sctxF.totalAmount + punsafeCoerce (pfromData thresholdsF.toVoting) #<= sctxF.totalAmount pguardC "All new cosigners are witnessed by their Stake datums" $ plistEqualsBy