test that proposal thresholds are inclusively checked

agora-specs/Sample/Proposal/Advance.hs

@@ -715,20 +715,20 @@ mkMockEffects useAuthScript n = effects
             effectsPerGroup
             (zip effectScripts effectMetadata)
 
-numberOfVotesThatExceedsTheMinimumRequirement :: Integer
+numberOfVotesThatJustMeetsTheMinimumRequirement :: Integer
-numberOfVotesThatExceedsTheMinimumRequirement =
+numberOfVotesThatJustMeetsTheMinimumRequirement =
-  untag (def @ProposalThresholds).execute + 1
+  untag (def @ProposalThresholds).execute
 
 mkWinnerVotes :: Index -> (Winner, Integer)
 mkWinnerVotes idx =
   ( EffectAt idx
-  , numberOfVotesThatExceedsTheMinimumRequirement
+  , numberOfVotesThatJustMeetsTheMinimumRequirement
   )
 
 ambiguousWinnerVotes :: (Winner, Integer)
 ambiguousWinnerVotes =
   ( All
-  , numberOfVotesThatExceedsTheMinimumRequirement
+  , numberOfVotesThatJustMeetsTheMinimumRequirement
   )
 
 --------------------------------------------------------------------------------

agora-specs/Sample/Proposal/Vote.hs

@@ -35,6 +35,7 @@ import Agora.Proposal (
   ProposalId (ProposalId),
   ProposalRedeemer (Vote),
   ProposalStatus (VotingReady),
+  ProposalThresholds (vote),
   ProposalVotes (ProposalVotes),
   ResultTag (ResultTag),
  )
@@ -421,7 +422,7 @@ mkValidOwnerVoteBundle stakes =
           { numStakes = stakes
           , stakeInputParameters =
               StakeInputParameters
-                { perStakeGTs = 114514
+                { perStakeGTs = (def :: ProposalThresholds).vote
                 }
           , stakeOutputParameters =
               StakeOutputParameters