From f87d6f00a6a60ea3dd5a15decea6224c31fcd491 Mon Sep 17 00:00:00 2001 From: Hongrui Fang Date: Thu, 23 Mar 2023 19:42:01 +0800 Subject: [PATCH 1/5] re-implement the treasury withdrawal effect --- .gitignore | 2 + agora/Agora/Bootstrap.hs | 2 +- agora/Agora/Effect/TreasuryWithdrawal.hs | 164 ++++++++++++++++------- agora/Agora/Utils.hs | 37 ++++- 4 files changed, 150 insertions(+), 55 deletions(-) diff --git a/.gitignore b/.gitignore index a2329d2..375c963 100644 --- a/.gitignore +++ b/.gitignore @@ -25,3 +25,5 @@ TAGS # Haddock files and Hoogle databases haddock hoo + +.pre-commit-config.yaml \ No newline at end of file diff --git a/agora/Agora/Bootstrap.hs b/agora/Agora/Bootstrap.hs index 238ea09..5f15a4f 100644 --- a/agora/Agora/Bootstrap.hs +++ b/agora/Agora/Bootstrap.hs @@ -67,7 +67,7 @@ agoraScripts' conf = , envelope "NoOp Validator" noOpValidator , envelope "Treasury Withdrawal Validator" treasuryWithdrawalValidator , envelope "Mutate Governor Validator" mutateGovernorValidator - , envelope "Always Succeeds Policy" $ ((plam $ \_ _ -> popaque $ pcon PUnit) :: Term s PMintingPolicy) + , envelope "Always Succeeds Policy" ((plam $ \_ _ -> popaque $ pcon PUnit) :: Term s PMintingPolicy) ] where envelope :: diff --git a/agora/Agora/Effect/TreasuryWithdrawal.hs b/agora/Agora/Effect/TreasuryWithdrawal.hs index 69458de..98e0172 100644 --- a/agora/Agora/Effect/TreasuryWithdrawal.hs +++ b/agora/Agora/Effect/TreasuryWithdrawal.hs @@ -8,20 +8,17 @@ Description: An Effect that withdraws treasury deposit An Effect that withdraws treasury deposit -} module Agora.Effect.TreasuryWithdrawal ( - TreasuryWithdrawalDatum (TreasuryWithdrawalDatum), + TreasuryWithdrawalDatum (..), PTreasuryWithdrawalDatum (PTreasuryWithdrawalDatum), treasuryWithdrawalValidator, ) where import Agora.Effect (makeEffect) import Agora.SafeMoney (AuthorityTokenTag) +import Agora.Utils (psubtractSortedValue, puncurryTuple) import Generics.SOP qualified as SOP -import Plutarch.Api.V1 ( - PCredential, - PCurrencySymbol, - PValue, - ptuple, - ) +import Plutarch.Api.V1 (PCredential, PCurrencySymbol, PValue) +import Plutarch.Api.V1.Value (pforgetPositive) import Plutarch.Api.V2 ( AmountGuarantees (Positive), KeyGuarantees (Sorted), @@ -42,11 +39,11 @@ import Plutarch.Extra.IsData ( ) import Plutarch.Extra.ScriptContext (pisPubKey) import Plutarch.Extra.Tagged (PTagged) +import Plutarch.Extra.Traversable (pfoldMap) import Plutarch.Lift (PConstantDecl, PUnsafeLiftDecl (PLifted)) import PlutusLedgerApi.V1.Credential (Credential) import PlutusLedgerApi.V1.Value (Value) import PlutusTx qualified -import "liqwid-plutarch-extra" Plutarch.Extra.List (pdeleteFirst) import "liqwid-plutarch-extra" Plutarch.Extra.TermCont ( pguardC, pletC, @@ -141,9 +138,11 @@ instance PTryFrom PData (PAsData PTreasuryWithdrawalDatum) 2. Left over assets should be redirected back to Treasury - It can be more flexiable over... + The output order should be: - - The number of outputs themselves + 1. Reciever outputs. They should be in the same order as the 'receivers' field of the datum. + + 2. Other outputs: treasury outputs, colleteral outputs, etc. @since 1.0.0 -} @@ -156,54 +155,117 @@ treasuryWithdrawalValidator = plam $ datumF <- pletAllC datum txInfoF <- pletFieldsC @'["outputs", "inputs"] txInfo - let validateInput :: Term _ (PTxInInfo :--> PBool) - validateInput = plam $ \input -> unTermCont $ do - inputF <- pletAllC input + let + -- Validate the input and if it's from one of the treasuries, + -- return the value. + -- + -- Only effect inputs, treasury inputs and public key inputs are + -- allowed. + extractTreasuryInputValue :: + Term _ (PTxInInfo :--> PValue 'Sorted 'Positive) + extractTreasuryInputValue = plam $ \input -> unTermCont $ do + inputF <- pletAllC input + resolvedF <- pletFieldsC @'["address", "value"] inputF.resolved - cred <- - pletC $ - pfield @"credential" - #$ pfield @"address" - # inputF.resolved + cred <- pletC $ pfield @"credential" # resolvedF.address - pure $ - foldl1 - (#||) - [ ptraceIfTrue "Effect input" $ inputF.outRef #== effectInputRef - , ptraceIfTrue "Treasury input" $ pelem # cred # datumF.treasuries - , ptraceIfTrue "Collateral input" $ pisPubKey # pfromData cred - ] + let isEffectInput = + ptraceIfTrue "Effect input" $ + inputF.outRef #== effectInputRef + isTreasuryInput = + ptraceIfTrue "Treasury input" $ + pelem # pdata cred # datumF.treasuries + isPubkeyInput = + ptraceIfTrue "Pubkey input" $ + pisPubKey # cred + pure + $ pif + (isEffectInput #|| isPubkeyInput) + mempty + $ pif isTreasuryInput resolvedF.value + $ ptraceError "Unknown input" - validateOutput :: - Term - _ - ( PBuiltinList (PAsData (PTuple PCredential (PValue 'Sorted 'Positive))) - :--> PTxOut - :--> PBuiltinList (PAsData (PTuple PCredential (PValue 'Sorted 'Positive))) - ) - validateOutput = plam $ \receivers output -> unTermCont $ do - outputF <- pletFieldsC @'["address", "value"] output - cred <- pletC $ pfield @"credential" # pfromData outputF.address + treasuryInputAmount = + pfoldMap + # extractTreasuryInputValue + # txInfoF.inputs - let credValue = pdata $ ptuple # cred # outputF.value + sentAmout = + pfoldMap + # plam ((puncurryTuple # plam (const id) #) . pfromData) + # pfromData datumF.receivers - shouldSendToTreasury = - pif - (pelem # cred # datumF.treasuries) - receivers - (ptraceError "Invalid receiver") + treasuryLeftOverAmount = + psubtractSortedValue + # treasuryInputAmount + # sentAmout - pure $ - pmatch (pdeleteFirst # credValue # receivers) $ \case - PJust updatedReceivers -> - ptrace "Receiver output" updatedReceivers - PNothing -> - ptrace "Treasury output" shouldSendToTreasury + remainingOutputs = + ptrace "Check receiver outputs" $ + checkReceiverOutputs + # datumF.receivers + # txInfoF.outputs - pguardC "All input are valid" $ - pall # validateInput # txInfoF.inputs + extractTeasuryOutputValue :: + Term _ (PTxOut :--> PValue 'Sorted 'Positive) + extractTeasuryOutputValue = plam $ + flip (pletFields @'["address", "value"]) $ \outputF -> + let cred = pfield @"credential" # outputF.address - pguardC "All receiver get correct output" $ - pnull #$ pfoldl # validateOutput # datumF.receivers # txInfoF.outputs + isTreasuryOutput = + pelem # cred # datumF.treasuries + in pif + isTreasuryOutput + outputF.value + mempty + + -- Return the value if it'll be sent to one of the treasuries. + treasuryOutputAmount = + pfoldMap + # extractTeasuryOutputValue + # remainingOutputs + + pguardC "Unused treasury should stay at treasury validators" $ + treasuryLeftOverAmount #== pforgetPositive treasuryOutputAmount pure . popaque $ pconstant () + where + -- Make sure that all the receivers get the correct payment and return the + -- remaining outputs. + checkReceiverOutputs :: + forall (s :: S). + Term + s + ( PBuiltinList + (PAsData (PTuple PCredential (PValue 'Sorted 'Positive))) + :--> PBuiltinList PTxOut + :--> PBuiltinList PTxOut + ) + checkReceiverOutputs = pfix #$ plam $ \self receivers outputs -> + pelimList + ( \r rs -> + pelimList + ( \o os -> pletFields @'["value", "address"] o $ \oF -> + let isValidReceiverOutput = + puncurryTuple + # plam + ( \expCred expVal -> + foldl1 + (#&&) + [ ptraceIfFalse "Valid credential" $ + expCred #== pfield @"credential" # oF.address + , ptraceIfFalse "Valid value" $ + expVal #== oF.value + ] + ) + # pfromData r + in pif + isValidReceiverOutput + (self # rs # os) + (ptraceError "Invalid receiver output") + ) + (ptraceError "Unable to exhaust receivers") + outputs + ) + outputs + receivers diff --git a/agora/Agora/Utils.hs b/agora/Agora/Utils.hs index 17e70f7..b69231f 100644 --- a/agora/Agora/Utils.hs +++ b/agora/Agora/Utils.hs @@ -18,22 +18,29 @@ module Agora.Utils ( ptag, puntag, phashDatum, + puncurryTuple, + psubtractSortedValue, ) where +import Plutarch.Api.V1 (KeyGuarantees (Sorted)) +import Plutarch.Api.V1.AssocMap (punionWith) import Plutarch.Api.V1.Scripts (PDatumHash (PDatumHash)) import Plutarch.Api.V2 ( - AmountGuarantees, - KeyGuarantees, + AmountGuarantees (NoGuarantees), PCurrencySymbol, PMaybeData (PDNothing), + PTuple, PValue, ) import Plutarch.Builtin (pforgetData, pserialiseData) import Plutarch.Crypto (pblake2b_256) +import Plutarch.DataRepr (punDataSum) import Plutarch.Extra.AssetClass (PAssetClass, PAssetClassData, ptoScottEncoding) +import Plutarch.Extra.Field (pletAll) import Plutarch.Extra.Tagged (PTagged) import Plutarch.Extra.Value (psymbolValueOf) -import Plutarch.Unsafe (punsafeDowncast) +import Plutarch.Num ((#-)) +import Plutarch.Unsafe (punsafeCoerce, punsafeDowncast) import PlutusLedgerApi.V2 ( Address (Address), Credential (ScriptCredential), @@ -139,3 +146,27 @@ phashDatum = . (pserialiseData #) . pforgetData . pdata + +puncurryTuple :: + forall (c :: PType) (a :: PType) (b :: PType) (s :: S). + (PIsData a, PIsData b) => + Term s ((a :--> b :--> c) :--> PTuple a b :--> c) +puncurryTuple = phoistAcyclic $ + plam $ + \f ((punDataSum #) -> r) -> + pletAll r $ \rF -> f # rF._0 # rF._1 + +psubtractSortedValue :: + forall (ag :: AmountGuarantees) (s :: S). + Term + s + ( PValue 'Sorted ag + :--> PValue 'Sorted ag + :--> PValue 'Sorted 'NoGuarantees + ) +psubtractSortedValue = phoistAcyclic $ plam $ \a b -> + punsafeCoerce $ + punionWith + # (punionWith # plam (#-)) + # pto a + # pto b From fb989f7051ec1e814c25f616c99165e2aa4d2f22 Mon Sep 17 00:00:00 2001 From: Hongrui Fang Date: Fri, 24 Mar 2023 18:40:31 +0800 Subject: [PATCH 2/5] fix golden tests --- .gitignore | 5 +++- agora-test/Golden.hs | 28 +++++++++++++++-------- agora-test/goldens/agora-golden.json | 4 ++-- agora-test/goldens/agoraDebug-golden.json | 4 ++-- 4 files changed, 26 insertions(+), 15 deletions(-) diff --git a/.gitignore b/.gitignore index 375c963..6a0bec5 100644 --- a/.gitignore +++ b/.gitignore @@ -26,4 +26,7 @@ TAGS haddock hoo -.pre-commit-config.yaml \ No newline at end of file +.pre-commit-config.yaml + +agora-test/goldens/agora.json +agora-test/goldens/agoraDebug.json \ No newline at end of file diff --git a/agora-test/Golden.hs b/agora-test/Golden.hs index 2299ace..64c2763 100644 --- a/agora-test/Golden.hs +++ b/agora-test/Golden.hs @@ -2,7 +2,6 @@ module Golden (testGolden) where import Agora.Bootstrap qualified as Bootstrap import Agora.Linker (linker) -import Data.ByteString.Lazy qualified as LBS import Data.Text qualified as Text import Plutarch (Config (Config), TracingMode (DoTracing, NoTracing)) import ScriptExport.File qualified as ScriptExport @@ -10,7 +9,7 @@ import ScriptExport.Options qualified as ScriptExport import ScriptExport.Types qualified as ScriptExport import System.Directory (createDirectoryIfMissing) import Test.Tasty (TestTree, testGroup) -import Test.Tasty.Golden (goldenVsString) +import Test.Tasty.Golden (goldenVsFile) import Test.Tasty.Providers (TestName) builders :: ScriptExport.Builders @@ -30,15 +29,24 @@ testGolden = goldenTest :: TestName -> FilePath -> TestTree goldenTest builder outputPath = - goldenVsString - builder - (outputPath <> builder <> "-golden.json") - (callExportScript builder outputPath) + let mkFilename suffix = outputPath <> builder <> suffix <> ".json" + goldenFilename = mkFilename "-golden" + sampleFilename = mkFilename "" + in goldenVsFile + builder + goldenFilename + sampleFilename + $ callExportScript builder outputPath -- Call the script server and generate an unapplied script set. -callExportScript :: String -> FilePath -> IO LBS.ByteString +callExportScript :: String -> FilePath -> IO () callExportScript builder outputPath = do _ <- createDirectoryIfMissing False outputPath - let sampleFilePath = outputPath <> builder <> ".json" - ScriptExport.runFile builders (ScriptExport.FileOptions {out = outputPath, param = "", builder = Text.pack builder}) - LBS.readFile sampleFilePath + ScriptExport.runFile + builders + ( ScriptExport.FileOptions + { out = outputPath + , param = "" + , builder = Text.pack builder + } + ) diff --git a/agora-test/goldens/agora-golden.json b/agora-test/goldens/agora-golden.json index 1090c7e..aaea853 100644 --- a/agora-test/goldens/agora-golden.json +++ b/agora-test/goldens/agora-golden.json @@ -112,12 +112,12 @@ "version": "ScriptV2" }, "agora:treasuryWithdrawalValidator": { - "cborHex": "59058259057f010000323232323232323232323232323232323232323232323232323222223232323232323232323232323253330253370e9001001099192999813a9980f19b873301400f375660566460546054605400260520026466e052000001480084cdc3999119981311119a9998168008912800899111801001991911980080180118178011818000918009119993802200130050023300600500113248001262300300100123253330293233333301902d03037520246eacc0b8c0b00048c8c8c94ccc0b8cdc3a40000042940528981980118178009baa302f3030302f00214a2605c00226602c0226eacc0b4c0acc0b800458c8c0b4c0ac004c0b4004dd61815800a400426464a6660526603e46464a6604aa6604a664466ebcdd398198011ba73033001303000200713301f00137586060605c00a2646464a66605e66e1d200200214a02944c0d0008c0c0004dd5000991818181880099181818188009817981680098178009bac302d00115333029357466664604e444a66605c0022004266006660080046062002605e0024464646666464605844a666064002244a0022a6660626006606a002264446004006606600226644660024644460040066006002244a0026060606a00260046066002466ebc004008c8cdd2a40006605a0046605a0020466062605e00400840022a66605a660400026eb0c0c4c0bc018401058c8c0c4c0c8004c0c0004c0c0004dd618168011bac302d302b302b00114985858c0b4c0b003cdd60090b1815981500698148008b181500118130009baa302630240095333022001149858c08800ccc04c8c8c8c8c80154ccc08ccdc3a400000426464a66604a66e1cdc6800a4070264649329998138008a4c2c604e0062c6eb8004c09c00454ccc08ccdc3a400400426464a66604a66e1cdc6800a4070264649329998138008a4c2c604e0062c6eb8004c09c00458c0a0008c090004dd50009bac0013022001301f0033301023232323200553330203370e900000109919191919191919191919191924ca66605a0022930b1816803192999815999119811918019bab3034001001233223302423003375a606a002002466e212000001001001100116375600860486eac00ccc0908cdd819192999815a9981219b87001480004cdc3800a40702605c0062c6e34004dd71816000991919181900218131bab30310033302623376064a66605866e24dc6800a40802605e0042c6eb8c0b8004c8c0c8008dd698188008009bab302f00100137560026054002604e00ca66604866e1d20000021323253330263370e6e340052038132324994ccc0a000452616302800316375c00260500022a66604866e1d20020021323253330263370e6e340052038132324994ccc0a000452616302800316375c00260500022c6052004604a0026ea8004c09000458c094008c084004dd50009bac001301f001375800a603c0046eb801000488cccccc00c05c068dd480100091998039119b80375a603a00400290001bab0011480008888cccc014cc0180100080048c888c00800cc01000448940048c038894ccc05000448940044ccc00cc05c004888c00800c4c008c0540048894ccc048cdd78011801800891180100189128009118069129998098008801899802180b0009801180a000918059129998088008a50153330103375e602800200629444c008c0480048c028894ccc04000440104cc038c00cc04c004c008c0440052f5c04601044a66601c002294454cc010c00cc0440044c008c03c00488ccc02c00800400c5281198040008010a512333003225333009001120041322533300a300100216133004300c0032337200020066eb8c02cc0300040049281180111299980400088028998031801980580098011804800919180111980100100091801119801001000a5eb7bdb1815d02b9a5573eae8955ceaba1230023754002aae79", + "cborHex": "590718590715010000323232323232323232323232323232323232323232323232323232323232323232323232323232323222223232323232323232323232323253330343370e900100109919299981b29981699b873301400f375660746460726072607200260700026466e052000001480084cdc3999119981a91119981080091800911999380220013005002330060050011324800126302700200123253330383233333301903c03f37520246eacc0f4c0ec0048c8c8c94ccc0f4cdc3a400000429405289821001181f0009baa303e303f303e00214a2607a00226602c0226eacc0f0c0e8c0f400458c8c0f0c0e8004c0f0004dd6181d000a400426464a66607066058605a466e1c005200033302070266446660466048e04008004cc0708c8c8c94ccc0f14cc0d4cc88cdd79ba73043002374e608600260800060102646464a66607e66e1d200200214a02944c110008c100004dd5000881d0a99981e198160009bac3040303e006137566080607c0042c6460806082002607e002607e607c6078002607c0026eb0c0f0004cc0708cc0a888004004dd6181e0011980e119299981d1981519181f9820000981f0009bac303e303c00413756607c60780022070607c00266606a444a66607800420022a6660780022c264a6660786605a44a6606a64646464a66608466e1d2002002132323253330453370e90000010a5013375e6e9c010dd3800982500118230009baa004132323253330453370e90010010a5013375e6e9c010dd3800982500118230009baa0043047002304300137540066460866088002608400626466ebcdd30011ba60013756608460800066080006266008607c006607c0042c6080607e0026eb0c0f0008dd6181e181d181d0008a4c2c6078607601e6eb004858c0e8c0e4034c0e000458c0e4008c0d4004dd5181a9819804a9998188008a4c2c60620066604046464646400aa66606466e1d20000021323253330343370e6e340052038132324994ccc0d800452616303600316375c002606c0022a66606466e1d20020021323253330343370e6e340052038132324994ccc0d800452616303600316375c002606c0022c606e00460660026ea8004dd6000981880098170019980e919191919002a99981799b87480000084c8c8c8c8c8c8c8c8c8c8c8c8c926533303c001149858c0f0018c94ccc0e8cc0b88cc0c08cdc42400000200200220022c6eac010c0ccdd580199819919bb03232533303a5330333370e0029000099b87001480e04c0f400c58dc68009bae303b00132323230410043035375660800066606a466ec0c94ccc0eccdc49b8d001481004c0f800858dd7181e8009918208011bad30400010013756607c0020026eac004c0e4004c0d80194ccc0cccdc3a400000426464a66606a66e1cdc6800a40702646493299981b8008a4c2c606e0062c6eb8004c0dc00454ccc0cccdc3a400400426464a66606a66e1cdc6800a40702646493299981b8008a4c2c606e0062c6eb8004c0dc00458c0e0008c0d0004dd500098198008b181a00118180009baa0013758002605c0026eb0014c0b4008dd7002000911999998018130149ba9002001233300722337006eb4c0b000800520003756002290001111199980299803002001000919111801001980200089128009180e9129998118008912800899980198130009111801001898011812000911299981099baf00230030011223002003122500122301c22533302200110031330043025001300230230012233003300d00200130182223330040012300122333008220013005002330060050011300c49894ccc07000448940044c888c00800cc8c88cc00400c008c078008c07c004888ccc011c00010009111998021119980380280100080100091801911ba63300337560046eac0048c00888dd4198019bad002375a002444666600800644004004002460246004002446464466002006004444a6660340022660300060042646464a66603866ebc0080044cc06ccdd8001198049811003181100199980411001002980f0020a99980e19b90375c0046eb80044cc06c018cccc0208800400cc0780100144cc06c00ccccc02088004018014c078010c078008c074010c074004894ccc06000840044cccc00c88004c06c008c064008004804488c0080048c038894ccc0500045280a99980999baf301700100314a226004602a002446466006602c0026eacc058c050004c0580048c030894ccc04800440104cc040c00cc054004c008c04c0052f5c04466008460066eacc05400400488cc00c8c00cdd6980a000800918041129998070008a5115330043003301100113002300f0012233300b00200100314a046601000200429448ccc00c894ccc024004480104c894ccc028c004008584cc010c03000c8cdc80008019bae300b300c00100124a04600444a666010002200a26600c600660160026004601200246460044660040040024600446600400400297adef6c605740ae6955cfaba25573aae848c008dd5000aab9e1", "description": "agora:treasuryWithdrawalValidator", "params": [ "Ply.Core.Types:AsData#Data.Tagged:Tagged#GHC.TypeLits:\"AuthorityTokenTag\"#PlutusLedgerApi.V1.Value:CurrencySymbol" ], - "rawHex": "59057f010000323232323232323232323232323232323232323232323232323222223232323232323232323232323253330253370e9001001099192999813a9980f19b873301400f375660566460546054605400260520026466e052000001480084cdc3999119981311119a9998168008912800899111801001991911980080180118178011818000918009119993802200130050023300600500113248001262300300100123253330293233333301902d03037520246eacc0b8c0b00048c8c8c94ccc0b8cdc3a40000042940528981980118178009baa302f3030302f00214a2605c00226602c0226eacc0b4c0acc0b800458c8c0b4c0ac004c0b4004dd61815800a400426464a6660526603e46464a6604aa6604a664466ebcdd398198011ba73033001303000200713301f00137586060605c00a2646464a66605e66e1d200200214a02944c0d0008c0c0004dd5000991818181880099181818188009817981680098178009bac302d00115333029357466664604e444a66605c0022004266006660080046062002605e0024464646666464605844a666064002244a0022a6660626006606a002264446004006606600226644660024644460040066006002244a0026060606a00260046066002466ebc004008c8cdd2a40006605a0046605a0020466062605e00400840022a66605a660400026eb0c0c4c0bc018401058c8c0c4c0c8004c0c0004c0c0004dd618168011bac302d302b302b00114985858c0b4c0b003cdd60090b1815981500698148008b181500118130009baa302630240095333022001149858c08800ccc04c8c8c8c8c80154ccc08ccdc3a400000426464a66604a66e1cdc6800a4070264649329998138008a4c2c604e0062c6eb8004c09c00454ccc08ccdc3a400400426464a66604a66e1cdc6800a4070264649329998138008a4c2c604e0062c6eb8004c09c00458c0a0008c090004dd50009bac0013022001301f0033301023232323200553330203370e900000109919191919191919191919191924ca66605a0022930b1816803192999815999119811918019bab3034001001233223302423003375a606a002002466e212000001001001100116375600860486eac00ccc0908cdd819192999815a9981219b87001480004cdc3800a40702605c0062c6e34004dd71816000991919181900218131bab30310033302623376064a66605866e24dc6800a40802605e0042c6eb8c0b8004c8c0c8008dd698188008009bab302f00100137560026054002604e00ca66604866e1d20000021323253330263370e6e340052038132324994ccc0a000452616302800316375c00260500022a66604866e1d20020021323253330263370e6e340052038132324994ccc0a000452616302800316375c00260500022c6052004604a0026ea8004c09000458c094008c084004dd50009bac001301f001375800a603c0046eb801000488cccccc00c05c068dd480100091998039119b80375a603a00400290001bab0011480008888cccc014cc0180100080048c888c00800cc01000448940048c038894ccc05000448940044ccc00cc05c004888c00800c4c008c0540048894ccc048cdd78011801800891180100189128009118069129998098008801899802180b0009801180a000918059129998088008a50153330103375e602800200629444c008c0480048c028894ccc04000440104cc038c00cc04c004c008c0440052f5c04601044a66601c002294454cc010c00cc0440044c008c03c00488ccc02c00800400c5281198040008010a512333003225333009001120041322533300a300100216133004300c0032337200020066eb8c02cc0300040049281180111299980400088028998031801980580098011804800919180111980100100091801119801001000a5eb7bdb1815d02b9a5573eae8955ceaba1230023754002aae79", + "rawHex": "590715010000323232323232323232323232323232323232323232323232323232323232323232323232323232323222223232323232323232323232323253330343370e900100109919299981b29981699b873301400f375660746460726072607200260700026466e052000001480084cdc3999119981a91119981080091800911999380220013005002330060050011324800126302700200123253330383233333301903c03f37520246eacc0f4c0ec0048c8c8c94ccc0f4cdc3a400000429405289821001181f0009baa303e303f303e00214a2607a00226602c0226eacc0f0c0e8c0f400458c8c0f0c0e8004c0f0004dd6181d000a400426464a66607066058605a466e1c005200033302070266446660466048e04008004cc0708c8c8c94ccc0f14cc0d4cc88cdd79ba73043002374e608600260800060102646464a66607e66e1d200200214a02944c110008c100004dd5000881d0a99981e198160009bac3040303e006137566080607c0042c6460806082002607e002607e607c6078002607c0026eb0c0f0004cc0708cc0a888004004dd6181e0011980e119299981d1981519181f9820000981f0009bac303e303c00413756607c60780022070607c00266606a444a66607800420022a6660780022c264a6660786605a44a6606a64646464a66608466e1d2002002132323253330453370e90000010a5013375e6e9c010dd3800982500118230009baa004132323253330453370e90010010a5013375e6e9c010dd3800982500118230009baa0043047002304300137540066460866088002608400626466ebcdd30011ba60013756608460800066080006266008607c006607c0042c6080607e0026eb0c0f0008dd6181e181d181d0008a4c2c6078607601e6eb004858c0e8c0e4034c0e000458c0e4008c0d4004dd5181a9819804a9998188008a4c2c60620066604046464646400aa66606466e1d20000021323253330343370e6e340052038132324994ccc0d800452616303600316375c002606c0022a66606466e1d20020021323253330343370e6e340052038132324994ccc0d800452616303600316375c002606c0022c606e00460660026ea8004dd6000981880098170019980e919191919002a99981799b87480000084c8c8c8c8c8c8c8c8c8c8c8c8c926533303c001149858c0f0018c94ccc0e8cc0b88cc0c08cdc42400000200200220022c6eac010c0ccdd580199819919bb03232533303a5330333370e0029000099b87001480e04c0f400c58dc68009bae303b00132323230410043035375660800066606a466ec0c94ccc0eccdc49b8d001481004c0f800858dd7181e8009918208011bad30400010013756607c0020026eac004c0e4004c0d80194ccc0cccdc3a400000426464a66606a66e1cdc6800a40702646493299981b8008a4c2c606e0062c6eb8004c0dc00454ccc0cccdc3a400400426464a66606a66e1cdc6800a40702646493299981b8008a4c2c606e0062c6eb8004c0dc00458c0e0008c0d0004dd500098198008b181a00118180009baa0013758002605c0026eb0014c0b4008dd7002000911999998018130149ba9002001233300722337006eb4c0b000800520003756002290001111199980299803002001000919111801001980200089128009180e9129998118008912800899980198130009111801001898011812000911299981099baf00230030011223002003122500122301c22533302200110031330043025001300230230012233003300d00200130182223330040012300122333008220013005002330060050011300c49894ccc07000448940044c888c00800cc8c88cc00400c008c078008c07c004888ccc011c00010009111998021119980380280100080100091801911ba63300337560046eac0048c00888dd4198019bad002375a002444666600800644004004002460246004002446464466002006004444a6660340022660300060042646464a66603866ebc0080044cc06ccdd8001198049811003181100199980411001002980f0020a99980e19b90375c0046eb80044cc06c018cccc0208800400cc0780100144cc06c00ccccc02088004018014c078010c078008c074010c074004894ccc06000840044cccc00c88004c06c008c064008004804488c0080048c038894ccc0500045280a99980999baf301700100314a226004602a002446466006602c0026eacc058c050004c0580048c030894ccc04800440104cc040c00cc054004c008c04c0052f5c04466008460066eacc05400400488cc00c8c00cdd6980a000800918041129998070008a5115330043003301100113002300f0012233300b00200100314a046601000200429448ccc00c894ccc024004480104c894ccc028c004008584cc010c03000c8cdc80008019bae300b300c00100124a04600444a666010002200a26600c600660160026004601200246460044660040040024600446600400400297adef6c605740ae6955cfaba25573aae848c008dd5000aab9e1", "role": "ValidatorRole", "version": "ScriptV2" } diff --git a/agora-test/goldens/agoraDebug-golden.json b/agora-test/goldens/agoraDebug-golden.json index 7afc7d6..01983ab 100644 --- a/agora-test/goldens/agoraDebug-golden.json +++ b/agora-test/goldens/agoraDebug-golden.json @@ -112,12 +112,12 @@ "version": "ScriptV2" }, "agora:treasuryWithdrawalValidator": { - "cborHex": "5909a45909a1010000323232323232323232323232323232323232323232323232323232323232323222223232323232323232323232323253330273370e9001001099192999814a9980f1929998150008800899817a493373696e676c65417574686f72697479546f6b656e4275726e65643a204d757374206275726e2065786163746c79203120474154000013370e6602801e6eacc0c4c8c0b4c0b4c0b4004c0b0004c8cdc0a4000002900109929998150008800899817a49254f6e6c79206f6e6520474154206d7573742065786973742061742074686520696e70757473000013370e664466604e44466a66605e002244a00226444600400664644660020060046064004606c00246002446664e0088004c014008cc0180140044c920004988c00c0040048c94ccc0acc8cccccc0640cc0d8dd48091bab3034302f001232323253330303370e90000010992999818800880089981b24937617574686f72697479546f6b656e7356616c6964496e3a2047415420696e636f72726563746c79206c69766573206174205075624b6579000014a02944c0e4008c0d4004dd5181a981b181a8010a51303400113301601137566066605c60680022a660609201355768696c6520636f756e74696e67204741547320617420696e707574733a20616c6c2047415473206d7573742062652076616c69640016323033302e00130330013758606200290010991929998159980f91919299812a9981299299981780089981a2490c45666665637420696e70757400001100133223375e6e9cc0e4008dd3981c800981b001003899299981780089981a24810e547265617375727920696e7075740000110013301f0013758606c606200a264a66605e00226606892110436f6c6c61746572616c20696e70757400001100132323253330313370e90010010a5014a26074004606c0026ea8004c8c0d8c0dc004c8c0d8c0dc004c0d4c0c0004c0d4004dd618198008a9998159aba3333230282225333030001100213300333004002303700130320012232323333232302d2253330340011225001153330333003303b00113222300200330360011332233001232223002003300300112250013031303b0013002303600123375e0020046466e9520003302e0023302e00102330373032002004253303549010f5265636569766572206f757470757400100115330344910f5472656173757279206f7574707574001533302f330200013758606e606400c20082a66068920110496e76616c69642072656365697665720016323037303800130360013036001375860660046eb0c0ccc0b8c0b800452615330304911f416c6c2072656365697665722067657420636f7272656374206f75747075740016153303049113416c6c20696e707574206172652076616c696400163033303200f37580242a6605c92128412073696e676c6520617574686f7269747920746f6b656e20686173206265656e206275726e656400163031303000d302f001153302c491445061747465726e206d61746368206661696c75726520696e2027646f2720626c6f636b2061742061676f72612f41676f72612f4566666563742e68733a36333a352d323200163030002302c00137546058604e012a6660480022930a998140128b181280199809919191919002a99981299b87480000084c8c94ccc09ccdc39b8d001480e04c8c9265333029001149854cc0b40a858c0a800c54cc0b009858dd700098168008a99981299b87480080084c8c94ccc09ccdc39b8d001480e04c8c9265333029001149854cc0b40a858c0a800c54cc0b00ac58dd700098168008a998150158b181700118150009baa0013758002605000260440066602046464646400aa66604466e1d20000021323232323232323232323232324994ccc0bc004526153303303016303000632533302d33223302323003375660740020024664466048460066eb4c0ec0040048cdc42400000200200220022a66064921184e6567617469766520616d6f756e7420696e2056616c75650016375600860486eac00ccc0948cdd819192999816a9981219b87001480004cdc3800a4070260680062a660649201387074727946726f6d2843757272656e637953796d626f6c293a206d757374206265203238206279746573206c6f6e67206f7220656d7074790016371a0026eb8c0c8004c8c8c8c0e0010c098dd5981b80199813919bb032533302e337126e3400520401303500215330334901327074727946726f6d28546f6b656e4e616d65293a206d757374206265206174206d6f7374203332204279746573206c6f6e670016375c60680026460700046eb4c0dc004004dd5981a8008009bab0013030001302a00653330263370e900000109919299981419b87371a002901c0991924ca6660540022930a998170158b18158018a998168138b1bae001302e001153330263370e900100109919299981419b87371a002901c0991924ca6660540022930a998170158b18158018a998168160b1bae001302e001153302b02c16302f002302b001375400260540022a6604e0502c6056004604e0026ea8004dd600098128009bac0053024002375c0080024466666600603a0406ea40080048ccc01c88cdc01bad302300200148000dd58008a40004444666600a6600c0080040024644460040066008002244a0024601e44a66602c002244a0022666006603a0024446004006260046030002444a66602866ebc008c00c004488c00800c489400488c038894ccc054004400c4cc010c070004c008c05c0048c030894ccc04c0045280a99980919baf301a00100314a226004602a0024601644a666024002200826601e600660320026004602800297ae02300922533301000114a22a660086006602e0022600460240024466601a00400200629408cc0280040085289199802112999805800890020991299980618008010a998088030b0998021807801919b90001003375c60226024002002494124010c756e736f72746564206d617000230022253330090011005133006300330100013002300b0012323002233002002001230022330020020014bd6f7b6302ba04912c7074727946726f6d28505075624b657948617368293a206d757374206265203238206279746573206c6f6e67005734aae7d241317074727946726f6d2850446174615265636f72645b5d293a206c697374206973206c6f6e676572207468616e207a65726f00574492012c7074727946726f6d285053637269707448617368293a206d757374206265203238206279746573206c6f6e6700573892013f7265616368656420656e64206f662073756d207768696c65207374696c6c206e6f7420686176696e6720666f756e642074686520636f6e7374727563746f72005573aae848c008dd5000aab9e1", + "cborHex": "590b99590b96010000323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323222223232323232323232323232323253330363370e900100109919299981c29981699299981c800880089981f2493373696e676c65417574686f72697479546f6b656e4275726e65643a204d757374206275726e2065786163746c79203120474154000013370e6602801e6eacc100c8c0f0c0f0c0f0004c0ec004c8cdc0a40000029001099299981c800880089981f249254f6e6c79206f6e6520474154206d7573742065786973742061742074686520696e70757473000013370e664466606c44466604200246002446664e0088004c014008cc0180140044c92000498c09c0080048c94ccc0e8c8cccccc064108114dd48091bab3043303e0012323232533303f3370e900000109929998200008800899822a48137617574686f72697479546f6b656e7356616c6964496e3a2047415420696e636f72726563746c79206c69766573206174205075624b6579000014a02944c120008c110004dd51822182298220010a51304300113301601137566084607a60860022a6607e9201355768696c6520636f756e74696e67204741547320617420696e707574733a20616c6c2047415473206d7573742062652076616c69640016323042303d001304200137586080002900109919299981d198161816919b8700148000ccc081c0999119981198123810020013301c2323232533303e53303532533303f00113304449010c45666665637420696e70757400001100133223375e6e9cc124008dd398248009823001804099299981f80089982224810c5075626b657920696e70757400001100132323253330413370e90010010a5014a26094004608c0026ea800440ec54ccc0f8c94ccc0fc0044cc1112410e547265617375727920696e7075740000110013302c0013758608c608200c26eacc118c10400854cc10d2410d556e6b6e6f776e20696e70757400163230463047001304500130453044303f00130440013758608400266038466054440020026eb0c108008cc0708c94ccc0f0cc0a8c8c114c118004c110004dd61822181f80209bab3044303f0011039304400153303f490116436865636b207265636569766572206f757470757473001333036222533303e00210011533303e001153304249011b556e61626c6520746f2065786861757374207265636569766572730016132533303e3302d2253303532533304100110011330464911056616c69642063726564656e7469616c000013232323253330443370e90010010991919299982399b8748000008528099baf374e0086e9c004c140008c130004dd50020991919299982399b8748008008528099baf374e0086e9c004c140008c130004dd5002182680118248009baa003323049304a00130480031325333041001100113304649010b56616c69642076616c756500001323375e6e98008dd30009bab304830430033046003133004304100330410021533043490117496e76616c6964207265636569766572206f7574707574001630463045001375860840046eb0c108c0f4c0f4004526153303f49132556e757365642074726561737572792073686f756c6420737461792061742074726561737572792076616c696461746f727300163042304100f37580242a6607a92128412073696e676c6520617574686f7269747920746f6b656e20686173206265656e206275726e656400163040303f00d303e001153303b491445061747465726e206d61746368206661696c75726520696e2027646f2720626c6f636b2061742061676f72612f41676f72612f4566666563742e68733a36333a352d32320016303f002303b00137546076606c012a6660660022930a9981b81a0b181a00199810119191919002a99981a19b87480000084c8c94ccc0d8cdc39b8d001480e04c8c9265333038001149854cc0f00e458c0e400c54cc0ec0d458dd7000981e0008a99981a19b87480080084c8c94ccc0d8cdc39b8d001480e04c8c9265333038001149854cc0f00e458c0e400c54cc0ec0e858dd7000981e0008a9981c81d0b181e801181c8009baa0013758002606e00260620066603a46464646400aa66606266e1d20000021323232323232323232323232324994ccc0f8004526153304203f16303f00632533303c3302e233030233710900000080080088008a99820a49184e6567617469766520616d6f756e7420696e2056616c75650016375600860666eac00ccc0d08cdd81919299981e29981999b87001480004cdc3800a4070260860062a660829201387074727946726f6d2843757272656e637953796d626f6c293a206d757374206265203238206279746573206c6f6e67206f7220656d7074790016371a0026eb8c104004c8c8c8c11c010c0d4dd598230019981b119bb032533303d337126e3400520401304400215330424901327074727946726f6d28546f6b656e4e616d65293a206d757374206265206174206d6f7374203332204279746573206c6f6e670016375c608600264608e0046eb4c118004004dd598220008009bab001303f001303900653330353370e900000109919299981b99b87371a002901c0991924ca6660720022930a9981e81d0b181d0018a9981e01b0b1bae001303d001153330353370e900100109919299981b99b87371a002901c0991924ca6660720022930a9981e81d0b181d0018a9981e01d8b1bae001303d001153303a03b16303e002303a001375400260720022a6606c06e2c6074004606c0026ea8004dd6000981a0009bac0053033002375c0080024466666600605805e6ea40080048ccc01c88cdc01bad303200200148000dd58008a40004444666600a6600c0080040024644460040066008002244a0024603c44a66604a002244a00226660066058002444600400626004604e002444a66604666ebc008c00c004488c00800c489400488c074894ccc090004400c4cc010c0ac004c008c09800488cc00cc034008004c064888ccc0100048c00488ccc02088004c014008cc0180140044c031262533301e00112250011322230020033232233001003002302100230250012223330047000040024446660084466600e00a00400200400246006446e98cc00cdd58011bab00123002223750660066eb4008dd6800911199980200191001001000918099801000911919119800801801111299980e00089980c8018010991919299980f19baf00200113301c3376000466012605000c60500066660104400400a60420082a66603c66e40dd70011bae00113301c006333300822001003302100400513301c003333300822001006005302100430240023023004302300122533301a002100113333003220013021002301c00200120122230020012300f22533301600114a02a66602a66ebcc07400400c52889801180c000911919801980e0009bab301c3017001301c0012300d22533301400110041330113003301b001300230160014bd701119802118019bab301b001001223300323003375a60340020024601244a666020002294454cc010c00cc05c0044c008c04800488ccc03400800400c5281198050008010a51233300422533300b001120041322533300c3001002153301100616133004300f0032337200020066eb8c044c0480040049282490c756e736f72746564206d617000230022253330090011005133006300330100013002300b0012323002233002002001230022330020020014bd6f7b6302ba04912c7074727946726f6d28505075624b657948617368293a206d757374206265203238206279746573206c6f6e67005734aae7d241317074727946726f6d2850446174615265636f72645b5d293a206c697374206973206c6f6e676572207468616e207a65726f00574492012c7074727946726f6d285053637269707448617368293a206d757374206265203238206279746573206c6f6e6700573892013f7265616368656420656e64206f662073756d207768696c65207374696c6c206e6f7420686176696e6720666f756e642074686520636f6e7374727563746f72005573aae848c008dd5000aab9e1", "description": "agora:treasuryWithdrawalValidator", "params": [ "Ply.Core.Types:AsData#Data.Tagged:Tagged#GHC.TypeLits:\"AuthorityTokenTag\"#PlutusLedgerApi.V1.Value:CurrencySymbol" ], - "rawHex": "5909a1010000323232323232323232323232323232323232323232323232323232323232323222223232323232323232323232323253330273370e9001001099192999814a9980f1929998150008800899817a493373696e676c65417574686f72697479546f6b656e4275726e65643a204d757374206275726e2065786163746c79203120474154000013370e6602801e6eacc0c4c8c0b4c0b4c0b4004c0b0004c8cdc0a4000002900109929998150008800899817a49254f6e6c79206f6e6520474154206d7573742065786973742061742074686520696e70757473000013370e664466604e44466a66605e002244a00226444600400664644660020060046064004606c00246002446664e0088004c014008cc0180140044c920004988c00c0040048c94ccc0acc8cccccc0640cc0d8dd48091bab3034302f001232323253330303370e90000010992999818800880089981b24937617574686f72697479546f6b656e7356616c6964496e3a2047415420696e636f72726563746c79206c69766573206174205075624b6579000014a02944c0e4008c0d4004dd5181a981b181a8010a51303400113301601137566066605c60680022a660609201355768696c6520636f756e74696e67204741547320617420696e707574733a20616c6c2047415473206d7573742062652076616c69640016323033302e00130330013758606200290010991929998159980f91919299812a9981299299981780089981a2490c45666665637420696e70757400001100133223375e6e9cc0e4008dd3981c800981b001003899299981780089981a24810e547265617375727920696e7075740000110013301f0013758606c606200a264a66605e00226606892110436f6c6c61746572616c20696e70757400001100132323253330313370e90010010a5014a26074004606c0026ea8004c8c0d8c0dc004c8c0d8c0dc004c0d4c0c0004c0d4004dd618198008a9998159aba3333230282225333030001100213300333004002303700130320012232323333232302d2253330340011225001153330333003303b00113222300200330360011332233001232223002003300300112250013031303b0013002303600123375e0020046466e9520003302e0023302e00102330373032002004253303549010f5265636569766572206f757470757400100115330344910f5472656173757279206f7574707574001533302f330200013758606e606400c20082a66068920110496e76616c69642072656365697665720016323037303800130360013036001375860660046eb0c0ccc0b8c0b800452615330304911f416c6c2072656365697665722067657420636f7272656374206f75747075740016153303049113416c6c20696e707574206172652076616c696400163033303200f37580242a6605c92128412073696e676c6520617574686f7269747920746f6b656e20686173206265656e206275726e656400163031303000d302f001153302c491445061747465726e206d61746368206661696c75726520696e2027646f2720626c6f636b2061742061676f72612f41676f72612f4566666563742e68733a36333a352d323200163030002302c00137546058604e012a6660480022930a998140128b181280199809919191919002a99981299b87480000084c8c94ccc09ccdc39b8d001480e04c8c9265333029001149854cc0b40a858c0a800c54cc0b009858dd700098168008a99981299b87480080084c8c94ccc09ccdc39b8d001480e04c8c9265333029001149854cc0b40a858c0a800c54cc0b00ac58dd700098168008a998150158b181700118150009baa0013758002605000260440066602046464646400aa66604466e1d20000021323232323232323232323232324994ccc0bc004526153303303016303000632533302d33223302323003375660740020024664466048460066eb4c0ec0040048cdc42400000200200220022a66064921184e6567617469766520616d6f756e7420696e2056616c75650016375600860486eac00ccc0948cdd819192999816a9981219b87001480004cdc3800a4070260680062a660649201387074727946726f6d2843757272656e637953796d626f6c293a206d757374206265203238206279746573206c6f6e67206f7220656d7074790016371a0026eb8c0c8004c8c8c8c0e0010c098dd5981b80199813919bb032533302e337126e3400520401303500215330334901327074727946726f6d28546f6b656e4e616d65293a206d757374206265206174206d6f7374203332204279746573206c6f6e670016375c60680026460700046eb4c0dc004004dd5981a8008009bab0013030001302a00653330263370e900000109919299981419b87371a002901c0991924ca6660540022930a998170158b18158018a998168138b1bae001302e001153330263370e900100109919299981419b87371a002901c0991924ca6660540022930a998170158b18158018a998168160b1bae001302e001153302b02c16302f002302b001375400260540022a6604e0502c6056004604e0026ea8004dd600098128009bac0053024002375c0080024466666600603a0406ea40080048ccc01c88cdc01bad302300200148000dd58008a40004444666600a6600c0080040024644460040066008002244a0024601e44a66602c002244a0022666006603a0024446004006260046030002444a66602866ebc008c00c004488c00800c489400488c038894ccc054004400c4cc010c070004c008c05c0048c030894ccc04c0045280a99980919baf301a00100314a226004602a0024601644a666024002200826601e600660320026004602800297ae02300922533301000114a22a660086006602e0022600460240024466601a00400200629408cc0280040085289199802112999805800890020991299980618008010a998088030b0998021807801919b90001003375c60226024002002494124010c756e736f72746564206d617000230022253330090011005133006300330100013002300b0012323002233002002001230022330020020014bd6f7b6302ba04912c7074727946726f6d28505075624b657948617368293a206d757374206265203238206279746573206c6f6e67005734aae7d241317074727946726f6d2850446174615265636f72645b5d293a206c697374206973206c6f6e676572207468616e207a65726f00574492012c7074727946726f6d285053637269707448617368293a206d757374206265203238206279746573206c6f6e6700573892013f7265616368656420656e64206f662073756d207768696c65207374696c6c206e6f7420686176696e6720666f756e642074686520636f6e7374727563746f72005573aae848c008dd5000aab9e1", + "rawHex": "590b96010000323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323222223232323232323232323232323253330363370e900100109919299981c29981699299981c800880089981f2493373696e676c65417574686f72697479546f6b656e4275726e65643a204d757374206275726e2065786163746c79203120474154000013370e6602801e6eacc100c8c0f0c0f0c0f0004c0ec004c8cdc0a40000029001099299981c800880089981f249254f6e6c79206f6e6520474154206d7573742065786973742061742074686520696e70757473000013370e664466606c44466604200246002446664e0088004c014008cc0180140044c92000498c09c0080048c94ccc0e8c8cccccc064108114dd48091bab3043303e0012323232533303f3370e900000109929998200008800899822a48137617574686f72697479546f6b656e7356616c6964496e3a2047415420696e636f72726563746c79206c69766573206174205075624b6579000014a02944c120008c110004dd51822182298220010a51304300113301601137566084607a60860022a6607e9201355768696c6520636f756e74696e67204741547320617420696e707574733a20616c6c2047415473206d7573742062652076616c69640016323042303d001304200137586080002900109919299981d198161816919b8700148000ccc081c0999119981198123810020013301c2323232533303e53303532533303f00113304449010c45666665637420696e70757400001100133223375e6e9cc124008dd398248009823001804099299981f80089982224810c5075626b657920696e70757400001100132323253330413370e90010010a5014a26094004608c0026ea800440ec54ccc0f8c94ccc0fc0044cc1112410e547265617375727920696e7075740000110013302c0013758608c608200c26eacc118c10400854cc10d2410d556e6b6e6f776e20696e70757400163230463047001304500130453044303f00130440013758608400266038466054440020026eb0c108008cc0708c94ccc0f0cc0a8c8c114c118004c110004dd61822181f80209bab3044303f0011039304400153303f490116436865636b207265636569766572206f757470757473001333036222533303e00210011533303e001153304249011b556e61626c6520746f2065786861757374207265636569766572730016132533303e3302d2253303532533304100110011330464911056616c69642063726564656e7469616c000013232323253330443370e90010010991919299982399b8748000008528099baf374e0086e9c004c140008c130004dd50020991919299982399b8748008008528099baf374e0086e9c004c140008c130004dd5002182680118248009baa003323049304a00130480031325333041001100113304649010b56616c69642076616c756500001323375e6e98008dd30009bab304830430033046003133004304100330410021533043490117496e76616c6964207265636569766572206f7574707574001630463045001375860840046eb0c108c0f4c0f4004526153303f49132556e757365642074726561737572792073686f756c6420737461792061742074726561737572792076616c696461746f727300163042304100f37580242a6607a92128412073696e676c6520617574686f7269747920746f6b656e20686173206265656e206275726e656400163040303f00d303e001153303b491445061747465726e206d61746368206661696c75726520696e2027646f2720626c6f636b2061742061676f72612f41676f72612f4566666563742e68733a36333a352d32320016303f002303b00137546076606c012a6660660022930a9981b81a0b181a00199810119191919002a99981a19b87480000084c8c94ccc0d8cdc39b8d001480e04c8c9265333038001149854cc0f00e458c0e400c54cc0ec0d458dd7000981e0008a99981a19b87480080084c8c94ccc0d8cdc39b8d001480e04c8c9265333038001149854cc0f00e458c0e400c54cc0ec0e858dd7000981e0008a9981c81d0b181e801181c8009baa0013758002606e00260620066603a46464646400aa66606266e1d20000021323232323232323232323232324994ccc0f8004526153304203f16303f00632533303c3302e233030233710900000080080088008a99820a49184e6567617469766520616d6f756e7420696e2056616c75650016375600860666eac00ccc0d08cdd81919299981e29981999b87001480004cdc3800a4070260860062a660829201387074727946726f6d2843757272656e637953796d626f6c293a206d757374206265203238206279746573206c6f6e67206f7220656d7074790016371a0026eb8c104004c8c8c8c11c010c0d4dd598230019981b119bb032533303d337126e3400520401304400215330424901327074727946726f6d28546f6b656e4e616d65293a206d757374206265206174206d6f7374203332204279746573206c6f6e670016375c608600264608e0046eb4c118004004dd598220008009bab001303f001303900653330353370e900000109919299981b99b87371a002901c0991924ca6660720022930a9981e81d0b181d0018a9981e01b0b1bae001303d001153330353370e900100109919299981b99b87371a002901c0991924ca6660720022930a9981e81d0b181d0018a9981e01d8b1bae001303d001153303a03b16303e002303a001375400260720022a6606c06e2c6074004606c0026ea8004dd6000981a0009bac0053033002375c0080024466666600605805e6ea40080048ccc01c88cdc01bad303200200148000dd58008a40004444666600a6600c0080040024644460040066008002244a0024603c44a66604a002244a00226660066058002444600400626004604e002444a66604666ebc008c00c004488c00800c489400488c074894ccc090004400c4cc010c0ac004c008c09800488cc00cc034008004c064888ccc0100048c00488ccc02088004c014008cc0180140044c031262533301e00112250011322230020033232233001003002302100230250012223330047000040024446660084466600e00a00400200400246006446e98cc00cdd58011bab00123002223750660066eb4008dd6800911199980200191001001000918099801000911919119800801801111299980e00089980c8018010991919299980f19baf00200113301c3376000466012605000c60500066660104400400a60420082a66603c66e40dd70011bae00113301c006333300822001003302100400513301c003333300822001006005302100430240023023004302300122533301a002100113333003220013021002301c00200120122230020012300f22533301600114a02a66602a66ebcc07400400c52889801180c000911919801980e0009bab301c3017001301c0012300d22533301400110041330113003301b001300230160014bd701119802118019bab301b001001223300323003375a60340020024601244a666020002294454cc010c00cc05c0044c008c04800488ccc03400800400c5281198050008010a51233300422533300b001120041322533300c3001002153301100616133004300f0032337200020066eb8c044c0480040049282490c756e736f72746564206d617000230022253330090011005133006300330100013002300b0012323002233002002001230022330020020014bd6f7b6302ba04912c7074727946726f6d28505075624b657948617368293a206d757374206265203238206279746573206c6f6e67005734aae7d241317074727946726f6d2850446174615265636f72645b5d293a206c697374206973206c6f6e676572207468616e207a65726f00574492012c7074727946726f6d285053637269707448617368293a206d757374206265203238206279746573206c6f6e6700573892013f7265616368656420656e64206f662073756d207768696c65207374696c6c206e6f7420686176696e6720666f756e642074686520636f6e7374727563746f72005573aae848c008dd5000aab9e1", "role": "ValidatorRole", "version": "ScriptV2" } From 9dafc674cc98107dedbad46ac86e1dd416390af6 Mon Sep 17 00:00:00 2001 From: Hongrui Fang Date: Fri, 24 Mar 2023 21:01:25 +0800 Subject: [PATCH 3/5] fix the test --- .../Sample/Effect/TreasuryWithdrawal.hs | 327 ++++++++++-------- agora-specs/Sample/Shared.hs | 6 +- agora-specs/Spec/Effect/TreasuryWithdrawal.hs | 192 ++-------- agora-testlib/Test/Util.hs | 7 + agora.cabal | 4 +- 5 files changed, 227 insertions(+), 309 deletions(-) diff --git a/agora-specs/Sample/Effect/TreasuryWithdrawal.hs b/agora-specs/Sample/Effect/TreasuryWithdrawal.hs index 7489d95..eb26007 100644 --- a/agora-specs/Sample/Effect/TreasuryWithdrawal.hs +++ b/agora-specs/Sample/Effect/TreasuryWithdrawal.hs @@ -6,175 +6,208 @@ Description: Sample based testing for Treasury Withdrawal Effect This module provides samples for Treasury Withdrawal Effect tests. -} module Sample.Effect.TreasuryWithdrawal ( - validator, - inputTreasury, - inputUser, - inputGAT, - inputCollateral, - outputTreasury, - outputUser, - buildReceiversOutputFromDatum, - currSymbol, - users, - treasuries, - buildScriptContext, + runEffect, + Parameters (..), + Validity (..), + totallyValidParameters, + mkTestTree, ) where import Agora.Effect.TreasuryWithdrawal ( - TreasuryWithdrawalDatum (TreasuryWithdrawalDatum), + TreasuryWithdrawalDatum (..), ) +import Control.Composition ((.*)) +import Data.Foldable (Foldable (fold)) +import Data.List (singleton) import Data.Map ((!)) +import Data.Map.Ordered (OMap) +import Data.Map.Ordered qualified as Map +import Data.Semigroup (mtimesDefault) import Plutarch.Api.V2 (scriptHash) +import Plutarch.Context (credential, input, mint, output, script, withInlineDatum, withRef, withRefTxId, withValue) import Plutarch.Script (Script) -import PlutusLedgerApi.V1.Interval qualified as Interval (always) -import PlutusLedgerApi.V1.Value qualified as Value (singleton) +import PlutusLedgerApi.V1.Value qualified as Value (scale, singleton) import PlutusLedgerApi.V2 ( - Address (Address), Credential (..), - CurrencySymbol, - DatumHash (DatumHash), - OutputDatum (OutputDatumHash), - PubKeyHash, - Redeemer (Redeemer), - ScriptContext (..), - ScriptHash (ScriptHash), - ScriptPurpose (Spending), - TokenName (TokenName), - TxInInfo (TxInInfo), - TxInfo (..), - TxOut (..), + TxId, TxOutRef (TxOutRef), Value, - toBuiltinData, ) -import PlutusTx.AssocMap qualified as AssocMap -import Sample.Shared (agoraScripts, authorityTokenSymbol) -import Test.Util (scriptCredentials, userCredentials) +import PlutusLedgerApi.V3 (ScriptHash) +import Sample.Shared (agoraScripts, authorityTokenPolicy, authorityTokenSymbol, signer, signer2, trScriptHash, trValidator) +import Test.Specification (SpecificationTree, group, testPolicy, testValidator) +import Test.Util (CombinableBuilder, mkMinting, mkSpending, subtractValue, validatorHashes) --- | A sample Currency Symbol. -currSymbol :: CurrencySymbol -currSymbol = authorityTokenSymbol +data Parameters = Parameters + { shouldDeliver :: + OMap Credential Value + , treasuryInputCount :: Integer + , badReceivedValue :: Bool + , badReceivers :: Bool + , badReceiverOrder :: Bool + , badTreasuryPaybackValue :: Bool + } --- | A sample 'PubKeyHash'. -signer :: PubKeyHash -signer = "8a30896c4fd5e79843e4ca1bd2cdbaa36f8c0bc3be7401214142019c" +data Validity = Validity + { forGATPolicy :: Bool + , forEffectValidator :: Bool + , forTreasury :: Bool + } --- | List of users who the effect will pay to. -users :: [Credential] -users = userCredentials +effectValidator :: Script +effectValidator = agoraScripts ! "agora:treasuryWithdrawalValidator" --- | List of users who the effect will pay to. -treasuries :: [Credential] -treasuries = scriptCredentials +effectHash :: ScriptHash +effectHash = scriptHash effectValidator -inputGAT :: TxInInfo -inputGAT = - TxInInfo - (TxOutRef "0b2086cbf8b6900f8cb65e012de4516cb66b5cb08a9aaba12a8b88be" 1) - TxOut - { txOutAddress = Address (ScriptCredential $ scriptHash validator) Nothing - , txOutValue = Value.singleton currSymbol validatorHashTN 1 -- Stake ST - , txOutDatum = OutputDatumHash (DatumHash "") - , txOutReferenceScript = Nothing - } - --- | Create an input given the index of the treasury and the 'Value' at this input. -inputTreasury :: Int -> Value -> TxInInfo -inputTreasury indx val = - TxInInfo - (TxOutRef "" 1) - TxOut - { txOutAddress = Address (treasuries !! indx) Nothing - , txOutValue = val - , txOutDatum = OutputDatumHash (DatumHash "") - , txOutReferenceScript = Nothing - } - --- | Create a input given the index of the user and the 'Value' at this input. -inputUser :: Int -> Value -> TxInInfo -inputUser indx val = - TxInInfo - (TxOutRef "" 1) - TxOut - { txOutAddress = Address (users !! indx) Nothing - , txOutValue = val - , txOutDatum = OutputDatumHash (DatumHash "") - , txOutReferenceScript = Nothing - } - --- | Create a input representing the collateral given by a user. -inputCollateral :: Int -> TxInInfo -inputCollateral indx = - TxInInfo -- Initiator - (TxOutRef "" 1) - TxOut - { txOutAddress = Address (users !! indx) Nothing - , txOutValue = Value.singleton "" "" 2000000 - , txOutDatum = OutputDatumHash (DatumHash "") - , txOutReferenceScript = Nothing - } - --- | Create an output at the nth treasury with the given 'Value'. -outputTreasury :: Int -> Value -> TxOut -outputTreasury indx val = - TxOut - { txOutAddress = Address (treasuries !! indx) Nothing - , txOutValue = val - , txOutDatum = OutputDatumHash (DatumHash "") - , txOutReferenceScript = Nothing +mkEffectDatum :: Parameters -> TreasuryWithdrawalDatum +mkEffectDatum ps = + TreasuryWithdrawalDatum + { receivers = Map.assocs ps.shouldDeliver + , treasuries = [ScriptCredential trScriptHash] } --- | Create an output at the nth user with the given 'Value'. -outputUser :: Int -> Value -> TxOut -outputUser indx val = - TxOut - { txOutAddress = Address (users !! indx) Nothing - , txOutValue = val - , txOutDatum = OutputDatumHash (DatumHash "") - , txOutReferenceScript = Nothing +effectRef :: TxOutRef +effectRef = TxOutRef "0b2086cbf8b6900f8cb65e012de4516cb66b5cb08a9aaba12a8b88be" 0 + +treasuryTxId :: TxId +treasuryTxId = "0ca36f3a357bc69579ab2531aecd1e7d3714d993c7820f40b864be15" + +mkEffectInputBuilder :: forall b. CombinableBuilder b => Parameters -> b +mkEffectInputBuilder ps = + let mkGATValue = Value.singleton authorityTokenSymbol "" + in mconcat + [ mint $ mkGATValue (-1) + , input $ + mconcat + [ script effectHash + , withRef effectRef + , withInlineDatum $ mkEffectDatum ps + , withValue $ mkGATValue 1 + ] + ] + +mkTreasuryInputBuilder :: + forall b. + CombinableBuilder b => + Parameters -> + b +mkTreasuryInputBuilder ps = + mtimesDefault ps.treasuryInputCount $ + input $ + mconcat + [ script trScriptHash + , withRefTxId treasuryTxId + , withInlineDatum () + , withValue $ fold ps.shouldDeliver + ] + +mkTreasuryPaybackOutputBuilder :: + forall b. + CombinableBuilder b => + Parameters -> + b +mkTreasuryPaybackOutputBuilder ps = + let sentAmount = fold ps.shouldDeliver + inputAmount = + flip Value.scale sentAmount $ + if ps.badTreasuryPaybackValue + then 1 + else ps.treasuryInputCount + paybackValue = inputAmount `subtractValue` sentAmount + in output $ + mconcat + [ script trScriptHash + , withValue paybackValue + , withInlineDatum () + ] + +mkReceiverOutputBuilder :: + forall b. + CombinableBuilder b => + Parameters -> + b +mkReceiverOutputBuilder ps = + let mkOutputValue = + if ps.badReceivedValue + then const $ Value.singleton "" "bruh" 1 + else id + mkFinalOutputs = + mconcat + . (if ps.badReceiverOrder then reverse else id) + . (if ps.badReceivers then drop 1 else id) + mkOutput :: _ -> _ -> b + mkOutput cred value = + output $ + mconcat + [ credential cred + , withValue $ mkOutputValue value + , withInlineDatum () + ] + rawOutputs = + foldMap (uncurry $ singleton .* mkOutput) $ + Map.assocs ps.shouldDeliver + in mkFinalOutputs rawOutputs + +runEffect :: forall b. CombinableBuilder b => Parameters -> b +runEffect ps = + foldMap + ($ ps) + [ mkEffectInputBuilder + , mkTreasuryInputBuilder + , mkReceiverOutputBuilder + , mkTreasuryPaybackOutputBuilder + ] + +totallyValidParameters :: Parameters +totallyValidParameters = + Parameters + { shouldDeliver = + Map.fromList + [ (PubKeyCredential signer, Value.singleton "" "" 42_000_000) + , (PubKeyCredential signer2, Value.singleton "" "" 42_000_000) + , (ScriptCredential (head validatorHashes), Value.singleton "" "" 42_000_000) + ] + , treasuryInputCount = 2 + , badReceivedValue = False + , badReceivers = False + , badReceiverOrder = False + , badTreasuryPaybackValue = False } --- | Create a list of the outputs that are required as encoded in 'TreasuryWithdrawalDatum'. -buildReceiversOutputFromDatum :: TreasuryWithdrawalDatum -> [TxOut] -buildReceiversOutputFromDatum (TreasuryWithdrawalDatum xs _) = f <$> xs +mkTestTree :: + String -> + Parameters -> + Validity -> + SpecificationTree +mkTestTree name ps val = + group name [effect, treasury, authority] where - f x = - TxOut - { txOutAddress = Address (fst x) Nothing - , txOutValue = snd x - , txOutDatum = OutputDatumHash (DatumHash "") - , txOutReferenceScript = Nothing - } + spend = mkSpending runEffect ps + mint = mkMinting runEffect ps --- | Effect validator instance. -validator :: Script -validator = agoraScripts ! "agora:treasuryWithdrawalValidator" + effect = + testValidator + val.forEffectValidator + "effect" + effectValidator + (mkEffectDatum ps) + () + (spend effectRef) --- | 'TokenName' that represents the hash of the 'Agora.Stake.Stake' validator. -validatorHashTN :: TokenName -validatorHashTN = let ScriptHash hash = scriptHash validator in TokenName hash + treasury = + testValidator + val.forTreasury + "treasury" + trValidator + () + () + (spend $ TxOutRef treasuryTxId 1) -buildScriptContext :: [TxInInfo] -> [TxOut] -> ScriptContext -buildScriptContext inputs outputs = - let spending = Spending (TxOutRef "0b2086cbf8b6900f8cb65e012de4516cb66b5cb08a9aaba12a8b88be" 1) - in ScriptContext - { scriptContextTxInfo = - TxInfo - { txInfoInputs = inputs - , txInfoReferenceInputs = [] - , txInfoOutputs = outputs - , txInfoFee = Value.singleton "" "" 2 - , txInfoMint = Value.singleton currSymbol validatorHashTN (-1) - , txInfoDCert = [] - , txInfoWdrl = AssocMap.empty - , txInfoValidRange = Interval.always - , txInfoSignatories = [signer] - , txInfoData = AssocMap.empty - , txInfoRedeemers = - AssocMap.fromList - [ (spending, Redeemer $ toBuiltinData ()) - ] - , txInfoId = "0b2086cbf8b6900f8cb65e012de4516cb66b5cb08a9aaba12a8b88be" - } - , scriptContextPurpose = spending - } + authority = + testPolicy + val.forGATPolicy + "authority" + authorityTokenPolicy + () + (mint authorityTokenSymbol) diff --git a/agora-specs/Sample/Shared.hs b/agora-specs/Sample/Shared.hs index 4bf4c94..128a963 100644 --- a/agora-specs/Sample/Shared.hs +++ b/agora-specs/Sample/Shared.hs @@ -58,6 +58,7 @@ module Sample.Shared ( mockTrEffect, mockTrEffectHash, trValidator, + trScriptHash, trCredential, wrongEffHash, ) where @@ -276,9 +277,12 @@ gatCs = authorityTokenSymbol trValidator :: Script trValidator = agoraScripts ! "agora:treasuryValidator" +trScriptHash :: ScriptHash +trScriptHash = scriptHash trValidator + -- | `ScriptCredential` used for the dummy treasury validator. trCredential :: Credential -trCredential = ScriptCredential $ scriptHash trValidator +trCredential = ScriptCredential trScriptHash -- | `TokenName` for GAT generated from address of `mockTrEffect`. gatTn :: TokenName diff --git a/agora-specs/Spec/Effect/TreasuryWithdrawal.hs b/agora-specs/Spec/Effect/TreasuryWithdrawal.hs index 4f98c29..29ef319 100644 --- a/agora-specs/Spec/Effect/TreasuryWithdrawal.hs +++ b/agora-specs/Spec/Effect/TreasuryWithdrawal.hs @@ -7,172 +7,44 @@ This module specs the Treasury Withdrawal Effect. -} module Spec.Effect.TreasuryWithdrawal (specs) where -import Agora.Effect.TreasuryWithdrawal ( - TreasuryWithdrawalDatum (TreasuryWithdrawalDatum), - ) -import PlutusLedgerApi.V1.Value qualified as Value import Sample.Effect.TreasuryWithdrawal ( - buildReceiversOutputFromDatum, - buildScriptContext, - inputCollateral, - inputGAT, - inputTreasury, - inputUser, - outputTreasury, - outputUser, - treasuries, - users, - validator, + Parameters (..), + Validity (..), + mkTestTree, + totallyValidParameters, ) import Test.Specification ( SpecificationTree, - effectFailsWith, - effectSucceedsWith, - group, ) -import Test.Util (sortValue) specs :: [SpecificationTree] specs = - [ group - "effect" - [ effectSucceedsWith - "Simple" - validator - datum1 - ( buildScriptContext - [ inputGAT - , inputCollateral 10 - , inputTreasury 1 (asset1 10) - ] - $ outputTreasury 1 (asset1 7) - : buildReceiversOutputFromDatum datum1 - ) - , effectSucceedsWith - "Simple with multiple treasuries " - validator - datum1 - ( buildScriptContext - [ inputGAT - , inputCollateral 10 - , inputTreasury 1 (asset1 10) - , inputTreasury 2 (asset1 100) - , inputTreasury 3 (asset1 500) - ] - $ [ outputTreasury 1 (asset1 7) - , outputTreasury 2 (asset1 100) - , outputTreasury 3 (asset1 500) - ] - ++ buildReceiversOutputFromDatum datum1 - ) - , effectSucceedsWith - "Mixed Assets" - validator - datum2 - ( buildScriptContext - [ inputGAT - , inputCollateral 10 - , inputTreasury 1 (asset1 20) - , inputTreasury 2 (asset2 20) - ] - $ [ outputTreasury 1 (asset1 13) - , outputTreasury 2 (asset2 14) - ] - ++ buildReceiversOutputFromDatum datum2 - ) - , effectFailsWith - "Pay to uknown 3rd party" - validator - datum2 - ( buildScriptContext - [ inputGAT - , inputCollateral 10 - , inputTreasury 1 (asset1 20) - , inputTreasury 2 (asset2 20) - ] - $ [ outputUser 100 (asset1 2) - , outputTreasury 1 (asset1 11) - , outputTreasury 2 (asset2 14) - ] - ++ buildReceiversOutputFromDatum datum2 - ) - , effectFailsWith - "Missing receiver" - validator - datum2 - ( buildScriptContext - [ inputGAT - , inputCollateral 10 - , inputTreasury 1 (asset1 20) - , inputTreasury 2 (asset2 20) - ] - $ [ outputTreasury 1 (asset1 13) - , outputTreasury 2 (asset2 14) - ] - ++ drop 1 (buildReceiversOutputFromDatum datum2) - ) - , effectFailsWith - "Unauthorized treasury" - validator - datum3 - ( buildScriptContext - [ inputGAT - , inputCollateral 10 - , inputTreasury 999 (asset1 20) - ] - $ outputTreasury 999 (asset1 17) - : buildReceiversOutputFromDatum datum3 - ) - , effectFailsWith - "Prevent transactions besides the withdrawal" - validator - datum3 - ( buildScriptContext - [ inputGAT - , inputTreasury 1 (asset1 20) - , inputTreasury 999 (asset1 20) - , inputUser 99 (asset2 100) - ] - $ [ outputTreasury 1 (asset1 17) - , outputUser 100 (asset2 100) - ] - ++ buildReceiversOutputFromDatum datum3 - ) - ] + [ mkTestTree + "totally valid" + totallyValidParameters + Validity + { forGATPolicy = True + , forEffectValidator = True + , forTreasury = True + } + , mkTestTree + "bad received value" + totallyValidParameters + { badReceivedValue = True + } + Validity + { forGATPolicy = True + , forEffectValidator = False + , forTreasury = True + } + , mkTestTree + "bad receiver order" + totallyValidParameters + { badReceiverOrder = True + } + Validity + { forGATPolicy = True + , forEffectValidator = False + , forTreasury = True + } ] - where - asset1 = - Value.singleton - "0d586e057e76238f8c56c0752507bfa45ae13b04f8497a311d4aaa48" - "OrangeBottle" - asset2 = - Value.singleton - "7e6aa764bceeba1f7acf47d20f1a2a85440afa2928f8ae96376f4d85" - "19721121" - datum1 = - TreasuryWithdrawalDatum - [ (head users, asset1 1) - , (users !! 1, asset1 1) - , (users !! 2, asset1 1) - ] - [ treasuries !! 1 - , treasuries !! 2 - , treasuries !! 3 - ] - datum2 = - TreasuryWithdrawalDatum - [ (head users, sortValue $ asset2 5 <> asset1 4) - , (users !! 1, sortValue $ asset2 1 <> asset1 2) - , (users !! 2, asset1 1) - ] - [ head treasuries - , treasuries !! 1 - , treasuries !! 2 - ] - datum3 = - TreasuryWithdrawalDatum - [ (head users, asset1 1) - , (users !! 1, asset1 1) - , (users !! 2, asset1 1) - ] - [treasuries !! 1] diff --git a/agora-testlib/Test/Util.hs b/agora-testlib/Test/Util.hs index 41fb3fe..6009968 100644 --- a/agora-testlib/Test/Util.hs +++ b/agora-testlib/Test/Util.hs @@ -23,6 +23,7 @@ module Test.Util ( mkSpending, mkMinting, CombinableBuilder, + subtractValue, ) where -------------------------------------------------------------------------------- @@ -45,6 +46,7 @@ import Plutarch.Context ( import Plutarch.Crypto (pblake2b_256) import PlutusLedgerApi.V1.Interval qualified as PlutusTx import PlutusLedgerApi.V1.Value (Value (..)) +import PlutusLedgerApi.V1.Value qualified as Value import PlutusLedgerApi.V2 ( Credential ( PubKeyCredential, @@ -212,3 +214,8 @@ mkMinting mkBuilder ps cs = mkBuilder ps <> withMinting cs type CombinableBuilder b = (Monoid b, Builder b) + +-------------------------------------------------------------------------------- + +subtractValue :: Value -> Value -> Value +subtractValue = Value.unionWith (-) diff --git a/agora.cabal b/agora.cabal index a8a67bc..a7a1aad 100644 --- a/agora.cabal +++ b/agora.cabal @@ -226,7 +226,9 @@ library agora-specs Spec.Utils hs-source-dirs: agora-specs - build-depends: agora-testlib + build-depends: + , agora-testlib + , ordered-containers test-suite agora-test import: lang, deps, plutarch-prelude, test-deps, test-opts From 97d6051adf8b528db4817825e61cba0fb240b616 Mon Sep 17 00:00:00 2001 From: Hongrui Fang Date: Fri, 24 Mar 2023 21:06:27 +0800 Subject: [PATCH 4/5] update benchmark --- bench.csv | 1090 +++++++++++++++++++++++++++-------------------------- 1 file changed, 547 insertions(+), 543 deletions(-) diff --git a/bench.csv b/bench.csv index ab14f79..b73b63f 100644 --- a/bench.csv +++ b/bench.csv @@ -1,551 +1,555 @@ name,cpu,mem,size -Agora/Effects/Treasury Withdrawal Effect/effect/Simple,215833548,583808,3852 -Agora/Effects/Treasury Withdrawal Effect/effect/Simple with multiple treasuries ,307692678,789076,4284 -Agora/Effects/Treasury Withdrawal Effect/effect/Mixed Assets,300133919,787408,4222 -Agora/Effects/Governor Mutation Effect/validator/valid new governor datum/governor validator should pass,126726439,361907,11939 -Agora/Effects/Governor Mutation Effect/validator/valid new governor datum/effect validator should pass,141264346,380083,4674 -Agora/Stake/policy/create/valid/stake owner: pub key,77468330,198844,3622 -Agora/Stake/policy/create/valid/stake owner: script,90607586,237423,3657 -Agora/Stake/validator/destroy/legal/One stake/stake validator,100468620,273635,8012 -Agora/Stake/validator/destroy/legal/One stake/stake policy,29665872,85956,3609 -Agora/Stake/validator/destroy/legal/Multiple stake/stake validator,665967222,1615013,11265 -Agora/Stake/validator/destroy/legal/Multiple stake/stake policy,292337523,820464,6861 -Agora/Stake/validator/destroy/illegal/Destroy locked stakes/stake policy,292337523,820464,6932 -Agora/Stake/validator/destroy/illegal/not authorized by owner/stake policy,292337523,820464,6830 -Agora/Stake/validator/destroy/illegal/not authorized by owner/stake policy,292337523,820464,6861 -Agora/Stake/validator/stakeDepositWithdraw deposit,139366477,367280,8127 -Agora/Stake/validator/stakeDepositWithdraw withdraw,139366477,367280,8119 -Agora/Stake/validator/set delegate/override existing delegate,170894225,437109,8258 -Agora/Stake/validator/set delegate/remove existing delegate,161559229,413721,8188 -Agora/Stake/validator/set delegate/set delegate to something,168465237,430009,8188 -Agora/Proposal/policy (proposal creation)/legal/proposal,33965500,89285,2778 -Agora/Proposal/policy (proposal creation)/legal/governor,277635941,734402,12444 -Agora/Proposal/policy (proposal creation)/legal/stake,298159110,749522,8964 -Agora/Proposal/policy (proposal creation)/illegal/invalid next proposal id/proposal,33965500,89285,2778 -Agora/Proposal/policy (proposal creation)/illegal/invalid next proposal id/stake,298159110,749522,8964 -Agora/Proposal/policy (proposal creation)/illegal/use other's stake/proposal,33965500,89285,2747 -Agora/Proposal/policy (proposal creation)/illegal/use other's stake/governor,277635941,734402,12413 -Agora/Proposal/policy (proposal creation)/illegal/altered stake/proposal,33965500,89285,2778 -Agora/Proposal/policy (proposal creation)/illegal/invalid stake locks/proposal,33965500,89285,2793 -Agora/Proposal/policy (proposal creation)/illegal/invalid stake locks/governor,277635941,734402,12459 -Agora/Proposal/policy (proposal creation)/illegal/has reached maximum proposals limit/proposal,33965500,89285,2802 -Agora/Proposal/policy (proposal creation)/illegal/has reached maximum proposals limit/stake,314518362,796650,9000 -Agora/Proposal/policy (proposal creation)/illegal/loose time range/proposal,33965500,89285,2778 -Agora/Proposal/policy (proposal creation)/illegal/loose time range/stake,298159110,749522,8964 -Agora/Proposal/policy (proposal creation)/illegal/open time range/proposal,33965500,89285,2774 -Agora/Proposal/policy (proposal creation)/illegal/open time range/stake,298159110,749522,8960 -Agora/Proposal/policy (proposal creation)/illegal/invalid proposal status/VotingReady/proposal,33965500,89285,2778 -Agora/Proposal/policy (proposal creation)/illegal/invalid proposal status/VotingReady/stake,298159110,749522,8964 -Agora/Proposal/policy (proposal creation)/illegal/invalid proposal status/Locked/proposal,33965500,89285,2778 -Agora/Proposal/policy (proposal creation)/illegal/invalid proposal status/Locked/stake,298159110,749522,8964 -Agora/Proposal/policy (proposal creation)/illegal/invalid proposal status/Finished/proposal,33965500,89285,2778 -Agora/Proposal/policy (proposal creation)/illegal/invalid proposal status/Finished/stake,298159110,749522,8964 -Agora/Proposal/policy (proposal creation)/illegal/fake SST/proposal,33965500,89285,2685 -Agora/Proposal/policy (proposal creation)/illegal/wrong governor redeemer/stake,298159110,749522,8964 -Agora/Proposal/policy (proposal creation)/illegal/wrong governor redeemer/stake,298159110,749522,8964 -Agora/Proposal/validator/cosignature/legal/proposal,206901105,576000,12441 -Agora/Proposal/validator/cosignature/legal/stake,260177486,682134,8761 -Agora/Proposal/validator/cosignature/illegal/insufficient staked amount/stake,260177486,682134,8761 -Agora/Proposal/validator/cosignature/illegal/proposal locks not updated/proposal,206901105,576000,12434 -Agora/Proposal/validator/cosignature/illegal/duplicate cosigners/stake,268357112,705698,8781 -Agora/Proposal/validator/cosignature/illegal/cosigners not updated/stake,260177486,682134,8727 -Agora/Proposal/validator/cosignature/illegal/cosign after draft/(negative test)/stake,260177486,682134,8761 -Agora/Proposal/validator/cosignature/illegal/cosign after draft/(negative test)/stake,260177486,682134,8761 -Agora/Proposal/validator/cosignature/illegal/cosign after draft/(negative test)/stake,260177486,682134,8761 -Agora/Proposal/validator/voting/legal/different number of stakes/1 stakes/by owner/proposal,231878715,654632,12298 -Agora/Proposal/validator/voting/legal/different number of stakes/1 stakes/by owner/stake,284380924,748361,8634 -Agora/Proposal/validator/voting/legal/different number of stakes/1 stakes/by delegatee/proposal,231878715,654632,12298 -Agora/Proposal/validator/voting/legal/different number of stakes/1 stakes/by delegatee/stake,291541375,766618,8634 -Agora/Proposal/validator/voting/legal/different number of stakes/3 stakes/by owner/proposal,353144101,982578,13532 -Agora/Proposal/validator/voting/legal/different number of stakes/3 stakes/by owner/stake,593443194,1484591,9868 -Agora/Proposal/validator/voting/legal/different number of stakes/3 stakes/by delegatee/proposal,353144101,982578,13532 -Agora/Proposal/validator/voting/legal/different number of stakes/3 stakes/by delegatee/stake,600603645,1502848,9868 -Agora/Proposal/validator/voting/legal/different number of stakes/5 stakes/by owner/proposal,474409487,1310524,14765 -Agora/Proposal/validator/voting/legal/different number of stakes/5 stakes/by owner/stake,902505464,2220821,11101 -Agora/Proposal/validator/voting/legal/different number of stakes/5 stakes/by delegatee/proposal,474409487,1310524,14765 -Agora/Proposal/validator/voting/legal/different number of stakes/5 stakes/by delegatee/stake,909665915,2239078,11101 -Agora/Proposal/validator/voting/legal/different number of stakes/7 stakes/by owner/proposal,595674873,1638470,15998 -Agora/Proposal/validator/voting/legal/different number of stakes/7 stakes/by owner/stake,1211567734,2957051,12334 -Agora/Proposal/validator/voting/legal/different number of stakes/7 stakes/by delegatee/proposal,595674873,1638470,15998 -Agora/Proposal/validator/voting/legal/different number of stakes/7 stakes/by delegatee/stake,1218728185,2975308,12334 -Agora/Proposal/validator/voting/legal/different number of stakes/9 stakes/by owner/proposal,716940259,1966416,17230 -Agora/Proposal/validator/voting/legal/different number of stakes/9 stakes/by owner/stake,1520630004,3693281,13566 -Agora/Proposal/validator/voting/legal/different number of stakes/9 stakes/by delegatee/proposal,716940259,1966416,17230 -Agora/Proposal/validator/voting/legal/different number of stakes/9 stakes/by delegatee/stake,1527790455,3711538,13566 -Agora/Proposal/validator/voting/legal/transparent non-GT tokens/proposal,231878715,654632,12298 -Agora/Proposal/validator/voting/legal/transparent non-GT tokens/stake,284380924,748361,8634 -Agora/Proposal/validator/voting/legal/Delegatee vote with own and delegated stakes in one tx/proposal,471980499,1303424,14695 -Agora/Proposal/validator/voting/legal/Delegatee vote with own and delegated stakes in one tx/stake,911066539,2235746,11031 -Agora/Proposal/validator/voting/illegal/vote for nonexistent outcome/stake,284380924,748361,8642 -Agora/Proposal/validator/voting/illegal/unauthorized tx/proposal,231878715,654632,12298 -Agora/Proposal/validator/voting/illegal/more than one proposals/stake,284380924,748361,8642 -Agora/Proposal/validator/voting/illegal/locks not added/proposal,474409487,1310524,14710 -Agora/Proposal/validator/voting/illegal/attempt to burn stakes/proposal,436228992,1198324,13672 -Agora/Proposal/validator/voting/illegal/insufficient staked amount/stake,284380924,748361,8629 -Agora/Proposal/validator/voting/illegal/insufficient staked amount/stake,902505464,2220821,11079 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/proposal,245408895,687947,12910 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/proposal,224795997,630932,12672 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Locked to Finished/proposal,238203630,658080,13994 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Locked to Finished/governor,442621580,1179240,13465 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Locked to Finished/authority,96756794,242826,4006 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/proposal,242060925,677111,12631 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/proposal,221448027,620096,12393 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Locked to Finished/proposal,234855660,647244,13535 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Locked to Finished/governor,440485946,1172430,13099 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Locked to Finished/authority,91691192,229170,3640 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from Draft to Finished/proposal,215855244,609593,12665 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/proposal,214126861,599303,12666 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from Locked to Finished/proposal,226313765,630115,12666 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from Draft to Finished/proposal,212507274,598757,12386 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/proposal,210778891,588467,12387 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from Locked to Finished/proposal,222965795,619279,12387 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,238203630,658080,13789 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/governor,453144122,1184286,13260 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/authority,96756794,242826,3801 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,234855660,647244,13330 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/governor,451008488,1177476,12894 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/authority,91691192,229170,3435 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/authority,96756794,242826,4006 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/authority,91691192,229170,3640 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/to next state too late/from Locked/governor,442621580,1179240,13465 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/to next state too late/from Locked/authority,96756794,242826,4006 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/to next state too late/from Locked/governor,440485946,1172430,13099 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/to next state too late/from Locked/authority,91691192,229170,3640 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/forget to mint GATs/proposal,234855660,647244,12890 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/mint GATs for wrong validators/proposal,234855660,647244,13535 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/mint GATs for wrong validators/authority,91691192,229170,3640 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/mint GATs with bad token name/proposal,234855660,647244,13567 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/mint GATs with bad token name/authority,91691192,229170,3672 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/wrong GAT datum/proposal,234855660,647244,13529 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/wrong GAT datum/authority,91691192,229170,3634 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/invalid governor output datum/proposal,234855660,647244,13535 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/invalid governor output datum/authority,91691192,229170,3640 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/wrong governor redeemer/proposal,234855660,647244,13535 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/proposal,319170295,890857,13826 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/proposal,302252283,843830,13588 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Locked to Finished/proposal,311965030,860990,14909 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Locked to Finished/governor,484125148,1295776,14075 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Locked to Finished/authority,96756794,242826,4616 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/proposal,312474355,869185,13265 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/proposal,295556343,822158,13027 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Locked to Finished/proposal,305269090,839318,14170 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Locked to Finished/governor,480466561,1283548,13523 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Locked to Finished/authority,91691192,229170,4064 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from Draft to Finished/proposal,289616644,812503,13581 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/proposal,287888261,802213,13582 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from Locked to Finished/proposal,300075165,833025,13582 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from Draft to Finished/proposal,282920704,790831,13020 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/proposal,281192321,780541,13021 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from Locked to Finished/proposal,293379225,811353,13021 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,311965030,860990,14704 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/governor,494647690,1300822,13870 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/authority,96756794,242826,4411 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,305269090,839318,13965 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/governor,490989103,1288594,13318 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/authority,91691192,229170,3859 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/authority,96756794,242826,4616 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/authority,91691192,229170,4064 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/to next state too late/from Locked/governor,484125148,1295776,14075 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/to next state too late/from Locked/authority,96756794,242826,4616 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/to next state too late/from Locked/governor,480466561,1283548,13523 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/to next state too late/from Locked/authority,91691192,229170,4064 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/forget to mint GATs/proposal,305269090,839318,13524 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/mint GATs for wrong validators/proposal,305269090,839318,14170 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/mint GATs for wrong validators/authority,91691192,229170,4064 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/mint GATs with bad token name/proposal,305269090,839318,14202 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/mint GATs with bad token name/authority,91691192,229170,4096 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/wrong GAT datum/proposal,305269090,839318,14164 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/wrong GAT datum/authority,91691192,229170,4058 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/invalid governor output datum/proposal,305269090,839318,14170 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/invalid governor output datum/authority,91691192,229170,4064 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/wrong governor redeemer/proposal,305269090,839318,14170 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/proposal,540454495,1499587,16573 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/proposal,534621141,1482524,16335 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Locked to Finished/proposal,533249230,1469720,17656 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Locked to Finished/governor,608635852,1645384,15906 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Locked to Finished/authority,96756794,242826,6447 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/proposal,523714645,1445407,15172 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/proposal,517881291,1428344,14934 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Locked to Finished/proposal,516509380,1415540,16077 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Locked to Finished/governor,600408406,1616902,14794 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Locked to Finished/authority,91691192,229170,5335 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from Draft to Finished/proposal,510900844,1421233,16328 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/proposal,509172461,1410943,16329 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from Locked to Finished/proposal,521359365,1441755,16329 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from Draft to Finished/proposal,494160994,1367053,14927 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/proposal,492432611,1356763,14928 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from Locked to Finished/proposal,504619515,1387575,14928 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,533249230,1469720,17451 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/governor,619158394,1650430,15701 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/authority,96756794,242826,6242 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,516509380,1415540,15872 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/governor,610930948,1621948,14589 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/authority,91691192,229170,5130 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/authority,96756794,242826,6447 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/authority,91691192,229170,5335 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/to next state too late/from Locked/governor,608635852,1645384,15906 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/to next state too late/from Locked/authority,96756794,242826,6447 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/to next state too late/from Locked/governor,600408406,1616902,14794 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/to next state too late/from Locked/authority,91691192,229170,5335 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/forget to mint GATs/proposal,516509380,1415540,15431 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/mint GATs for wrong validators/proposal,516509380,1415540,16077 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/mint GATs for wrong validators/authority,91691192,229170,5335 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/mint GATs with bad token name/proposal,516509380,1415540,16109 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/mint GATs with bad token name/authority,91691192,229170,5367 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/wrong GAT datum/proposal,516509380,1415540,16071 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/wrong GAT datum/authority,91691192,229170,5329 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/invalid governor output datum/proposal,516509380,1415540,16077 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/invalid governor output datum/authority,91691192,229170,5335 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/wrong governor redeemer/proposal,516509380,1415540,16077 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/proposal,425536089,1167043,14411 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/proposal,255146717,714660,13083 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Locked to Finished/proposal,268554350,741808,14404 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Locked to Finished/governor,457494876,1221104,13738 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Locked to Finished/authority,96756794,242826,4279 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/proposal,422188119,1156207,14130 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/proposal,251798747,703824,12802 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Locked to Finished/proposal,265206380,730972,13944 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Locked to Finished/governor,455359242,1214294,13372 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Locked to Finished/authority,91691192,229170,3913 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from Draft to Finished/proposal,246205964,693321,13076 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/proposal,244477581,683031,13077 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from Locked to Finished/proposal,256664485,713843,13077 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from Draft to Finished/proposal,242857994,682485,12795 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/proposal,241129611,672195,12796 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from Locked to Finished/proposal,253316515,703007,12796 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,268554350,741808,14199 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/governor,468017418,1226150,13533 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/authority,96756794,242826,4074 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,265206380,730972,13739 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/governor,465881784,1219340,13167 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/authority,91691192,229170,3708 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/authority,96756794,242826,4279 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/authority,91691192,229170,3913 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/to next state too late/from Locked/governor,457494876,1221104,13738 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/to next state too late/from Locked/authority,96756794,242826,4279 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/to next state too late/from Locked/governor,455359242,1214294,13372 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/to next state too late/from Locked/authority,91691192,229170,3913 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/forget to mint GATs/proposal,265206380,730972,13299 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/mint GATs for wrong validators/proposal,265206380,730972,13944 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/mint GATs for wrong validators/authority,91691192,229170,3913 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/mint GATs with bad token name/proposal,265206380,730972,13976 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/mint GATs with bad token name/authority,91691192,229170,3945 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/wrong GAT datum/proposal,265206380,730972,13938 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/wrong GAT datum/authority,91691192,229170,3907 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/invalid governor output datum/proposal,265206380,730972,13944 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/invalid governor output datum/authority,91691192,229170,3913 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/wrong governor redeemer/proposal,265206380,730972,13944 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/proposal,499297489,1369953,15326 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/proposal,332603003,927558,13998 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Locked to Finished/proposal,342315750,944718,15319 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Locked to Finished/governor,498998444,1337640,14348 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Locked to Finished/authority,96756794,242826,4889 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/proposal,492601549,1348281,14766 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/proposal,325907063,905886,13437 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Locked to Finished/proposal,335619810,923046,14580 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Locked to Finished/governor,495339857,1325412,13796 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Locked to Finished/authority,91691192,229170,4337 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from Draft to Finished/proposal,319967364,896231,13991 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/proposal,318238981,885941,13992 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from Locked to Finished/proposal,330425885,916753,13992 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from Draft to Finished/proposal,313271424,874559,13430 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/proposal,311543041,864269,13431 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from Locked to Finished/proposal,323729945,895081,13431 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,342315750,944718,15114 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/governor,509520986,1342686,14143 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/authority,96756794,242826,4684 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,335619810,923046,14375 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/governor,505862399,1330458,13591 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/authority,91691192,229170,4132 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/authority,96756794,242826,4889 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/authority,91691192,229170,4337 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/to next state too late/from Locked/governor,498998444,1337640,14348 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/to next state too late/from Locked/authority,96756794,242826,4889 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/to next state too late/from Locked/governor,495339857,1325412,13796 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/to next state too late/from Locked/authority,91691192,229170,4337 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/forget to mint GATs/proposal,335619810,923046,13934 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/mint GATs for wrong validators/proposal,335619810,923046,14580 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/mint GATs for wrong validators/authority,91691192,229170,4337 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/mint GATs with bad token name/proposal,335619810,923046,14612 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/mint GATs with bad token name/authority,91691192,229170,4369 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/wrong GAT datum/proposal,335619810,923046,14574 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/wrong GAT datum/authority,91691192,229170,4331 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/invalid governor output datum/proposal,335619810,923046,14580 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/invalid governor output datum/authority,91691192,229170,4337 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/wrong governor redeemer/proposal,335619810,923046,14580 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/proposal,720581689,1978683,18072 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/proposal,564971861,1566252,16744 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Locked to Finished/proposal,563599950,1553448,18065 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Locked to Finished/governor,623509148,1687248,16179 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Locked to Finished/authority,96756794,242826,6720 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/proposal,703841839,1924503,16672 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/proposal,548232011,1512072,15343 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Locked to Finished/proposal,546860100,1499268,16486 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Locked to Finished/governor,615281702,1658766,15067 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Locked to Finished/authority,91691192,229170,5608 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from Draft to Finished/proposal,541251564,1504961,16737 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/proposal,539523181,1494671,16738 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from Locked to Finished/proposal,551710085,1525483,16738 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from Draft to Finished/proposal,524511714,1450781,15336 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/proposal,522783331,1440491,15337 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from Locked to Finished/proposal,534970235,1471303,15337 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,563599950,1553448,17860 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/governor,634031690,1692294,15974 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/authority,96756794,242826,6515 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,546860100,1499268,16281 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/governor,625804244,1663812,14862 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/authority,91691192,229170,5403 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/authority,96756794,242826,6720 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/authority,91691192,229170,5608 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/to next state too late/from Locked/governor,623509148,1687248,16179 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/to next state too late/from Locked/authority,96756794,242826,6720 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/to next state too late/from Locked/governor,615281702,1658766,15067 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/to next state too late/from Locked/authority,91691192,229170,5608 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/forget to mint GATs/proposal,546860100,1499268,15840 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/mint GATs for wrong validators/proposal,546860100,1499268,16486 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/mint GATs for wrong validators/authority,91691192,229170,5608 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/mint GATs with bad token name/proposal,546860100,1499268,16518 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/mint GATs with bad token name/authority,91691192,229170,5640 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/wrong GAT datum/proposal,546860100,1499268,16480 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/wrong GAT datum/authority,91691192,229170,5602 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/invalid governor output datum/proposal,546860100,1499268,16486 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/invalid governor output datum/authority,91691192,229170,5608 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/wrong governor redeemer/proposal,546860100,1499268,16486 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/proposal,665858525,1811604,16287 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/proposal,293085117,819320,13594 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Locked to Finished/proposal,306492750,846468,14915 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Locked to Finished/governor,476086496,1273434,14079 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Locked to Finished/authority,96756794,242826,4620 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/proposal,662510555,1800768,16008 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/proposal,289737147,808484,13314 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Locked to Finished/proposal,303144780,835632,14457 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Locked to Finished/governor,473950862,1266624,13714 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Locked to Finished/authority,91691192,229170,4255 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from Draft to Finished/proposal,284144364,797981,13587 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/proposal,282415981,787691,13588 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from Locked to Finished/proposal,294602885,818503,13588 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from Draft to Finished/proposal,280796394,787145,13307 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/proposal,279068011,776855,13308 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from Locked to Finished/proposal,291254915,807667,13308 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,306492750,846468,14710 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/governor,486609038,1278480,13874 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/authority,96756794,242826,4415 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,303144780,835632,14252 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/governor,484473404,1271670,13509 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/authority,91691192,229170,4050 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/authority,96756794,242826,4620 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/authority,91691192,229170,4255 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/to next state too late/from Locked/governor,476086496,1273434,14079 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/to next state too late/from Locked/authority,96756794,242826,4620 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/to next state too late/from Locked/governor,473950862,1266624,13714 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/to next state too late/from Locked/authority,91691192,229170,4255 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/forget to mint GATs/proposal,303144780,835632,13811 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/mint GATs for wrong validators/proposal,303144780,835632,14457 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/mint GATs for wrong validators/authority,91691192,229170,4255 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/mint GATs with bad token name/proposal,303144780,835632,14489 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/mint GATs with bad token name/authority,91691192,229170,4287 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/wrong GAT datum/proposal,303144780,835632,14451 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/wrong GAT datum/authority,91691192,229170,4249 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/invalid governor output datum/proposal,303144780,835632,14457 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/invalid governor output datum/authority,91691192,229170,4255 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/wrong governor redeemer/proposal,303144780,835632,14457 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/proposal,739619925,2014514,17203 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/proposal,370541403,1032218,14509 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Locked to Finished/proposal,380254150,1049378,15830 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Locked to Finished/governor,517590064,1389970,14689 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Locked to Finished/authority,96756794,242826,5230 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/proposal,732923985,1992842,16643 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/proposal,363845463,1010546,13950 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Locked to Finished/proposal,373558210,1027706,15092 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Locked to Finished/governor,513931477,1377742,14137 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Locked to Finished/authority,91691192,229170,4678 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from Draft to Finished/proposal,357905764,1000891,14502 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/proposal,356177381,990601,14503 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from Locked to Finished/proposal,368364285,1021413,14503 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from Draft to Finished/proposal,351209824,979219,13943 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/proposal,349481441,968929,13944 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from Locked to Finished/proposal,361668345,999741,13944 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,380254150,1049378,15626 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/governor,528112606,1395016,14485 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/authority,96756794,242826,5026 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,373558210,1027706,14887 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/governor,524454019,1382788,13932 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/authority,91691192,229170,4473 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/authority,96756794,242826,5230 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/authority,91691192,229170,4678 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/to next state too late/from Locked/governor,517590064,1389970,14689 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/to next state too late/from Locked/authority,96756794,242826,5230 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/to next state too late/from Locked/governor,513931477,1377742,14137 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/to next state too late/from Locked/authority,91691192,229170,4678 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/forget to mint GATs/proposal,373558210,1027706,14447 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/mint GATs for wrong validators/proposal,373558210,1027706,15092 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/mint GATs for wrong validators/authority,91691192,229170,4678 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/mint GATs with bad token name/proposal,373558210,1027706,15124 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/mint GATs with bad token name/authority,91691192,229170,4710 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/wrong GAT datum/proposal,373558210,1027706,15086 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/wrong GAT datum/authority,91691192,229170,4672 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/invalid governor output datum/proposal,373558210,1027706,15092 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/invalid governor output datum/authority,91691192,229170,4678 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/wrong governor redeemer/proposal,373558210,1027706,15092 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/proposal,960904125,2623244,19950 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/proposal,602910261,1670912,17256 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Locked to Finished/proposal,601538350,1658108,18578 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Locked to Finished/governor,642100768,1739578,16521 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Locked to Finished/authority,96756794,242826,7062 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/proposal,944164275,2569064,18549 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/proposal,586170411,1616732,15856 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Locked to Finished/proposal,584798500,1603928,16998 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Locked to Finished/governor,633873322,1711096,15408 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Locked to Finished/authority,91691192,229170,5949 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from Draft to Finished/proposal,579189964,1609621,17249 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/proposal,577461581,1599331,17250 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from Locked to Finished/proposal,589648485,1630143,17250 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from Draft to Finished/proposal,562450114,1555441,15849 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/proposal,560721731,1545151,15850 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from Locked to Finished/proposal,572908635,1575963,15850 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,601538350,1658108,18373 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/governor,652623310,1744624,16316 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/authority,96756794,242826,6857 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,584798500,1603928,16793 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/governor,644395864,1716142,15203 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/authority,91691192,229170,5744 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/authority,96756794,242826,7062 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/authority,91691192,229170,5949 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/to next state too late/from Locked/governor,642100768,1739578,16521 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/to next state too late/from Locked/authority,96756794,242826,7062 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/to next state too late/from Locked/governor,633873322,1711096,15408 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/to next state too late/from Locked/authority,91691192,229170,5949 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/forget to mint GATs/proposal,584798500,1603928,16353 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/mint GATs for wrong validators/proposal,584798500,1603928,16998 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/mint GATs for wrong validators/authority,91691192,229170,5949 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/mint GATs with bad token name/proposal,584798500,1603928,17030 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/mint GATs with bad token name/authority,91691192,229170,5981 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/wrong GAT datum/proposal,584798500,1603928,16992 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/wrong GAT datum/authority,91691192,229170,5943 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/invalid governor output datum/proposal,584798500,1603928,16998 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/invalid governor output datum/authority,91691192,229170,5949 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/wrong governor redeemer/proposal,584798500,1603928,16998 -Agora/Proposal/validator/unlocking/legal/with 1 stakes/voter: retract votes while voting/stake,288596396,743489,8853 -Agora/Proposal/validator/unlocking/legal/with 1 stakes/voter: retract votes while voting/proposal,246064018,688246,12523 -Agora/Proposal/validator/unlocking/legal/with 1 stakes/voter: retract votes while voting by delegatee/stake,295756847,761746,8853 -Agora/Proposal/validator/unlocking/legal/with 1 stakes/voter: retract votes while voting by delegatee/proposal,246064018,688246,12523 -Agora/Proposal/validator/unlocking/legal/with 1 stakes/voter/creator: retract votes while voting/stake,300750737,778343,8872 -Agora/Proposal/validator/unlocking/legal/with 1 stakes/voter/creator: retract votes while voting/proposal,257292242,721340,12536 -Agora/Proposal/validator/unlocking/legal/with 1 stakes/creator: remove creator lock after voting/stake,286263582,737196,8850 -Agora/Proposal/validator/unlocking/legal/with 1 stakes/creator: remove creator lock after voting/proposal,190310261,530848,12524 -Agora/Proposal/validator/unlocking/legal/with 1 stakes/Voter: remove lock after voting/stake,288601156,743593,8858 -Agora/Proposal/validator/unlocking/legal/with 1 stakes/Voter: remove lock after voting/proposal,192383279,536444,12528 -Agora/Proposal/validator/unlocking/legal/with 3 stakes/voter: retract votes while voting/stake,594262008,1434217,10206 -Agora/Proposal/validator/unlocking/legal/with 3 stakes/voter: retract votes while voting/proposal,399871316,1110076,13876 -Agora/Proposal/validator/unlocking/legal/with 3 stakes/voter: retract votes while voting by delegatee/stake,601422459,1452474,10206 -Agora/Proposal/validator/unlocking/legal/with 3 stakes/voter: retract votes while voting by delegatee/proposal,399871316,1110076,13876 -Agora/Proposal/validator/unlocking/legal/with 3 stakes/voter/creator: retract votes while voting/stake,630725031,1538779,10252 -Agora/Proposal/validator/unlocking/legal/with 3 stakes/voter/creator: retract votes while voting/proposal,433555988,1209358,13916 -Agora/Proposal/validator/unlocking/legal/with 3 stakes/creator: remove creator lock after voting/stake,585001610,1410530,10195 -Agora/Proposal/validator/unlocking/legal/with 3 stakes/creator: remove creator lock after voting/proposal,259936139,702154,13869 -Agora/Proposal/validator/unlocking/legal/with 3 stakes/Voter: remove lock after voting/stake,592014332,1429721,10211 -Agora/Proposal/validator/unlocking/legal/with 3 stakes/Voter: remove lock after voting/proposal,266155193,718942,13881 -Agora/Proposal/validator/unlocking/legal/with 5 stakes/voter: retract votes while voting/stake,919574276,2156385,11560 -Agora/Proposal/validator/unlocking/legal/with 5 stakes/voter: retract votes while voting/proposal,553678614,1531906,15230 -Agora/Proposal/validator/unlocking/legal/with 5 stakes/voter: retract votes while voting by delegatee/stake,926734727,2174642,11560 -Agora/Proposal/validator/unlocking/legal/with 5 stakes/voter: retract votes while voting by delegatee/proposal,553678614,1531906,15230 -Agora/Proposal/validator/unlocking/legal/with 5 stakes/voter/creator: retract votes while voting/stake,980345981,2330655,11631 -Agora/Proposal/validator/unlocking/legal/with 5 stakes/voter/creator: retract votes while voting/proposal,609819734,1697376,15295 -Agora/Proposal/validator/unlocking/legal/with 5 stakes/creator: remove creator lock after voting/stake,903386294,2115304,11541 -Agora/Proposal/validator/unlocking/legal/with 5 stakes/creator: remove creator lock after voting/proposal,329562017,873460,15215 -Agora/Proposal/validator/unlocking/legal/with 5 stakes/Voter: remove lock after voting/stake,915074164,2147289,11565 -Agora/Proposal/validator/unlocking/legal/with 5 stakes/Voter: remove lock after voting/proposal,339927107,901440,15235 -Agora/Proposal/validator/unlocking/legal/with 7 stakes/voter: retract votes while voting/stake,1264533200,2909993,12913 -Agora/Proposal/validator/unlocking/legal/with 7 stakes/voter: retract votes while voting/proposal,707485912,1953736,16583 -Agora/Proposal/validator/unlocking/legal/with 7 stakes/voter: retract votes while voting by delegatee/stake,1271693651,2928250,12913 -Agora/Proposal/validator/unlocking/legal/with 7 stakes/voter: retract votes while voting by delegatee/proposal,707485912,1953736,16583 -Agora/Proposal/validator/unlocking/legal/with 7 stakes/voter/creator: retract votes while voting/stake,1349613587,3153971,13010 -Agora/Proposal/validator/unlocking/legal/with 7 stakes/voter/creator: retract votes while voting/proposal,786083480,2185394,16674 -Agora/Proposal/validator/unlocking/legal/with 7 stakes/creator: remove creator lock after voting/stake,1241417634,2851518,12886 -Agora/Proposal/validator/unlocking/legal/with 7 stakes/creator: remove creator lock after voting/proposal,399187895,1044766,16560 -Agora/Proposal/validator/unlocking/legal/with 7 stakes/Voter: remove lock after voting/stake,1257780652,2896297,12918 -Agora/Proposal/validator/unlocking/legal/with 7 stakes/Voter: remove lock after voting/proposal,413699021,1083938,16588 -Agora/Proposal/validator/unlocking/legal/with 9 stakes/voter: retract votes while voting/stake,1629138780,3695041,14266 -Agora/Proposal/validator/unlocking/legal/with 9 stakes/voter: retract votes while voting/proposal,861293210,2375566,17936 -Agora/Proposal/validator/unlocking/legal/with 9 stakes/voter: retract votes while voting by delegatee/stake,1636299231,3713298,14266 -Agora/Proposal/validator/unlocking/legal/with 9 stakes/voter: retract votes while voting by delegatee/proposal,861293210,2375566,17936 -Agora/Proposal/validator/unlocking/legal/with 9 stakes/voter/creator: retract votes while voting/stake,1738527849,4008727,14390 -Agora/Proposal/validator/unlocking/legal/with 9 stakes/voter/creator: retract votes while voting/proposal,962347226,2673412,18054 -Agora/Proposal/validator/unlocking/legal/with 9 stakes/creator: remove creator lock after voting/stake,1599095630,3619172,14231 -Agora/Proposal/validator/unlocking/legal/with 9 stakes/creator: remove creator lock after voting/proposal,468813773,1216072,17905 -Agora/Proposal/validator/unlocking/legal/with 9 stakes/Voter: remove lock after voting/stake,1620133796,3676745,14271 -Agora/Proposal/validator/unlocking/legal/with 9 stakes/Voter: remove lock after voting/proposal,487470935,1266436,17941 -Agora/Proposal/validator/unlocking/legal/with 11 stakes/voter: retract votes while voting/stake,2013391016,4511529,15621 -Agora/Proposal/validator/unlocking/legal/with 11 stakes/voter: retract votes while voting/proposal,1015100508,2797396,19291 -Agora/Proposal/validator/unlocking/legal/with 11 stakes/voter: retract votes while voting by delegatee/stake,2020551467,4529786,15621 -Agora/Proposal/validator/unlocking/legal/with 11 stakes/voter: retract votes while voting by delegatee/proposal,1015100508,2797396,19291 -Agora/Proposal/validator/unlocking/legal/with 11 stakes/voter/creator: retract votes while voting/stake,2147088767,4894923,15770 -Agora/Proposal/validator/unlocking/legal/with 11 stakes/voter/creator: retract votes while voting/proposal,1138610972,3161430,19434 -Agora/Proposal/validator/unlocking/legal/with 11 stakes/creator: remove creator lock after voting/stake,1976420282,4418266,15577 -Agora/Proposal/validator/unlocking/legal/with 11 stakes/creator: remove creator lock after voting/proposal,538439651,1387378,19251 -Agora/Proposal/validator/unlocking/legal/with 11 stakes/Voter: remove lock after voting/stake,2002133596,4488633,15626 -Agora/Proposal/validator/unlocking/legal/with 11 stakes/Voter: remove lock after voting/proposal,561242849,1448934,19296 -Agora/Proposal/validator/unlocking/illegal/with 1 stakes/retract votes while not voting/(negative test)/stake,288030907,742287,8853 -Agora/Proposal/validator/unlocking/illegal/with 1 stakes/retract votes while not voting/(negative test)/stake,289161885,744691,8853 -Agora/Proposal/validator/unlocking/illegal/with 1 stakes/retract votes while not voting/(negative test)/stake,288601156,743593,8853 -Agora/Proposal/validator/unlocking/illegal/with 1 stakes/remove creator too early/(negative test)/proposal,188613794,527242,12524 -Agora/Proposal/validator/unlocking/illegal/with 1 stakes/remove creator too early/(negative test)/proposal,196423168,545750,12524 -Agora/Proposal/validator/unlocking/illegal/with 1 stakes/remove creator too early/(negative test)/proposal,189744772,529646,12524 -Agora/Proposal/validator/unlocking/illegal/with 1 stakes/creator: retract votes/stake,284550055,739146,8852 -Agora/Proposal/validator/unlocking/illegal/with 1 stakes/change output stake value/proposal,246064018,688246,12520 -Agora/Proposal/validator/unlocking/illegal/with 1 stakes/retract votes in cooldown/proposal,257292242,721340,12536 -Agora/Proposal/validator/unlocking/illegal/with 3 stakes/retract votes while not voting/(negative test)/stake,593696519,1433015,10206 -Agora/Proposal/validator/unlocking/illegal/with 3 stakes/retract votes while not voting/(negative test)/stake,594827497,1435419,10206 -Agora/Proposal/validator/unlocking/illegal/with 3 stakes/retract votes while not voting/(negative test)/stake,592014332,1429721,10206 -Agora/Proposal/validator/unlocking/illegal/with 3 stakes/remove creator too early/(negative test)/proposal,258239672,698548,13869 -Agora/Proposal/validator/unlocking/illegal/with 3 stakes/remove creator too early/(negative test)/proposal,266049046,717056,13869 -Agora/Proposal/validator/unlocking/illegal/with 3 stakes/remove creator too early/(negative test)/proposal,259370650,700952,13869 -Agora/Proposal/validator/unlocking/illegal/with 3 stakes/creator: retract votes/stake,567387993,1397608,10211 -Agora/Proposal/validator/unlocking/illegal/with 3 stakes/change output stake value/proposal,399871316,1110076,13867 -Agora/Proposal/validator/unlocking/illegal/with 3 stakes/retract votes in cooldown/proposal,433555988,1209358,13916 -Agora/Proposal/validator/unlocking/illegal/with 5 stakes/retract votes while not voting/(negative test)/stake,919008787,2155183,11560 -Agora/Proposal/validator/unlocking/illegal/with 5 stakes/retract votes while not voting/(negative test)/stake,920139765,2157587,11560 -Agora/Proposal/validator/unlocking/illegal/with 5 stakes/retract votes while not voting/(negative test)/stake,915074164,2147289,11560 -Agora/Proposal/validator/unlocking/illegal/with 5 stakes/remove creator too early/(negative test)/proposal,327865550,869854,15215 -Agora/Proposal/validator/unlocking/illegal/with 5 stakes/remove creator too early/(negative test)/proposal,335674924,888362,15215 -Agora/Proposal/validator/unlocking/illegal/with 5 stakes/remove creator too early/(negative test)/proposal,328996528,872258,15215 -Agora/Proposal/validator/unlocking/illegal/with 5 stakes/creator: retract votes/stake,850225931,2056070,11571 -Agora/Proposal/validator/unlocking/illegal/with 5 stakes/change output stake value/proposal,553678614,1531906,15215 -Agora/Proposal/validator/unlocking/illegal/with 5 stakes/retract votes in cooldown/proposal,609819734,1697376,15295 -Agora/Proposal/validator/unlocking/illegal/with 7 stakes/retract votes while not voting/(negative test)/stake,1263967711,2908791,12913 -Agora/Proposal/validator/unlocking/illegal/with 7 stakes/retract votes while not voting/(negative test)/stake,1265098689,2911195,12913 -Agora/Proposal/validator/unlocking/illegal/with 7 stakes/retract votes while not voting/(negative test)/stake,1257780652,2896297,12913 -Agora/Proposal/validator/unlocking/illegal/with 7 stakes/remove creator too early/(negative test)/proposal,397491428,1041160,16560 -Agora/Proposal/validator/unlocking/illegal/with 7 stakes/remove creator too early/(negative test)/proposal,405300802,1059668,16560 -Agora/Proposal/validator/unlocking/illegal/with 7 stakes/remove creator too early/(negative test)/proposal,398622406,1043564,16560 -Agora/Proposal/validator/unlocking/illegal/with 7 stakes/creator: retract votes/stake,1133063869,2714532,12930 -Agora/Proposal/validator/unlocking/illegal/with 7 stakes/change output stake value/proposal,707485912,1953736,16562 -Agora/Proposal/validator/unlocking/illegal/with 7 stakes/retract votes in cooldown/proposal,786083480,2185394,16674 -Agora/Proposal/validator/unlocking/illegal/with 9 stakes/retract votes while not voting/(negative test)/stake,1628573291,3693839,14266 -Agora/Proposal/validator/unlocking/illegal/with 9 stakes/retract votes while not voting/(negative test)/stake,1629704269,3696243,14266 -Agora/Proposal/validator/unlocking/illegal/with 9 stakes/retract votes while not voting/(negative test)/stake,1620133796,3676745,14266 -Agora/Proposal/validator/unlocking/illegal/with 9 stakes/remove creator too early/(negative test)/proposal,467117306,1212466,17905 -Agora/Proposal/validator/unlocking/illegal/with 9 stakes/remove creator too early/(negative test)/proposal,474926680,1230974,17905 -Agora/Proposal/validator/unlocking/illegal/with 9 stakes/remove creator too early/(negative test)/proposal,468248284,1214870,17905 -Agora/Proposal/validator/unlocking/illegal/with 9 stakes/creator: retract votes/stake,1415901807,3372994,14289 -Agora/Proposal/validator/unlocking/illegal/with 9 stakes/change output stake value/proposal,861293210,2375566,17909 -Agora/Proposal/validator/unlocking/illegal/with 9 stakes/retract votes in cooldown/proposal,962347226,2673412,18054 -Agora/Proposal/validator/unlocking/illegal/with 11 stakes/retract votes while not voting/(negative test)/stake,2012825527,4510327,15621 -Agora/Proposal/validator/unlocking/illegal/with 11 stakes/retract votes while not voting/(negative test)/stake,2013956505,4512731,15621 -Agora/Proposal/validator/unlocking/illegal/with 11 stakes/retract votes while not voting/(negative test)/stake,2002133596,4488633,15621 -Agora/Proposal/validator/unlocking/illegal/with 11 stakes/remove creator too early/(negative test)/proposal,536743184,1383772,19251 -Agora/Proposal/validator/unlocking/illegal/with 11 stakes/remove creator too early/(negative test)/proposal,544552558,1402280,19251 -Agora/Proposal/validator/unlocking/illegal/with 11 stakes/remove creator too early/(negative test)/proposal,537874162,1386176,19251 -Agora/Proposal/validator/unlocking/illegal/with 11 stakes/creator: retract votes/stake,1698739745,4031456,15650 -Agora/Proposal/validator/unlocking/illegal/with 11 stakes/change output stake value/proposal,1015100508,2797396,19257 -Agora/Proposal/validator/unlocking/illegal/with 11 stakes/retract votes in cooldown/proposal,1138610972,3161430,19434 +Agora/Effects/Treasury Withdrawal Effect/totally valid/effect,307988057,881427,4118 +Agora/Effects/Treasury Withdrawal Effect/totally valid/treasury,55756262,158723,1778 +Agora/Effects/Treasury Withdrawal Effect/totally valid/authority,12933097,37168,2361 +Agora/Effects/Treasury Withdrawal Effect/bad received value/treasury,55756262,158723,1778 +Agora/Effects/Treasury Withdrawal Effect/bad received value/authority,12933097,37168,2361 +Agora/Effects/Treasury Withdrawal Effect/bad receiver order/treasury,55756262,158723,1778 +Agora/Effects/Treasury Withdrawal Effect/bad receiver order/authority,12933097,37168,2361 +Agora/Effects/Governor Mutation Effect/validator/valid new governor datum/governor validator should pass,127096099,363203,11972 +Agora/Effects/Governor Mutation Effect/validator/valid new governor datum/effect validator should pass,141642226,381311,4691 +Agora/Stake/policy/create/valid/stake owner: pub key,77615577,199376,3624 +Agora/Stake/policy/create/valid/stake owner: script,90754833,237955,3659 +Agora/Stake/validator/destroy/legal/One stake/stake validator,100840334,274931,8023 +Agora/Stake/validator/destroy/legal/One stake/stake policy,29665872,85956,3611 +Agora/Stake/validator/destroy/legal/Multiple stake/stake validator,667043159,1618397,11276 +Agora/Stake/validator/destroy/legal/Multiple stake/stake policy,292337523,820464,6863 +Agora/Stake/validator/destroy/illegal/Destroy locked stakes/stake policy,292337523,820464,6934 +Agora/Stake/validator/destroy/illegal/not authorized by owner/stake policy,292337523,820464,6832 +Agora/Stake/validator/destroy/illegal/not authorized by owner/stake policy,292337523,820464,6863 +Agora/Stake/validator/stakeDepositWithdraw deposit,139816438,368808,8138 +Agora/Stake/validator/stakeDepositWithdraw withdraw,139816438,368808,8130 +Agora/Stake/validator/set delegate/override existing delegate,171344186,438637,8269 +Agora/Stake/validator/set delegate/remove existing delegate,162009190,415249,8199 +Agora/Stake/validator/set delegate/set delegate to something,168915198,431537,8199 +Agora/Proposal/policy (proposal creation)/legal/proposal,34112747,89817,2780 +Agora/Proposal/policy (proposal creation)/legal/governor,288774078,753024,12477 +Agora/Proposal/policy (proposal creation)/legal/stake,298765565,751514,8975 +Agora/Proposal/policy (proposal creation)/illegal/invalid next proposal id/proposal,34112747,89817,2780 +Agora/Proposal/policy (proposal creation)/illegal/invalid next proposal id/stake,298765565,751514,8975 +Agora/Proposal/policy (proposal creation)/illegal/use other's stake/proposal,34112747,89817,2749 +Agora/Proposal/policy (proposal creation)/illegal/use other's stake/governor,288774078,753024,12446 +Agora/Proposal/policy (proposal creation)/illegal/altered stake/proposal,34112747,89817,2780 +Agora/Proposal/policy (proposal creation)/illegal/invalid stake locks/proposal,34112747,89817,2795 +Agora/Proposal/policy (proposal creation)/illegal/invalid stake locks/governor,288774078,753024,12492 +Agora/Proposal/policy (proposal creation)/illegal/has reached maximum proposals limit/proposal,34112747,89817,2804 +Agora/Proposal/policy (proposal creation)/illegal/has reached maximum proposals limit/stake,315124817,798642,9011 +Agora/Proposal/policy (proposal creation)/illegal/loose time range/proposal,34112747,89817,2780 +Agora/Proposal/policy (proposal creation)/illegal/loose time range/stake,298765565,751514,8975 +Agora/Proposal/policy (proposal creation)/illegal/open time range/proposal,34112747,89817,2776 +Agora/Proposal/policy (proposal creation)/illegal/open time range/stake,298765565,751514,8971 +Agora/Proposal/policy (proposal creation)/illegal/invalid proposal status/VotingReady/proposal,34112747,89817,2780 +Agora/Proposal/policy (proposal creation)/illegal/invalid proposal status/VotingReady/stake,298765565,751514,8975 +Agora/Proposal/policy (proposal creation)/illegal/invalid proposal status/Locked/proposal,34112747,89817,2780 +Agora/Proposal/policy (proposal creation)/illegal/invalid proposal status/Locked/stake,298765565,751514,8975 +Agora/Proposal/policy (proposal creation)/illegal/invalid proposal status/Finished/proposal,34112747,89817,2780 +Agora/Proposal/policy (proposal creation)/illegal/invalid proposal status/Finished/stake,298765565,751514,8975 +Agora/Proposal/policy (proposal creation)/illegal/fake SST/proposal,34112747,89817,2687 +Agora/Proposal/policy (proposal creation)/illegal/wrong governor redeemer/stake,298765565,751514,8975 +Agora/Proposal/policy (proposal creation)/illegal/wrong governor redeemer/stake,298765565,751514,8975 +Agora/Proposal/validator/cosignature/legal/proposal,207214929,576996,12455 +Agora/Proposal/validator/cosignature/legal/stake,260705694,683894,8772 +Agora/Proposal/validator/cosignature/illegal/insufficient staked amount/stake,260705694,683894,8772 +Agora/Proposal/validator/cosignature/illegal/proposal locks not updated/proposal,207214929,576996,12448 +Agora/Proposal/validator/cosignature/illegal/duplicate cosigners/stake,268885320,707458,8792 +Agora/Proposal/validator/cosignature/illegal/cosigners not updated/stake,260705694,683894,8738 +Agora/Proposal/validator/cosignature/illegal/cosign after draft/(negative test)/stake,260705694,683894,8772 +Agora/Proposal/validator/cosignature/illegal/cosign after draft/(negative test)/stake,260705694,683894,8772 +Agora/Proposal/validator/cosignature/illegal/cosign after draft/(negative test)/stake,260705694,683894,8772 +Agora/Proposal/validator/voting/legal/different number of stakes/1 stakes/by owner/proposal,232103182,655396,12312 +Agora/Proposal/validator/voting/legal/different number of stakes/1 stakes/by owner/stake,284909132,750121,8645 +Agora/Proposal/validator/voting/legal/different number of stakes/1 stakes/by delegatee/proposal,232103182,655396,12312 +Agora/Proposal/validator/voting/legal/different number of stakes/1 stakes/by delegatee/stake,292069583,768378,8645 +Agora/Proposal/validator/voting/legal/different number of stakes/3 stakes/by owner/proposal,353368568,983342,13546 +Agora/Proposal/validator/voting/legal/different number of stakes/3 stakes/by owner/stake,594284390,1487279,9879 +Agora/Proposal/validator/voting/legal/different number of stakes/3 stakes/by delegatee/proposal,353368568,983342,13546 +Agora/Proposal/validator/voting/legal/different number of stakes/3 stakes/by delegatee/stake,601444841,1505536,9879 +Agora/Proposal/validator/voting/legal/different number of stakes/5 stakes/by owner/proposal,474633954,1311288,14779 +Agora/Proposal/validator/voting/legal/different number of stakes/5 stakes/by owner/stake,903659648,2224437,11112 +Agora/Proposal/validator/voting/legal/different number of stakes/5 stakes/by delegatee/proposal,474633954,1311288,14779 +Agora/Proposal/validator/voting/legal/different number of stakes/5 stakes/by delegatee/stake,910820099,2242694,11112 +Agora/Proposal/validator/voting/legal/different number of stakes/7 stakes/by owner/proposal,595899340,1639234,16012 +Agora/Proposal/validator/voting/legal/different number of stakes/7 stakes/by owner/stake,1213034906,2961595,12345 +Agora/Proposal/validator/voting/legal/different number of stakes/7 stakes/by delegatee/proposal,595899340,1639234,16012 +Agora/Proposal/validator/voting/legal/different number of stakes/7 stakes/by delegatee/stake,1220195357,2979852,12345 +Agora/Proposal/validator/voting/legal/different number of stakes/9 stakes/by owner/proposal,717164726,1967180,17244 +Agora/Proposal/validator/voting/legal/different number of stakes/9 stakes/by owner/stake,1522410164,3698753,13577 +Agora/Proposal/validator/voting/legal/different number of stakes/9 stakes/by delegatee/proposal,717164726,1967180,17244 +Agora/Proposal/validator/voting/legal/different number of stakes/9 stakes/by delegatee/stake,1529570615,3717010,13577 +Agora/Proposal/validator/voting/legal/transparent non-GT tokens/proposal,232103182,655396,12312 +Agora/Proposal/validator/voting/legal/transparent non-GT tokens/stake,284909132,750121,8645 +Agora/Proposal/validator/voting/legal/Delegatee vote with own and delegated stakes in one tx/proposal,472204966,1304188,14709 +Agora/Proposal/validator/voting/legal/Delegatee vote with own and delegated stakes in one tx/stake,912220723,2239362,11042 +Agora/Proposal/validator/voting/illegal/vote for nonexistent outcome/stake,284909132,750121,8653 +Agora/Proposal/validator/voting/illegal/unauthorized tx/proposal,232103182,655396,12312 +Agora/Proposal/validator/voting/illegal/more than one proposals/stake,284909132,750121,8653 +Agora/Proposal/validator/voting/illegal/locks not added/proposal,474633954,1311288,14724 +Agora/Proposal/validator/voting/illegal/attempt to burn stakes/proposal,436453459,1199088,13686 +Agora/Proposal/validator/voting/illegal/insufficient staked amount/stake,284909132,750121,8640 +Agora/Proposal/validator/voting/illegal/insufficient staked amount/stake,903659648,2224437,11090 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/proposal,245633362,688711,12924 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/proposal,225020464,631696,12686 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Locked to Finished/proposal,238582537,659308,14008 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Locked to Finished/governor,443068460,1180768,13498 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Locked to Finished/authority,96904041,243358,4008 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/proposal,242285392,677875,12645 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/proposal,221672494,620860,12407 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Locked to Finished/proposal,235234567,648472,13549 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Locked to Finished/governor,440932826,1173958,13132 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Locked to Finished/authority,91838439,229702,3642 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from Draft to Finished/proposal,216079711,610357,12679 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/proposal,214351328,600067,12680 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from Locked to Finished/proposal,226615452,631111,12680 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from Draft to Finished/proposal,212731741,599521,12400 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/proposal,211003358,589231,12401 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from Locked to Finished/proposal,223267482,620275,12401 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,238582537,659308,13803 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/governor,453591002,1185814,13293 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/authority,96904041,243358,3803 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,235234567,648472,13344 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/governor,451455368,1179004,12927 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/authority,91838439,229702,3437 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/authority,96904041,243358,4008 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/authority,91838439,229702,3642 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/to next state too late/from Locked/governor,443068460,1180768,13498 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/to next state too late/from Locked/authority,96904041,243358,4008 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/to next state too late/from Locked/governor,440932826,1173958,13132 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/to next state too late/from Locked/authority,91838439,229702,3642 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/forget to mint GATs/proposal,235234567,648472,12904 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/mint GATs for wrong validators/proposal,235234567,648472,13549 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/mint GATs for wrong validators/authority,91838439,229702,3642 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/mint GATs with bad token name/proposal,235234567,648472,13581 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/mint GATs with bad token name/authority,91838439,229702,3674 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/wrong GAT datum/proposal,235234567,648472,13543 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/wrong GAT datum/authority,91838439,229702,3636 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/invalid governor output datum/proposal,235234567,648472,13549 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/invalid governor output datum/authority,91838439,229702,3642 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/wrong governor redeemer/proposal,235234567,648472,13549 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/proposal,319394762,891621,13840 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/proposal,302476750,844594,13602 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Locked to Finished/proposal,312343937,862218,14923 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Locked to Finished/governor,484572028,1297304,14108 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Locked to Finished/authority,96904041,243358,4618 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/proposal,312698822,869949,13279 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/proposal,295780810,822922,13041 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Locked to Finished/proposal,305647997,840546,14184 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Locked to Finished/governor,480913441,1285076,13556 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Locked to Finished/authority,91838439,229702,4066 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from Draft to Finished/proposal,289841111,813267,13595 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/proposal,288112728,802977,13596 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from Locked to Finished/proposal,300376852,834021,13596 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from Draft to Finished/proposal,283145171,791595,13034 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/proposal,281416788,781305,13035 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from Locked to Finished/proposal,293680912,812349,13035 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,312343937,862218,14718 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/governor,495094570,1302350,13903 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/authority,96904041,243358,4413 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,305647997,840546,13979 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/governor,491435983,1290122,13351 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/authority,91838439,229702,3861 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/authority,96904041,243358,4618 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/authority,91838439,229702,4066 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/to next state too late/from Locked/governor,484572028,1297304,14108 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/to next state too late/from Locked/authority,96904041,243358,4618 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/to next state too late/from Locked/governor,480913441,1285076,13556 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/to next state too late/from Locked/authority,91838439,229702,4066 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/forget to mint GATs/proposal,305647997,840546,13538 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/mint GATs for wrong validators/proposal,305647997,840546,14184 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/mint GATs for wrong validators/authority,91838439,229702,4066 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/mint GATs with bad token name/proposal,305647997,840546,14216 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/mint GATs with bad token name/authority,91838439,229702,4098 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/wrong GAT datum/proposal,305647997,840546,14178 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/wrong GAT datum/authority,91838439,229702,4060 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/invalid governor output datum/proposal,305647997,840546,14184 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/invalid governor output datum/authority,91838439,229702,4066 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/wrong governor redeemer/proposal,305647997,840546,14184 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/proposal,540678962,1500351,16587 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/proposal,534845608,1483288,16349 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Locked to Finished/proposal,533628137,1470948,17670 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Locked to Finished/governor,609082732,1646912,15939 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Locked to Finished/authority,96904041,243358,6449 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/proposal,523939112,1446171,15186 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/proposal,518105758,1429108,14948 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Locked to Finished/proposal,516888287,1416768,16091 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Locked to Finished/governor,600855286,1618430,14827 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Locked to Finished/authority,91838439,229702,5337 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from Draft to Finished/proposal,511125311,1421997,16342 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/proposal,509396928,1411707,16343 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from Locked to Finished/proposal,521661052,1442751,16343 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from Draft to Finished/proposal,494385461,1367817,14941 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/proposal,492657078,1357527,14942 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from Locked to Finished/proposal,504921202,1388571,14942 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,533628137,1470948,17465 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/governor,619605274,1651958,15734 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/authority,96904041,243358,6244 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,516888287,1416768,15886 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/governor,611377828,1623476,14622 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/authority,91838439,229702,5132 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/authority,96904041,243358,6449 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/authority,91838439,229702,5337 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/to next state too late/from Locked/governor,609082732,1646912,15939 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/to next state too late/from Locked/authority,96904041,243358,6449 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/to next state too late/from Locked/governor,600855286,1618430,14827 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/to next state too late/from Locked/authority,91838439,229702,5337 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/forget to mint GATs/proposal,516888287,1416768,15445 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/mint GATs for wrong validators/proposal,516888287,1416768,16091 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/mint GATs for wrong validators/authority,91838439,229702,5337 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/mint GATs with bad token name/proposal,516888287,1416768,16123 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/mint GATs with bad token name/authority,91838439,229702,5369 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/wrong GAT datum/proposal,516888287,1416768,16085 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/wrong GAT datum/authority,91838439,229702,5331 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/invalid governor output datum/proposal,516888287,1416768,16091 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/invalid governor output datum/authority,91838439,229702,5337 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/wrong governor redeemer/proposal,516888287,1416768,16091 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/proposal,425760556,1167807,14425 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/proposal,255371184,715424,13097 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Locked to Finished/proposal,268933257,743036,14418 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Locked to Finished/governor,457941756,1222632,13771 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Locked to Finished/authority,96904041,243358,4281 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/proposal,422412586,1156971,14144 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/proposal,252023214,704588,12816 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Locked to Finished/proposal,265585287,732200,13958 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Locked to Finished/governor,455806122,1215822,13405 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Locked to Finished/authority,91838439,229702,3915 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from Draft to Finished/proposal,246430431,694085,13090 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/proposal,244702048,683795,13091 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from Locked to Finished/proposal,256966172,714839,13091 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from Draft to Finished/proposal,243082461,683249,12809 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/proposal,241354078,672959,12810 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from Locked to Finished/proposal,253618202,704003,12810 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,268933257,743036,14213 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/governor,468464298,1227678,13566 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/authority,96904041,243358,4076 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,265585287,732200,13753 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/governor,466328664,1220868,13200 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/authority,91838439,229702,3710 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/authority,96904041,243358,4281 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/authority,91838439,229702,3915 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/to next state too late/from Locked/governor,457941756,1222632,13771 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/to next state too late/from Locked/authority,96904041,243358,4281 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/to next state too late/from Locked/governor,455806122,1215822,13405 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/to next state too late/from Locked/authority,91838439,229702,3915 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/forget to mint GATs/proposal,265585287,732200,13313 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/mint GATs for wrong validators/proposal,265585287,732200,13958 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/mint GATs for wrong validators/authority,91838439,229702,3915 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/mint GATs with bad token name/proposal,265585287,732200,13990 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/mint GATs with bad token name/authority,91838439,229702,3947 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/wrong GAT datum/proposal,265585287,732200,13952 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/wrong GAT datum/authority,91838439,229702,3909 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/invalid governor output datum/proposal,265585287,732200,13958 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/invalid governor output datum/authority,91838439,229702,3915 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/wrong governor redeemer/proposal,265585287,732200,13958 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/proposal,499521956,1370717,15340 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/proposal,332827470,928322,14012 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Locked to Finished/proposal,342694657,945946,15333 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Locked to Finished/governor,499445324,1339168,14381 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Locked to Finished/authority,96904041,243358,4891 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/proposal,492826016,1349045,14780 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/proposal,326131530,906650,13451 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Locked to Finished/proposal,335998717,924274,14594 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Locked to Finished/governor,495786737,1326940,13829 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Locked to Finished/authority,91838439,229702,4339 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from Draft to Finished/proposal,320191831,896995,14005 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/proposal,318463448,886705,14006 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from Locked to Finished/proposal,330727572,917749,14006 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from Draft to Finished/proposal,313495891,875323,13444 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/proposal,311767508,865033,13445 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from Locked to Finished/proposal,324031632,896077,13445 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,342694657,945946,15128 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/governor,509967866,1344214,14176 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/authority,96904041,243358,4686 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,335998717,924274,14389 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/governor,506309279,1331986,13624 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/authority,91838439,229702,4134 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/authority,96904041,243358,4891 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/authority,91838439,229702,4339 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/to next state too late/from Locked/governor,499445324,1339168,14381 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/to next state too late/from Locked/authority,96904041,243358,4891 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/to next state too late/from Locked/governor,495786737,1326940,13829 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/to next state too late/from Locked/authority,91838439,229702,4339 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/forget to mint GATs/proposal,335998717,924274,13948 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/mint GATs for wrong validators/proposal,335998717,924274,14594 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/mint GATs for wrong validators/authority,91838439,229702,4339 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/mint GATs with bad token name/proposal,335998717,924274,14626 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/mint GATs with bad token name/authority,91838439,229702,4371 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/wrong GAT datum/proposal,335998717,924274,14588 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/wrong GAT datum/authority,91838439,229702,4333 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/invalid governor output datum/proposal,335998717,924274,14594 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/invalid governor output datum/authority,91838439,229702,4339 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/wrong governor redeemer/proposal,335998717,924274,14594 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/proposal,720806156,1979447,18086 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/proposal,565196328,1567016,16758 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Locked to Finished/proposal,563978857,1554676,18079 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Locked to Finished/governor,623956028,1688776,16212 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Locked to Finished/authority,96904041,243358,6722 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/proposal,704066306,1925267,16686 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/proposal,548456478,1512836,15357 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Locked to Finished/proposal,547239007,1500496,16500 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Locked to Finished/governor,615728582,1660294,15100 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Locked to Finished/authority,91838439,229702,5610 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from Draft to Finished/proposal,541476031,1505725,16751 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/proposal,539747648,1495435,16752 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from Locked to Finished/proposal,552011772,1526479,16752 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from Draft to Finished/proposal,524736181,1451545,15350 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/proposal,523007798,1441255,15351 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from Locked to Finished/proposal,535271922,1472299,15351 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,563978857,1554676,17874 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/governor,634478570,1693822,16007 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/authority,96904041,243358,6517 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,547239007,1500496,16295 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/governor,626251124,1665340,14895 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/authority,91838439,229702,5405 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/authority,96904041,243358,6722 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/authority,91838439,229702,5610 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/to next state too late/from Locked/governor,623956028,1688776,16212 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/to next state too late/from Locked/authority,96904041,243358,6722 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/to next state too late/from Locked/governor,615728582,1660294,15100 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/to next state too late/from Locked/authority,91838439,229702,5610 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/forget to mint GATs/proposal,547239007,1500496,15854 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/mint GATs for wrong validators/proposal,547239007,1500496,16500 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/mint GATs for wrong validators/authority,91838439,229702,5610 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/mint GATs with bad token name/proposal,547239007,1500496,16532 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/mint GATs with bad token name/authority,91838439,229702,5642 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/wrong GAT datum/proposal,547239007,1500496,16494 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/wrong GAT datum/authority,91838439,229702,5604 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/invalid governor output datum/proposal,547239007,1500496,16500 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/invalid governor output datum/authority,91838439,229702,5610 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/wrong governor redeemer/proposal,547239007,1500496,16500 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/proposal,666082992,1812368,16301 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/proposal,293309584,820084,13608 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Locked to Finished/proposal,306871657,847696,14929 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Locked to Finished/governor,476533376,1274962,14112 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Locked to Finished/authority,96904041,243358,4622 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/proposal,662735022,1801532,16022 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/proposal,289961614,809248,13328 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Locked to Finished/proposal,303523687,836860,14471 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Locked to Finished/governor,474397742,1268152,13747 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Locked to Finished/authority,91838439,229702,4257 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from Draft to Finished/proposal,284368831,798745,13601 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/proposal,282640448,788455,13602 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from Locked to Finished/proposal,294904572,819499,13602 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from Draft to Finished/proposal,281020861,787909,13321 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/proposal,279292478,777619,13322 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from Locked to Finished/proposal,291556602,808663,13322 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,306871657,847696,14724 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/governor,487055918,1280008,13907 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/authority,96904041,243358,4417 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,303523687,836860,14266 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/governor,484920284,1273198,13542 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/authority,91838439,229702,4052 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/authority,96904041,243358,4622 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/authority,91838439,229702,4257 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/to next state too late/from Locked/governor,476533376,1274962,14112 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/to next state too late/from Locked/authority,96904041,243358,4622 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/to next state too late/from Locked/governor,474397742,1268152,13747 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/to next state too late/from Locked/authority,91838439,229702,4257 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/forget to mint GATs/proposal,303523687,836860,13825 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/mint GATs for wrong validators/proposal,303523687,836860,14471 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/mint GATs for wrong validators/authority,91838439,229702,4257 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/mint GATs with bad token name/proposal,303523687,836860,14503 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/mint GATs with bad token name/authority,91838439,229702,4289 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/wrong GAT datum/proposal,303523687,836860,14465 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/wrong GAT datum/authority,91838439,229702,4251 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/invalid governor output datum/proposal,303523687,836860,14471 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/invalid governor output datum/authority,91838439,229702,4257 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/wrong governor redeemer/proposal,303523687,836860,14471 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/proposal,739844392,2015278,17217 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/proposal,370765870,1032982,14523 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Locked to Finished/proposal,380633057,1050606,15844 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Locked to Finished/governor,518036944,1391498,14722 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Locked to Finished/authority,96904041,243358,5232 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/proposal,733148452,1993606,16657 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/proposal,364069930,1011310,13964 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Locked to Finished/proposal,373937117,1028934,15106 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Locked to Finished/governor,514378357,1379270,14170 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Locked to Finished/authority,91838439,229702,4680 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from Draft to Finished/proposal,358130231,1001655,14516 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/proposal,356401848,991365,14517 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from Locked to Finished/proposal,368665972,1022409,14517 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from Draft to Finished/proposal,351434291,979983,13957 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/proposal,349705908,969693,13958 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from Locked to Finished/proposal,361970032,1000737,13958 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,380633057,1050606,15640 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/governor,528559486,1396544,14518 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/authority,96904041,243358,5028 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,373937117,1028934,14901 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/governor,524900899,1384316,13965 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/authority,91838439,229702,4475 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/authority,96904041,243358,5232 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/authority,91838439,229702,4680 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/to next state too late/from Locked/governor,518036944,1391498,14722 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/to next state too late/from Locked/authority,96904041,243358,5232 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/to next state too late/from Locked/governor,514378357,1379270,14170 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/to next state too late/from Locked/authority,91838439,229702,4680 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/forget to mint GATs/proposal,373937117,1028934,14461 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/mint GATs for wrong validators/proposal,373937117,1028934,15106 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/mint GATs for wrong validators/authority,91838439,229702,4680 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/mint GATs with bad token name/proposal,373937117,1028934,15138 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/mint GATs with bad token name/authority,91838439,229702,4712 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/wrong GAT datum/proposal,373937117,1028934,15100 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/wrong GAT datum/authority,91838439,229702,4674 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/invalid governor output datum/proposal,373937117,1028934,15106 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/invalid governor output datum/authority,91838439,229702,4680 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/wrong governor redeemer/proposal,373937117,1028934,15106 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/proposal,961128592,2624008,19964 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/proposal,603134728,1671676,17270 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Locked to Finished/proposal,601917257,1659336,18592 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Locked to Finished/governor,642547648,1741106,16554 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Locked to Finished/authority,96904041,243358,7064 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/proposal,944388742,2569828,18563 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/proposal,586394878,1617496,15870 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Locked to Finished/proposal,585177407,1605156,17012 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Locked to Finished/governor,634320202,1712624,15441 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Locked to Finished/authority,91838439,229702,5951 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from Draft to Finished/proposal,579414431,1610385,17263 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/proposal,577686048,1600095,17264 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from Locked to Finished/proposal,589950172,1631139,17264 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from Draft to Finished/proposal,562674581,1556205,15863 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/proposal,560946198,1545915,15864 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from Locked to Finished/proposal,573210322,1576959,15864 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,601917257,1659336,18387 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/governor,653070190,1746152,16349 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/authority,96904041,243358,6859 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,585177407,1605156,16807 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/governor,644842744,1717670,15236 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/authority,91838439,229702,5746 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/authority,96904041,243358,7064 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/authority,91838439,229702,5951 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/to next state too late/from Locked/governor,642547648,1741106,16554 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/to next state too late/from Locked/authority,96904041,243358,7064 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/to next state too late/from Locked/governor,634320202,1712624,15441 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/to next state too late/from Locked/authority,91838439,229702,5951 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/forget to mint GATs/proposal,585177407,1605156,16367 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/mint GATs for wrong validators/proposal,585177407,1605156,17012 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/mint GATs for wrong validators/authority,91838439,229702,5951 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/mint GATs with bad token name/proposal,585177407,1605156,17044 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/mint GATs with bad token name/authority,91838439,229702,5983 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/wrong GAT datum/proposal,585177407,1605156,17006 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/wrong GAT datum/authority,91838439,229702,5945 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/invalid governor output datum/proposal,585177407,1605156,17012 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/invalid governor output datum/authority,91838439,229702,5951 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/wrong governor redeemer/proposal,585177407,1605156,17012 +Agora/Proposal/validator/unlocking/legal/with 1 stakes/voter: retract votes while voting/stake,289124604,745249,8864 +Agora/Proposal/validator/unlocking/legal/with 1 stakes/voter: retract votes while voting/proposal,246288485,689010,12537 +Agora/Proposal/validator/unlocking/legal/with 1 stakes/voter: retract votes while voting by delegatee/stake,296285055,763506,8864 +Agora/Proposal/validator/unlocking/legal/with 1 stakes/voter: retract votes while voting by delegatee/proposal,246288485,689010,12537 +Agora/Proposal/validator/unlocking/legal/with 1 stakes/voter/creator: retract votes while voting/stake,301278945,780103,8883 +Agora/Proposal/validator/unlocking/legal/with 1 stakes/voter/creator: retract votes while voting/proposal,257516709,722104,12550 +Agora/Proposal/validator/unlocking/legal/with 1 stakes/creator: remove creator lock after voting/stake,286791790,738956,8861 +Agora/Proposal/validator/unlocking/legal/with 1 stakes/creator: remove creator lock after voting/proposal,190534728,531612,12538 +Agora/Proposal/validator/unlocking/legal/with 1 stakes/Voter: remove lock after voting/stake,289129364,745353,8869 +Agora/Proposal/validator/unlocking/legal/with 1 stakes/Voter: remove lock after voting/proposal,192607746,537208,12542 +Agora/Proposal/validator/unlocking/legal/with 3 stakes/voter: retract votes while voting/stake,595103204,1436905,10217 +Agora/Proposal/validator/unlocking/legal/with 3 stakes/voter: retract votes while voting/proposal,400095783,1110840,13890 +Agora/Proposal/validator/unlocking/legal/with 3 stakes/voter: retract votes while voting by delegatee/stake,602263655,1455162,10217 +Agora/Proposal/validator/unlocking/legal/with 3 stakes/voter: retract votes while voting by delegatee/proposal,400095783,1110840,13890 +Agora/Proposal/validator/unlocking/legal/with 3 stakes/voter/creator: retract votes while voting/stake,631566227,1541467,10263 +Agora/Proposal/validator/unlocking/legal/with 3 stakes/voter/creator: retract votes while voting/proposal,433780455,1210122,13930 +Agora/Proposal/validator/unlocking/legal/with 3 stakes/creator: remove creator lock after voting/stake,585842806,1413218,10206 +Agora/Proposal/validator/unlocking/legal/with 3 stakes/creator: remove creator lock after voting/proposal,260160606,702918,13883 +Agora/Proposal/validator/unlocking/legal/with 3 stakes/Voter: remove lock after voting/stake,592855528,1432409,10222 +Agora/Proposal/validator/unlocking/legal/with 3 stakes/Voter: remove lock after voting/proposal,266379660,719706,13895 +Agora/Proposal/validator/unlocking/legal/with 5 stakes/voter: retract votes while voting/stake,920728460,2160001,11571 +Agora/Proposal/validator/unlocking/legal/with 5 stakes/voter: retract votes while voting/proposal,553903081,1532670,15244 +Agora/Proposal/validator/unlocking/legal/with 5 stakes/voter: retract votes while voting by delegatee/stake,927888911,2178258,11571 +Agora/Proposal/validator/unlocking/legal/with 5 stakes/voter: retract votes while voting by delegatee/proposal,553903081,1532670,15244 +Agora/Proposal/validator/unlocking/legal/with 5 stakes/voter/creator: retract votes while voting/stake,981500165,2334271,11642 +Agora/Proposal/validator/unlocking/legal/with 5 stakes/voter/creator: retract votes while voting/proposal,610044201,1698140,15309 +Agora/Proposal/validator/unlocking/legal/with 5 stakes/creator: remove creator lock after voting/stake,904540478,2118920,11552 +Agora/Proposal/validator/unlocking/legal/with 5 stakes/creator: remove creator lock after voting/proposal,329786484,874224,15229 +Agora/Proposal/validator/unlocking/legal/with 5 stakes/Voter: remove lock after voting/stake,916228348,2150905,11576 +Agora/Proposal/validator/unlocking/legal/with 5 stakes/Voter: remove lock after voting/proposal,340151574,902204,15249 +Agora/Proposal/validator/unlocking/legal/with 7 stakes/voter: retract votes while voting/stake,1266000372,2914537,12924 +Agora/Proposal/validator/unlocking/legal/with 7 stakes/voter: retract votes while voting/proposal,707710379,1954500,16597 +Agora/Proposal/validator/unlocking/legal/with 7 stakes/voter: retract votes while voting by delegatee/stake,1273160823,2932794,12924 +Agora/Proposal/validator/unlocking/legal/with 7 stakes/voter: retract votes while voting by delegatee/proposal,707710379,1954500,16597 +Agora/Proposal/validator/unlocking/legal/with 7 stakes/voter/creator: retract votes while voting/stake,1351080759,3158515,13021 +Agora/Proposal/validator/unlocking/legal/with 7 stakes/voter/creator: retract votes while voting/proposal,786307947,2186158,16688 +Agora/Proposal/validator/unlocking/legal/with 7 stakes/creator: remove creator lock after voting/stake,1242884806,2856062,12897 +Agora/Proposal/validator/unlocking/legal/with 7 stakes/creator: remove creator lock after voting/proposal,399412362,1045530,16574 +Agora/Proposal/validator/unlocking/legal/with 7 stakes/Voter: remove lock after voting/stake,1259247824,2900841,12929 +Agora/Proposal/validator/unlocking/legal/with 7 stakes/Voter: remove lock after voting/proposal,413923488,1084702,16602 +Agora/Proposal/validator/unlocking/legal/with 9 stakes/voter: retract votes while voting/stake,1630918940,3700513,14277 +Agora/Proposal/validator/unlocking/legal/with 9 stakes/voter: retract votes while voting/proposal,861517677,2376330,17950 +Agora/Proposal/validator/unlocking/legal/with 9 stakes/voter: retract votes while voting by delegatee/stake,1638079391,3718770,14277 +Agora/Proposal/validator/unlocking/legal/with 9 stakes/voter: retract votes while voting by delegatee/proposal,861517677,2376330,17950 +Agora/Proposal/validator/unlocking/legal/with 9 stakes/voter/creator: retract votes while voting/stake,1740308009,4014199,14401 +Agora/Proposal/validator/unlocking/legal/with 9 stakes/voter/creator: retract votes while voting/proposal,962571693,2674176,18068 +Agora/Proposal/validator/unlocking/legal/with 9 stakes/creator: remove creator lock after voting/stake,1600875790,3624644,14242 +Agora/Proposal/validator/unlocking/legal/with 9 stakes/creator: remove creator lock after voting/proposal,469038240,1216836,17919 +Agora/Proposal/validator/unlocking/legal/with 9 stakes/Voter: remove lock after voting/stake,1621913956,3682217,14282 +Agora/Proposal/validator/unlocking/legal/with 9 stakes/Voter: remove lock after voting/proposal,487695402,1267200,17955 +Agora/Proposal/validator/unlocking/legal/with 11 stakes/voter: retract votes while voting/stake,2015484164,4517929,15632 +Agora/Proposal/validator/unlocking/legal/with 11 stakes/voter: retract votes while voting/proposal,1015324975,2798160,19305 +Agora/Proposal/validator/unlocking/legal/with 11 stakes/voter: retract votes while voting by delegatee/stake,2022644615,4536186,15632 +Agora/Proposal/validator/unlocking/legal/with 11 stakes/voter: retract votes while voting by delegatee/proposal,1015324975,2798160,19305 +Agora/Proposal/validator/unlocking/legal/with 11 stakes/voter/creator: retract votes while voting/stake,2149181915,4901323,15781 +Agora/Proposal/validator/unlocking/legal/with 11 stakes/voter/creator: retract votes while voting/proposal,1138835439,3162194,19448 +Agora/Proposal/validator/unlocking/legal/with 11 stakes/creator: remove creator lock after voting/stake,1978513430,4424666,15588 +Agora/Proposal/validator/unlocking/legal/with 11 stakes/creator: remove creator lock after voting/proposal,538664118,1388142,19265 +Agora/Proposal/validator/unlocking/legal/with 11 stakes/Voter: remove lock after voting/stake,2004226744,4495033,15637 +Agora/Proposal/validator/unlocking/legal/with 11 stakes/Voter: remove lock after voting/proposal,561467316,1449698,19310 +Agora/Proposal/validator/unlocking/illegal/with 1 stakes/retract votes while not voting/(negative test)/stake,288559115,744047,8864 +Agora/Proposal/validator/unlocking/illegal/with 1 stakes/retract votes while not voting/(negative test)/stake,289690093,746451,8864 +Agora/Proposal/validator/unlocking/illegal/with 1 stakes/retract votes while not voting/(negative test)/stake,289129364,745353,8864 +Agora/Proposal/validator/unlocking/illegal/with 1 stakes/remove creator too early/(negative test)/proposal,188838261,528006,12538 +Agora/Proposal/validator/unlocking/illegal/with 1 stakes/remove creator too early/(negative test)/proposal,196647635,546514,12538 +Agora/Proposal/validator/unlocking/illegal/with 1 stakes/remove creator too early/(negative test)/proposal,189969239,530410,12538 +Agora/Proposal/validator/unlocking/illegal/with 1 stakes/creator: retract votes/stake,285078263,740906,8863 +Agora/Proposal/validator/unlocking/illegal/with 1 stakes/change output stake value/proposal,246288485,689010,12534 +Agora/Proposal/validator/unlocking/illegal/with 1 stakes/retract votes in cooldown/proposal,257516709,722104,12550 +Agora/Proposal/validator/unlocking/illegal/with 3 stakes/retract votes while not voting/(negative test)/stake,594537715,1435703,10217 +Agora/Proposal/validator/unlocking/illegal/with 3 stakes/retract votes while not voting/(negative test)/stake,595668693,1438107,10217 +Agora/Proposal/validator/unlocking/illegal/with 3 stakes/retract votes while not voting/(negative test)/stake,592855528,1432409,10217 +Agora/Proposal/validator/unlocking/illegal/with 3 stakes/remove creator too early/(negative test)/proposal,258464139,699312,13883 +Agora/Proposal/validator/unlocking/illegal/with 3 stakes/remove creator too early/(negative test)/proposal,266273513,717820,13883 +Agora/Proposal/validator/unlocking/illegal/with 3 stakes/remove creator too early/(negative test)/proposal,259595117,701716,13883 +Agora/Proposal/validator/unlocking/illegal/with 3 stakes/creator: retract votes/stake,568229189,1400296,10222 +Agora/Proposal/validator/unlocking/illegal/with 3 stakes/change output stake value/proposal,400095783,1110840,13881 +Agora/Proposal/validator/unlocking/illegal/with 3 stakes/retract votes in cooldown/proposal,433780455,1210122,13930 +Agora/Proposal/validator/unlocking/illegal/with 5 stakes/retract votes while not voting/(negative test)/stake,920162971,2158799,11571 +Agora/Proposal/validator/unlocking/illegal/with 5 stakes/retract votes while not voting/(negative test)/stake,921293949,2161203,11571 +Agora/Proposal/validator/unlocking/illegal/with 5 stakes/retract votes while not voting/(negative test)/stake,916228348,2150905,11571 +Agora/Proposal/validator/unlocking/illegal/with 5 stakes/remove creator too early/(negative test)/proposal,328090017,870618,15229 +Agora/Proposal/validator/unlocking/illegal/with 5 stakes/remove creator too early/(negative test)/proposal,335899391,889126,15229 +Agora/Proposal/validator/unlocking/illegal/with 5 stakes/remove creator too early/(negative test)/proposal,329220995,873022,15229 +Agora/Proposal/validator/unlocking/illegal/with 5 stakes/creator: retract votes/stake,851380115,2059686,11582 +Agora/Proposal/validator/unlocking/illegal/with 5 stakes/change output stake value/proposal,553903081,1532670,15229 +Agora/Proposal/validator/unlocking/illegal/with 5 stakes/retract votes in cooldown/proposal,610044201,1698140,15309 +Agora/Proposal/validator/unlocking/illegal/with 7 stakes/retract votes while not voting/(negative test)/stake,1265434883,2913335,12924 +Agora/Proposal/validator/unlocking/illegal/with 7 stakes/retract votes while not voting/(negative test)/stake,1266565861,2915739,12924 +Agora/Proposal/validator/unlocking/illegal/with 7 stakes/retract votes while not voting/(negative test)/stake,1259247824,2900841,12924 +Agora/Proposal/validator/unlocking/illegal/with 7 stakes/remove creator too early/(negative test)/proposal,397715895,1041924,16574 +Agora/Proposal/validator/unlocking/illegal/with 7 stakes/remove creator too early/(negative test)/proposal,405525269,1060432,16574 +Agora/Proposal/validator/unlocking/illegal/with 7 stakes/remove creator too early/(negative test)/proposal,398846873,1044328,16574 +Agora/Proposal/validator/unlocking/illegal/with 7 stakes/creator: retract votes/stake,1134531041,2719076,12941 +Agora/Proposal/validator/unlocking/illegal/with 7 stakes/change output stake value/proposal,707710379,1954500,16576 +Agora/Proposal/validator/unlocking/illegal/with 7 stakes/retract votes in cooldown/proposal,786307947,2186158,16688 +Agora/Proposal/validator/unlocking/illegal/with 9 stakes/retract votes while not voting/(negative test)/stake,1630353451,3699311,14277 +Agora/Proposal/validator/unlocking/illegal/with 9 stakes/retract votes while not voting/(negative test)/stake,1631484429,3701715,14277 +Agora/Proposal/validator/unlocking/illegal/with 9 stakes/retract votes while not voting/(negative test)/stake,1621913956,3682217,14277 +Agora/Proposal/validator/unlocking/illegal/with 9 stakes/remove creator too early/(negative test)/proposal,467341773,1213230,17919 +Agora/Proposal/validator/unlocking/illegal/with 9 stakes/remove creator too early/(negative test)/proposal,475151147,1231738,17919 +Agora/Proposal/validator/unlocking/illegal/with 9 stakes/remove creator too early/(negative test)/proposal,468472751,1215634,17919 +Agora/Proposal/validator/unlocking/illegal/with 9 stakes/creator: retract votes/stake,1417681967,3378466,14300 +Agora/Proposal/validator/unlocking/illegal/with 9 stakes/change output stake value/proposal,861517677,2376330,17923 +Agora/Proposal/validator/unlocking/illegal/with 9 stakes/retract votes in cooldown/proposal,962571693,2674176,18068 +Agora/Proposal/validator/unlocking/illegal/with 11 stakes/retract votes while not voting/(negative test)/stake,2014918675,4516727,15632 +Agora/Proposal/validator/unlocking/illegal/with 11 stakes/retract votes while not voting/(negative test)/stake,2016049653,4519131,15632 +Agora/Proposal/validator/unlocking/illegal/with 11 stakes/retract votes while not voting/(negative test)/stake,2004226744,4495033,15632 +Agora/Proposal/validator/unlocking/illegal/with 11 stakes/remove creator too early/(negative test)/proposal,536967651,1384536,19265 +Agora/Proposal/validator/unlocking/illegal/with 11 stakes/remove creator too early/(negative test)/proposal,544777025,1403044,19265 +Agora/Proposal/validator/unlocking/illegal/with 11 stakes/remove creator too early/(negative test)/proposal,538098629,1386940,19265 +Agora/Proposal/validator/unlocking/illegal/with 11 stakes/creator: retract votes/stake,1700832893,4037856,15661 +Agora/Proposal/validator/unlocking/illegal/with 11 stakes/change output stake value/proposal,1015324975,2798160,19271 +Agora/Proposal/validator/unlocking/illegal/with 11 stakes/retract votes in cooldown/proposal,1138835439,3162194,19448 Agora/AuthorityToken/singleAuthorityTokenBurned/Correct simple,26525223,76151,758 Agora/AuthorityToken/singleAuthorityTokenBurned/Correct many inputs,51650175,146621,858 Agora/AuthorityToken/singleAuthorityTokenBurned/Correct even though scripts don't match,26525223,76151,757 -Agora/Treasury/Validator/Positive/Allows for effect changes,42239246,120064,1447 -Agora/Treasury/Validator/Positive/Fails when GAT token name is not script address,42239246,120064,1451 +Agora/Treasury/Validator/Positive/Allows for effect changes,42901346,122424,1459 +Agora/Treasury/Validator/Positive/Fails when GAT token name is not script address,42901346,122424,1463 Agora/AuthorityToken/singleAuthorityTokenBurned/Correct simple,26525223,76151,758 Agora/AuthorityToken/singleAuthorityTokenBurned/Correct many inputs,51650175,146621,858 Agora/AuthorityToken/singleAuthorityTokenBurned/Correct even though scripts don't match,26525223,76151,757 Agora/Governor/policy/totally legal,63484709,171628,2706 -Agora/Governor/validator/mutate/legal,131624771,371203,11753 +Agora/Governor/validator/mutate/legal,131994431,372499,11786 From 1a5bea39f4cd4a60bfcf229cf5b4b00c0ce77265 Mon Sep 17 00:00:00 2001 From: Hongrui Fang Date: Mon, 27 Mar 2023 19:51:44 +0800 Subject: [PATCH 5/5] fix typos --- agora/Agora/Effect/TreasuryWithdrawal.hs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/agora/Agora/Effect/TreasuryWithdrawal.hs b/agora/Agora/Effect/TreasuryWithdrawal.hs index 98e0172..0e34238 100644 --- a/agora/Agora/Effect/TreasuryWithdrawal.hs +++ b/agora/Agora/Effect/TreasuryWithdrawal.hs @@ -140,7 +140,7 @@ instance PTryFrom PData (PAsData PTreasuryWithdrawalDatum) The output order should be: - 1. Reciever outputs. They should be in the same order as the 'receivers' field of the datum. + 1. Receiver outputs. They should be in the same order as the 'receivers' field of the datum. 2. Other outputs: treasury outputs, colleteral outputs, etc. @@ -206,9 +206,9 @@ treasuryWithdrawalValidator = plam $ # datumF.receivers # txInfoF.outputs - extractTeasuryOutputValue :: + extractTreasuryOutputValue :: Term _ (PTxOut :--> PValue 'Sorted 'Positive) - extractTeasuryOutputValue = plam $ + extractTreasuryOutputValue = plam $ flip (pletFields @'["address", "value"]) $ \outputF -> let cred = pfield @"credential" # outputF.address @@ -222,7 +222,7 @@ treasuryWithdrawalValidator = plam $ -- Return the value if it'll be sent to one of the treasuries. treasuryOutputAmount = pfoldMap - # extractTeasuryOutputValue + # extractTreasuryOutputValue # remainingOutputs pguardC "Unused treasury should stay at treasury validators" $