Merge pull request #200 from Liqwid-Labs/connor/audit-fix-proposal

Fix issues found in proposal and stake scripts

CHANGELOG.md

@@ -6,6 +6,20 @@ This format is based on [Keep A Changelog](https://keepachangelog.com/en/1.0.0).
 
 ### Modified
 
+- Fix several vulnerabilities and bugs found in both staking and proposal components.
+
+  Including:
+
+  - Proposal thresholds should be inclusively checked.
+  - Attackers can fail any voted-on/locked proposal, or fast track to `Finished`,
+    by constructing a transaction that has a very loose valid time range.
+  - The stake validator can be fooled by stakes that doesn't belong to itself, and
+    consequently allows attack to down vote without voting.
+  - Improve doc string of `authorityTokensValidIn` to avoid confusion.
+  - Rename proposal redeemer `Unlock` to `UnlockStake` to avoid confusion.
+
+  Included by [#200](https://github.com/Liqwid-Labs/agora/pull/200)
+
 - Fix a bug where `lockedBy` and `delegatedTo` fields of stake datums aren't checked
   during the creation of stakes.
 

agora-specs/Sample/Proposal/PrivilegeEscalate.hs

@@ -8,7 +8,7 @@ module Sample.Proposal.PrivilegeEscalate (
 import Agora.Proposal (
   ProposalDatum (..),
   ProposalId (ProposalId),
-  ProposalRedeemer (Unlock, Vote),
+  ProposalRedeemer (UnlockStake, Vote),
   ProposalStatus (VotingReady),
   ProposalVotes (ProposalVotes),
   ResultTag (ResultTag),
@@ -102,7 +102,7 @@ mkProposalInputOutputDatum op =
    in wrap op (,) proposal proposalWithVotes
 
 mkProposalRedeemer :: Operation -> ProposalRedeemer
-mkProposalRedeemer op = wrap op const (Vote defResultTag) Unlock
+mkProposalRedeemer op = wrap op const (Vote defResultTag) UnlockStake
 
 proposalRef :: TxOutRef
 proposalRef = TxOutRef proposalTxRef 1

agora-specs/Sample/Proposal/Unlock.hs

@@ -35,7 +35,7 @@ import Agora.Proposal (
   ProposalDatum (..),
   ProposalEffectGroup,
   ProposalId (..),
-  ProposalRedeemer (Unlock),
+  ProposalRedeemer (UnlockStake),
   ProposalStatus (..),
   ProposalVotes (..),
   ResultTag (..),
@@ -210,7 +210,7 @@ proposalRef :: TxOutRef
 proposalRef = TxOutRef stakeTxRef 0
 
 proposalRedeemer :: ProposalRedeemer
-proposalRedeemer = Unlock
+proposalRedeemer = UnlockStake
 
 mkProposalInputDatum ::
   StakeParameters ->
@@ -339,15 +339,19 @@ unlock ps = builder
 
     ---
 
+    ProposalStartingTime s = defStartingTime
+
     time = case ps.transactionParameters.timeRange of
       WhileVoting ->
-        closedBoundedInterval
-          ((def :: ProposalTimingConfig).draftTime + 1)
-          ((def :: ProposalTimingConfig).votingTime - 1)
+        let lb = s + (def :: ProposalTimingConfig).draftTime
+            ub = lb + (def :: ProposalTimingConfig).votingTime
+         in closedBoundedInterval (lb + 1) (ub - 1)
       AfterVoting ->
-        closedBoundedInterval
-          ((def :: ProposalTimingConfig).votingTime + 1)
-          ((def :: ProposalTimingConfig).lockingTime - 1)
+        let lb =
+              s + (def :: ProposalTimingConfig).draftTime
+                + (def :: ProposalTimingConfig).votingTime
+            ub = lb + (def :: ProposalTimingConfig).lockingTime
+         in closedBoundedInterval (lb + 1) (ub - 1)
 
     sig = case ps.transactionParameters.signedBy of
       Unknown -> defUnknown

agora/Agora/AuthorityToken.hs

@@ -39,7 +39,14 @@ import Plutarch.Extra.Value (psymbolValueOf)
 --------------------------------------------------------------------------------
 
 {- | Check that all GATs are valid in a particular TxOut.
-     How this is checked: an AuthorityToken should never leave
+
+     WARNING: As of version 1.0.0, this has been weakened in order to be
+     compatible with RATs. The token name is no loger checked, meaning that a
+     GAT can escape from its effect script, if the effect script is vulnerable.
+     In order to prevent this, all effect scripts should be implemented carefully,
+     and ideally use the trusted effect base. See also 'Agora.Effect'.
+
+     (before 1.0.0) How this is checked: an AuthorityToken should never leave
      the Effect it was initially sent to, so we simply check that
      the script address the token resides in matches the TokenName.
      Since the TokenName was tagged upon mint with the Effect script
@@ -47,9 +54,6 @@ import Plutarch.Extra.Value (psymbolValueOf)
      In other words, check that all assets of a particular currency symbol
      are tagged with a TokenName that matches where they live.
 
-     As of version 1.0.0, this has been weakened in order to be compatible
-     with RATs.
-
      @since 1.0.0
 -}
 authorityTokensValidIn :: forall (s :: S). Term s (PCurrencySymbol :--> PTxOut :--> PBool)

agora/Agora/Proposal.hs

@@ -381,7 +381,7 @@ data ProposalRedeemer
     --   proposal, provided enough GT is shared among them.
     Cosign
   | -- | Allow unlocking one or more stakes with votes towards particular 'ResultTag'.
-    Unlock
+    UnlockStake
   | -- | Advance the proposal, performing the required checks for whether that is legal.
     --
     --   These are roughly the checks for each possible transition:
@@ -421,7 +421,7 @@ PlutusTx.makeIsDataIndexed
   ''ProposalRedeemer
   [ ('Vote, 0)
   , ('Cosign, 1)
-  , ('Unlock, 2)
+  , ('UnlockStake, 2)
   , ('AdvanceProposal, 3)
   ]
 
@@ -750,7 +750,7 @@ deriving via (DerivePConstantViaDataList ProposalDatum PProposalDatum) instance
 data PProposalRedeemer (s :: S)
   = PVote (Term s (PDataRecord '["resultTag" ':= PResultTag]))
   | PCosign (Term s (PDataRecord '[]))
-  | PUnlock (Term s (PDataRecord '[]))
+  | PUnlockStake (Term s (PDataRecord '[]))
   | PAdvanceProposal (Term s (PDataRecord '[]))
   deriving stock
     ( -- | @since 0.1.0
@@ -890,8 +890,8 @@ pwinner' = phoistAcyclic $
             pfoldr # f # 0 # l #== 1
 
         exceedQuorum =
-          ptraceIfFalse "Highest vote count should exceed the minimum threshold" $
-            quorum #< highestVotes
+          ptraceIfFalse "Highest vote count should be at least the minimum threshold" $
+            quorum #<= highestVotes
 
     pure $
       pif

agora/Agora/Proposal/Scripts.hs

@@ -12,7 +12,7 @@ module Agora.Proposal.Scripts (
 
 import Agora.Proposal (
   PProposalDatum (PProposalDatum),
-  PProposalRedeemer (PAdvanceProposal, PCosign, PUnlock, PVote),
+  PProposalRedeemer (PAdvanceProposal, PCosign, PUnlockStake, PVote),
   PProposalStatus (PDraft, PFinished, PLocked, PVotingReady),
   PProposalVotes (PProposalVotes),
   ProposalStatus (Draft, Finished, Locked, VotingReady),
@@ -20,11 +20,11 @@ import Agora.Proposal (
   pwinner',
  )
 import Agora.Proposal.Time (
+  PPeriod (PDraftingPeriod, PExecutingPeriod, PLockingPeriod, PVotingPeriod),
+  PTimingRelation (PAfter, PWithin),
   currentProposalTime,
-  isDraftPeriod,
-  isExecutionPeriod,
-  isLockingPeriod,
-  isVotingPeriod,
+  pgetRelation,
+  pisWithin,
  )
 import Agora.Stake (
   PStakeDatum,
@@ -232,8 +232,6 @@ proposalValidator =
           ]
         txInfo
 
-    currentTime <- pletC $ currentProposalTime # txInfoF.validRange
-
     ----------------------------------------------------------------------------
 
     PSpending ((pfield @"_0" #) -> propsalInputRef) <-
@@ -292,6 +290,20 @@ proposalValidator =
 
     --------------------------------------------------------------------------
 
+    getTimingRelation' <-
+      pletC $
+        let currentTime =
+              passertPJust # "Current time should be resolved"
+                #$ currentProposalTime # txInfoF.validRange
+         in pgetRelation
+              # proposalInputDatumF.timingConfig
+              # proposalInputDatumF.startingTime
+              # currentTime
+
+    let getTimingRelation = (getTimingRelation' #) . pcon
+
+    --------------------------------------------------------------------------
+
     -- Handle stake inputs/outputs.
 
     -- Reslove stake datum if the given UTxO is a stake UTxO.
@@ -423,7 +435,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
@@ -466,18 +478,14 @@ proposalValidator =
                       )
                     # sctxF.inputStakes
 
-            pguardC "Exceed minimum amount" $
-              thresholdsF.vote #< totalStakeAmount
+            pguardC "At least minimum amount" $
+              thresholdsF.vote #<= totalStakeAmount
 
             pguardC "Input proposal must be in VotingReady state" $
               currentStatus #== pconstant VotingReady
 
             pguardC "Proposal time should be wthin the voting period" $
-              isVotingPeriod # proposalInputDatumF.timingConfig
-                # proposalInputDatumF.startingTime
-                #$ passertPJust
-                # "Should be able to get current time"
-                # currentTime
+              pisWithin # getTimingRelation PVotingPeriod
 
             -- Ensure the transaction is voting to a valid 'ResultTag'(outcome).
             PProposalVotes voteMap <- pmatchC proposalInputDatumF.votes
@@ -520,7 +528,7 @@ proposalValidator =
 
           ----------------------------------------------------------------------
 
-          PUnlock _ -> spendStakes $ \sctxF -> do
+          PUnlockStake _ -> spendStakes $ \sctxF -> do
             let expectedVotes =
                   pfoldl
                     # plam
@@ -557,15 +565,8 @@ proposalValidator =
                     # proposalInputDatumF.votes
                     # sctxF.inputStakes
 
-                currentTime' =
-                  passertPJust
-                    # "Should be able to get current time"
-                    # currentTime
-
                 inVotingPeriod =
-                  isVotingPeriod # proposalInputDatumF.timingConfig
-                    # proposalInputDatumF.startingTime
-                    # currentTime'
+                  pisWithin # getTimingRelation PVotingPeriod
 
                 -- The votes can only change when the proposal still allows voting.
                 shouldUpdateVotes =
@@ -599,24 +600,6 @@ proposalValidator =
           ----------------------------------------------------------------------
 
           PAdvanceProposal _ -> unTermCont $ do
-            currentTime' <-
-              pletC $
-                passertPJust
-                  # "Should be able to get current time"
-                  # currentTime
-
-            applyIs <- pletC $
-              plam $ \f ->
-                f
-                  # proposalInputDatumF.timingConfig
-                  # proposalInputDatumF.startingTime
-                  # currentTime'
-            let inDraftPeriod = applyIs # isDraftPeriod
-                inVotingPeriod = applyIs # isVotingPeriod
-                inExecutionPeriod = applyIs # isExecutionPeriod
-
-            inLockedPeriod <- pletC $ applyIs # isLockingPeriod
-
             proposalOutputStatus <-
               pletC $
                 pfromData $
@@ -641,12 +624,10 @@ proposalValidator =
               pmatch currentStatus $ \case
                 PDraft ->
                   witnessStakes $ \sctxF -> do
-                    let notTooLate = inDraftPeriod
-
-                    pmatchC notTooLate >>= \case
-                      PTrue -> do
+                    pmatchC (getTimingRelation PDraftingPeriod) >>= \case
+                      PWithin -> 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
@@ -658,20 +639,15 @@ proposalValidator =
                         pguardC "Proposal status set to VotingReady" $
                           proposalOutputStatus #== pconstant VotingReady
                       -- Too late: failed proposal, status set to 'Finished'.
-                      PFalse ->
+                      PAfter ->
                         pguardC "Proposal should fail: not on time" $
                           proposalOutputStatus #== pconstant Finished
 
                 ----------------------------------------------------------------
 
                 PVotingReady -> unTermCont $ do
-                  let notTooLate = inLockedPeriod
-                      notTooEarly = pnot # inVotingPeriod
-
-                  pguardC "Cannot advance ahead of time" notTooEarly
-
-                  pmatchC notTooLate >>= \case
-                    PTrue -> do
+                  pmatchC (getTimingRelation PLockingPeriod) >>= \case
+                    PWithin -> do
                       -- 'VotingReady' -> 'Locked'
                       pguardC "Proposal status set to Locked" $
                         proposalOutputStatus #== pconstant Locked
@@ -681,7 +657,7 @@ proposalValidator =
                           #$ punsafeCoerce
                           $ pfromData thresholdsF.execute
                     -- Too late: failed proposal, status set to 'Finished'.
-                    PFalse ->
+                    PAfter ->
                       pguardC "Proposal should fail: not on time" $
                         proposalOutputStatus #== pconstant Finished
 
@@ -690,11 +666,6 @@ proposalValidator =
                 ----------------------------------------------------------------
 
                 PLocked -> unTermCont $ do
-                  let notTooLate = inExecutionPeriod
-                      notTooEarly = pnot # inLockedPeriod
-
-                  pguardC "Not too early" notTooEarly
-
                   pguardC "Proposal status set to Finished" $
                     proposalOutputStatus #== pconstant Finished
 
@@ -710,12 +681,12 @@ proposalValidator =
                           # pfromData txInfoF.inputs
 
                   pguardC "GST not moved if too late, moved otherwise" $
-                    pif
-                      notTooLate
-                      -- Not too late: GST should moved
-                      pidentity
-                      -- Not too late: GST should not moved
-                      pnot
+                    pmatch
+                      (getTimingRelation PExecutingPeriod)
+                      ( \case
+                          PWithin -> pidentity
+                          PAfter -> pnot
+                      )
                       # gstMoved
 
                   pure $ popaque $ pconstant ()

agora/Agora/Proposal/Time.hs

@@ -18,20 +18,21 @@ module Agora.Proposal.Time (
   PProposalTimingConfig (..),
   PProposalStartingTime (..),
   PMaxTimeRangeWidth (..),
+  PTimingRelation (..),
+  PPeriod (..),
 
   -- * Compute periods given config and starting time.
   validateProposalStartingTime,
   currentProposalTime,
-  isDraftPeriod,
-  isVotingPeriod,
-  isLockingPeriod,
-  isExecutionPeriod,
   pisProposalTimingConfigValid,
   pisMaxTimeRangeWidthValid,
+  pgetRelation,
+  pisWithin,
 ) where
 
 import Agora.Utils (pcurrentTimeDuration)
 import Control.Composition ((.*))
+import Data.Functor ((<&>))
 import Plutarch.Api.V1 (
   PExtended (PFinite),
   PInterval (PInterval),
@@ -46,11 +47,11 @@ import Plutarch.DataRepr (
  )
 import Plutarch.Extra.Applicative (PApply (pliftA2))
 import Plutarch.Extra.Field (pletAll, pletAllC)
+import Plutarch.Extra.IsData (PlutusTypeEnumData)
 import Plutarch.Extra.Maybe (pjust, pmaybe, pnothing)
-import "liqwid-plutarch-extra" Plutarch.Extra.TermCont (pmatchC)
+import "liqwid-plutarch-extra" Plutarch.Extra.TermCont (pletC, pmatchC)
 import Plutarch.Extra.Time (
   PCurrentTime (PCurrentTime),
-  pisCurrentTimeWithin,
   pisWithinCurrentTime,
  )
 import Plutarch.Lift (
@@ -388,74 +389,108 @@ currentProposalTime = phoistAcyclic $
         mkTime = phoistAcyclic $ plam $ pcon .* PCurrentTime
     pure $ pliftA2 # mkTime # lowerBound # upperBound
 
-{- | True if the 'PProposalTime' is in the draft period.
+{- | Represent relation between current time and a given period.
 
-     @since 0.1.0
+     Note that the "before" relation isn't present due to the fact that
+     it's considered as an error in the proposal script.
+
+     @since 1.0.0
 -}
-isDraftPeriod ::
+data PTimingRelation (s :: S)
+  = PWithin
+  | PAfter
+  deriving stock
+    ( -- | @since 1.0.0
+      Generic
+    , -- | @since 1.0.0
+      Enum
+    , -- | @since 1.0.0
+      Bounded
+    )
+  deriving anyclass
+    ( -- | @since 1.0.0
+      PlutusType
+    )
+
+-- | @since 1.0.0
+instance DerivePlutusType PTimingRelation where
+  type DPTStrat _ = PlutusTypeEnumData
+
+{- | Return true if a relation is 'PWithin'.
+
+     @since 1.0.0
+-}
+pisWithin :: forall (s :: S). Term s (PTimingRelation :--> PBool)
+pisWithin = phoistAcyclic $
+  plam $
+    flip pmatch $ \case
+      PWithin -> pconstant True
+      _ -> pconstant False
+
+{- | Represent a proposal period.
+
+     @since 1.0.0
+-}
+data PPeriod (s :: S)
+  = PDraftingPeriod
+  | PVotingPeriod
+  | PLockingPeriod
+  | PExecutingPeriod
+  deriving stock
+    ( -- | @since 1.0.0
+      Generic
+    , -- | @since 1.0.0
+      Enum
+    , -- | @since 1.0.0
+      Bounded
+    )
+  deriving anyclass
+    ( -- | @since 1.0.0
+      PlutusType
+    )
+
+-- | @since 1.0.0
+instance DerivePlutusType PPeriod where
+  type DPTStrat _ = PlutusTypeEnumData
+
+{- | Compute the relation between current time range and the given peroid,
+     providing the starting time and timing configuration of a proposal. If the
+     relation cannot be determined, error out.
+
+     @since 1.0.0
+-}
+pgetRelation ::
   forall (s :: S).
   Term
     s
     ( PProposalTimingConfig
         :--> PProposalStartingTime
         :--> PProposalTime
-        :--> PBool
+        :--> PPeriod
+        :--> PTimingRelation
     )
-isDraftPeriod = phoistAcyclic $
-  plam $ \config s' -> pmatch s' $ \(PProposalStartingTime s) ->
-    pisCurrentTimeWithin # s # (s + (pfield @"draftTime" # config))
+pgetRelation = phoistAcyclic $
+  plam $ \config startingTime currentTime period -> unTermCont $ do
+    configF <- pletAllC config
 
-{- | True if the 'PProposalTime' is in the voting period.
+    PProposalStartingTime s <- pmatchC startingTime
+    PCurrentTime lb ub <- pmatchC currentTime
 
-     @since 0.1.0
--}
-isVotingPeriod ::
-  forall (s :: S).
-  Term
-    s
-    ( PProposalTimingConfig
-        :--> PProposalStartingTime
-        :--> PProposalTime
-        :--> PBool
-    )
-isVotingPeriod = phoistAcyclic $
-  plam $ \config s' -> pmatch s' $ \(PProposalStartingTime s) ->
-    pletFields @'["draftTime", "votingTime"] config $ \f ->
-      pisCurrentTimeWithin # s # (s + f.draftTime + f.votingTime)
+    dub <- pletC $ s + configF.draftTime
+    vub <- pletC $ dub + configF.votingTime
+    lub <- pletC $ vub + configF.lockingTime
+    eub <- pletC $ lub + configF.executingTime
 
-{- | True if the 'PProposalTime' is in the locking period.
+    (plb, pub) <-
+      pmatchC period
+        <&> ( \case
+                PDraftingPeriod -> (s, dub)
+                PVotingPeriod -> (dub, vub)
+                PLockingPeriod -> (vub, lub)
+                PExecutingPeriod -> (lub, eub)
+            )
 
-     @since 0.1.0
--}
-isLockingPeriod ::
-  forall (s :: S).
-  Term
-    s
-    ( PProposalTimingConfig
-        :--> PProposalStartingTime
-        :--> PProposalTime
-        :--> PBool
-    )
-isLockingPeriod = phoistAcyclic $
-  plam $ \config s' -> pmatch s' $ \(PProposalStartingTime s) ->
-    pletFields @'["draftTime", "votingTime", "lockingTime"] config $ \f ->
-      pisCurrentTimeWithin # s # (s + f.draftTime + f.votingTime + f.lockingTime)
-
-{- | True if the 'PProposalTime' is in the execution period.
-
-     @since 0.1.0
--}
-isExecutionPeriod ::
-  forall (s :: S).
-  Term
-    s
-    ( PProposalTimingConfig
-        :--> PProposalStartingTime
-        :--> PProposalTime
-        :--> PBool
-    )
-isExecutionPeriod = phoistAcyclic $
-  plam $ \config s' -> pmatch s' $ \(PProposalStartingTime s) ->
-    pletFields @'["draftTime", "votingTime", "lockingTime", "executingTime"] config $ \f ->
-      pisCurrentTimeWithin # s
-        # (s + f.draftTime + f.votingTime + f.lockingTime + f.executingTime)
+    pure $
+      pif (plb #<= lb #&& ub #<= pub) (pcon PWithin) $
+        pif (pub #< lb) (pcon PAfter) $
+          ptraceError "pgetRelation: too early or invalid current time"

agora/Agora/Stake/Redeemers.hs

@@ -16,7 +16,7 @@ module Agora.Stake.Redeemers (
 
 import Agora.Proposal (
   PProposalId,
-  PProposalRedeemer (PCosign, PUnlock, PVote),
+  PProposalRedeemer (PCosign, PUnlockStake, PVote),
   ProposalStatus (Finished),
  )
 import Agora.Stake (
@@ -266,7 +266,7 @@ pretractVote = pvoteHelper #$ phoistAcyclic $
     flip pmatch $ \ctxF ->
       pmatch ctxF.proposalContext $ \case
         PSpendProposal pid s r -> pmatch r $ \case
-          PUnlock _ ->
+          PUnlockStake _ ->
             let mode =
                   pif
                     (s #== pconstant Finished)
@@ -351,9 +351,12 @@ pdestroy = phoistAcyclic $
     pguardC "Owner signs this transaction" $
       pisSignedBy # pconstant False # ctx
 
-    pguardC "Stake unlocked" $
+    pguardC "All stakes unlocked" $
       pnot #$ pany # pstakeLocked # ctxF.stakeInputDatums
 
+    pguardC "All stakes burnt" $
+      pnull # ctxF.stakeOutputDatums
+
     pure $ pconstant ()
 
 {- | Default implementation of 'Agora.Stake.DepositWithdraw'.

agora/Agora/Stake/Scripts.hs

@@ -52,7 +52,7 @@ import Agora.Stake.Redeemers (
   ppermitVote,
   pretractVote,
  )
-import Agora.Utils (passert, pisDNothing, pmapMaybe)
+import Agora.Utils (passert, pisDNothing, pmapMaybe, pvalidatorHashToTokenName)
 import Plutarch.Api.V1 (
   PCredential (PPubKeyCredential, PScriptCredential),
   PCurrencySymbol,
@@ -70,6 +70,7 @@ import Plutarch.Api.V2 (
 import Plutarch.Extra.AssetClass (
   PAssetClass,
   PAssetClassData,
+  passetClass,
   ptoScottEncoding,
  )
 import Plutarch.Extra.Field (pletAll, pletAllC)
@@ -274,9 +275,17 @@ mkStakeValidator impl sstSymbol pstClass gstClass =
               # (pfield @"_0" # stakeInputRef)
               # txInfoF.inputs
 
-        stakeValidatorCredential =
-          pfield @"credential"
-            #$ pfield @"address" # validatedInput
+    stakeValidatorCredential <-
+      pletC $
+        pfield @"credential"
+          #$ pfield @"address" # validatedInput
+
+    let sstName = pvalidatorHashToTokenName #$ pmatch stakeValidatorCredential $
+          \case
+            PScriptCredential r -> pfield @"_0" # r
+            _ -> perror
+
+    sstClass <- pletC $ passetClass # sstSymbol # sstName
 
     --------------------------------------------------------------------------
 
@@ -287,7 +296,7 @@ mkStakeValidator impl sstSymbol pstClass gstClass =
           flip (pletFields @'["value", "datum", "address"]) $ \txOutF ->
             pmatch
               ( pcompareBy # pfromOrd
-                  # (psymbolValueOf # sstSymbol # txOutF.value)
+                  # (passetClassValueOf # sstClass # txOutF.value)
                   # 1
               )
               $ \case
@@ -417,7 +426,7 @@ mkStakeValidator impl sstSymbol pstClass gstClass =
 
     --------------------------------------------------------------------------
 
-    mintedST <- pletC $ psymbolValueOf # sstSymbol # txInfoF.mint
+    mintedST <- pletC $ passetClassValueOf # sstClass # txInfoF.mint
 
     pguardC "No new SST minted" $
       foldl1
@@ -608,7 +617,7 @@ stakeValidator ::
         :--> PValidator
     )
 stakeValidator =
-  plam $ \cs pstClass gstClass ->
+  plam $ \sstSymbol pstClass gstClass ->
     mkStakeValidator
       ( StakeRedeemerImpl
           { onDepositWithdraw = pdepositWithdraw
@@ -619,6 +628,6 @@ stakeValidator =
           , onClearDelegate = pclearDelegate
           }
       )
-      cs
+      sstSymbol
       (ptoScottEncoding # pstClass)
       (ptoScottEncoding # gstClass)

bench.csv

@@ -2,475 +2,475 @@ name,cpu,mem,size
 Agora/Effects/Treasury Withdrawal Effect/effect/Simple,216491233,584406,3880
 Agora/Effects/Treasury Withdrawal Effect/effect/Simple with multiple treasuries ,307752363,787074,4312
 Agora/Effects/Treasury Withdrawal Effect/effect/Mixed Assets,300492604,786706,4250
-Agora/Effects/Governor Mutation Effect/validator/valid new governor datum/governor validator should pass,123980615,348263,11521
+Agora/Effects/Governor Mutation Effect/validator/valid new governor datum/governor validator should pass,123980615,348263,11526
 Agora/Effects/Governor Mutation Effect/validator/valid new governor datum/effect validator should pass,145816056,387807,4684
 Agora/Stake/policy/create/valid/stake owner: pub key,76591830,196946,3583
 Agora/Stake/policy/create/valid/stake owner: script,89731086,235525,3618
-Agora/Stake/validator/destroy/legal/One stake/stake validator,107112511,299069,7414
+Agora/Stake/validator/destroy/legal/One stake/stake validator,108580995,287649,7368
 Agora/Stake/validator/destroy/legal/One stake/stake policy,42685276,121860,3570
-Agora/Stake/validator/destroy/legal/Multiple stake/stake validator,693758152,1779821,10667
+Agora/Stake/validator/destroy/legal/Multiple stake/stake validator,661692627,1585233,10621
 Agora/Stake/validator/destroy/legal/Multiple stake/stake policy,418433413,1153422,6822
 Agora/Stake/validator/destroy/illegal/Destroy locked stakes/stake policy,418433413,1153422,6883
 Agora/Stake/validator/destroy/illegal/not authorized by owner/stake policy,418433413,1153422,6791
 Agora/Stake/validator/destroy/illegal/not authorized by owner/stake policy,418433413,1153422,6822
-Agora/Stake/validator/stakeDepositWithdraw deposit,147174364,403343,7529
-Agora/Stake/validator/stakeDepositWithdraw withdraw,147174364,403343,7521
-Agora/Stake/validator/set delegate/override existing delegate,179507112,476672,7660
-Agora/Stake/validator/set delegate/remove existing delegate,170172116,453284,7590
-Agora/Stake/validator/set delegate/set delegate to something,177078124,469572,7590
+Agora/Stake/validator/stakeDepositWithdraw deposit,146466646,379711,7483
+Agora/Stake/validator/stakeDepositWithdraw withdraw,146466646,379711,7475
+Agora/Stake/validator/set delegate/override existing delegate,178628883,451042,7614
+Agora/Stake/validator/set delegate/remove existing delegate,168728398,426452,7544
+Agora/Stake/validator/set delegate/set delegate to something,176199895,443942,7544
 Agora/Proposal/policy (proposal creation)/legal/proposal,34815184,78704,2177
-Agora/Proposal/policy (proposal creation)/legal/governor,277445164,731383,11974
-Agora/Proposal/policy (proposal creation)/legal/stake,315479177,809823,8312
+Agora/Proposal/policy (proposal creation)/legal/governor,277445164,731383,11979
+Agora/Proposal/policy (proposal creation)/legal/stake,307941058,762903,8266
 Agora/Proposal/policy (proposal creation)/illegal/invalid next proposal id/proposal,34815184,78704,2177
-Agora/Proposal/policy (proposal creation)/illegal/invalid next proposal id/stake,315479177,809823,8312
+Agora/Proposal/policy (proposal creation)/illegal/invalid next proposal id/stake,307941058,762903,8266
 Agora/Proposal/policy (proposal creation)/illegal/use other's stake/proposal,34815184,78704,2146
-Agora/Proposal/policy (proposal creation)/illegal/use other's stake/governor,277445164,731383,11943
+Agora/Proposal/policy (proposal creation)/illegal/use other's stake/governor,277445164,731383,11948
 Agora/Proposal/policy (proposal creation)/illegal/altered stake/proposal,34815184,78704,2177
 Agora/Proposal/policy (proposal creation)/illegal/invalid stake locks/proposal,34815184,78704,2185
-Agora/Proposal/policy (proposal creation)/illegal/invalid stake locks/governor,277445164,731383,11982
+Agora/Proposal/policy (proposal creation)/illegal/invalid stake locks/governor,277445164,731383,11987
 Agora/Proposal/policy (proposal creation)/illegal/has reached maximum proposals limit/proposal,34815184,78704,2198
-Agora/Proposal/policy (proposal creation)/illegal/has reached maximum proposals limit/stake,328177613,846039,8343
+Agora/Proposal/policy (proposal creation)/illegal/has reached maximum proposals limit/stake,320639494,799119,8297
 Agora/Proposal/policy (proposal creation)/illegal/loose time range/proposal,34815184,78704,2177
-Agora/Proposal/policy (proposal creation)/illegal/loose time range/stake,315479177,809823,8312
+Agora/Proposal/policy (proposal creation)/illegal/loose time range/stake,307941058,762903,8266
 Agora/Proposal/policy (proposal creation)/illegal/open time range/proposal,34815184,78704,2173
-Agora/Proposal/policy (proposal creation)/illegal/open time range/stake,315479177,809823,8308
+Agora/Proposal/policy (proposal creation)/illegal/open time range/stake,307941058,762903,8262
 Agora/Proposal/policy (proposal creation)/illegal/invalid proposal status/VotingReady/proposal,34815184,78704,2177
-Agora/Proposal/policy (proposal creation)/illegal/invalid proposal status/VotingReady/stake,315479177,809823,8312
+Agora/Proposal/policy (proposal creation)/illegal/invalid proposal status/VotingReady/stake,307941058,762903,8266
 Agora/Proposal/policy (proposal creation)/illegal/invalid proposal status/Locked/proposal,34815184,78704,2177
-Agora/Proposal/policy (proposal creation)/illegal/invalid proposal status/Locked/stake,315479177,809823,8312
+Agora/Proposal/policy (proposal creation)/illegal/invalid proposal status/Locked/stake,307941058,762903,8266
 Agora/Proposal/policy (proposal creation)/illegal/invalid proposal status/Finished/proposal,34815184,78704,2177
-Agora/Proposal/policy (proposal creation)/illegal/invalid proposal status/Finished/stake,315479177,809823,8312
-Agora/Proposal/validator/cosignature/legal/proposal,201564564,554091,11640
-Agora/Proposal/validator/cosignature/legal/stake,266191743,713551,8156
-Agora/Proposal/validator/cosignature/illegal/insufficient staked amount/stake,266191743,713551,8156
-Agora/Proposal/validator/cosignature/illegal/proposal locks not updated/proposal,201564564,554091,11634
-Agora/Proposal/validator/cosignature/illegal/duplicate cosigners/stake,272540961,731659,8173
-Agora/Proposal/validator/cosignature/illegal/cosigners not updated/stake,266191743,713551,8122
-Agora/Proposal/validator/cosignature/illegal/cosign after draft/(negative test)/stake,266191743,713551,8156
-Agora/Proposal/validator/cosignature/illegal/cosign after draft/(negative test)/stake,266191743,713551,8156
-Agora/Proposal/validator/cosignature/illegal/cosign after draft/(negative test)/stake,266191743,713551,8156
-Agora/Proposal/validator/voting/legal/different number of stakes/1 stakes/by owner/proposal,213754973,595889,11492
-Agora/Proposal/validator/voting/legal/different number of stakes/1 stakes/by owner/stake,277845487,747518,8019
-Agora/Proposal/validator/voting/legal/different number of stakes/1 stakes/by delegatee/proposal,213754973,595889,11492
-Agora/Proposal/validator/voting/legal/different number of stakes/1 stakes/by delegatee/stake,284672382,764674,8019
-Agora/Proposal/validator/voting/legal/different number of stakes/3 stakes/by owner/proposal,321546357,879427,12707
-Agora/Proposal/validator/voting/legal/different number of stakes/3 stakes/by owner/stake,582848517,1503360,9234
-Agora/Proposal/validator/voting/legal/different number of stakes/3 stakes/by delegatee/proposal,321546357,879427,12707
-Agora/Proposal/validator/voting/legal/different number of stakes/3 stakes/by delegatee/stake,589675412,1520516,9234
-Agora/Proposal/validator/voting/legal/different number of stakes/5 stakes/by owner/proposal,429337741,1162965,13922
-Agora/Proposal/validator/voting/legal/different number of stakes/5 stakes/by owner/stake,887851547,2259202,10449
-Agora/Proposal/validator/voting/legal/different number of stakes/5 stakes/by delegatee/proposal,429337741,1162965,13922
-Agora/Proposal/validator/voting/legal/different number of stakes/5 stakes/by delegatee/stake,894678442,2276358,10449
-Agora/Proposal/validator/voting/legal/different number of stakes/7 stakes/by owner/proposal,537129125,1446503,15136
-Agora/Proposal/validator/voting/legal/different number of stakes/7 stakes/by owner/stake,1192854577,3015044,11663
-Agora/Proposal/validator/voting/legal/different number of stakes/7 stakes/by delegatee/proposal,537129125,1446503,15136
-Agora/Proposal/validator/voting/legal/different number of stakes/7 stakes/by delegatee/stake,1199681472,3032200,11663
-Agora/Proposal/validator/voting/legal/different number of stakes/9 stakes/by owner/proposal,644920509,1730041,16351
-Agora/Proposal/validator/voting/legal/different number of stakes/9 stakes/by owner/stake,1497857607,3770886,12878
-Agora/Proposal/validator/voting/legal/different number of stakes/9 stakes/by delegatee/proposal,644920509,1730041,16351
-Agora/Proposal/validator/voting/legal/different number of stakes/9 stakes/by delegatee/stake,1504684502,3788042,12878
-Agora/Proposal/validator/voting/legal/transparent non-GT tokens/proposal,213754973,595889,11492
-Agora/Proposal/validator/voting/legal/transparent non-GT tokens/stake,277845487,747518,8019
-Agora/Proposal/validator/voting/illegal/vote for nonexistent outcome/stake,277845487,747518,8024
-Agora/Proposal/validator/voting/illegal/unauthorized tx/proposal,213754973,595889,11492
-Agora/Proposal/validator/voting/illegal/more than one proposals/stake,277845487,747518,8024
-Agora/Proposal/validator/voting/illegal/locks not added/proposal,429337741,1162965,13892
-Agora/Proposal/validator/voting/illegal/attempt to burn stakes/proposal,406270886,1111345,12863
-Agora/Proposal/validator/voting/illegal/insufficient staked amount/stake,277845487,747518,7996
-Agora/Proposal/validator/voting/illegal/insufficient staked amount/stake,887851547,2259202,10361
-Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/proposal,242251020,675352,12106
-Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/proposal,221222256,617141,11869
-Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Locked to Finished/proposal,235326920,645883,13140
-Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Locked to Finished/governor,403170277,1064169,12989
+Agora/Proposal/policy (proposal creation)/illegal/invalid proposal status/Finished/stake,307941058,762903,8266
+Agora/Proposal/validator/cosignature/legal/proposal,201833102,555917,11869
+Agora/Proposal/validator/cosignature/legal/stake,260080624,672863,8110
+Agora/Proposal/validator/cosignature/illegal/insufficient staked amount/stake,260080624,672863,8110
+Agora/Proposal/validator/cosignature/illegal/proposal locks not updated/proposal,201833102,555917,11863
+Agora/Proposal/validator/cosignature/illegal/duplicate cosigners/stake,266429842,690971,8127
+Agora/Proposal/validator/cosignature/illegal/cosigners not updated/stake,260080624,672863,8076
+Agora/Proposal/validator/cosignature/illegal/cosign after draft/(negative test)/stake,260080624,672863,8110
+Agora/Proposal/validator/cosignature/illegal/cosign after draft/(negative test)/stake,260080624,672863,8110
+Agora/Proposal/validator/cosignature/illegal/cosign after draft/(negative test)/stake,260080624,672863,8110
+Agora/Proposal/validator/voting/legal/different number of stakes/1 stakes/by owner/proposal,217185516,603992,11721
+Agora/Proposal/validator/voting/legal/different number of stakes/1 stakes/by owner/stake,274849258,712624,7973
+Agora/Proposal/validator/voting/legal/different number of stakes/1 stakes/by delegatee/proposal,217185516,603992,11721
+Agora/Proposal/validator/voting/legal/different number of stakes/1 stakes/by delegatee/stake,281676153,729780,7973
+Agora/Proposal/validator/voting/legal/different number of stakes/3 stakes/by owner/proposal,324976900,887530,12936
+Agora/Proposal/validator/voting/legal/different number of stakes/3 stakes/by owner/stake,564948284,1387058,9188
+Agora/Proposal/validator/voting/legal/different number of stakes/3 stakes/by delegatee/proposal,324976900,887530,12936
+Agora/Proposal/validator/voting/legal/different number of stakes/3 stakes/by delegatee/stake,571775179,1404214,9188
+Agora/Proposal/validator/voting/legal/different number of stakes/5 stakes/by owner/proposal,432768284,1171068,14151
+Agora/Proposal/validator/voting/legal/different number of stakes/5 stakes/by owner/stake,855047310,2061492,10403
+Agora/Proposal/validator/voting/legal/different number of stakes/5 stakes/by delegatee/proposal,432768284,1171068,14151
+Agora/Proposal/validator/voting/legal/different number of stakes/5 stakes/by delegatee/stake,861874205,2078648,10403
+Agora/Proposal/validator/voting/legal/different number of stakes/7 stakes/by owner/proposal,540559668,1454606,15365
+Agora/Proposal/validator/voting/legal/different number of stakes/7 stakes/by owner/stake,1145146336,2735926,11617
+Agora/Proposal/validator/voting/legal/different number of stakes/7 stakes/by delegatee/proposal,540559668,1454606,15365
+Agora/Proposal/validator/voting/legal/different number of stakes/7 stakes/by delegatee/stake,1151973231,2753082,11617
+Agora/Proposal/validator/voting/legal/different number of stakes/9 stakes/by owner/proposal,648351052,1738144,16580
+Agora/Proposal/validator/voting/legal/different number of stakes/9 stakes/by owner/stake,1435245362,3410360,12832
+Agora/Proposal/validator/voting/legal/different number of stakes/9 stakes/by delegatee/proposal,648351052,1738144,16580
+Agora/Proposal/validator/voting/legal/different number of stakes/9 stakes/by delegatee/stake,1442072257,3427516,12832
+Agora/Proposal/validator/voting/legal/transparent non-GT tokens/proposal,217185516,603992,11721
+Agora/Proposal/validator/voting/legal/transparent non-GT tokens/stake,274849258,712624,7973
+Agora/Proposal/validator/voting/illegal/vote for nonexistent outcome/stake,274849258,712624,7978
+Agora/Proposal/validator/voting/illegal/unauthorized tx/proposal,217185516,603992,11721
+Agora/Proposal/validator/voting/illegal/more than one proposals/stake,274849258,712624,7978
+Agora/Proposal/validator/voting/illegal/locks not added/proposal,432768284,1171068,14121
+Agora/Proposal/validator/voting/illegal/attempt to burn stakes/proposal,409701429,1119448,13092
+Agora/Proposal/validator/voting/illegal/insufficient staked amount/stake,274849258,712624,7950
+Agora/Proposal/validator/voting/illegal/insufficient staked amount/stake,855047310,2061492,10315
+Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/proposal,241212156,671393,12335
+Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/proposal,220128993,612486,12098
+Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Locked to Finished/proposal,233536626,639634,13369
+Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Locked to Finished/governor,403166267,1064169,12994
 Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Locked to Finished/authority,85050404,212705,3456
-Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/proposal,238439730,663124,11827
-Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/proposal,217410966,604913,11590
-Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Locked to Finished/proposal,231515630,633655,12682
-Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Locked to Finished/governor,400802983,1056663,12624
+Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/proposal,237400866,659165,12056
+Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/proposal,216317703,600258,11819
+Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Locked to Finished/proposal,229725336,627406,12911
+Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Locked to Finished/governor,400798973,1056663,12629
 Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Locked to Finished/authority,82111304,204781,3091
-Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from Draft to Finished/proposal,211091642,592702,11862
-Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/proposal,209417658,583108,11863
-Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from Locked to Finished/proposal,222305603,615514,11863
-Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from Draft to Finished/proposal,207280352,580474,11583
-Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/proposal,205606368,570880,11584
-Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from Locked to Finished/proposal,218494313,603286,11584
+Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from Draft to Finished/proposal,211188240,591147,12091
+Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/proposal,209459857,580857,12092
+Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from Locked to Finished/proposal,221646761,611669,12092
+Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from Draft to Finished/proposal,207376950,578919,11812
+Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/proposal,205648567,568629,11813
+Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from Locked to Finished/proposal,217835471,599441,11813
 Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/authority,85050404,212705,3456
 Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/authority,82111304,204781,3091
-Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/to next state too late/from Locked/governor,403170277,1064169,12989
+Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/to next state too late/from Locked/governor,403166267,1064169,12994
 Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/to next state too late/from Locked/authority,85050404,212705,3456
-Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/to next state too late/from Locked/governor,400802983,1056663,12624
+Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/to next state too late/from Locked/governor,400798973,1056663,12629
 Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/to next state too late/from Locked/authority,82111304,204781,3091
-Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/forget to mint GATs/proposal,231515630,633655,12036
-Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/mint GATs for wrong validators/proposal,231515630,633655,12682
+Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/forget to mint GATs/proposal,229725336,627406,12265
+Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/mint GATs for wrong validators/proposal,229725336,627406,12911
 Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/mint GATs for wrong validators/authority,82111304,204781,3091
-Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/mint GATs with bad token name/proposal,231515630,633655,12714
+Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/mint GATs with bad token name/proposal,229725336,627406,12943
 Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/mint GATs with bad token name/authority,82111304,204781,3123
-Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/wrong GAT datum/proposal,231515630,633655,12676
+Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/wrong GAT datum/proposal,229725336,627406,12905
 Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/wrong GAT datum/authority,82111304,204781,3085
-Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/invalid governor output datum/proposal,231515630,633655,12682
+Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/invalid governor output datum/proposal,229725336,627406,12911
 Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/invalid governor output datum/authority,82111304,204781,3091
-Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/proposal,316475740,879654,13022
-Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/proposal,299141862,831431,12785
-Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Locked to Finished/proposal,309551640,850185,14056
-Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Locked to Finished/governor,444905505,1181401,13600
+Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/proposal,315436876,875695,13251
+Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/proposal,298048599,826776,13014
+Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Locked to Finished/proposal,307761346,843936,14285
+Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Locked to Finished/governor,444901495,1181401,13605
 Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Locked to Finished/authority,85050404,212705,4067
-Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/proposal,308853160,855198,12461
-Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/proposal,291519282,806975,12224
-Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Locked to Finished/proposal,301929060,825729,13317
-Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Locked to Finished/governor,440783598,1167781,13048
+Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/proposal,307814296,851239,12690
+Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/proposal,290426019,802320,12453
+Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Locked to Finished/proposal,300138766,819480,13546
+Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Locked to Finished/governor,440779588,1167781,13053
 Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Locked to Finished/authority,82111304,204781,3515
-Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from Draft to Finished/proposal,285316362,797004,12778
-Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/proposal,283642378,787410,12779
-Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from Locked to Finished/proposal,296530323,819816,12779
-Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from Draft to Finished/proposal,277693782,772548,12217
-Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/proposal,276019798,762954,12218
-Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from Locked to Finished/proposal,288907743,795360,12218
+Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from Draft to Finished/proposal,285412960,795449,13007
+Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/proposal,283684577,785159,13008
+Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from Locked to Finished/proposal,295871481,815971,13008
+Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from Draft to Finished/proposal,277790380,770993,12446
+Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/proposal,276061997,760703,12447
+Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from Locked to Finished/proposal,288248901,791515,12447
 Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/authority,85050404,212705,4067
 Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/authority,82111304,204781,3515
-Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/to next state too late/from Locked/governor,444905505,1181401,13600
+Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/to next state too late/from Locked/governor,444901495,1181401,13605
 Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/to next state too late/from Locked/authority,85050404,212705,4067
-Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/to next state too late/from Locked/governor,440783598,1167781,13048
+Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/to next state too late/from Locked/governor,440779588,1167781,13053
 Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/to next state too late/from Locked/authority,82111304,204781,3515
-Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/forget to mint GATs/proposal,301929060,825729,12671
-Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/mint GATs for wrong validators/proposal,301929060,825729,13317
+Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/forget to mint GATs/proposal,300138766,819480,12900
+Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/mint GATs for wrong validators/proposal,300138766,819480,13546
 Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/mint GATs for wrong validators/authority,82111304,204781,3515
-Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/mint GATs with bad token name/proposal,301929060,825729,13349
+Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/mint GATs with bad token name/proposal,300138766,819480,13578
 Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/mint GATs with bad token name/authority,82111304,204781,3547
-Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/wrong GAT datum/proposal,301929060,825729,13311
+Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/wrong GAT datum/proposal,300138766,819480,13540
 Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/wrong GAT datum/authority,82111304,204781,3509
-Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/invalid governor output datum/proposal,301929060,825729,13317
+Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/invalid governor output datum/proposal,300138766,819480,13546
 Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/invalid governor output datum/authority,82111304,204781,3515
-Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/proposal,539149900,1492560,15769
-Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/proposal,532900680,1474301,15532
-Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Locked to Finished/proposal,532225800,1463091,16803
-Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Locked to Finished/governor,570111189,1533097,15431
+Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/proposal,538111036,1488601,15998
+Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/proposal,531807417,1469646,15761
+Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Locked to Finished/proposal,530435506,1456842,17032
+Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Locked to Finished/governor,570107179,1533097,15436
 Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Locked to Finished/authority,85050404,212705,5898
-Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/proposal,520093450,1431420,14368
-Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/proposal,513844230,1413161,14131
-Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Locked to Finished/proposal,513169350,1401951,15224
-Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Locked to Finished/governor,560725443,1501135,14319
+Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/proposal,519054586,1427461,14597
+Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/proposal,512750967,1408506,14360
+Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Locked to Finished/proposal,511379056,1395702,15453
+Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Locked to Finished/governor,560721433,1501135,14324
 Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Locked to Finished/authority,82111304,204781,4786
-Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from Draft to Finished/proposal,507990522,1409910,15525
-Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/proposal,506316538,1400316,15526
-Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from Locked to Finished/proposal,519204483,1432722,15526
-Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from Draft to Finished/proposal,488934072,1348770,14124
-Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/proposal,487260088,1339176,14125
-Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from Locked to Finished/proposal,500148033,1371582,14125
+Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from Draft to Finished/proposal,508087120,1408355,15754
+Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/proposal,506358737,1398065,15755
+Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from Locked to Finished/proposal,518545641,1428877,15755
+Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from Draft to Finished/proposal,489030670,1347215,14353
+Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/proposal,487302287,1336925,14354
+Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from Locked to Finished/proposal,499489191,1367737,14354
 Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/authority,85050404,212705,5898
 Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/authority,82111304,204781,4786
-Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/to next state too late/from Locked/governor,570111189,1533097,15431
+Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/to next state too late/from Locked/governor,570107179,1533097,15436
 Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/to next state too late/from Locked/authority,85050404,212705,5898
-Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/to next state too late/from Locked/governor,560725443,1501135,14319
+Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/to next state too late/from Locked/governor,560721433,1501135,14324
 Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/to next state too late/from Locked/authority,82111304,204781,4786
-Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/forget to mint GATs/proposal,513169350,1401951,14578
-Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/mint GATs for wrong validators/proposal,513169350,1401951,15224
+Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/forget to mint GATs/proposal,511379056,1395702,14807
+Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/mint GATs for wrong validators/proposal,511379056,1395702,15453
 Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/mint GATs for wrong validators/authority,82111304,204781,4786
-Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/mint GATs with bad token name/proposal,513169350,1401951,15256
+Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/mint GATs with bad token name/proposal,511379056,1395702,15485
 Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/mint GATs with bad token name/authority,82111304,204781,4818
-Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/wrong GAT datum/proposal,513169350,1401951,15218
+Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/wrong GAT datum/proposal,511379056,1395702,15447
 Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/wrong GAT datum/authority,82111304,204781,4780
-Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/invalid governor output datum/proposal,513169350,1401951,15224
+Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/invalid governor output datum/proposal,511379056,1395702,15453
 Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/invalid governor output datum/authority,82111304,204781,4786
-Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/proposal,424259274,1162016,13607
-Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/proposal,251572976,700869,12280
-Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Locked to Finished/proposal,265677640,729611,13550
-Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Locked to Finished/governor,418043573,1106033,13262
+Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/proposal,423220410,1158057,13836
+Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/proposal,250479713,696214,12509
+Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Locked to Finished/proposal,263887346,723362,13779
+Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Locked to Finished/governor,418039563,1106033,13267
 Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Locked to Finished/authority,85050404,212705,3729
-Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/proposal,420447984,1149788,13326
-Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/proposal,247761686,688641,11999
-Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Locked to Finished/proposal,261866350,717383,13091
-Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Locked to Finished/governor,415676279,1098527,12897
+Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/proposal,419409120,1145829,13555
+Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/proposal,246668423,683986,12228
+Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Locked to Finished/proposal,260076056,711134,13320
+Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Locked to Finished/governor,415672269,1098527,12902
 Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Locked to Finished/authority,82111304,204781,3364
-Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from Draft to Finished/proposal,241442362,676430,12272
-Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/proposal,239768378,666836,12273
-Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from Locked to Finished/proposal,252656323,699242,12273
-Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from Draft to Finished/proposal,237631072,664202,11992
-Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/proposal,235957088,654608,11993
-Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from Locked to Finished/proposal,248845033,687014,11993
+Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from Draft to Finished/proposal,241538960,674875,12501
+Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/proposal,239810577,664585,12502
+Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from Locked to Finished/proposal,251997481,695397,12502
+Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from Draft to Finished/proposal,237727670,662647,12221
+Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/proposal,235999287,652357,12222
+Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from Locked to Finished/proposal,248186191,683169,12222
 Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/authority,85050404,212705,3729
 Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/authority,82111304,204781,3364
-Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/to next state too late/from Locked/governor,418043573,1106033,13262
+Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/to next state too late/from Locked/governor,418039563,1106033,13267
 Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/to next state too late/from Locked/authority,85050404,212705,3729
-Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/to next state too late/from Locked/governor,415676279,1098527,12897
+Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/to next state too late/from Locked/governor,415672269,1098527,12902
 Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/to next state too late/from Locked/authority,82111304,204781,3364
-Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/forget to mint GATs/proposal,261866350,717383,12446
-Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/mint GATs for wrong validators/proposal,261866350,717383,13091
+Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/forget to mint GATs/proposal,260076056,711134,12675
+Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/mint GATs for wrong validators/proposal,260076056,711134,13320
 Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/mint GATs for wrong validators/authority,82111304,204781,3364
-Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/mint GATs with bad token name/proposal,261866350,717383,13123
+Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/mint GATs with bad token name/proposal,260076056,711134,13352
 Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/mint GATs with bad token name/authority,82111304,204781,3396
-Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/wrong GAT datum/proposal,261866350,717383,13085
+Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/wrong GAT datum/proposal,260076056,711134,13314
 Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/wrong GAT datum/authority,82111304,204781,3358
-Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/invalid governor output datum/proposal,261866350,717383,13091
+Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/invalid governor output datum/proposal,260076056,711134,13320
 Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/invalid governor output datum/authority,82111304,204781,3364
-Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/proposal,498483994,1366318,14522
-Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/proposal,329492582,915159,13195
-Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Locked to Finished/proposal,339902360,933913,14466
-Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Locked to Finished/governor,459778801,1223265,13873
+Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/proposal,497445130,1362359,14751
+Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/proposal,328399319,910504,13424
+Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Locked to Finished/proposal,338112066,927664,14695
+Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Locked to Finished/governor,459774791,1223265,13878
 Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Locked to Finished/authority,85050404,212705,4340
-Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/proposal,490861414,1341862,13962
-Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/proposal,321870002,890703,12634
-Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Locked to Finished/proposal,332279780,909457,13727
-Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Locked to Finished/governor,455656894,1209645,13321
+Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/proposal,489822550,1337903,14191
+Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/proposal,320776739,886048,12863
+Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Locked to Finished/proposal,330489486,903208,13956
+Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Locked to Finished/governor,455652884,1209645,13326
 Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Locked to Finished/authority,82111304,204781,3788
-Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from Draft to Finished/proposal,315667082,880732,13188
-Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/proposal,313993098,871138,13189
-Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from Locked to Finished/proposal,326881043,903544,13189
-Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from Draft to Finished/proposal,308044502,856276,12627
-Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/proposal,306370518,846682,12628
-Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from Locked to Finished/proposal,319258463,879088,12628
+Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from Draft to Finished/proposal,315763680,879177,13417
+Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/proposal,314035297,868887,13418
+Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from Locked to Finished/proposal,326222201,899699,13418
+Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from Draft to Finished/proposal,308141100,854721,12856
+Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/proposal,306412717,844431,12857
+Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from Locked to Finished/proposal,318599621,875243,12857
 Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/authority,85050404,212705,4340
 Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/authority,82111304,204781,3788
-Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/to next state too late/from Locked/governor,459778801,1223265,13873
+Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/to next state too late/from Locked/governor,459774791,1223265,13878
 Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/to next state too late/from Locked/authority,85050404,212705,4340
-Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/to next state too late/from Locked/governor,455656894,1209645,13321
+Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/to next state too late/from Locked/governor,455652884,1209645,13326
 Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/to next state too late/from Locked/authority,82111304,204781,3788
-Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/forget to mint GATs/proposal,332279780,909457,13081
-Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/mint GATs for wrong validators/proposal,332279780,909457,13727
+Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/forget to mint GATs/proposal,330489486,903208,13310
+Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/mint GATs for wrong validators/proposal,330489486,903208,13956
 Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/mint GATs for wrong validators/authority,82111304,204781,3788
-Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/mint GATs with bad token name/proposal,332279780,909457,13759
+Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/mint GATs with bad token name/proposal,330489486,903208,13988
 Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/mint GATs with bad token name/authority,82111304,204781,3820
-Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/wrong GAT datum/proposal,332279780,909457,13721
+Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/wrong GAT datum/proposal,330489486,903208,13950
 Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/wrong GAT datum/authority,82111304,204781,3782
-Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/invalid governor output datum/proposal,332279780,909457,13727
+Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/invalid governor output datum/proposal,330489486,903208,13956
 Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/invalid governor output datum/authority,82111304,204781,3788
-Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/proposal,721158154,1979224,17268
-Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/proposal,563251400,1558029,15941
-Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Locked to Finished/proposal,562576520,1546819,17212
-Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Locked to Finished/governor,584984485,1574961,15704
+Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/proposal,720119290,1975265,17497
+Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/proposal,562158137,1553374,16170
+Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Locked to Finished/proposal,560786226,1540570,17441
+Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Locked to Finished/governor,584980475,1574961,15709
 Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Locked to Finished/authority,85050404,212705,6171
-Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/proposal,702101704,1918084,15868
-Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/proposal,544194950,1496889,14540
-Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Locked to Finished/proposal,543520070,1485679,15633
-Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Locked to Finished/governor,575598739,1542999,14592
+Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/proposal,701062840,1914125,16097
+Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/proposal,543101687,1492234,14769
+Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Locked to Finished/proposal,541729776,1479430,15862
+Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Locked to Finished/governor,575594729,1542999,14597
 Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Locked to Finished/authority,82111304,204781,5059
-Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from Draft to Finished/proposal,538341242,1493638,15934
-Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/proposal,536667258,1484044,15935
-Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from Locked to Finished/proposal,549555203,1516450,15935
-Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from Draft to Finished/proposal,519284792,1432498,14533
-Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/proposal,517610808,1422904,14534
-Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from Locked to Finished/proposal,530498753,1455310,14534
+Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from Draft to Finished/proposal,538437840,1492083,16163
+Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/proposal,536709457,1481793,16164
+Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from Locked to Finished/proposal,548896361,1512605,16164
+Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from Draft to Finished/proposal,519381390,1430943,14762
+Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/proposal,517653007,1420653,14763
+Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from Locked to Finished/proposal,529839911,1451465,14763
 Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/authority,85050404,212705,6171
 Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/authority,82111304,204781,5059
-Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/to next state too late/from Locked/governor,584984485,1574961,15704
+Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/to next state too late/from Locked/governor,584980475,1574961,15709
 Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/to next state too late/from Locked/authority,85050404,212705,6171
-Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/to next state too late/from Locked/governor,575598739,1542999,14592
+Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/to next state too late/from Locked/governor,575594729,1542999,14597
 Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/to next state too late/from Locked/authority,82111304,204781,5059
-Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/forget to mint GATs/proposal,543520070,1485679,14987
-Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/mint GATs for wrong validators/proposal,543520070,1485679,15633
+Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/forget to mint GATs/proposal,541729776,1479430,15216
+Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/mint GATs for wrong validators/proposal,541729776,1479430,15862
 Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/mint GATs for wrong validators/authority,82111304,204781,5059
-Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/mint GATs with bad token name/proposal,543520070,1485679,15665
+Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/mint GATs with bad token name/proposal,541729776,1479430,15894
 Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/mint GATs with bad token name/authority,82111304,204781,5091
-Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/wrong GAT datum/proposal,543520070,1485679,15627
+Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/wrong GAT datum/proposal,541729776,1479430,15856
 Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/wrong GAT datum/authority,82111304,204781,5053
-Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/invalid governor output datum/proposal,543520070,1485679,15633
+Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/invalid governor output datum/proposal,541729776,1479430,15862
 Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/invalid governor output datum/authority,82111304,204781,5059
-Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/proposal,666933035,1816037,15483
-Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/proposal,289511376,805529,12791
-Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Locked to Finished/proposal,303616040,834271,14062
-Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Locked to Finished/governor,436635193,1158363,13604
+Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/proposal,665894171,1812078,15712
+Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/proposal,288418113,800874,13020
+Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Locked to Finished/proposal,301825746,828022,14291
+Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Locked to Finished/governor,436631183,1158363,13609
 Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Locked to Finished/authority,85050404,212705,4071
-Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/proposal,663121745,1803809,15204
-Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/proposal,285700086,793301,12511
-Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Locked to Finished/proposal,299804750,822043,13603
-Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Locked to Finished/governor,434267899,1150857,13238
+Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/proposal,662082881,1799850,15433
+Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/proposal,284606823,788646,12740
+Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Locked to Finished/proposal,298014456,815794,13832
+Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Locked to Finished/governor,434263889,1150857,13243
 Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Locked to Finished/authority,82111304,204781,3705
-Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from Draft to Finished/proposal,279380762,781090,12784
-Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/proposal,277706778,771496,12785
-Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from Locked to Finished/proposal,290594723,803902,12785
-Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from Draft to Finished/proposal,275569472,768862,12504
-Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/proposal,273895488,759268,12505
-Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from Locked to Finished/proposal,286783433,791674,12505
+Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from Draft to Finished/proposal,279477360,779535,13013
+Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/proposal,277748977,769245,13014
+Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from Locked to Finished/proposal,289935881,800057,13014
+Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from Draft to Finished/proposal,275666070,767307,12733
+Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/proposal,273937687,757017,12734
+Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from Locked to Finished/proposal,286124591,787829,12734
 Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/authority,85050404,212705,4071
 Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/authority,82111304,204781,3705
-Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/to next state too late/from Locked/governor,436635193,1158363,13604
+Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/to next state too late/from Locked/governor,436631183,1158363,13609
 Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/to next state too late/from Locked/authority,85050404,212705,4071
-Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/to next state too late/from Locked/governor,434267899,1150857,13238
+Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/to next state too late/from Locked/governor,434263889,1150857,13243
 Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/to next state too late/from Locked/authority,82111304,204781,3705
-Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/forget to mint GATs/proposal,299804750,822043,12958
-Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/mint GATs for wrong validators/proposal,299804750,822043,13603
+Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/forget to mint GATs/proposal,298014456,815794,13187
+Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/mint GATs for wrong validators/proposal,298014456,815794,13832
 Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/mint GATs for wrong validators/authority,82111304,204781,3705
-Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/mint GATs with bad token name/proposal,299804750,822043,13636
+Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/mint GATs with bad token name/proposal,298014456,815794,13865
 Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/mint GATs with bad token name/authority,82111304,204781,3737
-Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/wrong GAT datum/proposal,299804750,822043,13597
+Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/wrong GAT datum/proposal,298014456,815794,13826
 Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/wrong GAT datum/authority,82111304,204781,3699
-Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/invalid governor output datum/proposal,299804750,822043,13603
+Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/invalid governor output datum/proposal,298014456,815794,13832
 Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/invalid governor output datum/authority,82111304,204781,3705
-Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/proposal,741157755,2020339,16399
-Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/proposal,367430982,1019819,13706
-Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Locked to Finished/proposal,377840760,1038573,14977
-Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Locked to Finished/governor,478370421,1275595,14214
+Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/proposal,740118891,2016380,16628
+Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/proposal,366337719,1015164,13935
+Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Locked to Finished/proposal,376050466,1032324,15206
+Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Locked to Finished/governor,478366411,1275595,14219
 Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Locked to Finished/authority,85050404,212705,4681
-Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/proposal,733535175,1995883,15839
-Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/proposal,359808402,995363,13147
-Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Locked to Finished/proposal,370218180,1014117,14239
-Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Locked to Finished/governor,474248514,1261975,13662
+Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/proposal,732496311,1991924,16068
+Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/proposal,358715139,990708,13376
+Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Locked to Finished/proposal,368427886,1007868,14468
+Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Locked to Finished/governor,474244504,1261975,13667
 Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Locked to Finished/authority,82111304,204781,4129
-Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from Draft to Finished/proposal,353605482,985392,13699
-Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/proposal,351931498,975798,13700
-Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from Locked to Finished/proposal,364819443,1008204,13700
-Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from Draft to Finished/proposal,345982902,960936,13140
-Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/proposal,344308918,951342,13141
-Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from Locked to Finished/proposal,357196863,983748,13141
+Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from Draft to Finished/proposal,353702080,983837,13928
+Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/proposal,351973697,973547,13929
+Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from Locked to Finished/proposal,364160601,1004359,13929
+Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from Draft to Finished/proposal,346079500,959381,13369
+Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/proposal,344351117,949091,13370
+Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from Locked to Finished/proposal,356538021,979903,13370
 Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/authority,85050404,212705,4681
 Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/authority,82111304,204781,4129
-Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/to next state too late/from Locked/governor,478370421,1275595,14214
+Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/to next state too late/from Locked/governor,478366411,1275595,14219
 Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/to next state too late/from Locked/authority,85050404,212705,4681
-Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/to next state too late/from Locked/governor,474248514,1261975,13662
+Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/to next state too late/from Locked/governor,474244504,1261975,13667
 Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/to next state too late/from Locked/authority,82111304,204781,4129
-Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/forget to mint GATs/proposal,370218180,1014117,13594
-Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/mint GATs for wrong validators/proposal,370218180,1014117,14239
+Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/forget to mint GATs/proposal,368427886,1007868,13823
+Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/mint GATs for wrong validators/proposal,368427886,1007868,14468
 Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/mint GATs for wrong validators/authority,82111304,204781,4129
-Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/mint GATs with bad token name/proposal,370218180,1014117,14271
+Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/mint GATs with bad token name/proposal,368427886,1007868,14500
 Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/mint GATs with bad token name/authority,82111304,204781,4161
-Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/wrong GAT datum/proposal,370218180,1014117,14233
+Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/wrong GAT datum/proposal,368427886,1007868,14462
 Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/wrong GAT datum/authority,82111304,204781,4123
-Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/invalid governor output datum/proposal,370218180,1014117,14239
+Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/invalid governor output datum/proposal,368427886,1007868,14468
 Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/invalid governor output datum/authority,82111304,204781,4129
-Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/proposal,963831915,2633245,19146
-Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/proposal,601189800,1662689,16453
-Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Locked to Finished/proposal,600514920,1651479,17724
-Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Locked to Finished/governor,603576105,1627291,16045
+Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/proposal,962793051,2629286,19375
+Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/proposal,600096537,1658034,16682
+Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Locked to Finished/proposal,598724626,1645230,17953
+Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Locked to Finished/governor,603572095,1627291,16050
 Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Locked to Finished/authority,85050404,212705,6512
-Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/proposal,944775465,2572105,17745
-Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/proposal,582133350,1601549,15053
-Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Locked to Finished/proposal,581458470,1590339,16145
-Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Locked to Finished/governor,594190359,1595329,14933
+Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/proposal,943736601,2568146,17974
+Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/proposal,581040087,1596894,15282
+Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Locked to Finished/proposal,579668176,1584090,16374
+Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Locked to Finished/governor,594186349,1595329,14938
 Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Locked to Finished/authority,82111304,204781,5400
-Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from Draft to Finished/proposal,576279642,1598298,16446
-Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/proposal,574605658,1588704,16447
-Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from Locked to Finished/proposal,587493603,1621110,16447
-Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from Draft to Finished/proposal,557223192,1537158,15046
-Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/proposal,555549208,1527564,15047
-Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from Locked to Finished/proposal,568437153,1559970,15047
+Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from Draft to Finished/proposal,576376240,1596743,16675
+Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/proposal,574647857,1586453,16676
+Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from Locked to Finished/proposal,586834761,1617265,16676
+Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from Draft to Finished/proposal,557319790,1535603,15275
+Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/proposal,555591407,1525313,15276
+Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from Locked to Finished/proposal,567778311,1556125,15276
 Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/authority,85050404,212705,6512
 Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/authority,82111304,204781,5400
-Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/to next state too late/from Locked/governor,603576105,1627291,16045
+Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/to next state too late/from Locked/governor,603572095,1627291,16050
 Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/to next state too late/from Locked/authority,85050404,212705,6512
-Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/to next state too late/from Locked/governor,594190359,1595329,14933
+Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/to next state too late/from Locked/governor,594186349,1595329,14938
 Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/to next state too late/from Locked/authority,82111304,204781,5400
-Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/forget to mint GATs/proposal,581458470,1590339,15499
-Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/mint GATs for wrong validators/proposal,581458470,1590339,16145
+Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/forget to mint GATs/proposal,579668176,1584090,15728
+Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/mint GATs for wrong validators/proposal,579668176,1584090,16374
 Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/mint GATs for wrong validators/authority,82111304,204781,5400
-Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/mint GATs with bad token name/proposal,581458470,1590339,16177
+Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/mint GATs with bad token name/proposal,579668176,1584090,16406
 Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/mint GATs with bad token name/authority,82111304,204781,5432
-Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/wrong GAT datum/proposal,581458470,1590339,16139
+Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/wrong GAT datum/proposal,579668176,1584090,16368
 Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/wrong GAT datum/authority,82111304,204781,5394
-Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/invalid governor output datum/proposal,581458470,1590339,16145
+Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/invalid governor output datum/proposal,579668176,1584090,16374
 Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/invalid governor output datum/authority,82111304,204781,5400
-Agora/Proposal/validator/unlocking/legal/with 1 stakes/voter: retract votes while voting/stake,289036323,757898,8241
-Agora/Proposal/validator/unlocking/legal/with 1 stakes/voter: retract votes while voting/proposal,212311543,586699,11719
-Agora/Proposal/validator/unlocking/legal/with 1 stakes/voter: retract votes while voting by delegatee/stake,295863218,775054,8241
-Agora/Proposal/validator/unlocking/legal/with 1 stakes/voter: retract votes while voting by delegatee/proposal,212311543,586699,11719
-Agora/Proposal/validator/unlocking/legal/with 1 stakes/voter/creator: retract votes while voting/stake,299542578,788500,8257
-Agora/Proposal/validator/unlocking/legal/with 1 stakes/voter/creator: retract votes while voting/proposal,218646947,605113,11730
-Agora/Proposal/validator/unlocking/legal/with 1 stakes/creator: remove creator lock after voting/stake,290037580,761105,8244
-Agora/Proposal/validator/unlocking/legal/with 1 stakes/creator: remove creator lock after voting/proposal,182808767,504106,11723
-Agora/Proposal/validator/unlocking/legal/with 1 stakes/Voter: remove lock after voting/stake,290167301,760302,8246
-Agora/Proposal/validator/unlocking/legal/with 1 stakes/Voter: remove lock after voting/proposal,183847044,506904,11724
-Agora/Proposal/validator/unlocking/legal/with 3 stakes/voter: retract votes while voting/stake,614946067,1524626,9586
-Agora/Proposal/validator/unlocking/legal/with 3 stakes/voter: retract votes while voting/proposal,324622973,881597,13064
-Agora/Proposal/validator/unlocking/legal/with 3 stakes/voter: retract votes while voting by delegatee/stake,621772962,1541782,9586
-Agora/Proposal/validator/unlocking/legal/with 3 stakes/voter: retract votes while voting by delegatee/proposal,324622973,881597,13064
-Agora/Proposal/validator/unlocking/legal/with 3 stakes/voter/creator: retract votes while voting/stake,646464832,1616432,9624
-Agora/Proposal/validator/unlocking/legal/with 3 stakes/voter/creator: retract votes while voting/proposal,343629185,936839,13097
-Agora/Proposal/validator/unlocking/legal/with 3 stakes/creator: remove creator lock after voting/stake,615687882,1529439,9587
-Agora/Proposal/validator/unlocking/legal/with 3 stakes/creator: remove creator lock after voting/proposal,251595111,673740,13066
-Agora/Proposal/validator/unlocking/legal/with 3 stakes/Voter: remove lock after voting/stake,616077045,1527030,9591
-Agora/Proposal/validator/unlocking/legal/with 3 stakes/Voter: remove lock after voting/proposal,254709942,682134,13069
-Agora/Proposal/validator/unlocking/legal/with 5 stakes/voter: retract votes while voting/stake,960502467,2322794,10932
-Agora/Proposal/validator/unlocking/legal/with 5 stakes/voter: retract votes while voting/proposal,436934403,1176495,14410
-Agora/Proposal/validator/unlocking/legal/with 5 stakes/voter: retract votes while voting by delegatee/stake,967329362,2339950,10932
-Agora/Proposal/validator/unlocking/legal/with 5 stakes/voter: retract votes while voting by delegatee/proposal,436934403,1176495,14410
-Agora/Proposal/validator/unlocking/legal/with 5 stakes/voter/creator: retract votes while voting/stake,1013033742,2475804,10992
-Agora/Proposal/validator/unlocking/legal/with 5 stakes/voter/creator: retract votes while voting/proposal,468611423,1268565,14465
-Agora/Proposal/validator/unlocking/legal/with 5 stakes/creator: remove creator lock after voting/stake,960984840,2329213,10931
-Agora/Proposal/validator/unlocking/legal/with 5 stakes/creator: remove creator lock after voting/proposal,320381455,843374,14410
-Agora/Proposal/validator/unlocking/legal/with 5 stakes/Voter: remove lock after voting/stake,961633445,2325198,10937
-Agora/Proposal/validator/unlocking/legal/with 5 stakes/Voter: remove lock after voting/proposal,325572840,857364,14415
-Agora/Proposal/validator/unlocking/legal/with 7 stakes/voter: retract votes while voting/stake,1325705523,3152402,12277
-Agora/Proposal/validator/unlocking/legal/with 7 stakes/voter: retract votes while voting/proposal,549245833,1471393,15755
-Agora/Proposal/validator/unlocking/legal/with 7 stakes/voter: retract votes while voting by delegatee/stake,1332532418,3169558,12277
-Agora/Proposal/validator/unlocking/legal/with 7 stakes/voter: retract votes while voting by delegatee/proposal,549245833,1471393,15755
-Agora/Proposal/validator/unlocking/legal/with 7 stakes/voter/creator: retract votes while voting/stake,1399249308,3366616,12359
-Agora/Proposal/validator/unlocking/legal/with 7 stakes/voter/creator: retract votes while voting/proposal,593593661,1600291,15832
-Agora/Proposal/validator/unlocking/legal/with 7 stakes/creator: remove creator lock after voting/stake,1325928454,3160427,12274
-Agora/Proposal/validator/unlocking/legal/with 7 stakes/creator: remove creator lock after voting/proposal,389167799,1013008,15753
-Agora/Proposal/validator/unlocking/legal/with 7 stakes/Voter: remove lock after voting/stake,1326836501,3154806,12282
-Agora/Proposal/validator/unlocking/legal/with 7 stakes/Voter: remove lock after voting/proposal,396435738,1032594,15760
-Agora/Proposal/validator/unlocking/legal/with 9 stakes/voter: retract votes while voting/stake,1710555235,4013450,13622
-Agora/Proposal/validator/unlocking/legal/with 9 stakes/voter: retract votes while voting/proposal,661557263,1766291,17100
-Agora/Proposal/validator/unlocking/legal/with 9 stakes/voter: retract votes while voting by delegatee/stake,1717382130,4030606,13622
-Agora/Proposal/validator/unlocking/legal/with 9 stakes/voter: retract votes while voting by delegatee/proposal,661557263,1766291,17100
-Agora/Proposal/validator/unlocking/legal/with 9 stakes/voter/creator: retract votes while voting/stake,1805111530,4288868,13726
-Agora/Proposal/validator/unlocking/legal/with 9 stakes/voter/creator: retract votes while voting/proposal,718575899,1932017,17199
-Agora/Proposal/validator/unlocking/legal/with 9 stakes/creator: remove creator lock after voting/stake,1710518724,4023081,13617
-Agora/Proposal/validator/unlocking/legal/with 9 stakes/creator: remove creator lock after voting/proposal,457954143,1182642,17096
-Agora/Proposal/validator/unlocking/legal/with 9 stakes/Voter: remove lock after voting/stake,1711686213,4015854,13627
-Agora/Proposal/validator/unlocking/legal/with 9 stakes/Voter: remove lock after voting/proposal,467298636,1207824,17105
-Agora/Proposal/validator/unlocking/legal/with 11 stakes/voter: retract votes while voting/stake,2115051603,4905938,14968
-Agora/Proposal/validator/unlocking/legal/with 11 stakes/voter: retract votes while voting/proposal,773868693,2061189,18446
-Agora/Proposal/validator/unlocking/legal/with 11 stakes/voter: retract votes while voting by delegatee/stake,2121878498,4923094,14968
-Agora/Proposal/validator/unlocking/legal/with 11 stakes/voter: retract votes while voting by delegatee/proposal,773868693,2061189,18446
-Agora/Proposal/validator/unlocking/legal/with 11 stakes/voter/creator: retract votes while voting/stake,2230620408,5242560,15095
-Agora/Proposal/validator/unlocking/legal/with 11 stakes/voter/creator: retract votes while voting/proposal,843558137,2263743,18568
-Agora/Proposal/validator/unlocking/legal/with 11 stakes/creator: remove creator lock after voting/stake,2114755650,4917175,14961
-Agora/Proposal/validator/unlocking/legal/with 11 stakes/creator: remove creator lock after voting/proposal,526740487,1352276,18440
-Agora/Proposal/validator/unlocking/legal/with 11 stakes/Voter: remove lock after voting/stake,2116182581,4908342,14973
-Agora/Proposal/validator/unlocking/legal/with 11 stakes/Voter: remove lock after voting/proposal,538161534,1383054,18451
-Agora/Proposal/validator/unlocking/illegal/with 1 stakes/retract votes while not voting/(negative test)/stake,288470834,756696,8241
-Agora/Proposal/validator/unlocking/illegal/with 1 stakes/retract votes while not voting/(negative test)/stake,289601812,759100,8241
-Agora/Proposal/validator/unlocking/illegal/with 1 stakes/retract votes while not voting/(negative test)/stake,290167301,760302,8241
-Agora/Proposal/validator/unlocking/illegal/with 1 stakes/remove creator too early/(negative test)/proposal,181112300,500500,11723
-Agora/Proposal/validator/unlocking/illegal/with 1 stakes/remove creator too early/(negative test)/proposal,185317151,511761,11723
-Agora/Proposal/validator/unlocking/illegal/with 1 stakes/remove creator too early/(negative test)/proposal,182243278,502904,11723
-Agora/Proposal/validator/unlocking/illegal/with 1 stakes/unlock an irrelevant stake/stake,298683860,791024,8263
-Agora/Proposal/validator/unlocking/illegal/with 1 stakes/creator: retract votes/stake,287383677,760327,8245
-Agora/Proposal/validator/unlocking/illegal/with 1 stakes/change output stake value/proposal,212311543,586699,11716
-Agora/Proposal/validator/unlocking/illegal/with 3 stakes/retract votes while not voting/(negative test)/stake,614380578,1523424,9586
-Agora/Proposal/validator/unlocking/illegal/with 3 stakes/retract votes while not voting/(negative test)/stake,615511556,1525828,9586
-Agora/Proposal/validator/unlocking/illegal/with 3 stakes/retract votes while not voting/(negative test)/stake,616077045,1527030,9586
-Agora/Proposal/validator/unlocking/illegal/with 3 stakes/remove creator too early/(negative test)/proposal,249898644,670134,13066
-Agora/Proposal/validator/unlocking/illegal/with 3 stakes/remove creator too early/(negative test)/proposal,254103495,681395,13066
-Agora/Proposal/validator/unlocking/illegal/with 3 stakes/remove creator too early/(negative test)/proposal,251029622,672538,13066
-Agora/Proposal/validator/unlocking/illegal/with 3 stakes/unlock an irrelevant stake/stake,629153686,1600424,9642
-Agora/Proposal/validator/unlocking/illegal/with 3 stakes/creator: retract votes/stake,595253137,1508333,9600
-Agora/Proposal/validator/unlocking/illegal/with 3 stakes/change output stake value/proposal,324622973,881597,13055
-Agora/Proposal/validator/unlocking/illegal/with 5 stakes/retract votes while not voting/(negative test)/stake,959936978,2321592,10932
-Agora/Proposal/validator/unlocking/illegal/with 5 stakes/retract votes while not voting/(negative test)/stake,961067956,2323996,10932
-Agora/Proposal/validator/unlocking/illegal/with 5 stakes/retract votes while not voting/(negative test)/stake,961633445,2325198,10932
-Agora/Proposal/validator/unlocking/illegal/with 5 stakes/remove creator too early/(negative test)/proposal,318684988,839768,14410
-Agora/Proposal/validator/unlocking/illegal/with 5 stakes/remove creator too early/(negative test)/proposal,322889839,851029,14410
-Agora/Proposal/validator/unlocking/illegal/with 5 stakes/remove creator too early/(negative test)/proposal,319815966,842172,14410
-Agora/Proposal/validator/unlocking/illegal/with 5 stakes/unlock an irrelevant stake/stake,959623512,2409824,11022
-Agora/Proposal/validator/unlocking/illegal/with 5 stakes/creator: retract votes/stake,903122597,2256339,10956
-Agora/Proposal/validator/unlocking/illegal/with 5 stakes/change output stake value/proposal,436934403,1176495,14395
-Agora/Proposal/validator/unlocking/illegal/with 7 stakes/retract votes while not voting/(negative test)/stake,1325140034,3151200,12277
-Agora/Proposal/validator/unlocking/illegal/with 7 stakes/retract votes while not voting/(negative test)/stake,1326271012,3153604,12277
-Agora/Proposal/validator/unlocking/illegal/with 7 stakes/retract votes while not voting/(negative test)/stake,1326836501,3154806,12277
-Agora/Proposal/validator/unlocking/illegal/with 7 stakes/remove creator too early/(negative test)/proposal,387471332,1009402,15753
-Agora/Proposal/validator/unlocking/illegal/with 7 stakes/remove creator too early/(negative test)/proposal,391676183,1020663,15753
-Agora/Proposal/validator/unlocking/illegal/with 7 stakes/remove creator too early/(negative test)/proposal,388602310,1011806,15753
-Agora/Proposal/validator/unlocking/illegal/with 7 stakes/unlock an irrelevant stake/stake,1290093338,3219224,12401
-Agora/Proposal/validator/unlocking/illegal/with 7 stakes/creator: retract votes/stake,1210992057,3004345,12311
-Agora/Proposal/validator/unlocking/illegal/with 7 stakes/change output stake value/proposal,549245833,1471393,15734
-Agora/Proposal/validator/unlocking/illegal/with 9 stakes/retract votes while not voting/(negative test)/stake,1709989746,4012248,13622
-Agora/Proposal/validator/unlocking/illegal/with 9 stakes/retract votes while not voting/(negative test)/stake,1711120724,4014652,13622
-Agora/Proposal/validator/unlocking/illegal/with 9 stakes/retract votes while not voting/(negative test)/stake,1711686213,4015854,13622
-Agora/Proposal/validator/unlocking/illegal/with 9 stakes/remove creator too early/(negative test)/proposal,456257676,1179036,17096
-Agora/Proposal/validator/unlocking/illegal/with 9 stakes/remove creator too early/(negative test)/proposal,460462527,1190297,17096
-Agora/Proposal/validator/unlocking/illegal/with 9 stakes/remove creator too early/(negative test)/proposal,457388654,1181440,17096
-Agora/Proposal/validator/unlocking/illegal/with 9 stakes/unlock an irrelevant stake/stake,1620563164,4028624,13781
-Agora/Proposal/validator/unlocking/illegal/with 9 stakes/creator: retract votes/stake,1518861517,3752351,13666
-Agora/Proposal/validator/unlocking/illegal/with 9 stakes/change output stake value/proposal,661557263,1766291,17073
-Agora/Proposal/validator/unlocking/illegal/with 11 stakes/retract votes while not voting/(negative test)/stake,2114486114,4904736,14968
-Agora/Proposal/validator/unlocking/illegal/with 11 stakes/retract votes while not voting/(negative test)/stake,2115617092,4907140,14968
-Agora/Proposal/validator/unlocking/illegal/with 11 stakes/retract votes while not voting/(negative test)/stake,2116182581,4908342,14968
-Agora/Proposal/validator/unlocking/illegal/with 11 stakes/remove creator too early/(negative test)/proposal,525044020,1348670,18440
-Agora/Proposal/validator/unlocking/illegal/with 11 stakes/remove creator too early/(negative test)/proposal,529248871,1359931,18440
-Agora/Proposal/validator/unlocking/illegal/with 11 stakes/remove creator too early/(negative test)/proposal,526174998,1351074,18440
-Agora/Proposal/validator/unlocking/illegal/with 11 stakes/unlock an irrelevant stake/stake,1951032990,4838024,15161
-Agora/Proposal/validator/unlocking/illegal/with 11 stakes/creator: retract votes/stake,1826730977,4500357,15023
-Agora/Proposal/validator/unlocking/illegal/with 11 stakes/change output stake value/proposal,773868693,2061189,18413
+Agora/Proposal/validator/unlocking/legal/with 1 stakes/voter: retract votes while voting/stake,282925204,717210,8195
+Agora/Proposal/validator/unlocking/legal/with 1 stakes/voter: retract votes while voting/proposal,216311585,596004,11948
+Agora/Proposal/validator/unlocking/legal/with 1 stakes/voter: retract votes while voting by delegatee/stake,289752099,734366,8195
+Agora/Proposal/validator/unlocking/legal/with 1 stakes/voter: retract votes while voting by delegatee/proposal,216311585,596004,11948
+Agora/Proposal/validator/unlocking/legal/with 1 stakes/voter/creator: retract votes while voting/stake,293431459,747812,8211
+Agora/Proposal/validator/unlocking/legal/with 1 stakes/voter/creator: retract votes while voting/proposal,222646989,614418,11959
+Agora/Proposal/validator/unlocking/legal/with 1 stakes/creator: remove creator lock after voting/stake,283926461,720417,8198
+Agora/Proposal/validator/unlocking/legal/with 1 stakes/creator: remove creator lock after voting/proposal,184212293,508336,11952
+Agora/Proposal/validator/unlocking/legal/with 1 stakes/Voter: remove lock after voting/stake,284056182,719614,8200
+Agora/Proposal/validator/unlocking/legal/with 1 stakes/Voter: remove lock after voting/proposal,185250570,511134,11953
+Agora/Proposal/validator/unlocking/legal/with 3 stakes/voter: retract votes while voting/stake,581471384,1379354,9540
+Agora/Proposal/validator/unlocking/legal/with 3 stakes/voter: retract votes while voting/proposal,328623015,890902,13293
+Agora/Proposal/validator/unlocking/legal/with 3 stakes/voter: retract votes while voting by delegatee/stake,588298279,1396510,9540
+Agora/Proposal/validator/unlocking/legal/with 3 stakes/voter: retract votes while voting by delegatee/proposal,328623015,890902,13293
+Agora/Proposal/validator/unlocking/legal/with 3 stakes/voter/creator: retract votes while voting/stake,612990149,1471160,9578
+Agora/Proposal/validator/unlocking/legal/with 3 stakes/voter/creator: retract votes while voting/proposal,347629227,946144,13326
+Agora/Proposal/validator/unlocking/legal/with 3 stakes/creator: remove creator lock after voting/stake,582213199,1384167,9541
+Agora/Proposal/validator/unlocking/legal/with 3 stakes/creator: remove creator lock after voting/proposal,252998637,677970,13295
+Agora/Proposal/validator/unlocking/legal/with 3 stakes/Voter: remove lock after voting/stake,582602362,1381758,9545
+Agora/Proposal/validator/unlocking/legal/with 3 stakes/Voter: remove lock after voting/proposal,256113468,686364,13298
+Agora/Proposal/validator/unlocking/legal/with 5 stakes/voter: retract votes while voting/stake,899664220,2072938,10886
+Agora/Proposal/validator/unlocking/legal/with 5 stakes/voter: retract votes while voting/proposal,440934445,1185800,14639
+Agora/Proposal/validator/unlocking/legal/with 5 stakes/voter: retract votes while voting by delegatee/stake,906491115,2090094,10886
+Agora/Proposal/validator/unlocking/legal/with 5 stakes/voter: retract votes while voting by delegatee/proposal,440934445,1185800,14639
+Agora/Proposal/validator/unlocking/legal/with 5 stakes/voter/creator: retract votes while voting/stake,952195495,2225948,10946
+Agora/Proposal/validator/unlocking/legal/with 5 stakes/voter/creator: retract votes while voting/proposal,472611465,1277870,14694
+Agora/Proposal/validator/unlocking/legal/with 5 stakes/creator: remove creator lock after voting/stake,900146593,2079357,10885
+Agora/Proposal/validator/unlocking/legal/with 5 stakes/creator: remove creator lock after voting/proposal,321784981,847604,14639
+Agora/Proposal/validator/unlocking/legal/with 5 stakes/Voter: remove lock after voting/stake,900795198,2075342,10891
+Agora/Proposal/validator/unlocking/legal/with 5 stakes/Voter: remove lock after voting/proposal,326976366,861594,14644
+Agora/Proposal/validator/unlocking/legal/with 7 stakes/voter: retract votes while voting/stake,1237503712,2797962,12231
+Agora/Proposal/validator/unlocking/legal/with 7 stakes/voter: retract votes while voting/proposal,553245875,1480698,15984
+Agora/Proposal/validator/unlocking/legal/with 7 stakes/voter: retract votes while voting by delegatee/stake,1244330607,2815118,12231
+Agora/Proposal/validator/unlocking/legal/with 7 stakes/voter: retract votes while voting by delegatee/proposal,553245875,1480698,15984
+Agora/Proposal/validator/unlocking/legal/with 7 stakes/voter/creator: retract votes while voting/stake,1311047497,3012176,12313
+Agora/Proposal/validator/unlocking/legal/with 7 stakes/voter/creator: retract votes while voting/proposal,597593703,1609596,16061
+Agora/Proposal/validator/unlocking/legal/with 7 stakes/creator: remove creator lock after voting/stake,1237726643,2805987,12228
+Agora/Proposal/validator/unlocking/legal/with 7 stakes/creator: remove creator lock after voting/proposal,390571325,1017238,15982
+Agora/Proposal/validator/unlocking/legal/with 7 stakes/Voter: remove lock after voting/stake,1238634690,2800366,12236
+Agora/Proposal/validator/unlocking/legal/with 7 stakes/Voter: remove lock after voting/proposal,397839264,1036824,15989
+Agora/Proposal/validator/unlocking/legal/with 9 stakes/voter: retract votes while voting/stake,1594989860,3554426,13576
+Agora/Proposal/validator/unlocking/legal/with 9 stakes/voter: retract votes while voting/proposal,665557305,1775596,17329
+Agora/Proposal/validator/unlocking/legal/with 9 stakes/voter: retract votes while voting by delegatee/stake,1601816755,3571582,13576
+Agora/Proposal/validator/unlocking/legal/with 9 stakes/voter: retract votes while voting by delegatee/proposal,665557305,1775596,17329
+Agora/Proposal/validator/unlocking/legal/with 9 stakes/voter/creator: retract votes while voting/stake,1689546155,3829844,13680
+Agora/Proposal/validator/unlocking/legal/with 9 stakes/voter/creator: retract votes while voting/proposal,722575941,1941322,17428
+Agora/Proposal/validator/unlocking/legal/with 9 stakes/creator: remove creator lock after voting/stake,1594953349,3564057,13571
+Agora/Proposal/validator/unlocking/legal/with 9 stakes/creator: remove creator lock after voting/proposal,459357669,1186872,17325
+Agora/Proposal/validator/unlocking/legal/with 9 stakes/Voter: remove lock after voting/stake,1596120838,3556830,13581
+Agora/Proposal/validator/unlocking/legal/with 9 stakes/Voter: remove lock after voting/proposal,468702162,1212054,17334
+Agora/Proposal/validator/unlocking/legal/with 11 stakes/voter: retract votes while voting/stake,1972122664,4342330,14922
+Agora/Proposal/validator/unlocking/legal/with 11 stakes/voter: retract votes while voting/proposal,777868735,2070494,18675
+Agora/Proposal/validator/unlocking/legal/with 11 stakes/voter: retract votes while voting by delegatee/stake,1978949559,4359486,14922
+Agora/Proposal/validator/unlocking/legal/with 11 stakes/voter: retract votes while voting by delegatee/proposal,777868735,2070494,18675
+Agora/Proposal/validator/unlocking/legal/with 11 stakes/voter/creator: retract votes while voting/stake,2087691469,4678952,15049
+Agora/Proposal/validator/unlocking/legal/with 11 stakes/voter/creator: retract votes while voting/proposal,847558179,2273048,18797
+Agora/Proposal/validator/unlocking/legal/with 11 stakes/creator: remove creator lock after voting/stake,1971826711,4353567,14915
+Agora/Proposal/validator/unlocking/legal/with 11 stakes/creator: remove creator lock after voting/proposal,528144013,1356506,18669
+Agora/Proposal/validator/unlocking/legal/with 11 stakes/Voter: remove lock after voting/stake,1973253642,4344734,14927
+Agora/Proposal/validator/unlocking/legal/with 11 stakes/Voter: remove lock after voting/proposal,539565060,1387284,18680
+Agora/Proposal/validator/unlocking/illegal/with 1 stakes/retract votes while not voting/(negative test)/stake,282359715,716008,8195
+Agora/Proposal/validator/unlocking/illegal/with 1 stakes/retract votes while not voting/(negative test)/stake,283490693,718412,8195
+Agora/Proposal/validator/unlocking/illegal/with 1 stakes/retract votes while not voting/(negative test)/stake,284056182,719614,8195
+Agora/Proposal/validator/unlocking/illegal/with 1 stakes/remove creator too early/(negative test)/proposal,182515826,504730,11952
+Agora/Proposal/validator/unlocking/illegal/with 1 stakes/remove creator too early/(negative test)/proposal,190448645,523470,11952
+Agora/Proposal/validator/unlocking/illegal/with 1 stakes/remove creator too early/(negative test)/proposal,183646804,507134,11952
+Agora/Proposal/validator/unlocking/illegal/with 1 stakes/unlock an irrelevant stake/stake,292572741,750336,8217
+Agora/Proposal/validator/unlocking/illegal/with 1 stakes/creator: retract votes/stake,281272558,719639,8199
+Agora/Proposal/validator/unlocking/illegal/with 1 stakes/change output stake value/proposal,216311585,596004,11945
+Agora/Proposal/validator/unlocking/illegal/with 3 stakes/retract votes while not voting/(negative test)/stake,580905895,1378152,9540
+Agora/Proposal/validator/unlocking/illegal/with 3 stakes/retract votes while not voting/(negative test)/stake,582036873,1380556,9540
+Agora/Proposal/validator/unlocking/illegal/with 3 stakes/retract votes while not voting/(negative test)/stake,582602362,1381758,9540
+Agora/Proposal/validator/unlocking/illegal/with 3 stakes/remove creator too early/(negative test)/proposal,251302170,674364,13295
+Agora/Proposal/validator/unlocking/illegal/with 3 stakes/remove creator too early/(negative test)/proposal,259234989,693104,13295
+Agora/Proposal/validator/unlocking/illegal/with 3 stakes/remove creator too early/(negative test)/proposal,252433148,676768,13295
+Agora/Proposal/validator/unlocking/illegal/with 3 stakes/unlock an irrelevant stake/stake,595679003,1455152,9596
+Agora/Proposal/validator/unlocking/illegal/with 3 stakes/creator: retract votes/stake,561778454,1363061,9554
+Agora/Proposal/validator/unlocking/illegal/with 3 stakes/change output stake value/proposal,328623015,890902,13284
+Agora/Proposal/validator/unlocking/illegal/with 5 stakes/retract votes while not voting/(negative test)/stake,899098731,2071736,10886
+Agora/Proposal/validator/unlocking/illegal/with 5 stakes/retract votes while not voting/(negative test)/stake,900229709,2074140,10886
+Agora/Proposal/validator/unlocking/illegal/with 5 stakes/retract votes while not voting/(negative test)/stake,900795198,2075342,10886
+Agora/Proposal/validator/unlocking/illegal/with 5 stakes/remove creator too early/(negative test)/proposal,320088514,843998,14639
+Agora/Proposal/validator/unlocking/illegal/with 5 stakes/remove creator too early/(negative test)/proposal,328021333,862738,14639
+Agora/Proposal/validator/unlocking/illegal/with 5 stakes/remove creator too early/(negative test)/proposal,321219492,846402,14639
+Agora/Proposal/validator/unlocking/illegal/with 5 stakes/unlock an irrelevant stake/stake,898785265,2159968,10976
+Agora/Proposal/validator/unlocking/illegal/with 5 stakes/creator: retract votes/stake,842284350,2006483,10910
+Agora/Proposal/validator/unlocking/illegal/with 5 stakes/change output stake value/proposal,440934445,1185800,14624
+Agora/Proposal/validator/unlocking/illegal/with 7 stakes/retract votes while not voting/(negative test)/stake,1236938223,2796760,12231
+Agora/Proposal/validator/unlocking/illegal/with 7 stakes/retract votes while not voting/(negative test)/stake,1238069201,2799164,12231
+Agora/Proposal/validator/unlocking/illegal/with 7 stakes/retract votes while not voting/(negative test)/stake,1238634690,2800366,12231
+Agora/Proposal/validator/unlocking/illegal/with 7 stakes/remove creator too early/(negative test)/proposal,388874858,1013632,15982
+Agora/Proposal/validator/unlocking/illegal/with 7 stakes/remove creator too early/(negative test)/proposal,396807677,1032372,15982
+Agora/Proposal/validator/unlocking/illegal/with 7 stakes/remove creator too early/(negative test)/proposal,390005836,1016036,15982
+Agora/Proposal/validator/unlocking/illegal/with 7 stakes/unlock an irrelevant stake/stake,1201891527,2864784,12355
+Agora/Proposal/validator/unlocking/illegal/with 7 stakes/creator: retract votes/stake,1122790246,2649905,12265
+Agora/Proposal/validator/unlocking/illegal/with 7 stakes/change output stake value/proposal,553245875,1480698,15963
+Agora/Proposal/validator/unlocking/illegal/with 9 stakes/retract votes while not voting/(negative test)/stake,1594424371,3553224,13576
+Agora/Proposal/validator/unlocking/illegal/with 9 stakes/retract votes while not voting/(negative test)/stake,1595555349,3555628,13576
+Agora/Proposal/validator/unlocking/illegal/with 9 stakes/retract votes while not voting/(negative test)/stake,1596120838,3556830,13576
+Agora/Proposal/validator/unlocking/illegal/with 9 stakes/remove creator too early/(negative test)/proposal,457661202,1183266,17325
+Agora/Proposal/validator/unlocking/illegal/with 9 stakes/remove creator too early/(negative test)/proposal,465594021,1202006,17325
+Agora/Proposal/validator/unlocking/illegal/with 9 stakes/remove creator too early/(negative test)/proposal,458792180,1185670,17325
+Agora/Proposal/validator/unlocking/illegal/with 9 stakes/unlock an irrelevant stake/stake,1504997789,3569600,13735
+Agora/Proposal/validator/unlocking/illegal/with 9 stakes/creator: retract votes/stake,1403296142,3293327,13620
+Agora/Proposal/validator/unlocking/illegal/with 9 stakes/change output stake value/proposal,665557305,1775596,17302
+Agora/Proposal/validator/unlocking/illegal/with 11 stakes/retract votes while not voting/(negative test)/stake,1971557175,4341128,14922
+Agora/Proposal/validator/unlocking/illegal/with 11 stakes/retract votes while not voting/(negative test)/stake,1972688153,4343532,14922
+Agora/Proposal/validator/unlocking/illegal/with 11 stakes/retract votes while not voting/(negative test)/stake,1973253642,4344734,14922
+Agora/Proposal/validator/unlocking/illegal/with 11 stakes/remove creator too early/(negative test)/proposal,526447546,1352900,18669
+Agora/Proposal/validator/unlocking/illegal/with 11 stakes/remove creator too early/(negative test)/proposal,534380365,1371640,18669
+Agora/Proposal/validator/unlocking/illegal/with 11 stakes/remove creator too early/(negative test)/proposal,527578524,1355304,18669
+Agora/Proposal/validator/unlocking/illegal/with 11 stakes/unlock an irrelevant stake/stake,1808104051,4274416,15115
+Agora/Proposal/validator/unlocking/illegal/with 11 stakes/creator: retract votes/stake,1683802038,3936749,14977
+Agora/Proposal/validator/unlocking/illegal/with 11 stakes/change output stake value/proposal,777868735,2070494,18642
 Agora/AuthorityToken/singleAuthorityTokenBurned/Correct simple,26456223,75851,755
 Agora/AuthorityToken/singleAuthorityTokenBurned/Correct many inputs,51581175,146321,855
 Agora/AuthorityToken/singleAuthorityTokenBurned/Correct even though scripts don't match,26456223,75851,754
@@ -480,4 +480,4 @@ Agora/AuthorityToken/singleAuthorityTokenBurned/Correct simple,26456223,75851,75
 Agora/AuthorityToken/singleAuthorityTokenBurned/Correct many inputs,51581175,146321,855
 Agora/AuthorityToken/singleAuthorityTokenBurned/Correct even though scripts don't match,26456223,75851,754
 Agora/Governor/policy/totally legal,63319800,170930,2766
-Agora/Governor/validator/mutate/legal,128878947,357559,11334
+Agora/Governor/validator/mutate/legal,128878947,357559,11339