From 3af4a7438a2a1cf40ef4cd3a29b0f50766a3da64 Mon Sep 17 00:00:00 2001 From: Seungheon Oh Date: Wed, 27 Jul 2022 09:41:01 -0500 Subject: [PATCH 1/3] remove `Agora.MultiSig` --- agora-purescript-bridge/AgoraTypes.hs | 3 - agora-specs/Property/MultiSig.hs | 107 -- agora-test/Spec.hs | 4 - agora.cabal | 2 - agora/Agora/MultiSig.hs | 137 -- flake.lock | 2133 +++++++++++++++++++------ flake.nix | 6 +- 7 files changed, 1639 insertions(+), 753 deletions(-) delete mode 100644 agora-specs/Property/MultiSig.hs delete mode 100644 agora/Agora/MultiSig.hs diff --git a/agora-purescript-bridge/AgoraTypes.hs b/agora-purescript-bridge/AgoraTypes.hs index f4f0afe..253f5de 100644 --- a/agora-purescript-bridge/AgoraTypes.hs +++ b/agora-purescript-bridge/AgoraTypes.hs @@ -15,7 +15,6 @@ import Agora.AuthorityToken qualified as AuthorityToken import Agora.Effect.GovernorMutation qualified as GovernorMutation import Agora.Effect.TreasuryWithdrawal qualified as TreasuryWithdrawalEffect import Agora.Governor qualified as Governor -import Agora.MultiSig qualified as MultiSig import Agora.Proposal qualified as Proposal import Agora.Stake qualified as Stake import Agora.Treasury qualified as Treasury @@ -37,8 +36,6 @@ agoraTypes = mkSumType (Proxy @Governor.GovernorDatum) , mkSumType (Proxy @Governor.GovernorRedeemer) , mkSumType (Proxy @Governor.Governor) - , -- MultiSig - mkSumType (Proxy @MultiSig.MultiSig) , -- Stake mkSumType (Proxy @Stake.Stake) , mkSumType (Proxy @Stake.ProposalLock) diff --git a/agora-specs/Property/MultiSig.hs b/agora-specs/Property/MultiSig.hs deleted file mode 100644 index 3d0d98c..0000000 --- a/agora-specs/Property/MultiSig.hs +++ /dev/null @@ -1,107 +0,0 @@ -{- | -Module : Property.MultiSig -Maintainer : seungheon.ooh@gmail.com -Description: Property tests for 'MultiSig' functions - -Property model and tests for 'MultiSig' functions --} -module Property.MultiSig (props) where - -import Agora.MultiSig ( - MultiSig (MultiSig), - PMultiSig, - pvalidatedByMultisig, - ) -import Data.Tagged (Tagged (Tagged)) -import Data.Universe (Finite (..), Universe (..)) -import Plutarch.Api.V1 (PScriptContext) -import Plutarch.Context -import Plutarch.Extra.TermCont (pletC) -import PlutusLedgerApi.V1 ( - ScriptContext (..), - ScriptPurpose (..), - TxInfo (txInfoSignatories), - TxOutRef (..), - ) -import Property.Generator (genPubKeyHash) -import Test.Tasty (TestTree) -import Test.Tasty.Plutarch.Property (classifiedPropertyNative) -import Test.Tasty.QuickCheck ( - Gen, - Property, - chooseInt, - listOf, - testProperty, - vectorOf, - ) - --- | Model for testing multisigs. -type MultiSigModel = (MultiSig, ScriptContext) - --- | Propositions that may hold true of a `MultiSigModel`. -data MultiSigProp - = -- | Sufficient number of signatories in the script context. - MeetsMinSigs - | -- | Insufficient number of signatories in the script context. - DoesNotMeetMinSigs - deriving stock (Eq, Show, Ord) - -instance Universe MultiSigProp where - universe = [MeetsMinSigs, DoesNotMeetMinSigs] - -instance Finite MultiSigProp where - universeF = universe - cardinality = Tagged 2 - --- | Generate model with given proposition. -genMultiSigProp :: MultiSigProp -> Gen MultiSigModel -genMultiSigProp prop = do - size <- chooseInt (4, 20) - pkhs <- vectorOf size genPubKeyHash - minSig <- chooseInt (1, length pkhs) - othersigners <- take 20 <$> listOf genPubKeyHash - - let ms = MultiSig pkhs (toInteger minSig) - - n <- case prop of - MeetsMinSigs -> chooseInt (minSig, length pkhs) - DoesNotMeetMinSigs -> chooseInt (0, minSig - 1) - - let builder :: BaseBuilder - builder = mconcat $ signedWith <$> take n pkhs <> othersigners - txinfo = buildTxInfoUnsafe builder - pure (ms, ScriptContext txinfo (Spending (TxOutRef "" 0))) - --- | Classify model into propositions. -classifyMultiSigProp :: MultiSigModel -> MultiSigProp -classifyMultiSigProp (MultiSig keys (fromIntegral -> minsig), ctx) - | minsig <= length signer = MeetsMinSigs - | otherwise = DoesNotMeetMinSigs - where - signer = filter (`elem` keys) $ txInfoSignatories . scriptContextTxInfo $ ctx - --- | Shrinker. Not used. -shrinkMultiSigProp :: MultiSigModel -> [MultiSigModel] -shrinkMultiSigProp = const [] - --- | Expected behavior of @pvalidatedByMultisig@. -expectedHs :: MultiSigModel -> Maybe Bool -expectedHs model = case classifyMultiSigProp model of - MeetsMinSigs -> Just True - _ -> Just False - --- | Actual implementation of @pvalidatedByMultisig@. -actual :: Term s (PBuiltinPair PMultiSig PScriptContext :--> PBool) -actual = plam $ \x -> unTermCont $ do - ms <- pletC $ pfstBuiltin # x - sc <- pletC $ psndBuiltin # x - pure $ pvalidatedByMultisig # ms # (pfield @"txInfo" # sc) - --- | Proposed property. -prop :: Property -prop = classifiedPropertyNative genMultiSigProp shrinkMultiSigProp expectedHs classifyMultiSigProp actual - -props :: [TestTree] -props = - [ testProperty "MultiSig property" prop - ] diff --git a/agora-test/Spec.hs b/agora-test/Spec.hs index e11a5e1..ed7b983 100644 --- a/agora-test/Spec.hs +++ b/agora-test/Spec.hs @@ -8,7 +8,6 @@ import Test.Tasty (defaultMain, testGroup) -------------------------------------------------------------------------------- import Property.Governor qualified as Governer -import Property.MultiSig qualified as MultiSig import Spec.AuthorityToken qualified as AuthorityToken import Spec.Effect.GovernorMutation qualified as GovernorMutation import Spec.Effect.TreasuryWithdrawal qualified as TreasuryWithdrawal @@ -42,7 +41,4 @@ main = do , testGroup "Utility tests" Utils.tests - , testGroup - "Multisig tests" - MultiSig.props ] diff --git a/agora.cabal b/agora.cabal index 1050c07..5fb6e63 100644 --- a/agora.cabal +++ b/agora.cabal @@ -149,7 +149,6 @@ library Agora.Effect.TreasuryWithdrawal Agora.Governor Agora.Governor.Scripts - Agora.MultiSig Agora.Plutarch.Orphans Agora.Proposal Agora.Proposal.Scripts @@ -184,7 +183,6 @@ library agora-specs exposed-modules: Property.Generator Property.Governor - Property.MultiSig Sample.Effect.GovernorMutation Sample.Effect.TreasuryWithdrawal Sample.Governor.Initialize diff --git a/agora/Agora/MultiSig.hs b/agora/Agora/MultiSig.hs deleted file mode 100644 index 5f34ec8..0000000 --- a/agora/Agora/MultiSig.hs +++ /dev/null @@ -1,137 +0,0 @@ -{-# LANGUAGE TemplateHaskell #-} - -{- | -Module : Agora.MultiSig -Maintainer : riley_kilgore@outlook.com -Description: A basic N of M multisignature validation function. - -A basic N of M multisignature validation function. --} -module Agora.MultiSig ( - validatedByMultisig, - pvalidatedByMultisig, - PMultiSig (..), - MultiSig (..), -) where - -import GHC.Generics qualified as GHC -import Generics.SOP (Generic, I (I)) -import Plutarch.Api.V1 ( - PPubKeyHash, - PTxInfo (..), - ) -import Plutarch.DataRepr ( - DerivePConstantViaData (DerivePConstantViaData), - PDataFields, - PIsDataReprInstances (PIsDataReprInstances), - ) -import Plutarch.Extra.TermCont (pletFieldsC) -import Plutarch.Lift ( - PConstantDecl, - PLifted, - PUnsafeLiftDecl, - ) -import PlutusLedgerApi.V1.Crypto (PubKeyHash) -import PlutusTx qualified -import Prelude - --------------------------------------------------------------------------------- - -{- | A MultiSig represents a proof that a particular set of signatures - are present on a transaction. - - @since 0.1.0 --} -data MultiSig = MultiSig - { keys :: [PubKeyHash] - -- ^ List of PubKeyHashes that must be present in the list of signatories. - , minSigs :: Integer - } - deriving stock - ( -- | @since 0.1.0 - GHC.Generic - , -- | @since 0.1.0 - Eq - , -- | @since 0.1.0 - Show - ) - deriving anyclass - ( -- | @since 0.1.0 - Generic - ) - -PlutusTx.makeLift ''MultiSig -PlutusTx.unstableMakeIsData ''MultiSig - -{- | Plutarch-level MultiSig - - @since 0.1.0 --} -newtype PMultiSig (s :: S) = PMultiSig - { getMultiSig :: - Term - s - ( PDataRecord - '[ "keys" ':= PBuiltinList (PAsData PPubKeyHash) - , "minSigs" ':= PInteger - ] - ) - } - deriving stock - ( -- | @since 0.1.0 - GHC.Generic - ) - deriving anyclass - ( -- | @since 0.1.0 - Generic - ) - deriving anyclass - ( -- | @since 0.1.0 - PIsDataRepr - ) - deriving - ( -- | @since 0.1.0 - PlutusType - , -- | @since 0.1.0 - PIsData - , -- | @since 0.1.0 - PDataFields - ) - via (PIsDataReprInstances PMultiSig) - --- | @since 0.1.0 -instance PUnsafeLiftDecl PMultiSig where type PLifted PMultiSig = MultiSig - --- | @since 0.1.0 -deriving via (DerivePConstantViaData MultiSig PMultiSig) instance (PConstantDecl MultiSig) - --------------------------------------------------------------------------------- - -{- | Check if a Haskell-level MultiSig signs this transaction. - - @since 0.1.0 --} -validatedByMultisig :: MultiSig -> Term s (PTxInfo :--> PBool) -validatedByMultisig params = - phoistAcyclic $ - pvalidatedByMultisig # pconstant params - -{- | Check if a Plutarch-level MultiSig signs this transaction. - - @since 0.1.0 --} -pvalidatedByMultisig :: Term s (PMultiSig :--> PTxInfo :--> PBool) -pvalidatedByMultisig = - phoistAcyclic $ - plam $ \multi' txInfo -> unTermCont $ do - multi <- pletFieldsC @'["keys", "minSigs"] multi' - let signatories = pfield @"signatories" # txInfo - pure $ - pfromData multi.minSigs - #<= ( plength #$ pfilter - # plam - ( \a -> - pelem # a # pfromData signatories - ) - # multi.keys - ) diff --git a/flake.lock b/flake.lock index 04af4ee..9e4d757 100644 --- a/flake.lock +++ b/flake.lock @@ -64,6 +64,22 @@ "type": "github" } }, + "HTTP_13": { + "flake": false, + "locked": { + "lastModified": 1451647621, + "narHash": "sha256-oHIyw3x0iKBexEo49YeUDV1k74ZtyYKGR2gNJXXRxts=", + "owner": "phadej", + "repo": "HTTP", + "rev": "9bc0996d412fef1787449d841277ef663ad9a915", + "type": "github" + }, + "original": { + "owner": "phadej", + "repo": "HTTP", + "type": "github" + } + }, "HTTP_2": { "flake": false, "locked": { @@ -276,6 +292,23 @@ "type": "github" } }, + "cabal-32_13": { + "flake": false, + "locked": { + "lastModified": 1603716527, + "narHash": "sha256-X0TFfdD4KZpwl0Zr6x+PLxUt/VyKQfX7ylXHdmZIL+w=", + "owner": "haskell", + "repo": "cabal", + "rev": "48bf10787e27364730dd37a42b603cee8d6af7ee", + "type": "github" + }, + "original": { + "owner": "haskell", + "ref": "3.2", + "repo": "cabal", + "type": "github" + } + }, "cabal-32_2": { "flake": false, "locked": { @@ -480,6 +513,23 @@ "type": "github" } }, + "cabal-34_13": { + "flake": false, + "locked": { + "lastModified": 1640353650, + "narHash": "sha256-N1t6M3/wqj90AEdRkeC8i923gQYUpzSr8b40qVOZ1Rk=", + "owner": "haskell", + "repo": "cabal", + "rev": "942639c18c0cd8ec53e0a6f8d120091af35312cd", + "type": "github" + }, + "original": { + "owner": "haskell", + "ref": "3.4", + "repo": "cabal", + "type": "github" + } + }, "cabal-34_2": { "flake": false, "locked": { @@ -684,6 +734,23 @@ "type": "github" } }, + "cabal-36_13": { + "flake": false, + "locked": { + "lastModified": 1641652457, + "narHash": "sha256-BlFPKP4C4HRUJeAbdembX1Rms1LD380q9s0qVDeoAak=", + "owner": "haskell", + "repo": "cabal", + "rev": "f27667f8ec360c475027dcaee0138c937477b070", + "type": "github" + }, + "original": { + "owner": "haskell", + "ref": "3.6", + "repo": "cabal", + "type": "github" + } + }, "cabal-36_2": { "flake": false, "locked": { @@ -853,6 +920,22 @@ } }, "cardano-base_11": { + "flake": false, + "locked": { + "lastModified": 1652788515, + "narHash": "sha256-l0KgomRi6YhEoOlFnBYEXhnZO2+PW68rhfUrbMXjhCQ=", + "owner": "input-output-hk", + "repo": "cardano-base", + "rev": "631cb6cf1fa01ab346233b610a38b3b4cba6e6ab", + "type": "github" + }, + "original": { + "owner": "input-output-hk", + "repo": "cardano-base", + "type": "github" + } + }, + "cardano-base_12": { "flake": false, "locked": { "lastModified": 1638456794, @@ -868,7 +951,7 @@ "type": "github" } }, - "cardano-base_12": { + "cardano-base_13": { "flake": false, "locked": { "lastModified": 1652788515, @@ -1080,6 +1163,23 @@ "type": "github" } }, + "cardano-crypto_13": { + "flake": false, + "locked": { + "lastModified": 1621376239, + "narHash": "sha256-oxIOVlgm07FAEmgGRF1C2me9TXqVxQulEOcJ22zpTRs=", + "owner": "input-output-hk", + "repo": "cardano-crypto", + "rev": "07397f0e50da97eaa0575d93bee7ac4b2b2576ec", + "type": "github" + }, + "original": { + "owner": "input-output-hk", + "repo": "cardano-crypto", + "rev": "07397f0e50da97eaa0575d93bee7ac4b2b2576ec", + "type": "github" + } + }, "cardano-crypto_2": { "flake": false, "locked": { @@ -1251,6 +1351,23 @@ } }, "cardano-prelude_11": { + "flake": false, + "locked": { + "lastModified": 1653997332, + "narHash": "sha256-E+YSfUsvxdoOr7n7fz4xd7zb4z8XBRGNYOKipc2A1pw=", + "owner": "mlabs-haskell", + "repo": "cardano-prelude", + "rev": "713c7ae79a4d538fcd653c976a652913df1567b9", + "type": "github" + }, + "original": { + "owner": "mlabs-haskell", + "repo": "cardano-prelude", + "rev": "713c7ae79a4d538fcd653c976a652913df1567b9", + "type": "github" + } + }, + "cardano-prelude_12": { "flake": false, "locked": { "lastModified": 1641566029, @@ -1267,7 +1384,7 @@ "type": "github" } }, - "cardano-prelude_12": { + "cardano-prelude_13": { "flake": false, "locked": { "lastModified": 1653997332, @@ -1484,6 +1601,22 @@ "type": "github" } }, + "cardano-repo-tool_13": { + "flake": false, + "locked": { + "lastModified": 1624584417, + "narHash": "sha256-YSepT97PagR/1jTYV/Yer8a2GjFe9+tTwaTCHxuK50M=", + "owner": "input-output-hk", + "repo": "cardano-repo-tool", + "rev": "30e826ed8f00e3e154453b122a6f3d779b2f73ec", + "type": "github" + }, + "original": { + "owner": "input-output-hk", + "repo": "cardano-repo-tool", + "type": "github" + } + }, "cardano-repo-tool_2": { "flake": false, "locked": { @@ -1676,6 +1809,22 @@ "type": "github" } }, + "cardano-shell_13": { + "flake": false, + "locked": { + "lastModified": 1608537748, + "narHash": "sha256-PulY1GfiMgKVnBci3ex4ptk2UNYMXqGjJOxcPy2KYT4=", + "owner": "input-output-hk", + "repo": "cardano-shell", + "rev": "9392c75087cb9a3d453998f4230930dea3a95725", + "type": "github" + }, + "original": { + "owner": "input-output-hk", + "repo": "cardano-shell", + "type": "github" + } + }, "cardano-shell_2": { "flake": false, "locked": { @@ -1846,9 +1995,30 @@ "inputs": { "flake-compat": "flake-compat_19", "flake-utils": "flake-utils_29", - "lint-utils": "lint-utils", "nixpkgs": "nixpkgs_49" }, + "locked": { + "lastModified": 1653742730, + "narHash": "sha256-NyhjoMbm3h1aTskIU6jowNClSgA92bUcGcVNPfWNWgE=", + "owner": "srid", + "repo": "ema", + "rev": "50d9499db16b4e334776d8e8cffcd144c67f9fc4", + "type": "github" + }, + "original": { + "owner": "srid", + "ref": "multisite", + "repo": "ema", + "type": "github" + } + }, + "ema_11": { + "inputs": { + "flake-compat": "flake-compat_21", + "flake-utils": "flake-utils_32", + "lint-utils": "lint-utils", + "nixpkgs": "nixpkgs_54" + }, "locked": { "lastModified": 1650932571, "narHash": "sha256-rdpfJ+10a1uBPtHMNoAcpDE183RzpILRpsMgxj/YJek=", @@ -1909,8 +2079,8 @@ "ema_4": { "inputs": { "flake-compat": "flake-compat_7", - "flake-utils": "flake-utils_11", - "nixpkgs": "nixpkgs_19" + "flake-utils": "flake-utils_10", + "nixpkgs": "nixpkgs_16" }, "locked": { "lastModified": 1653742730, @@ -2079,6 +2249,50 @@ "emanote_10": { "inputs": { "ema": "ema_10", + "flake-compat": [ + "plutarch-safe-money", + "plutarch", + "emanote", + "ema", + "flake-compat" + ], + "flake-utils": [ + "plutarch-safe-money", + "plutarch", + "emanote", + "ema", + "flake-utils" + ], + "heist": "heist_10", + "ixset-typed": "ixset-typed_10", + "nixpkgs": [ + "plutarch-safe-money", + "plutarch", + "emanote", + "ema", + "nixpkgs" + ], + "pandoc-link-context": "pandoc-link-context_10", + "tailwind-haskell": "tailwind-haskell_10" + }, + "locked": { + "lastModified": 1653742875, + "narHash": "sha256-2IFMkA6/T0nCQHQcC8UhYWh8q8FQyGDBKfcDIhBJ3JM=", + "owner": "srid", + "repo": "emanote", + "rev": "ab5155ef400ce83a744362a4b953315d7ee6a8c3", + "type": "github" + }, + "original": { + "owner": "srid", + "ref": "master", + "repo": "emanote", + "type": "github" + } + }, + "emanote_11": { + "inputs": { + "ema": "ema_11", "flake-compat": [ "plutarch-safe-money", "plutarch-numeric", @@ -2095,8 +2309,8 @@ "ema", "flake-utils" ], - "heist": "heist_10", - "ixset-typed": "ixset-typed_10", + "heist": "heist_11", + "ixset-typed": "ixset-typed_11", "nixpkgs": [ "plutarch-safe-money", "plutarch-numeric", @@ -2105,9 +2319,9 @@ "ema", "nixpkgs" ], - "pandoc-link-context": "pandoc-link-context_10", + "pandoc-link-context": "pandoc-link-context_11", "pathtree": "pathtree", - "tailwind-haskell": "tailwind-haskell_10", + "tailwind-haskell": "tailwind-haskell_11", "unionmount": "unionmount" }, "locked": { @@ -2130,7 +2344,7 @@ "ema": "ema_2", "flake-compat": [ "liqwid-plutarch-extra", - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "emanote", "ema", @@ -2138,7 +2352,7 @@ ], "flake-utils": [ "liqwid-plutarch-extra", - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "emanote", "ema", @@ -2148,7 +2362,7 @@ "ixset-typed": "ixset-typed_2", "nixpkgs": [ "liqwid-plutarch-extra", - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "emanote", "ema", @@ -2177,7 +2391,7 @@ "ema": "ema_3", "flake-compat": [ "liqwid-plutarch-extra", - "plutarch-quickcheck", + "plutarch-numeric", "plutarch", "emanote", "ema", @@ -2185,7 +2399,7 @@ ], "flake-utils": [ "liqwid-plutarch-extra", - "plutarch-quickcheck", + "plutarch-numeric", "plutarch", "emanote", "ema", @@ -2195,7 +2409,7 @@ "ixset-typed": "ixset-typed_3", "nixpkgs": [ "liqwid-plutarch-extra", - "plutarch-quickcheck", + "plutarch-numeric", "plutarch", "emanote", "ema", @@ -2223,14 +2437,16 @@ "inputs": { "ema": "ema_4", "flake-compat": [ - "plutarch-context-builder", + "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "emanote", "ema", "flake-compat" ], "flake-utils": [ - "plutarch-context-builder", + "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "emanote", "ema", @@ -2239,7 +2455,8 @@ "heist": "heist_4", "ixset-typed": "ixset-typed_4", "nixpkgs": [ - "plutarch-context-builder", + "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "emanote", "ema", @@ -2267,14 +2484,14 @@ "inputs": { "ema": "ema_5", "flake-compat": [ - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "emanote", "ema", "flake-compat" ], "flake-utils": [ - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "emanote", "ema", @@ -2283,7 +2500,7 @@ "heist": "heist_5", "ixset-typed": "ixset-typed_5", "nixpkgs": [ - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "emanote", "ema", @@ -2311,14 +2528,14 @@ "inputs": { "ema": "ema_6", "flake-compat": [ - "plutarch-quickcheck", + "plutarch-numeric", "plutarch", "emanote", "ema", "flake-compat" ], "flake-utils": [ - "plutarch-quickcheck", + "plutarch-numeric", "plutarch", "emanote", "ema", @@ -2327,7 +2544,7 @@ "heist": "heist_6", "ixset-typed": "ixset-typed_6", "nixpkgs": [ - "plutarch-quickcheck", + "plutarch-numeric", "plutarch", "emanote", "ema", @@ -2355,16 +2572,14 @@ "inputs": { "ema": "ema_7", "flake-compat": [ - "plutarch-safe-money", - "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "emanote", "ema", "flake-compat" ], "flake-utils": [ - "plutarch-safe-money", - "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "emanote", "ema", @@ -2373,8 +2588,7 @@ "heist": "heist_7", "ixset-typed": "ixset-typed_7", "nixpkgs": [ - "plutarch-safe-money", - "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "emanote", "ema", @@ -2404,7 +2618,6 @@ "flake-compat": [ "plutarch-safe-money", "liqwid-plutarch-extra", - "plutarch-quickcheck", "plutarch", "emanote", "ema", @@ -2413,7 +2626,6 @@ "flake-utils": [ "plutarch-safe-money", "liqwid-plutarch-extra", - "plutarch-quickcheck", "plutarch", "emanote", "ema", @@ -2424,7 +2636,6 @@ "nixpkgs": [ "plutarch-safe-money", "liqwid-plutarch-extra", - "plutarch-quickcheck", "plutarch", "emanote", "ema", @@ -2453,6 +2664,8 @@ "ema": "ema_9", "flake-compat": [ "plutarch-safe-money", + "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "emanote", "ema", @@ -2460,6 +2673,8 @@ ], "flake-utils": [ "plutarch-safe-money", + "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "emanote", "ema", @@ -2469,6 +2684,8 @@ "ixset-typed": "ixset-typed_9", "nixpkgs": [ "plutarch-safe-money", + "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "emanote", "ema", @@ -2655,11 +2872,11 @@ "flake-compat_19": { "flake": false, "locked": { - "lastModified": 1648199409, - "narHash": "sha256-JwPKdC2PoVBkG6E+eWw3j6BMR6sL3COpYWfif7RVb8Y=", + "lastModified": 1650374568, + "narHash": "sha256-Z+s0J8/r907g149rllvwhb4pKi8Wam5ij0st8PwAh+E=", "owner": "edolstra", "repo": "flake-compat", - "rev": "64a525ee38886ab9028e6f61790de0832aa3ef03", + "rev": "b4a34015c698c7793d592d66adbab377907a2be8", "type": "github" }, "original": { @@ -2701,6 +2918,22 @@ } }, "flake-compat_21": { + "flake": false, + "locked": { + "lastModified": 1648199409, + "narHash": "sha256-JwPKdC2PoVBkG6E+eWw3j6BMR6sL3COpYWfif7RVb8Y=", + "owner": "edolstra", + "repo": "flake-compat", + "rev": "64a525ee38886ab9028e6f61790de0832aa3ef03", + "type": "github" + }, + "original": { + "owner": "edolstra", + "repo": "flake-compat", + "type": "github" + } + }, + "flake-compat_22": { "flake": false, "locked": { "lastModified": 1641205782, @@ -2716,7 +2949,23 @@ "type": "github" } }, - "flake-compat_22": { + "flake-compat_23": { + "flake": false, + "locked": { + "lastModified": 1641205782, + "narHash": "sha256-4jY7RCWUoZ9cKD8co0/4tFARpWB+57+r1bLLvXNJliY=", + "owner": "edolstra", + "repo": "flake-compat", + "rev": "b7547d3eed6f32d06102ead8991ec52ab0a4f1a7", + "type": "github" + }, + "original": { + "owner": "edolstra", + "repo": "flake-compat", + "type": "github" + } + }, + "flake-compat_24": { "flake": false, "locked": { "lastModified": 1627913399, @@ -2862,15 +3111,16 @@ }, "flake-utils_10": { "locked": { - "lastModified": 1644229661, - "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=", + "lastModified": 1652776076, + "narHash": "sha256-gzTw/v1vj4dOVbpBSJX4J0DwUR6LIyXo7/SuuTJp1kM=", "owner": "numtide", "repo": "flake-utils", - "rev": "3cecb5b042f7f209c56ffd8371b2711a290ec797", + "rev": "04c1b180862888302ddfb2e3ad9eaa63afc60cf8", "type": "github" }, "original": { "owner": "numtide", + "ref": "v1.0.0", "repo": "flake-utils", "type": "github" } @@ -2893,16 +3143,15 @@ }, "flake-utils_12": { "locked": { - "lastModified": 1652776076, - "narHash": "sha256-gzTw/v1vj4dOVbpBSJX4J0DwUR6LIyXo7/SuuTJp1kM=", + "lastModified": 1644229661, + "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=", "owner": "numtide", "repo": "flake-utils", - "rev": "04c1b180862888302ddfb2e3ad9eaa63afc60cf8", + "rev": "3cecb5b042f7f209c56ffd8371b2711a290ec797", "type": "github" }, "original": { "owner": "numtide", - "ref": "v1.0.0", "repo": "flake-utils", "type": "github" } @@ -3175,15 +3424,16 @@ }, "flake-utils_29": { "locked": { - "lastModified": 1648297722, - "narHash": "sha256-W+qlPsiZd8F3XkzXOzAoR+mpFqzm3ekQkJNa+PIh1BQ=", + "lastModified": 1652776076, + "narHash": "sha256-gzTw/v1vj4dOVbpBSJX4J0DwUR6LIyXo7/SuuTJp1kM=", "owner": "numtide", "repo": "flake-utils", - "rev": "0f8662f1319ad6abf89b3380dd2722369fc51ade", + "rev": "04c1b180862888302ddfb2e3ad9eaa63afc60cf8", "type": "github" }, "original": { "owner": "numtide", + "ref": "v1.0.0", "repo": "flake-utils", "type": "github" } @@ -3204,6 +3454,22 @@ } }, "flake-utils_30": { + "locked": { + "lastModified": 1652776076, + "narHash": "sha256-gzTw/v1vj4dOVbpBSJX4J0DwUR6LIyXo7/SuuTJp1kM=", + "owner": "numtide", + "repo": "flake-utils", + "rev": "04c1b180862888302ddfb2e3ad9eaa63afc60cf8", + "type": "github" + }, + "original": { + "owner": "numtide", + "ref": "v1.0.0", + "repo": "flake-utils", + "type": "github" + } + }, + "flake-utils_31": { "locked": { "lastModified": 1644229661, "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=", @@ -3218,28 +3484,13 @@ "type": "github" } }, - "flake-utils_31": { - "locked": { - "lastModified": 1642700792, - "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=", - "owner": "numtide", - "repo": "flake-utils", - "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba", - "type": "github" - }, - "original": { - "owner": "numtide", - "repo": "flake-utils", - "type": "github" - } - }, "flake-utils_32": { "locked": { - "lastModified": 1642700792, - "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=", + "lastModified": 1648297722, + "narHash": "sha256-W+qlPsiZd8F3XkzXOzAoR+mpFqzm3ekQkJNa+PIh1BQ=", "owner": "numtide", "repo": "flake-utils", - "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba", + "rev": "0f8662f1319ad6abf89b3380dd2722369fc51ade", "type": "github" }, "original": { @@ -3249,6 +3500,51 @@ } }, "flake-utils_33": { + "locked": { + "lastModified": 1644229661, + "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=", + "owner": "numtide", + "repo": "flake-utils", + "rev": "3cecb5b042f7f209c56ffd8371b2711a290ec797", + "type": "github" + }, + "original": { + "owner": "numtide", + "repo": "flake-utils", + "type": "github" + } + }, + "flake-utils_34": { + "locked": { + "lastModified": 1642700792, + "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=", + "owner": "numtide", + "repo": "flake-utils", + "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba", + "type": "github" + }, + "original": { + "owner": "numtide", + "repo": "flake-utils", + "type": "github" + } + }, + "flake-utils_35": { + "locked": { + "lastModified": 1642700792, + "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=", + "owner": "numtide", + "repo": "flake-utils", + "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba", + "type": "github" + }, + "original": { + "owner": "numtide", + "repo": "flake-utils", + "type": "github" + } + }, + "flake-utils_36": { "locked": { "lastModified": 1631561581, "narHash": "sha256-3VQMV5zvxaVLvqqUrNz3iJelLw30mIVSfZmAaauM3dA=", @@ -3263,7 +3559,7 @@ "type": "github" } }, - "flake-utils_34": { + "flake-utils_37": { "locked": { "lastModified": 1644229661, "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=", @@ -3278,7 +3574,7 @@ "type": "github" } }, - "flake-utils_35": { + "flake-utils_38": { "locked": { "lastModified": 1644229661, "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=", @@ -3420,6 +3716,22 @@ } }, "flat_11": { + "flake": false, + "locked": { + "lastModified": 1651403785, + "narHash": "sha256-g+jGep1IXdw4q01W67J6f6OODY91QzIlW1+Eu8pR+u0=", + "owner": "Quid2", + "repo": "flat", + "rev": "559617e058098b776b431e2a67346ad3adea2440", + "type": "github" + }, + "original": { + "owner": "Quid2", + "repo": "flat", + "type": "github" + } + }, + "flat_12": { "flake": false, "locked": { "lastModified": 1641898475, @@ -3436,7 +3748,7 @@ "type": "github" } }, - "flat_12": { + "flat_13": { "flake": false, "locked": { "lastModified": 1651403785, @@ -3665,6 +3977,23 @@ "type": "github" } }, + "ghc-8.6.5-iohk_13": { + "flake": false, + "locked": { + "lastModified": 1600920045, + "narHash": "sha256-DO6kxJz248djebZLpSzTGD6s8WRpNI9BTwUeOf5RwY8=", + "owner": "input-output-hk", + "repo": "ghc", + "rev": "95713a6ecce4551240da7c96b6176f980af75cae", + "type": "github" + }, + "original": { + "owner": "input-output-hk", + "ref": "release/8.6.5-iohk", + "repo": "ghc", + "type": "github" + } + }, "ghc-8.6.5-iohk_2": { "flake": false, "locked": { @@ -3865,6 +4194,22 @@ "type": "github" } }, + "gitignore-nix_13": { + "flake": false, + "locked": { + "lastModified": 1611672876, + "narHash": "sha256-qHu3uZ/o9jBHiA3MEKHJ06k7w4heOhA+4HCSIvflRxo=", + "owner": "hercules-ci", + "repo": "gitignore.nix", + "rev": "211907489e9f198594c0eb0ca9256a1949c9d412", + "type": "github" + }, + "original": { + "owner": "hercules-ci", + "repo": "gitignore.nix", + "type": "github" + } + }, "gitignore-nix_2": { "flake": false, "locked": { @@ -4042,6 +4387,22 @@ } }, "hackage-nix_11": { + "flake": false, + "locked": { + "lastModified": 1651108473, + "narHash": "sha256-zHGCnBdwKvrcYanjf3GARTWF8V2pyJl1QNONUNZSoc0=", + "owner": "input-output-hk", + "repo": "hackage.nix", + "rev": "dbab3b292c3400d028a2257e3acd2ac0249da774", + "type": "github" + }, + "original": { + "owner": "input-output-hk", + "repo": "hackage.nix", + "type": "github" + } + }, + "hackage-nix_12": { "flake": false, "locked": { "lastModified": 1644369434, @@ -4057,7 +4418,7 @@ "type": "github" } }, - "hackage-nix_12": { + "hackage-nix_13": { "flake": false, "locked": { "lastModified": 1651108473, @@ -4218,6 +4579,22 @@ } }, "hackage_11": { + "flake": false, + "locked": { + "lastModified": 1654046237, + "narHash": "sha256-FpM9zE+Q+WrvCiaZBCg5U1g0bYpiZOCxY8V3R5ydBu8=", + "owner": "input-output-hk", + "repo": "hackage.nix", + "rev": "eeae1790b9c6a880d96e4a7214fdf0a73bdd6fc0", + "type": "github" + }, + "original": { + "owner": "input-output-hk", + "repo": "hackage.nix", + "type": "github" + } + }, + "hackage_12": { "flake": false, "locked": { "lastModified": 1644887696, @@ -4233,7 +4610,7 @@ "type": "github" } }, - "hackage_12": { + "hackage_13": { "flake": false, "locked": { "lastModified": 1654046237, @@ -4394,6 +4771,22 @@ } }, "haskell-language-server_10": { + "flake": false, + "locked": { + "lastModified": 1654120290, + "narHash": "sha256-6NuFBnEzJPvWfvbYxXk/WCQDjsEbjCQ1nAelhBDi4yQ=", + "owner": "haskell", + "repo": "haskell-language-server", + "rev": "140f9040ae88352ca1140a750e7c26485fdfbe17", + "type": "github" + }, + "original": { + "owner": "haskell", + "repo": "haskell-language-server", + "type": "github" + } + }, + "haskell-language-server_11": { "flake": false, "locked": { "lastModified": 1653778781, @@ -4409,7 +4802,7 @@ "type": "github" } }, - "haskell-language-server_11": { + "haskell-language-server_12": { "flake": false, "locked": { "lastModified": 1650980856, @@ -4426,22 +4819,6 @@ "type": "github" } }, - "haskell-language-server_12": { - "flake": false, - "locked": { - "lastModified": 1654120290, - "narHash": "sha256-6NuFBnEzJPvWfvbYxXk/WCQDjsEbjCQ1nAelhBDi4yQ=", - "owner": "haskell", - "repo": "haskell-language-server", - "rev": "140f9040ae88352ca1140a750e7c26485fdfbe17", - "type": "github" - }, - "original": { - "owner": "haskell", - "repo": "haskell-language-server", - "type": "github" - } - }, "haskell-language-server_13": { "flake": false, "locked": { @@ -4606,22 +4983,6 @@ } }, "haskell-language-server_22": { - "flake": false, - "locked": { - "lastModified": 1654120290, - "narHash": "sha256-6NuFBnEzJPvWfvbYxXk/WCQDjsEbjCQ1nAelhBDi4yQ=", - "owner": "haskell", - "repo": "haskell-language-server", - "rev": "140f9040ae88352ca1140a750e7c26485fdfbe17", - "type": "github" - }, - "original": { - "owner": "haskell", - "repo": "haskell-language-server", - "type": "github" - } - }, - "haskell-language-server_23": { "flake": false, "locked": { "lastModified": 1653778781, @@ -4637,7 +4998,7 @@ "type": "github" } }, - "haskell-language-server_24": { + "haskell-language-server_23": { "flake": false, "locked": { "lastModified": 1650980856, @@ -4654,6 +5015,22 @@ "type": "github" } }, + "haskell-language-server_24": { + "flake": false, + "locked": { + "lastModified": 1654120290, + "narHash": "sha256-6NuFBnEzJPvWfvbYxXk/WCQDjsEbjCQ1nAelhBDi4yQ=", + "owner": "haskell", + "repo": "haskell-language-server", + "rev": "140f9040ae88352ca1140a750e7c26485fdfbe17", + "type": "github" + }, + "original": { + "owner": "haskell", + "repo": "haskell-language-server", + "type": "github" + } + }, "haskell-language-server_25": { "flake": false, "locked": { @@ -4706,11 +5083,11 @@ "haskell-language-server_28": { "flake": false, "locked": { - "lastModified": 1653778781, - "narHash": "sha256-oEVBaYRLjD4gC3vQuT0DCgmCSIeWSwGPVXXSKJDFUK0=", + "lastModified": 1654120290, + "narHash": "sha256-6NuFBnEzJPvWfvbYxXk/WCQDjsEbjCQ1nAelhBDi4yQ=", "owner": "haskell", "repo": "haskell-language-server", - "rev": "8c47d6ce2a8409a285a3f4c3f0e10c25fb4dd848", + "rev": "140f9040ae88352ca1140a750e7c26485fdfbe17", "type": "github" }, "original": { @@ -4722,16 +5099,15 @@ "haskell-language-server_29": { "flake": false, "locked": { - "lastModified": 1650980856, - "narHash": "sha256-uiwsfh/K3IABZDYj7JUZNIAPRVqH6g/r8X6QKg8DrZE=", + "lastModified": 1653778781, + "narHash": "sha256-oEVBaYRLjD4gC3vQuT0DCgmCSIeWSwGPVXXSKJDFUK0=", "owner": "haskell", "repo": "haskell-language-server", - "rev": "b5a37f7fc360596899cb2945f363030f44156415", + "rev": "8c47d6ce2a8409a285a3f4c3f0e10c25fb4dd848", "type": "github" }, "original": { "owner": "haskell", - "ref": "1.7.0.0", "repo": "haskell-language-server", "type": "github" } @@ -4754,6 +5130,56 @@ } }, "haskell-language-server_30": { + "flake": false, + "locked": { + "lastModified": 1650980856, + "narHash": "sha256-uiwsfh/K3IABZDYj7JUZNIAPRVqH6g/r8X6QKg8DrZE=", + "owner": "haskell", + "repo": "haskell-language-server", + "rev": "b5a37f7fc360596899cb2945f363030f44156415", + "type": "github" + }, + "original": { + "owner": "haskell", + "ref": "1.7.0.0", + "repo": "haskell-language-server", + "type": "github" + } + }, + "haskell-language-server_31": { + "flake": false, + "locked": { + "lastModified": 1653778781, + "narHash": "sha256-oEVBaYRLjD4gC3vQuT0DCgmCSIeWSwGPVXXSKJDFUK0=", + "owner": "haskell", + "repo": "haskell-language-server", + "rev": "8c47d6ce2a8409a285a3f4c3f0e10c25fb4dd848", + "type": "github" + }, + "original": { + "owner": "haskell", + "repo": "haskell-language-server", + "type": "github" + } + }, + "haskell-language-server_32": { + "flake": false, + "locked": { + "lastModified": 1650980856, + "narHash": "sha256-uiwsfh/K3IABZDYj7JUZNIAPRVqH6g/r8X6QKg8DrZE=", + "owner": "haskell", + "repo": "haskell-language-server", + "rev": "b5a37f7fc360596899cb2945f363030f44156415", + "type": "github" + }, + "original": { + "owner": "haskell", + "ref": "1.7.0.0", + "repo": "haskell-language-server", + "type": "github" + } + }, + "haskell-language-server_33": { "flake": false, "locked": { "lastModified": 1655140576, @@ -4769,7 +5195,7 @@ "type": "github" } }, - "haskell-language-server_31": { + "haskell-language-server_34": { "flake": false, "locked": { "lastModified": 1645014262, @@ -4785,7 +5211,7 @@ "type": "github" } }, - "haskell-language-server_32": { + "haskell-language-server_35": { "flake": false, "locked": { "lastModified": 1643835246, @@ -4802,7 +5228,7 @@ "type": "github" } }, - "haskell-language-server_33": { + "haskell-language-server_36": { "flake": false, "locked": { "lastModified": 1653778781, @@ -4818,7 +5244,7 @@ "type": "github" } }, - "haskell-language-server_34": { + "haskell-language-server_37": { "flake": false, "locked": { "lastModified": 1650980856, @@ -5001,6 +5427,37 @@ } }, "haskell-nix-extra-hackage_10": { + "inputs": { + "haskell-nix": [ + "plutarch-safe-money", + "liqwid-plutarch-extra", + "plutarch-quickcheck", + "plutarch", + "haskell-nix" + ], + "nixpkgs": [ + "plutarch-safe-money", + "liqwid-plutarch-extra", + "plutarch-quickcheck", + "plutarch", + "nixpkgs" + ] + }, + "locked": { + "lastModified": 1653405678, + "narHash": "sha256-fPpPxuCZDF5b/iQgmUg2jspPObsK0mpcchUti/LR8D0=", + "owner": "mlabs-haskell", + "repo": "haskell-nix-extra-hackage", + "rev": "cf4613eb0d883a8c12c86d7cdbdaaf15fdc70128", + "type": "github" + }, + "original": { + "owner": "mlabs-haskell", + "repo": "haskell-nix-extra-hackage", + "type": "github" + } + }, + "haskell-nix-extra-hackage_11": { "inputs": { "haskell-nix": [ "plutarch-safe-money", @@ -5027,7 +5484,7 @@ "type": "github" } }, - "haskell-nix-extra-hackage_11": { + "haskell-nix-extra-hackage_12": { "inputs": { "haskell-nix": [ "plutarch-script-export", @@ -5058,13 +5515,13 @@ "inputs": { "haskell-nix": [ "liqwid-plutarch-extra", - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "haskell-nix" ], "nixpkgs": [ "liqwid-plutarch-extra", - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "nixpkgs" ] @@ -5087,13 +5544,13 @@ "inputs": { "haskell-nix": [ "liqwid-plutarch-extra", - "plutarch-quickcheck", + "plutarch-numeric", "plutarch", "haskell-nix" ], "nixpkgs": [ "liqwid-plutarch-extra", - "plutarch-quickcheck", + "plutarch-numeric", "plutarch", "nixpkgs" ] @@ -5115,10 +5572,14 @@ "haskell-nix-extra-hackage_4": { "inputs": { "haskell-nix": [ + "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "haskell-nix" ], "nixpkgs": [ + "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "nixpkgs" ] @@ -5140,12 +5601,10 @@ "haskell-nix-extra-hackage_5": { "inputs": { "haskell-nix": [ - "plutarch-context-builder", "plutarch", "haskell-nix" ], "nixpkgs": [ - "plutarch-context-builder", "plutarch", "nixpkgs" ] @@ -5167,12 +5626,12 @@ "haskell-nix-extra-hackage_6": { "inputs": { "haskell-nix": [ - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "haskell-nix" ], "nixpkgs": [ - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "nixpkgs" ] @@ -5194,12 +5653,12 @@ "haskell-nix-extra-hackage_7": { "inputs": { "haskell-nix": [ - "plutarch-quickcheck", + "plutarch-numeric", "plutarch", "haskell-nix" ], "nixpkgs": [ - "plutarch-quickcheck", + "plutarch-numeric", "plutarch", "nixpkgs" ] @@ -5221,14 +5680,12 @@ "haskell-nix-extra-hackage_8": { "inputs": { "haskell-nix": [ - "plutarch-safe-money", - "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "haskell-nix" ], "nixpkgs": [ - "plutarch-safe-money", - "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "nixpkgs" ] @@ -5252,14 +5709,12 @@ "haskell-nix": [ "plutarch-safe-money", "liqwid-plutarch-extra", - "plutarch-quickcheck", "plutarch", "haskell-nix" ], "nixpkgs": [ "plutarch-safe-money", "liqwid-plutarch-extra", - "plutarch-quickcheck", "plutarch", "nixpkgs" ] @@ -5308,7 +5763,7 @@ "hydra": "hydra_6", "nix-tools": "nix-tools_6", "nixpkgs": [ - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "haskell-nix", "nixpkgs-unstable" @@ -5364,7 +5819,7 @@ "hydra": "hydra_7", "nix-tools": "nix-tools_7", "nixpkgs": [ - "plutarch-quickcheck", + "plutarch-numeric", "plutarch", "haskell-nix", "nixpkgs-unstable" @@ -5420,8 +5875,7 @@ "hydra": "hydra_8", "nix-tools": "nix-tools_8", "nixpkgs": [ - "plutarch-safe-money", - "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "haskell-nix", "nixpkgs-unstable" @@ -5479,7 +5933,6 @@ "nixpkgs": [ "plutarch-safe-money", "liqwid-plutarch-extra", - "plutarch-quickcheck", "plutarch", "haskell-nix", "nixpkgs-unstable" @@ -5536,6 +5989,8 @@ "nix-tools": "nix-tools_10", "nixpkgs": [ "plutarch-safe-money", + "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "haskell-nix", "nixpkgs-unstable" @@ -5600,14 +6055,14 @@ "cabal-34": "cabal-34_11", "cabal-36": "cabal-36_11", "cardano-shell": "cardano-shell_11", - "flake-utils": "flake-utils_34", + "flake-utils": "flake-utils_31", "ghc-8.6.5-iohk": "ghc-8.6.5-iohk_11", "hackage": "hackage_11", "hpc-coveralls": "hpc-coveralls_11", + "hydra": "hydra_11", "nix-tools": "nix-tools_11", "nixpkgs": [ "plutarch-safe-money", - "plutarch-numeric", "plutarch", "haskell-nix", "nixpkgs-unstable" @@ -5619,6 +6074,62 @@ "old-ghc-nix": "old-ghc-nix_11", "stackage": "stackage_11" }, + "locked": { + "lastModified": 1654068838, + "narHash": "sha256-GHSufC21DSg8Lz2AzIg3DA9DPxGvLqxGFa/4ADoXRhU=", + "owner": "input-output-hk", + "repo": "haskell.nix", + "rev": "fa2fa131fe15e630c91ab4078d12eb32c41f934b", + "type": "github" + }, + "original": { + "owner": "input-output-hk", + "repo": "haskell.nix", + "type": "github" + } + }, + "haskell-nix_22": { + "flake": false, + "locked": { + "lastModified": 1651151636, + "narHash": "sha256-WdMP9IMB5kByT0zimDuCYZF/dinRB104H8iDTG/c1Eo=", + "owner": "input-output-hk", + "repo": "haskell.nix", + "rev": "f707aa2e75c0d33473166abc61c0b43ac6e107c0", + "type": "github" + }, + "original": { + "owner": "input-output-hk", + "repo": "haskell.nix", + "type": "github" + } + }, + "haskell-nix_23": { + "inputs": { + "HTTP": "HTTP_12", + "cabal-32": "cabal-32_12", + "cabal-34": "cabal-34_12", + "cabal-36": "cabal-36_12", + "cardano-shell": "cardano-shell_12", + "flake-utils": "flake-utils_37", + "ghc-8.6.5-iohk": "ghc-8.6.5-iohk_12", + "hackage": "hackage_12", + "hpc-coveralls": "hpc-coveralls_12", + "nix-tools": "nix-tools_12", + "nixpkgs": [ + "plutarch-safe-money", + "plutarch-numeric", + "plutarch", + "haskell-nix", + "nixpkgs-unstable" + ], + "nixpkgs-2003": "nixpkgs-2003_12", + "nixpkgs-2105": "nixpkgs-2105_12", + "nixpkgs-2111": "nixpkgs-2111_24", + "nixpkgs-unstable": "nixpkgs-unstable_12", + "old-ghc-nix": "old-ghc-nix_12", + "stackage": "stackage_12" + }, "locked": { "lastModified": 1644944726, "narHash": "sha256-jJWdP/3Ne1y1akC3m9rSO5ItRoBc4UTdVQZBCuPmmrM=", @@ -5634,7 +6145,7 @@ "type": "github" } }, - "haskell-nix_22": { + "haskell-nix_24": { "flake": false, "locked": { "lastModified": 1629380841, @@ -5650,31 +6161,31 @@ "type": "github" } }, - "haskell-nix_23": { + "haskell-nix_25": { "inputs": { - "HTTP": "HTTP_12", - "cabal-32": "cabal-32_12", - "cabal-34": "cabal-34_12", - "cabal-36": "cabal-36_12", - "cardano-shell": "cardano-shell_12", - "flake-utils": "flake-utils_35", - "ghc-8.6.5-iohk": "ghc-8.6.5-iohk_12", - "hackage": "hackage_12", - "hpc-coveralls": "hpc-coveralls_12", - "hydra": "hydra_11", - "nix-tools": "nix-tools_12", + "HTTP": "HTTP_13", + "cabal-32": "cabal-32_13", + "cabal-34": "cabal-34_13", + "cabal-36": "cabal-36_13", + "cardano-shell": "cardano-shell_13", + "flake-utils": "flake-utils_38", + "ghc-8.6.5-iohk": "ghc-8.6.5-iohk_13", + "hackage": "hackage_13", + "hpc-coveralls": "hpc-coveralls_13", + "hydra": "hydra_12", + "nix-tools": "nix-tools_13", "nixpkgs": [ "plutarch-script-export", "plutarch", "haskell-nix", "nixpkgs-unstable" ], - "nixpkgs-2003": "nixpkgs-2003_12", - "nixpkgs-2105": "nixpkgs-2105_12", - "nixpkgs-2111": "nixpkgs-2111_24", - "nixpkgs-unstable": "nixpkgs-unstable_12", - "old-ghc-nix": "old-ghc-nix_12", - "stackage": "stackage_12" + "nixpkgs-2003": "nixpkgs-2003_13", + "nixpkgs-2105": "nixpkgs-2105_13", + "nixpkgs-2111": "nixpkgs-2111_26", + "nixpkgs-unstable": "nixpkgs-unstable_13", + "old-ghc-nix": "old-ghc-nix_13", + "stackage": "stackage_13" }, "locked": { "lastModified": 1654068838, @@ -5690,7 +6201,7 @@ "type": "github" } }, - "haskell-nix_24": { + "haskell-nix_26": { "flake": false, "locked": { "lastModified": 1651151636, @@ -5721,7 +6232,7 @@ "nix-tools": "nix-tools_2", "nixpkgs": [ "liqwid-plutarch-extra", - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "haskell-nix", "nixpkgs-unstable" @@ -5778,7 +6289,7 @@ "nix-tools": "nix-tools_3", "nixpkgs": [ "liqwid-plutarch-extra", - "plutarch-quickcheck", + "plutarch-numeric", "plutarch", "haskell-nix", "nixpkgs-unstable" @@ -5827,13 +6338,15 @@ "cabal-34": "cabal-34_4", "cabal-36": "cabal-36_4", "cardano-shell": "cardano-shell_4", - "flake-utils": "flake-utils_10", + "flake-utils": "flake-utils_12", "ghc-8.6.5-iohk": "ghc-8.6.5-iohk_4", "hackage": "hackage_4", "hpc-coveralls": "hpc-coveralls_4", "hydra": "hydra_4", "nix-tools": "nix-tools_4", "nixpkgs": [ + "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "haskell-nix", "nixpkgs-unstable" @@ -5889,7 +6402,6 @@ "hydra": "hydra_5", "nix-tools": "nix-tools_5", "nixpkgs": [ - "plutarch-context-builder", "plutarch", "haskell-nix", "nixpkgs-unstable" @@ -5933,6 +6445,23 @@ } }, "heist_10": { + "flake": false, + "locked": { + "lastModified": 1653169917, + "narHash": "sha256-i52wi4nNC6ATx8gTtmpLnxQZEhKSM0LbpmSu57d5VqI=", + "owner": "srid", + "repo": "heist", + "rev": "75533cade1a0d9859ff487cbf6f22e98711248d3", + "type": "github" + }, + "original": { + "owner": "srid", + "ref": "emanote", + "repo": "heist", + "type": "github" + } + }, + "heist_11": { "flake": false, "locked": { "lastModified": 1649279862, @@ -6123,7 +6652,25 @@ }, "hercules-ci-effects_11": { "inputs": { - "nixpkgs": "nixpkgs_53" + "nixpkgs": "nixpkgs_52" + }, + "locked": { + "lastModified": 1653841712, + "narHash": "sha256-XBF4i1MuIRAEbFpj3Z3fVaYxzNEsYapyENtw3vG+q1I=", + "owner": "hercules-ci", + "repo": "hercules-ci-effects", + "rev": "e14d2131b7c81acca3904b584ac45fb72da64dd2", + "type": "github" + }, + "original": { + "owner": "hercules-ci", + "repo": "hercules-ci-effects", + "type": "github" + } + }, + "hercules-ci-effects_12": { + "inputs": { + "nixpkgs": "nixpkgs_58" }, "locked": { "lastModified": 1647711660, @@ -6139,9 +6686,9 @@ "type": "github" } }, - "hercules-ci-effects_12": { + "hercules-ci-effects_13": { "inputs": { - "nixpkgs": "nixpkgs_56" + "nixpkgs": "nixpkgs_61" }, "locked": { "lastModified": 1653841712, @@ -6195,7 +6742,7 @@ }, "hercules-ci-effects_4": { "inputs": { - "nixpkgs": "nixpkgs_17" + "nixpkgs": "nixpkgs_19" }, "locked": { "lastModified": 1653841712, @@ -6365,6 +6912,22 @@ "type": "github" } }, + "hpc-coveralls_13": { + "flake": false, + "locked": { + "lastModified": 1607498076, + "narHash": "sha256-8uqsEtivphgZWYeUo5RDUhp6bO9j2vaaProQxHBltQk=", + "owner": "sevanspowell", + "repo": "hpc-coveralls", + "rev": "14df0f7d229f4cd2e79f8eabb1a740097fdfa430", + "type": "github" + }, + "original": { + "owner": "sevanspowell", + "repo": "hpc-coveralls", + "type": "github" + } + }, "hpc-coveralls_2": { "flake": false, "locked": { @@ -6589,6 +7152,8 @@ "nix": "nix_10", "nixpkgs": [ "plutarch-safe-money", + "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "haskell-nix", "hydra", @@ -6612,6 +7177,31 @@ "hydra_11": { "inputs": { "nix": "nix_11", + "nixpkgs": [ + "plutarch-safe-money", + "plutarch", + "haskell-nix", + "hydra", + "nix", + "nixpkgs" + ] + }, + "locked": { + "lastModified": 1646878427, + "narHash": "sha256-KtbrofMtN8GlM7D+n90kixr7QpSlVmdN+vK5CA/aRzc=", + "owner": "NixOS", + "repo": "hydra", + "rev": "28b682b85b7efc5cf7974065792a1f22203a5927", + "type": "github" + }, + "original": { + "id": "hydra", + "type": "indirect" + } + }, + "hydra_12": { + "inputs": { + "nix": "nix_12", "nixpkgs": [ "plutarch-script-export", "plutarch", @@ -6639,7 +7229,7 @@ "nix": "nix_2", "nixpkgs": [ "liqwid-plutarch-extra", - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "haskell-nix", "hydra", @@ -6665,7 +7255,7 @@ "nix": "nix_3", "nixpkgs": [ "liqwid-plutarch-extra", - "plutarch-quickcheck", + "plutarch-numeric", "plutarch", "haskell-nix", "hydra", @@ -6690,6 +7280,8 @@ "inputs": { "nix": "nix_4", "nixpkgs": [ + "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "haskell-nix", "hydra", @@ -6714,7 +7306,6 @@ "inputs": { "nix": "nix_5", "nixpkgs": [ - "plutarch-context-builder", "plutarch", "haskell-nix", "hydra", @@ -6739,7 +7330,7 @@ "inputs": { "nix": "nix_6", "nixpkgs": [ - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "haskell-nix", "hydra", @@ -6764,7 +7355,7 @@ "inputs": { "nix": "nix_7", "nixpkgs": [ - "plutarch-quickcheck", + "plutarch-numeric", "plutarch", "haskell-nix", "hydra", @@ -6789,8 +7380,7 @@ "inputs": { "nix": "nix_8", "nixpkgs": [ - "plutarch-safe-money", - "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "haskell-nix", "hydra", @@ -6817,7 +7407,6 @@ "nixpkgs": [ "plutarch-safe-money", "liqwid-plutarch-extra", - "plutarch-quickcheck", "plutarch", "haskell-nix", "hydra", @@ -7049,11 +7638,11 @@ "iohk-nix_21": { "flake": false, "locked": { - "lastModified": 1643251385, - "narHash": "sha256-Czbd69lg0ARSZfC18V6h+gtPMioWDAEVPbiHgL2x9LM=", + "lastModified": 1653579289, + "narHash": "sha256-wveDdPsgB/3nAGAdFaxrcgLEpdi0aJ5kEVNtI+YqVfo=", "owner": "input-output-hk", "repo": "iohk-nix", - "rev": "9d6ee3dcb3482f791e40ed991ad6fc649b343ad4", + "rev": "edb2d2df2ebe42bbdf03a0711115cf6213c9d366", "type": "github" }, "original": { @@ -7079,6 +7668,38 @@ } }, "iohk-nix_23": { + "flake": false, + "locked": { + "lastModified": 1643251385, + "narHash": "sha256-Czbd69lg0ARSZfC18V6h+gtPMioWDAEVPbiHgL2x9LM=", + "owner": "input-output-hk", + "repo": "iohk-nix", + "rev": "9d6ee3dcb3482f791e40ed991ad6fc649b343ad4", + "type": "github" + }, + "original": { + "owner": "input-output-hk", + "repo": "iohk-nix", + "type": "github" + } + }, + "iohk-nix_24": { + "flake": false, + "locked": { + "lastModified": 1626953580, + "narHash": "sha256-iEI9aTOaZMGsjWzcrctrC0usmiagwKT2v1LSDe9/tMU=", + "owner": "input-output-hk", + "repo": "iohk-nix", + "rev": "cbd497f5844249ef8fe617166337d59f2a6ebe90", + "type": "github" + }, + "original": { + "owner": "input-output-hk", + "repo": "iohk-nix", + "type": "github" + } + }, + "iohk-nix_25": { "flake": false, "locked": { "lastModified": 1653579289, @@ -7094,7 +7715,7 @@ "type": "github" } }, - "iohk-nix_24": { + "iohk-nix_26": { "flake": false, "locked": { "lastModified": 1626953580, @@ -7239,6 +7860,22 @@ } }, "ixset-typed_10": { + "flake": false, + "locked": { + "lastModified": 1652177108, + "narHash": "sha256-g0N1jiumsxHzfo9SGVR+q9awRvHEehSRaoW89LXCCnY=", + "owner": "well-typed", + "repo": "ixset-typed", + "rev": "244d3b72fd051b8d78f2d4edb6208269f29d85b7", + "type": "github" + }, + "original": { + "owner": "well-typed", + "repo": "ixset-typed", + "type": "github" + } + }, + "ixset-typed_11": { "flake": false, "locked": { "lastModified": 1639657838, @@ -7384,7 +8021,7 @@ }, "lint-utils": { "inputs": { - "flake-utils": "flake-utils_30", + "flake-utils": "flake-utils_33", "nixpkgs": [ "plutarch-safe-money", "plutarch-numeric", @@ -7425,27 +8062,28 @@ "nixpkgs-2111": "nixpkgs-2111", "nixpkgs-latest": "nixpkgs-latest", "plutarch": "plutarch", + "plutarch-context-builder": "plutarch-context-builder", "plutarch-numeric": "plutarch-numeric", "plutarch-quickcheck": "plutarch-quickcheck" }, "locked": { - "lastModified": 1657959892, - "narHash": "sha256-DKIu0T87UjhaQ96NdibFiIfvnQLN/eJYuLMiPgQmmT8=", + "lastModified": 1658864114, + "narHash": "sha256-6lMJubbJOVNFe/chEFmbGStI+Pm7zy1+t2wPcDVSiv8=", "owner": "Liqwid-Labs", "repo": "liqwid-plutarch-extra", - "rev": "a951b85d15e7cca1a03dd2a8e36b60fae561d74a", + "rev": "fb6d4d1fc73b1c5ff90b5356e8cb3367213aeae0", "type": "github" }, "original": { "owner": "Liqwid-Labs", + "ref": "seungheonoh/agoraUtils", "repo": "liqwid-plutarch-extra", - "rev": "a951b85d15e7cca1a03dd2a8e36b60fae561d74a", "type": "github" } }, "liqwid-plutarch-extra_2": { "inputs": { - "haskell-language-server": "haskell-language-server_22", + "haskell-language-server": "haskell-language-server_25", "haskell-nix": [ "plutarch-safe-money", "liqwid-plutarch-extra", @@ -7458,9 +8096,9 @@ "plutarch", "nixpkgs" ], - "nixpkgs-2111": "nixpkgs-2111_15", - "nixpkgs-latest": "nixpkgs-latest_15", - "plutarch": "plutarch_8", + "nixpkgs-2111": "nixpkgs-2111_17", + "nixpkgs-latest": "nixpkgs-latest_17", + "plutarch": "plutarch_9", "plutarch-quickcheck": "plutarch-quickcheck_3" }, "locked": { @@ -7526,6 +8164,22 @@ "type": "github" } }, + "lowdown-src_12": { + "flake": false, + "locked": { + "lastModified": 1633514407, + "narHash": "sha256-Dw32tiMjdK9t3ETl5fzGrutQTzh2rufgZV4A/BbxuD4=", + "owner": "kristapsdz", + "repo": "lowdown", + "rev": "d2c2b44ff6c27b936ec27358a2653caaef8f73b8", + "type": "github" + }, + "original": { + "owner": "kristapsdz", + "repo": "lowdown", + "type": "github" + } + }, "lowdown-src_2": { "flake": false, "locked": { @@ -7708,6 +8362,22 @@ } }, "nix-tools_11": { + "flake": false, + "locked": { + "lastModified": 1649424170, + "narHash": "sha256-XgKXWispvv5RCvZzPb+p7e6Hy3LMuRjafKMl7kXzxGw=", + "owner": "input-output-hk", + "repo": "nix-tools", + "rev": "e109c94016e3b6e0db7ed413c793e2d4bdb24aa7", + "type": "github" + }, + "original": { + "owner": "input-output-hk", + "repo": "nix-tools", + "type": "github" + } + }, + "nix-tools_12": { "flake": false, "locked": { "lastModified": 1644395812, @@ -7723,7 +8393,7 @@ "type": "github" } }, - "nix-tools_12": { + "nix-tools_13": { "flake": false, "locked": { "lastModified": 1649424170, @@ -7891,7 +8561,7 @@ "nix_11": { "inputs": { "lowdown-src": "lowdown-src_11", - "nixpkgs": "nixpkgs_55", + "nixpkgs": "nixpkgs_51", "nixpkgs-regression": "nixpkgs-regression_11" }, "locked": { @@ -7909,6 +8579,27 @@ "type": "github" } }, + "nix_12": { + "inputs": { + "lowdown-src": "lowdown-src_12", + "nixpkgs": "nixpkgs_60", + "nixpkgs-regression": "nixpkgs-regression_12" + }, + "locked": { + "lastModified": 1643066034, + "narHash": "sha256-xEPeMcNJVOeZtoN+d+aRwolpW8mFSEQx76HTRdlhPhg=", + "owner": "NixOS", + "repo": "nix", + "rev": "a1cd7e58606a41fcf62bf8637804cf8306f17f62", + "type": "github" + }, + "original": { + "owner": "NixOS", + "ref": "2.6.0", + "repo": "nix", + "type": "github" + } + }, "nix_2": { "inputs": { "lowdown-src": "lowdown-src_2", @@ -7954,7 +8645,7 @@ "nix_4": { "inputs": { "lowdown-src": "lowdown-src_4", - "nixpkgs": "nixpkgs_16", + "nixpkgs": "nixpkgs_18", "nixpkgs-regression": "nixpkgs-regression_4" }, "locked": { @@ -8157,6 +8848,22 @@ "type": "github" } }, + "nixpkgs-2003_13": { + "locked": { + "lastModified": 1620055814, + "narHash": "sha256-8LEHoYSJiL901bTMVatq+rf8y7QtWuZhwwpKE2fyaRY=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "1db42b7fe3878f3f5f7a4f2dc210772fd080e205", + "type": "github" + }, + "original": { + "owner": "NixOS", + "ref": "nixpkgs-20.03-darwin", + "repo": "nixpkgs", + "type": "github" + } + }, "nixpkgs-2003_2": { "locked": { "lastModified": 1620055814, @@ -8318,6 +9025,22 @@ } }, "nixpkgs-2105_11": { + "locked": { + "lastModified": 1645296114, + "narHash": "sha256-y53N7TyIkXsjMpOG7RhvqJFGDacLs9HlyHeSTBioqYU=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "530a53dcbc9437363471167a5e4762c5fcfa34a1", + "type": "github" + }, + "original": { + "owner": "NixOS", + "ref": "nixpkgs-21.05-darwin", + "repo": "nixpkgs", + "type": "github" + } + }, + "nixpkgs-2105_12": { "locked": { "lastModified": 1642244250, "narHash": "sha256-vWpUEqQdVP4srj+/YLJRTN9vjpTs4je0cdWKXPbDItc=", @@ -8333,7 +9056,7 @@ "type": "github" } }, - "nixpkgs-2105_12": { + "nixpkgs-2105_13": { "locked": { "lastModified": 1645296114, "narHash": "sha256-y53N7TyIkXsjMpOG7RhvqJFGDacLs9HlyHeSTBioqYU=", @@ -8511,11 +9234,11 @@ }, "nixpkgs-2111_11": { "locked": { - "lastModified": 1653319070, - "narHash": "sha256-Z3cv967iN6mXgxhq1cjOoPod23XgNttCWHXMnMZUq9E=", + "lastModified": 1652298859, + "narHash": "sha256-hcwRboK+NxMWUJh0fQ3VsocDcAHrYJ95FmPEHlddV0Y=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "1c813bbdc330b45fe922c642eb610902aecd5673", + "rev": "051448e41537c3463ae776d46115d01afb6c498d", "type": "github" }, "original": { @@ -8543,11 +9266,11 @@ }, "nixpkgs-2111_13": { "locked": { - "lastModified": 1652364845, - "narHash": "sha256-1pG2GR+z7IrUVGcMoTsH6nJ+ACMvBplo/Pyw4SXJDIE=", + "lastModified": 1653319070, + "narHash": "sha256-Z3cv967iN6mXgxhq1cjOoPod23XgNttCWHXMnMZUq9E=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "ee80943d4d1160f460e3d719222212dbfbc6a193", + "rev": "1c813bbdc330b45fe922c642eb610902aecd5673", "type": "github" }, "original": { @@ -8575,11 +9298,11 @@ }, "nixpkgs-2111_15": { "locked": { - "lastModified": 1654115789, - "narHash": "sha256-k9Qr8dLrmgEn+xIVbneJdQgCYG8FbbqOrTVaExUrLFI=", + "lastModified": 1652364845, + "narHash": "sha256-1pG2GR+z7IrUVGcMoTsH6nJ+ACMvBplo/Pyw4SXJDIE=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "bce6d15455f8c15c9ef511368947e7ef789c5316", + "rev": "ee80943d4d1160f460e3d719222212dbfbc6a193", "type": "github" }, "original": { @@ -8607,11 +9330,11 @@ }, "nixpkgs-2111_17": { "locked": { - "lastModified": 1652364845, - "narHash": "sha256-1pG2GR+z7IrUVGcMoTsH6nJ+ACMvBplo/Pyw4SXJDIE=", + "lastModified": 1654115789, + "narHash": "sha256-k9Qr8dLrmgEn+xIVbneJdQgCYG8FbbqOrTVaExUrLFI=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "ee80943d4d1160f460e3d719222212dbfbc6a193", + "rev": "bce6d15455f8c15c9ef511368947e7ef789c5316", "type": "github" }, "original": { @@ -8639,11 +9362,11 @@ }, "nixpkgs-2111_19": { "locked": { - "lastModified": 1653319070, - "narHash": "sha256-Z3cv967iN6mXgxhq1cjOoPod23XgNttCWHXMnMZUq9E=", + "lastModified": 1652364845, + "narHash": "sha256-1pG2GR+z7IrUVGcMoTsH6nJ+ACMvBplo/Pyw4SXJDIE=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "1c813bbdc330b45fe922c642eb610902aecd5673", + "rev": "ee80943d4d1160f460e3d719222212dbfbc6a193", "type": "github" }, "original": { @@ -8702,6 +9425,38 @@ } }, "nixpkgs-2111_22": { + "locked": { + "lastModified": 1648744337, + "narHash": "sha256-bYe1dFJAXovjqiaPKrmAbSBEK5KUkgwVaZcTbSoJ7hg=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "0a58eebd8ec65ffdef2ce9562784123a73922052", + "type": "github" + }, + "original": { + "owner": "NixOS", + "ref": "nixpkgs-21.11-darwin", + "repo": "nixpkgs", + "type": "github" + } + }, + "nixpkgs-2111_23": { + "locked": { + "lastModified": 1653319070, + "narHash": "sha256-Z3cv967iN6mXgxhq1cjOoPod23XgNttCWHXMnMZUq9E=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "1c813bbdc330b45fe922c642eb610902aecd5673", + "type": "github" + }, + "original": { + "owner": "NixOS", + "ref": "nixpkgs-21.11-darwin", + "repo": "nixpkgs", + "type": "github" + } + }, + "nixpkgs-2111_24": { "locked": { "lastModified": 1644510859, "narHash": "sha256-xjpVvL5ecbyi0vxtVl/Fh9bwGlMbw3S06zE5nUzFB8A=", @@ -8717,7 +9472,7 @@ "type": "github" } }, - "nixpkgs-2111_23": { + "nixpkgs-2111_25": { "locked": { "lastModified": 1656492155, "narHash": "sha256-oKWpYhhgZ2Yt4BZHKSFwJSwOAoFawWxNiW0y7wpde+I=", @@ -8733,7 +9488,7 @@ "type": "github" } }, - "nixpkgs-2111_24": { + "nixpkgs-2111_26": { "locked": { "lastModified": 1648744337, "narHash": "sha256-bYe1dFJAXovjqiaPKrmAbSBEK5KUkgwVaZcTbSoJ7hg=", @@ -8751,11 +9506,11 @@ }, "nixpkgs-2111_3": { "locked": { - "lastModified": 1653319070, - "narHash": "sha256-Z3cv967iN6mXgxhq1cjOoPod23XgNttCWHXMnMZUq9E=", + "lastModified": 1652298859, + "narHash": "sha256-hcwRboK+NxMWUJh0fQ3VsocDcAHrYJ95FmPEHlddV0Y=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "1c813bbdc330b45fe922c642eb610902aecd5673", + "rev": "051448e41537c3463ae776d46115d01afb6c498d", "type": "github" }, "original": { @@ -8783,11 +9538,11 @@ }, "nixpkgs-2111_5": { "locked": { - "lastModified": 1652364845, - "narHash": "sha256-1pG2GR+z7IrUVGcMoTsH6nJ+ACMvBplo/Pyw4SXJDIE=", + "lastModified": 1653319070, + "narHash": "sha256-Z3cv967iN6mXgxhq1cjOoPod23XgNttCWHXMnMZUq9E=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "ee80943d4d1160f460e3d719222212dbfbc6a193", + "rev": "1c813bbdc330b45fe922c642eb610902aecd5673", "type": "github" }, "original": { @@ -8815,11 +9570,11 @@ }, "nixpkgs-2111_7": { "locked": { - "lastModified": 1655415671, - "narHash": "sha256-WD7HxxW1m8D/fkV1QlCYlZvnE5gQdg7ckq3myI4gPtE=", + "lastModified": 1652364845, + "narHash": "sha256-1pG2GR+z7IrUVGcMoTsH6nJ+ACMvBplo/Pyw4SXJDIE=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "f96729212602f15a6a226d2f27f5de70492ad095", + "rev": "ee80943d4d1160f460e3d719222212dbfbc6a193", "type": "github" }, "original": { @@ -8847,11 +9602,11 @@ }, "nixpkgs-2111_9": { "locked": { - "lastModified": 1652298859, - "narHash": "sha256-hcwRboK+NxMWUJh0fQ3VsocDcAHrYJ95FmPEHlddV0Y=", + "lastModified": 1658346836, + "narHash": "sha256-c9BZZbi0tqCQ4j6CMVDlsut3Q3ET1Fezf+qIslCfkhs=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "051448e41537c3463ae776d46115d01afb6c498d", + "rev": "a1fe662eb26ffc2a036b37c4670392ade632c413", "type": "github" }, "original": { @@ -9117,6 +9872,38 @@ "type": "github" } }, + "nixpkgs-latest_24": { + "locked": { + "lastModified": 1653918805, + "narHash": "sha256-6ahwAnBNGgqSNSn/6RnsxrlFi+fkA+RyT6o/5S1915o=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "a0a69be4b5ee63f1b5e75887a406e9194012b492", + "type": "github" + }, + "original": { + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "a0a69be4b5ee63f1b5e75887a406e9194012b492", + "type": "github" + } + }, + "nixpkgs-latest_25": { + "locked": { + "lastModified": 1653918805, + "narHash": "sha256-6ahwAnBNGgqSNSn/6RnsxrlFi+fkA+RyT6o/5S1915o=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "a0a69be4b5ee63f1b5e75887a406e9194012b492", + "type": "github" + }, + "original": { + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "a0a69be4b5ee63f1b5e75887a406e9194012b492", + "type": "github" + } + }, "nixpkgs-latest_3": { "locked": { "lastModified": 1653918805, @@ -9274,6 +10061,21 @@ "type": "indirect" } }, + "nixpkgs-regression_12": { + "locked": { + "lastModified": 1643052045, + "narHash": "sha256-uGJ0VXIhWKGXxkeNnq4TvV3CIOkUJ3PAoLZ3HMzNVMw=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "215d4d0fd80ca5163643b03a33fde804a29cc1e2", + "type": "github" + }, + "original": { + "id": "nixpkgs", + "rev": "215d4d0fd80ca5163643b03a33fde804a29cc1e2", + "type": "indirect" + } + }, "nixpkgs-regression_2": { "locked": { "lastModified": 1643052045, @@ -9427,6 +10229,22 @@ } }, "nixpkgs-unstable_11": { + "locked": { + "lastModified": 1648219316, + "narHash": "sha256-Ctij+dOi0ZZIfX5eMhgwugfvB+WZSrvVNAyAuANOsnQ=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "30d3d79b7d3607d56546dd2a6b49e156ba0ec634", + "type": "github" + }, + "original": { + "owner": "NixOS", + "ref": "nixpkgs-unstable", + "repo": "nixpkgs", + "type": "github" + } + }, + "nixpkgs-unstable_12": { "locked": { "lastModified": 1644486793, "narHash": "sha256-EeijR4guVHgVv+JpOX3cQO+1XdrkJfGmiJ9XVsVU530=", @@ -9442,7 +10260,7 @@ "type": "github" } }, - "nixpkgs-unstable_12": { + "nixpkgs-unstable_13": { "locked": { "lastModified": 1648219316, "narHash": "sha256-Ctij+dOi0ZZIfX5eMhgwugfvB+WZSrvVNAyAuANOsnQ=", @@ -9682,6 +10500,36 @@ } }, "nixpkgs_16": { + "locked": { + "lastModified": 1652885393, + "narHash": "sha256-YIgvvlk4iQ1Hi7KD9o5gsojc+ApB+jiH1d5stK8uXiw=", + "owner": "nixos", + "repo": "nixpkgs", + "rev": "48037fd90426e44e4bf03e6479e88a11453b9b66", + "type": "github" + }, + "original": { + "owner": "nixos", + "ref": "nixos-unstable", + "repo": "nixpkgs", + "type": "github" + } + }, + "nixpkgs_17": { + "locked": { + "lastModified": 1653117584, + "narHash": "sha256-5uUrHeHBIaySBTrRExcCoW8fBBYVSDjDYDU5A6iOl+k=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "f4dfed73ee886b115a99e5b85fdfbeb683290d83", + "type": "github" + }, + "original": { + "id": "nixpkgs", + "type": "indirect" + } + }, + "nixpkgs_18": { "locked": { "lastModified": 1632864508, "narHash": "sha256-d127FIvGR41XbVRDPVvozUPQ/uRHbHwvfyKHwEt5xFM=", @@ -9696,7 +10544,7 @@ "type": "indirect" } }, - "nixpkgs_17": { + "nixpkgs_19": { "locked": { "lastModified": 1647297614, "narHash": "sha256-ulGq3W5XsrBMU/u5k9d4oPy65pQTkunR4HKKtTq0RwY=", @@ -9712,39 +10560,6 @@ "type": "github" } }, - "nixpkgs_18": { - "flake": false, - "locked": { - "lastModified": 1645493675, - "narHash": "sha256-9xundbZQbhFodsQRh6QMN1GeSXfo3y/5NL0CZcJULz0=", - "owner": "NixOS", - "repo": "nixpkgs", - "rev": "74b10859829153d5c5d50f7c77b86763759e8654", - "type": "github" - }, - "original": { - "owner": "NixOS", - "ref": "nixpkgs-unstable", - "repo": "nixpkgs", - "type": "github" - } - }, - "nixpkgs_19": { - "locked": { - "lastModified": 1652885393, - "narHash": "sha256-YIgvvlk4iQ1Hi7KD9o5gsojc+ApB+jiH1d5stK8uXiw=", - "owner": "nixos", - "repo": "nixpkgs", - "rev": "48037fd90426e44e4bf03e6479e88a11453b9b66", - "type": "github" - }, - "original": { - "owner": "nixos", - "ref": "nixos-unstable", - "repo": "nixpkgs", - "type": "github" - } - }, "nixpkgs_2": { "locked": { "lastModified": 1653117584, @@ -9760,17 +10575,20 @@ } }, "nixpkgs_20": { + "flake": false, "locked": { - "lastModified": 1653117584, - "narHash": "sha256-5uUrHeHBIaySBTrRExcCoW8fBBYVSDjDYDU5A6iOl+k=", + "lastModified": 1645493675, + "narHash": "sha256-9xundbZQbhFodsQRh6QMN1GeSXfo3y/5NL0CZcJULz0=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "f4dfed73ee886b115a99e5b85fdfbeb683290d83", + "rev": "74b10859829153d5c5d50f7c77b86763759e8654", "type": "github" }, "original": { - "id": "nixpkgs", - "type": "indirect" + "owner": "NixOS", + "ref": "nixpkgs-unstable", + "repo": "nixpkgs", + "type": "github" } }, "nixpkgs_21": { @@ -10244,17 +11062,17 @@ }, "nixpkgs_49": { "locked": { - "lastModified": 1650882267, - "narHash": "sha256-BFKiz8srATQIBuFEN2HgS2EHisK29EjZ/HV34wSr2lU=", + "lastModified": 1652885393, + "narHash": "sha256-YIgvvlk4iQ1Hi7KD9o5gsojc+ApB+jiH1d5stK8uXiw=", "owner": "nixos", "repo": "nixpkgs", - "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2", + "rev": "48037fd90426e44e4bf03e6479e88a11453b9b66", "type": "github" }, "original": { "owner": "nixos", + "ref": "nixos-unstable", "repo": "nixpkgs", - "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2", "type": "github" } }, @@ -10276,6 +11094,84 @@ } }, "nixpkgs_50": { + "locked": { + "lastModified": 1653117584, + "narHash": "sha256-5uUrHeHBIaySBTrRExcCoW8fBBYVSDjDYDU5A6iOl+k=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "f4dfed73ee886b115a99e5b85fdfbeb683290d83", + "type": "github" + }, + "original": { + "id": "nixpkgs", + "type": "indirect" + } + }, + "nixpkgs_51": { + "locked": { + "lastModified": 1632864508, + "narHash": "sha256-d127FIvGR41XbVRDPVvozUPQ/uRHbHwvfyKHwEt5xFM=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "82891b5e2c2359d7e58d08849e4c89511ab94234", + "type": "github" + }, + "original": { + "id": "nixpkgs", + "ref": "nixos-21.05-small", + "type": "indirect" + } + }, + "nixpkgs_52": { + "locked": { + "lastModified": 1647297614, + "narHash": "sha256-ulGq3W5XsrBMU/u5k9d4oPy65pQTkunR4HKKtTq0RwY=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "73ad5f9e147c0d2a2061f1d4bd91e05078dc0b58", + "type": "github" + }, + "original": { + "owner": "NixOS", + "ref": "nixos-unstable", + "repo": "nixpkgs", + "type": "github" + } + }, + "nixpkgs_53": { + "flake": false, + "locked": { + "lastModified": 1645493675, + "narHash": "sha256-9xundbZQbhFodsQRh6QMN1GeSXfo3y/5NL0CZcJULz0=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "74b10859829153d5c5d50f7c77b86763759e8654", + "type": "github" + }, + "original": { + "owner": "NixOS", + "ref": "nixpkgs-unstable", + "repo": "nixpkgs", + "type": "github" + } + }, + "nixpkgs_54": { + "locked": { + "lastModified": 1650882267, + "narHash": "sha256-BFKiz8srATQIBuFEN2HgS2EHisK29EjZ/HV34wSr2lU=", + "owner": "nixos", + "repo": "nixpkgs", + "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2", + "type": "github" + }, + "original": { + "owner": "nixos", + "repo": "nixpkgs", + "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2", + "type": "github" + } + }, + "nixpkgs_55": { "locked": { "lastModified": 1647350163, "narHash": "sha256-OcMI+PFEHTONthXuEQNddt16Ml7qGvanL3x8QOl2Aao=", @@ -10291,7 +11187,7 @@ "type": "github" } }, - "nixpkgs_51": { + "nixpkgs_56": { "locked": { "lastModified": 1649456639, "narHash": "sha256-rZCjaEAZgOtT9kYTBigksof64SqKAXOuoHhlzHvfl0E=", @@ -10307,7 +11203,7 @@ "type": "github" } }, - "nixpkgs_52": { + "nixpkgs_57": { "locked": { "lastModified": 1648219316, "narHash": "sha256-Ctij+dOi0ZZIfX5eMhgwugfvB+WZSrvVNAyAuANOsnQ=", @@ -10321,7 +11217,7 @@ "type": "indirect" } }, - "nixpkgs_53": { + "nixpkgs_58": { "locked": { "lastModified": 1647297614, "narHash": "sha256-ulGq3W5XsrBMU/u5k9d4oPy65pQTkunR4HKKtTq0RwY=", @@ -10337,7 +11233,7 @@ "type": "github" } }, - "nixpkgs_54": { + "nixpkgs_59": { "flake": false, "locked": { "lastModified": 1628785280, @@ -10354,54 +11250,6 @@ "type": "github" } }, - "nixpkgs_55": { - "locked": { - "lastModified": 1632864508, - "narHash": "sha256-d127FIvGR41XbVRDPVvozUPQ/uRHbHwvfyKHwEt5xFM=", - "owner": "NixOS", - "repo": "nixpkgs", - "rev": "82891b5e2c2359d7e58d08849e4c89511ab94234", - "type": "github" - }, - "original": { - "id": "nixpkgs", - "ref": "nixos-21.05-small", - "type": "indirect" - } - }, - "nixpkgs_56": { - "locked": { - "lastModified": 1647297614, - "narHash": "sha256-ulGq3W5XsrBMU/u5k9d4oPy65pQTkunR4HKKtTq0RwY=", - "owner": "NixOS", - "repo": "nixpkgs", - "rev": "73ad5f9e147c0d2a2061f1d4bd91e05078dc0b58", - "type": "github" - }, - "original": { - "owner": "NixOS", - "ref": "nixos-unstable", - "repo": "nixpkgs", - "type": "github" - } - }, - "nixpkgs_57": { - "flake": false, - "locked": { - "lastModified": 1645493675, - "narHash": "sha256-9xundbZQbhFodsQRh6QMN1GeSXfo3y/5NL0CZcJULz0=", - "owner": "NixOS", - "repo": "nixpkgs", - "rev": "74b10859829153d5c5d50f7c77b86763759e8654", - "type": "github" - }, - "original": { - "owner": "NixOS", - "ref": "nixpkgs-unstable", - "repo": "nixpkgs", - "type": "github" - } - }, "nixpkgs_6": { "locked": { "lastModified": 1652885393, @@ -10418,6 +11266,54 @@ "type": "github" } }, + "nixpkgs_60": { + "locked": { + "lastModified": 1632864508, + "narHash": "sha256-d127FIvGR41XbVRDPVvozUPQ/uRHbHwvfyKHwEt5xFM=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "82891b5e2c2359d7e58d08849e4c89511ab94234", + "type": "github" + }, + "original": { + "id": "nixpkgs", + "ref": "nixos-21.05-small", + "type": "indirect" + } + }, + "nixpkgs_61": { + "locked": { + "lastModified": 1647297614, + "narHash": "sha256-ulGq3W5XsrBMU/u5k9d4oPy65pQTkunR4HKKtTq0RwY=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "73ad5f9e147c0d2a2061f1d4bd91e05078dc0b58", + "type": "github" + }, + "original": { + "owner": "NixOS", + "ref": "nixos-unstable", + "repo": "nixpkgs", + "type": "github" + } + }, + "nixpkgs_62": { + "flake": false, + "locked": { + "lastModified": 1645493675, + "narHash": "sha256-9xundbZQbhFodsQRh6QMN1GeSXfo3y/5NL0CZcJULz0=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "74b10859829153d5c5d50f7c77b86763759e8654", + "type": "github" + }, + "original": { + "owner": "NixOS", + "ref": "nixpkgs-unstable", + "repo": "nixpkgs", + "type": "github" + } + }, "nixpkgs_7": { "locked": { "lastModified": 1653117584, @@ -10531,6 +11427,23 @@ "type": "github" } }, + "old-ghc-nix_13": { + "flake": false, + "locked": { + "lastModified": 1631092763, + "narHash": "sha256-sIKgO+z7tj4lw3u6oBZxqIhDrzSkvpHtv0Kki+lh9Fg=", + "owner": "angerman", + "repo": "old-ghc-nix", + "rev": "af48a7a7353e418119b6dfe3cd1463a657f342b8", + "type": "github" + }, + "original": { + "owner": "angerman", + "ref": "master", + "repo": "old-ghc-nix", + "type": "github" + } + }, "old-ghc-nix_2": { "flake": false, "locked": { @@ -10685,6 +11598,23 @@ } }, "pandoc-link-context_10": { + "flake": false, + "locked": { + "lastModified": 1653170888, + "narHash": "sha256-bA/Oj2pt3H2b4lqWqVBYo3Qhvhd01r4vM39+vLuPMtA=", + "owner": "srid", + "repo": "pandoc-link-context", + "rev": "c3a3de34b291b2bfec04387af65e0cc0822373c5", + "type": "github" + }, + "original": { + "owner": "srid", + "ref": "master", + "repo": "pandoc-link-context", + "type": "github" + } + }, + "pandoc-link-context_11": { "flake": false, "locked": { "lastModified": 1650932770, @@ -10839,9 +11769,9 @@ }, "pathtree": { "inputs": { - "flake-compat": "flake-compat_20", - "flake-utils": "flake-utils_31", - "nixpkgs": "nixpkgs_50" + "flake-compat": "flake-compat_22", + "flake-utils": "flake-utils_34", + "nixpkgs": "nixpkgs_55" }, "locked": { "lastModified": 1649011952, @@ -10896,49 +11826,17 @@ } }, "plutarch-context-builder": { - "inputs": { - "haskell-language-server": "haskell-language-server_12", - "haskell-nix": [ - "plutarch-context-builder", - "plutarch", - "haskell-nix" - ], - "nixpkgs": [ - "plutarch-context-builder", - "plutarch", - "nixpkgs" - ], - "nixpkgs-2111": "nixpkgs-2111_9", - "nixpkgs-latest": "nixpkgs-latest_9", - "plutarch": "plutarch_5" - }, - "locked": { - "lastModified": 1658368717, - "narHash": "sha256-GAneUtaxaJSZLNkIGOTByx/Auuq1g3MhzBhTiqZ13+s=", - "owner": "Liqwid-Labs", - "repo": "plutarch-context-builder", - "rev": "2a2ca72ff310788e531cbbe379ef7b0c4cb42dc9", - "type": "github" - }, - "original": { - "owner": "Liqwid-Labs", - "ref": "staging", - "repo": "plutarch-context-builder", - "type": "github" - } - }, - "plutarch-numeric": { "inputs": { "haskell-language-server": "haskell-language-server_4", "haskell-nix": [ "liqwid-plutarch-extra", - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "haskell-nix" ], "nixpkgs": [ "liqwid-plutarch-extra", - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "nixpkgs" ], @@ -10946,6 +11844,72 @@ "nixpkgs-latest": "nixpkgs-latest_3", "plutarch": "plutarch_2" }, + "locked": { + "lastModified": 1658268102, + "narHash": "sha256-RE8vhqLY9wXfJHt7933HSaezO3/eP/YmJVdqfbDbKN0=", + "owner": "liqwid-labs", + "repo": "plutarch-context-builder", + "rev": "1f2df0a09a3c60ee398c87723e9443d1c4c45102", + "type": "github" + }, + "original": { + "owner": "liqwid-labs", + "ref": "staging", + "repo": "plutarch-context-builder", + "type": "github" + } + }, + "plutarch-context-builder_2": { + "inputs": { + "haskell-language-server": "haskell-language-server_15", + "haskell-nix": [ + "plutarch-context-builder", + "plutarch", + "haskell-nix" + ], + "nixpkgs": [ + "plutarch-context-builder", + "plutarch", + "nixpkgs" + ], + "nixpkgs-2111": "nixpkgs-2111_11", + "nixpkgs-latest": "nixpkgs-latest_11", + "plutarch": "plutarch_6" + }, + "locked": { + "lastModified": 1658175311, + "narHash": "sha256-Wa7OKZGXeVDaruY3NcZ00CfLT0dy3cHp8xsjsCLwhs8=", + "owner": "Liqwid-Labs", + "repo": "plutarch-context-builder", + "rev": "62ab154fdcd8dd07a741e7955e078813aff4ed6a", + "type": "github" + }, + "original": { + "owner": "Liqwid-Labs", + "ref": "62ab154fdcd8dd07a741e7955e078813aff4ed6a", + "repo": "plutarch-context-builder", + "type": "github" + } + }, + "plutarch-numeric": { + "inputs": { + "haskell-language-server": "haskell-language-server_7", + "haskell-nix": [ + "liqwid-plutarch-extra", + "plutarch-numeric", + "plutarch", + "haskell-nix" + ], + "nixpkgs": [ + "liqwid-plutarch-extra", + "plutarch-numeric", + "plutarch", + "nixpkgs" + ], + "nixpkgs-2111": "nixpkgs-2111_5", + "nixpkgs-latest": "nixpkgs-latest_5", + "plutarch": "plutarch_3" + }, "locked": { "lastModified": 1655733533, "narHash": "sha256-HRSJUEQYYwr0HvYn6GwLmyYY7TXwZcYPAW0U8t6nmok=", @@ -10962,7 +11926,7 @@ }, "plutarch-numeric_2": { "inputs": { - "haskell-language-server": "haskell-language-server_15", + "haskell-language-server": "haskell-language-server_18", "haskell-nix": [ "plutarch-numeric", "plutarch", @@ -10973,16 +11937,16 @@ "plutarch", "nixpkgs" ], - "nixpkgs-2111": "nixpkgs-2111_11", - "nixpkgs-latest": "nixpkgs-latest_11", - "plutarch": "plutarch_6" + "nixpkgs-2111": "nixpkgs-2111_13", + "nixpkgs-latest": "nixpkgs-latest_13", + "plutarch": "plutarch_7" }, "locked": { - "lastModified": 1655733533, - "narHash": "sha256-HRSJUEQYYwr0HvYn6GwLmyYY7TXwZcYPAW0U8t6nmok=", + "lastModified": 1656613288, + "narHash": "sha256-h2rM+Ng/wyWwqRY41NbxPHBJLIfcqsjeCItYK7iQvR8=", "owner": "Liqwid-Labs", "repo": "plutarch-numeric", - "rev": "ce2d39dc366d9453b0f5df328bbb78f11e3b2ed6", + "rev": "da44b2af83f28276cf7466586a8e66291f104663", "type": "github" }, "original": { @@ -10994,7 +11958,7 @@ }, "plutarch-numeric_3": { "inputs": { - "haskell-language-server": "haskell-language-server_30", + "haskell-language-server": "haskell-language-server_33", "haskell-nix": [ "plutarch-safe-money", "plutarch-numeric", @@ -11007,9 +11971,9 @@ "plutarch", "nixpkgs" ], - "nixpkgs-2111": "nixpkgs-2111_21", - "nixpkgs-latest": "nixpkgs-latest_21", - "plutarch": "plutarch_11" + "nixpkgs-2111": "nixpkgs-2111_23", + "nixpkgs-latest": "nixpkgs-latest_23", + "plutarch": "plutarch_12" }, "locked": { "lastModified": 1654950823, @@ -11028,7 +11992,7 @@ }, "plutarch-quickcheck": { "inputs": { - "haskell-language-server": "haskell-language-server_7", + "haskell-language-server": "haskell-language-server_10", "haskell-nix": [ "liqwid-plutarch-extra", "plutarch-quickcheck", @@ -11041,9 +12005,9 @@ "plutarch", "nixpkgs" ], - "nixpkgs-2111": "nixpkgs-2111_5", - "nixpkgs-latest": "nixpkgs-latest_5", - "plutarch": "plutarch_3" + "nixpkgs-2111": "nixpkgs-2111_7", + "nixpkgs-latest": "nixpkgs-latest_7", + "plutarch": "plutarch_4" }, "locked": { "lastModified": 1655113586, @@ -11062,7 +12026,7 @@ }, "plutarch-quickcheck_2": { "inputs": { - "haskell-language-server": "haskell-language-server_18", + "haskell-language-server": "haskell-language-server_21", "haskell-nix": [ "plutarch-quickcheck", "plutarch", @@ -11073,9 +12037,9 @@ "plutarch", "nixpkgs" ], - "nixpkgs-2111": "nixpkgs-2111_13", - "nixpkgs-latest": "nixpkgs-latest_13", - "plutarch": "plutarch_7" + "nixpkgs-2111": "nixpkgs-2111_15", + "nixpkgs-latest": "nixpkgs-latest_15", + "plutarch": "plutarch_8" }, "locked": { "lastModified": 1655307888, @@ -11094,7 +12058,7 @@ }, "plutarch-quickcheck_3": { "inputs": { - "haskell-language-server": "haskell-language-server_25", + "haskell-language-server": "haskell-language-server_28", "haskell-nix": [ "plutarch-safe-money", "liqwid-plutarch-extra", @@ -11109,9 +12073,9 @@ "plutarch", "nixpkgs" ], - "nixpkgs-2111": "nixpkgs-2111_17", - "nixpkgs-latest": "nixpkgs-latest_17", - "plutarch": "plutarch_9" + "nixpkgs-2111": "nixpkgs-2111_19", + "nixpkgs-latest": "nixpkgs-latest_19", + "plutarch": "plutarch_10" }, "locked": { "lastModified": 1655113586, @@ -11130,7 +12094,7 @@ }, "plutarch-safe-money": { "inputs": { - "haskell-language-server": "haskell-language-server_21", + "haskell-language-server": "haskell-language-server_24", "haskell-nix": [ "plutarch-safe-money", "plutarch", @@ -11142,9 +12106,9 @@ "plutarch", "nixpkgs" ], - "nixpkgs-2111": "nixpkgs-2111_19", - "nixpkgs-latest": "nixpkgs-latest_19", - "plutarch": "plutarch_10", + "nixpkgs-2111": "nixpkgs-2111_21", + "nixpkgs-latest": "nixpkgs-latest_21", + "plutarch": "plutarch_11", "plutarch-numeric": "plutarch-numeric_3" }, "locked": { @@ -11174,16 +12138,16 @@ "plutarch", "nixpkgs" ], - "nixpkgs-2111": "nixpkgs-2111_23", - "nixpkgs-latest": "nixpkgs-latest_22", - "plutarch": "plutarch_12" + "nixpkgs-2111": "nixpkgs-2111_25", + "nixpkgs-latest": "nixpkgs-latest_24", + "plutarch": "plutarch_13" }, "locked": { - "lastModified": 1656599673, - "narHash": "sha256-+ZLiFYiMR/Xk2caFzyzhTWk/bruoK1i39LOwGZEOUp4=", + "lastModified": 1657374093, + "narHash": "sha256-96K/mcNI8lNto+gLSOhnGADQYfWrp3+PrZYKoNzSS1A=", "owner": "Liqwid-Labs", "repo": "plutarch-script-export", - "rev": "f27ac2b706c4239779be35f2e3b4971b386f7418", + "rev": "85c3b8a2ef856e7c18d3227e33fc2dd7bebf3bc1", "type": "github" }, "original": { @@ -11200,13 +12164,15 @@ "cardano-prelude": "cardano-prelude_10", "emanote": "emanote_9", "flat": "flat_10", - "haskell-language-server": "haskell-language-server_28", + "haskell-language-server": "haskell-language-server_29", "haskell-nix": "haskell-nix_19", "haskell-nix-extra-hackage": "haskell-nix-extra-hackage_10", "hercules-ci-effects": "hercules-ci-effects_10", "iohk-nix": "iohk-nix_19", "nixpkgs": [ "plutarch-safe-money", + "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "haskell-nix", "nixpkgs-unstable" @@ -11233,22 +12199,60 @@ }, "plutarch_11": { "inputs": { - "Shrinker": "Shrinker", "cardano-base": "cardano-base_11", "cardano-crypto": "cardano-crypto_11", "cardano-prelude": "cardano-prelude_11", - "cryptonite": "cryptonite", "emanote": "emanote_10", "flat": "flat_11", - "foundation": "foundation", "haskell-language-server": "haskell-language-server_31", "haskell-nix": "haskell-nix_21", + "haskell-nix-extra-hackage": "haskell-nix-extra-hackage_11", "hercules-ci-effects": "hercules-ci-effects_11", + "iohk-nix": "iohk-nix_21", + "nixpkgs": [ + "plutarch-safe-money", + "plutarch", + "haskell-nix", + "nixpkgs-unstable" + ], + "nixpkgs-latest": "nixpkgs-latest_22", + "plutus": "plutus_11", + "protolude": "protolude_11", + "secp256k1-haskell": "secp256k1-haskell_11" + }, + "locked": { + "lastModified": 1654108284, + "narHash": "sha256-VD0zX4pFrJJaaUO7uJgioZGg1moe1Fy8nAb5j2mV/Qc=", + "owner": "Liqwid-Labs", + "repo": "plutarch", + "rev": "e7ef565645146e26e75ec29fe97122a74e52c6b7", + "type": "github" + }, + "original": { + "owner": "Liqwid-Labs", + "ref": "staging", + "repo": "plutarch", + "type": "github" + } + }, + "plutarch_12": { + "inputs": { + "Shrinker": "Shrinker", + "cardano-base": "cardano-base_12", + "cardano-crypto": "cardano-crypto_12", + "cardano-prelude": "cardano-prelude_12", + "cryptonite": "cryptonite", + "emanote": "emanote_11", + "flat": "flat_12", + "foundation": "foundation", + "haskell-language-server": "haskell-language-server_34", + "haskell-nix": "haskell-nix_23", + "hercules-ci-effects": "hercules-ci-effects_12", "hs-memory": "hs-memory", "hspec": "hspec", "hspec-golden": "hspec-golden", "hspec-hedgehog": "hspec-hedgehog", - "iohk-nix": "iohk-nix_21", + "iohk-nix": "iohk-nix_23", "nixpkgs": [ "plutarch-safe-money", "plutarch-numeric", @@ -11256,8 +12260,8 @@ "haskell-nix", "nixpkgs-unstable" ], - "plutus": "plutus_11", - "protolude": "protolude_11", + "plutus": "plutus_12", + "protolude": "protolude_12", "sized-functors": "sized-functors", "th-extras": "th-extras" }, @@ -11276,33 +12280,33 @@ "type": "github" } }, - "plutarch_12": { + "plutarch_13": { "inputs": { - "cardano-base": "cardano-base_12", - "cardano-crypto": "cardano-crypto_12", - "cardano-prelude": "cardano-prelude_12", + "cardano-base": "cardano-base_13", + "cardano-crypto": "cardano-crypto_13", + "cardano-prelude": "cardano-prelude_13", "emanote": [ "plutarch-script-export", "plutarch", "haskell-nix", "nixpkgs-unstable" ], - "flat": "flat_12", - "haskell-language-server": "haskell-language-server_33", - "haskell-nix": "haskell-nix_23", - "haskell-nix-extra-hackage": "haskell-nix-extra-hackage_11", - "hercules-ci-effects": "hercules-ci-effects_12", - "iohk-nix": "iohk-nix_23", + "flat": "flat_13", + "haskell-language-server": "haskell-language-server_36", + "haskell-nix": "haskell-nix_25", + "haskell-nix-extra-hackage": "haskell-nix-extra-hackage_12", + "hercules-ci-effects": "hercules-ci-effects_13", + "iohk-nix": "iohk-nix_25", "nixpkgs": [ "plutarch-script-export", "plutarch", "haskell-nix", "nixpkgs-unstable" ], - "nixpkgs-latest": "nixpkgs-latest_23", - "plutus": "plutus_12", - "protolude": "protolude_12", - "secp256k1-haskell": "secp256k1-haskell_11" + "nixpkgs-latest": "nixpkgs-latest_25", + "plutus": "plutus_13", + "protolude": "protolude_13", + "secp256k1-haskell": "secp256k1-haskell_12" }, "locked": { "lastModified": 1654108284, @@ -11333,7 +12337,7 @@ "iohk-nix": "iohk-nix_3", "nixpkgs": [ "liqwid-plutarch-extra", - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "haskell-nix", "nixpkgs-unstable" @@ -11372,7 +12376,7 @@ "iohk-nix": "iohk-nix_5", "nixpkgs": [ "liqwid-plutarch-extra", - "plutarch-quickcheck", + "plutarch-numeric", "plutarch", "haskell-nix", "nixpkgs-unstable" @@ -11402,18 +12406,16 @@ "cardano-base": "cardano-base_4", "cardano-crypto": "cardano-crypto_4", "cardano-prelude": "cardano-prelude_4", - "emanote": [ - "plutarch", - "haskell-nix", - "nixpkgs-unstable" - ], + "emanote": "emanote_4", "flat": "flat_4", - "haskell-language-server": "haskell-language-server_10", + "haskell-language-server": "haskell-language-server_11", "haskell-nix": "haskell-nix_7", "haskell-nix-extra-hackage": "haskell-nix-extra-hackage_4", "hercules-ci-effects": "hercules-ci-effects_4", "iohk-nix": "iohk-nix_7", "nixpkgs": [ + "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "haskell-nix", "nixpkgs-unstable" @@ -11423,44 +12425,6 @@ "protolude": "protolude_4", "secp256k1-haskell": "secp256k1-haskell_4" }, - "locked": { - "lastModified": 1654108284, - "narHash": "sha256-VD0zX4pFrJJaaUO7uJgioZGg1moe1Fy8nAb5j2mV/Qc=", - "owner": "liqwid-labs", - "repo": "plutarch", - "rev": "e7ef565645146e26e75ec29fe97122a74e52c6b7", - "type": "github" - }, - "original": { - "owner": "liqwid-labs", - "repo": "plutarch", - "rev": "e7ef565645146e26e75ec29fe97122a74e52c6b7", - "type": "github" - } - }, - "plutarch_5": { - "inputs": { - "cardano-base": "cardano-base_5", - "cardano-crypto": "cardano-crypto_5", - "cardano-prelude": "cardano-prelude_5", - "emanote": "emanote_4", - "flat": "flat_5", - "haskell-language-server": "haskell-language-server_13", - "haskell-nix": "haskell-nix_9", - "haskell-nix-extra-hackage": "haskell-nix-extra-hackage_5", - "hercules-ci-effects": "hercules-ci-effects_5", - "iohk-nix": "iohk-nix_9", - "nixpkgs": [ - "plutarch-context-builder", - "plutarch", - "haskell-nix", - "nixpkgs-unstable" - ], - "nixpkgs-latest": "nixpkgs-latest_10", - "plutus": "plutus_5", - "protolude": "protolude_5", - "secp256k1-haskell": "secp256k1-haskell_5" - }, "locked": { "lastModified": 1654108284, "narHash": "sha256-VD0zX4pFrJJaaUO7uJgioZGg1moe1Fy8nAb5j2mV/Qc=", @@ -11476,6 +12440,47 @@ "type": "github" } }, + "plutarch_5": { + "inputs": { + "cardano-base": "cardano-base_5", + "cardano-crypto": "cardano-crypto_5", + "cardano-prelude": "cardano-prelude_5", + "emanote": [ + "plutarch", + "haskell-nix", + "nixpkgs-unstable" + ], + "flat": "flat_5", + "haskell-language-server": "haskell-language-server_13", + "haskell-nix": "haskell-nix_9", + "haskell-nix-extra-hackage": "haskell-nix-extra-hackage_5", + "hercules-ci-effects": "hercules-ci-effects_5", + "iohk-nix": "iohk-nix_9", + "nixpkgs": [ + "plutarch", + "haskell-nix", + "nixpkgs-unstable" + ], + "nixpkgs-latest": "nixpkgs-latest_10", + "plutus": "plutus_5", + "protolude": "protolude_5", + "secp256k1-haskell": "secp256k1-haskell_5" + }, + "locked": { + "lastModified": 1654108284, + "narHash": "sha256-VD0zX4pFrJJaaUO7uJgioZGg1moe1Fy8nAb5j2mV/Qc=", + "owner": "liqwid-labs", + "repo": "plutarch", + "rev": "e7ef565645146e26e75ec29fe97122a74e52c6b7", + "type": "github" + }, + "original": { + "owner": "liqwid-labs", + "repo": "plutarch", + "rev": "e7ef565645146e26e75ec29fe97122a74e52c6b7", + "type": "github" + } + }, "plutarch_6": { "inputs": { "cardano-base": "cardano-base_6", @@ -11489,7 +12494,7 @@ "hercules-ci-effects": "hercules-ci-effects_6", "iohk-nix": "iohk-nix_11", "nixpkgs": [ - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "haskell-nix", "nixpkgs-unstable" @@ -11527,7 +12532,7 @@ "hercules-ci-effects": "hercules-ci-effects_7", "iohk-nix": "iohk-nix_13", "nixpkgs": [ - "plutarch-quickcheck", + "plutarch-numeric", "plutarch", "haskell-nix", "nixpkgs-unstable" @@ -11559,14 +12564,13 @@ "cardano-prelude": "cardano-prelude_8", "emanote": "emanote_7", "flat": "flat_8", - "haskell-language-server": "haskell-language-server_23", + "haskell-language-server": "haskell-language-server_22", "haskell-nix": "haskell-nix_15", "haskell-nix-extra-hackage": "haskell-nix-extra-hackage_8", "hercules-ci-effects": "hercules-ci-effects_8", "iohk-nix": "iohk-nix_15", "nixpkgs": [ - "plutarch-safe-money", - "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "haskell-nix", "nixpkgs-unstable" @@ -11606,7 +12610,6 @@ "nixpkgs": [ "plutarch-safe-money", "liqwid-plutarch-extra", - "plutarch-quickcheck", "plutarch", "haskell-nix", "nixpkgs-unstable" @@ -11662,7 +12665,7 @@ "cardano-repo-tool": "cardano-repo-tool_10", "gitignore-nix": "gitignore-nix_10", "hackage-nix": "hackage-nix_10", - "haskell-language-server": "haskell-language-server_29", + "haskell-language-server": "haskell-language-server_30", "haskell-nix": "haskell-nix_20", "iohk-nix": "iohk-nix_20", "nixpkgs": "nixpkgs_48", @@ -11691,9 +12694,35 @@ "haskell-language-server": "haskell-language-server_32", "haskell-nix": "haskell-nix_22", "iohk-nix": "iohk-nix_22", - "nixpkgs": "nixpkgs_54", + "nixpkgs": "nixpkgs_53", "pre-commit-hooks-nix": "pre-commit-hooks-nix_11", - "sphinxcontrib-haddock": "sphinxcontrib-haddock_11", + "sphinxcontrib-haddock": "sphinxcontrib-haddock_11" + }, + "locked": { + "lastModified": 1653669501, + "narHash": "sha256-qJrjEeo9Jmar1TwihDFzKQNC1ui4M03iClJM1zMd5Uk=", + "owner": "input-output-hk", + "repo": "plutus", + "rev": "fed48a71550a12290efc84eefb74305d93cde69d", + "type": "github" + }, + "original": { + "owner": "input-output-hk", + "repo": "plutus", + "type": "github" + } + }, + "plutus_12": { + "inputs": { + "cardano-repo-tool": "cardano-repo-tool_12", + "gitignore-nix": "gitignore-nix_12", + "hackage-nix": "hackage-nix_12", + "haskell-language-server": "haskell-language-server_35", + "haskell-nix": "haskell-nix_24", + "iohk-nix": "iohk-nix_24", + "nixpkgs": "nixpkgs_59", + "pre-commit-hooks-nix": "pre-commit-hooks-nix_12", + "sphinxcontrib-haddock": "sphinxcontrib-haddock_12", "stackage-nix": "stackage-nix" }, "locked": { @@ -11711,17 +12740,17 @@ "type": "github" } }, - "plutus_12": { + "plutus_13": { "inputs": { - "cardano-repo-tool": "cardano-repo-tool_12", - "gitignore-nix": "gitignore-nix_12", - "hackage-nix": "hackage-nix_12", - "haskell-language-server": "haskell-language-server_34", - "haskell-nix": "haskell-nix_24", - "iohk-nix": "iohk-nix_24", - "nixpkgs": "nixpkgs_57", - "pre-commit-hooks-nix": "pre-commit-hooks-nix_12", - "sphinxcontrib-haddock": "sphinxcontrib-haddock_12" + "cardano-repo-tool": "cardano-repo-tool_13", + "gitignore-nix": "gitignore-nix_13", + "hackage-nix": "hackage-nix_13", + "haskell-language-server": "haskell-language-server_37", + "haskell-nix": "haskell-nix_26", + "iohk-nix": "iohk-nix_26", + "nixpkgs": "nixpkgs_62", + "pre-commit-hooks-nix": "pre-commit-hooks-nix_13", + "sphinxcontrib-haddock": "sphinxcontrib-haddock_13" }, "locked": { "lastModified": 1653669501, @@ -11794,10 +12823,10 @@ "cardano-repo-tool": "cardano-repo-tool_4", "gitignore-nix": "gitignore-nix_4", "hackage-nix": "hackage-nix_4", - "haskell-language-server": "haskell-language-server_11", + "haskell-language-server": "haskell-language-server_12", "haskell-nix": "haskell-nix_8", "iohk-nix": "iohk-nix_8", - "nixpkgs": "nixpkgs_18", + "nixpkgs": "nixpkgs_20", "pre-commit-hooks-nix": "pre-commit-hooks-nix_4", "sphinxcontrib-haddock": "sphinxcontrib-haddock_4" }, @@ -11898,7 +12927,7 @@ "cardano-repo-tool": "cardano-repo-tool_8", "gitignore-nix": "gitignore-nix_8", "hackage-nix": "hackage-nix_8", - "haskell-language-server": "haskell-language-server_24", + "haskell-language-server": "haskell-language-server_23", "haskell-nix": "haskell-nix_16", "iohk-nix": "iohk-nix_16", "nixpkgs": "nixpkgs_38", @@ -12009,6 +13038,22 @@ "type": "github" } }, + "pre-commit-hooks-nix_13": { + "flake": false, + "locked": { + "lastModified": 1624971177, + "narHash": "sha256-Amf/nBj1E77RmbSSmV+hg6YOpR+rddCbbVgo5C7BS0I=", + "owner": "cachix", + "repo": "pre-commit-hooks.nix", + "rev": "397f0713d007250a2c7a745e555fa16c5dc8cadb", + "type": "github" + }, + "original": { + "owner": "cachix", + "repo": "pre-commit-hooks.nix", + "type": "github" + } + }, "pre-commit-hooks-nix_2": { "flake": false, "locked": { @@ -12170,6 +13215,22 @@ } }, "protolude_11": { + "flake": false, + "locked": { + "lastModified": 1647139352, + "narHash": "sha256-JyHAQfTTUswP8MeGEZibx/2/v01Q7cU5mNpnmDazh24=", + "owner": "protolude", + "repo": "protolude", + "rev": "3e249724fd0ead27370c8c297b1ecd38f92cbd5b", + "type": "github" + }, + "original": { + "owner": "protolude", + "repo": "protolude", + "type": "github" + } + }, + "protolude_12": { "flake": false, "locked": { "lastModified": 1637276813, @@ -12186,7 +13247,7 @@ "type": "github" } }, - "protolude_12": { + "protolude_13": { "flake": false, "locked": { "lastModified": 1647139352, @@ -12341,10 +13402,10 @@ "plutarch", "nixpkgs" ], - "nixpkgs-2111": "nixpkgs-2111_7", - "nixpkgs-latest": "nixpkgs-latest_7", - "plutarch": "plutarch_4", - "plutarch-context-builder": "plutarch-context-builder", + "nixpkgs-2111": "nixpkgs-2111_9", + "nixpkgs-latest": "nixpkgs-latest_9", + "plutarch": "plutarch_5", + "plutarch-context-builder": "plutarch-context-builder_2", "plutarch-numeric": "plutarch-numeric_2", "plutarch-quickcheck": "plutarch-quickcheck_2", "plutarch-safe-money": "plutarch-safe-money", @@ -12399,6 +13460,22 @@ "type": "github" } }, + "secp256k1-haskell_12": { + "flake": false, + "locked": { + "lastModified": 1650290419, + "narHash": "sha256-XrjiqCC7cNTFib78gdMPGNettAkwAxQlbC/n+/mRFt4=", + "owner": "haskoin", + "repo": "secp256k1-haskell", + "rev": "3df963ab6ae14ec122691a97af09a7331511a387", + "type": "github" + }, + "original": { + "owner": "haskoin", + "repo": "secp256k1-haskell", + "type": "github" + } + }, "secp256k1-haskell_2": { "flake": false, "locked": { @@ -12608,6 +13685,22 @@ "type": "github" } }, + "sphinxcontrib-haddock_13": { + "flake": false, + "locked": { + "lastModified": 1594136664, + "narHash": "sha256-O9YT3iCUBHP3CEF88VDLLCO2HSP3HqkNA2q2939RnVY=", + "owner": "michaelpj", + "repo": "sphinxcontrib-haddock", + "rev": "f3956b3256962b2d27d5a4e96edb7951acf5de34", + "type": "github" + }, + "original": { + "owner": "michaelpj", + "repo": "sphinxcontrib-haddock", + "type": "github" + } + }, "sphinxcontrib-haddock_2": { "flake": false, "locked": { @@ -12785,6 +13878,22 @@ } }, "stackage_11": { + "flake": false, + "locked": { + "lastModified": 1654046327, + "narHash": "sha256-IxX46Dh4OZpF3k7KPMa3tZSScYYGqFxXpCnMc0QRkuQ=", + "owner": "input-output-hk", + "repo": "stackage.nix", + "rev": "cc1d778723fcd431f9b2ed632a50c610c3e38b54", + "type": "github" + }, + "original": { + "owner": "input-output-hk", + "repo": "stackage.nix", + "type": "github" + } + }, + "stackage_12": { "flake": false, "locked": { "lastModified": 1644887829, @@ -12800,7 +13909,7 @@ "type": "github" } }, - "stackage_12": { + "stackage_13": { "flake": false, "locked": { "lastModified": 1654046327, @@ -12973,9 +14082,36 @@ }, "tailwind-haskell_10": { "inputs": { - "flake-compat": "flake-compat_21", - "flake-utils": "flake-utils_32", - "nixpkgs": "nixpkgs_51" + "ema": [ + "plutarch-safe-money", + "plutarch", + "emanote", + "ema" + ], + "flake-compat": "flake-compat_20", + "flake-utils": "flake-utils_30", + "nixpkgs": "nixpkgs_50" + }, + "locked": { + "lastModified": 1653230344, + "narHash": "sha256-MNwayqvZHsIsP1uyqwQFvzcfFGBMejzZOqAapDjrV5I=", + "owner": "srid", + "repo": "tailwind-haskell", + "rev": "0fb8a18b0e770bafc17521836658f31c56e6dfdb", + "type": "github" + }, + "original": { + "owner": "srid", + "ref": "master", + "repo": "tailwind-haskell", + "type": "github" + } + }, + "tailwind-haskell_11": { + "inputs": { + "flake-compat": "flake-compat_23", + "flake-utils": "flake-utils_35", + "nixpkgs": "nixpkgs_56" }, "locked": { "lastModified": 1649519562, @@ -12996,7 +14132,7 @@ "inputs": { "ema": [ "liqwid-plutarch-extra", - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "emanote", "ema" @@ -13024,7 +14160,7 @@ "inputs": { "ema": [ "liqwid-plutarch-extra", - "plutarch-quickcheck", + "plutarch-numeric", "plutarch", "emanote", "ema" @@ -13051,14 +14187,15 @@ "tailwind-haskell_4": { "inputs": { "ema": [ - "plutarch-context-builder", + "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "emanote", "ema" ], "flake-compat": "flake-compat_8", - "flake-utils": "flake-utils_12", - "nixpkgs": "nixpkgs_20" + "flake-utils": "flake-utils_11", + "nixpkgs": "nixpkgs_17" }, "locked": { "lastModified": 1653230344, @@ -13078,7 +14215,7 @@ "tailwind-haskell_5": { "inputs": { "ema": [ - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "emanote", "ema" @@ -13105,7 +14242,7 @@ "tailwind-haskell_6": { "inputs": { "ema": [ - "plutarch-quickcheck", + "plutarch-numeric", "plutarch", "emanote", "ema" @@ -13132,8 +14269,7 @@ "tailwind-haskell_7": { "inputs": { "ema": [ - "plutarch-safe-money", - "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "emanote", "ema" @@ -13162,7 +14298,6 @@ "ema": [ "plutarch-safe-money", "liqwid-plutarch-extra", - "plutarch-quickcheck", "plutarch", "emanote", "ema" @@ -13190,6 +14325,8 @@ "inputs": { "ema": [ "plutarch-safe-money", + "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "emanote", "ema" @@ -13232,9 +14369,9 @@ }, "unionmount": { "inputs": { - "flake-compat": "flake-compat_22", - "flake-utils": "flake-utils_33", - "nixpkgs": "nixpkgs_52" + "flake-compat": "flake-compat_24", + "flake-utils": "flake-utils_36", + "nixpkgs": "nixpkgs_57" }, "locked": { "lastModified": 1649012450, diff --git a/flake.nix b/flake.nix index 6d915d7..946bb74 100644 --- a/flake.nix +++ b/flake.nix @@ -17,7 +17,7 @@ "plutarch/haskell-nix/nixpkgs-unstable"; inputs.liqwid-plutarch-extra.url = - "github:Liqwid-Labs/liqwid-plutarch-extra?rev=a951b85d15e7cca1a03dd2a8e36b60fae561d74a"; + "github:Liqwid-Labs/liqwid-plutarch-extra?ref=seungheonoh/agoraUtils"; inputs.plutarch-numeric.url = "github:Liqwid-Labs/plutarch-numeric?ref=main"; inputs.plutarch-safe-money.url = @@ -29,8 +29,10 @@ # Testing inputs.plutarch-quickcheck.url = "github:liqwid-labs/plutarch-quickcheck?ref=staging"; + + # PCB Rev is locked until Agora test have explicit Minting CS. Check PCB PR #12 inputs.plutarch-context-builder.url = - "github:Liqwid-Labs/plutarch-context-builder?ref=staging"; + "github:Liqwid-Labs/plutarch-context-builder?ref=62ab154fdcd8dd07a741e7955e078813aff4ed6a"; outputs = inputs@{ self, nixpkgs, nixpkgs-latest, haskell-nix, plutarch, ... }: let From 309c8775ed47661d354c0927e1b01faa09232840 Mon Sep 17 00:00:00 2001 From: SeungheonOh Date: Wed, 27 Jul 2022 09:45:56 -0500 Subject: [PATCH 2/3] use utilities from LPE --- agora/Agora/Effect/GovernorMutation.hs | 19 +- agora/Agora/Effect/TreasuryWithdrawal.hs | 5 +- agora/Agora/Governor/Scripts.hs | 51 +- agora/Agora/Proposal.hs | 4 +- agora/Agora/Proposal/Scripts.hs | 5 +- agora/Agora/Stake/Scripts.hs | 5 +- bench.csv | 710 +++++++++++------------ flake.lock | 8 +- flake.nix | 2 +- 9 files changed, 405 insertions(+), 404 deletions(-) diff --git a/agora/Agora/Effect/GovernorMutation.hs b/agora/Agora/Effect/GovernorMutation.hs index aaa0a38..433b27c 100644 --- a/agora/Agora/Effect/GovernorMutation.hs +++ b/agora/Agora/Effect/GovernorMutation.hs @@ -30,11 +30,6 @@ import Agora.Governor.Scripts ( governorSTAssetClassFromGovernor, ) import Agora.Plutarch.Orphans () -import Agora.Utils ( - isScriptAddress, - mustBePDJust, - mustBePJust, - ) import GHC.Generics qualified as GHC import Generics.SOP (Generic, I (I)) import Plutarch.Api.V1 ( @@ -42,13 +37,17 @@ import Plutarch.Api.V1 ( PValidator, PValue, ) -import Plutarch.Api.V1.ScriptContext (ptryFindDatum) +import Plutarch.Api.V1.ScriptContext (pisScriptAddress, ptryFindDatum) import "liqwid-plutarch-extra" Plutarch.Api.V1.Value (pvalueOf) import Plutarch.DataRepr ( DerivePConstantViaData (..), PDataFields, PIsDataReprInstances (PIsDataReprInstances), ) +import Plutarch.Extra.Maybe ( + passertPDJust, + passertPJust, + ) import Plutarch.Extra.TermCont (pguardC, pletFieldsC) import Plutarch.Lift (PConstantDecl, PLifted, PUnsafeLiftDecl) import PlutusLedgerApi.V1 (TxOutRef) @@ -167,7 +166,7 @@ mutateGovernorValidator gov = makeEffect (authorityTokenSymbolFromGovernor gov) ( plam $ \inInfo count -> let address = pfield @"address" #$ pfield @"resolved" # inInfo in pif - (isScriptAddress # address) + (pisScriptAddress # address) (count + 1) count ) @@ -177,7 +176,7 @@ mutateGovernorValidator gov = makeEffect (authorityTokenSymbolFromGovernor gov) -- Find the governor input by looking for GST. let inputWithGST = - mustBePJust # "Governor input not found" #$ pfind + passertPJust # "Governor input not found" #$ pfind # phoistAcyclic ( plam $ \inInfo -> let value = pfield @"value" #$ pfield @"resolved" # inInfo @@ -207,10 +206,10 @@ mutateGovernorValidator gov = makeEffect (authorityTokenSymbolFromGovernor gov) gstValueOf # govOutput.value #== 1 let governorOutputDatumHash = - mustBePDJust # "Governor output doesn't have datum" # govOutput.datumHash + passertPDJust # "Governor output doesn't have datum" # govOutput.datumHash governorOutputDatum = pfromData @PGovernorDatum $ - mustBePJust # "Governor output datum not found" + passertPJust # "Governor output datum not found" #$ ptryFindDatum # governorOutputDatumHash # txInfoF.datums -- Ensure the output governor datum is what we want. diff --git a/agora/Agora/Effect/TreasuryWithdrawal.hs b/agora/Agora/Effect/TreasuryWithdrawal.hs index b170a4f..3c18507 100644 --- a/agora/Agora/Effect/TreasuryWithdrawal.hs +++ b/agora/Agora/Effect/TreasuryWithdrawal.hs @@ -15,7 +15,6 @@ module Agora.Effect.TreasuryWithdrawal ( import Agora.Effect (makeEffect) import Agora.Plutarch.Orphans () -import Agora.Utils (isPubKey) import GHC.Generics qualified as GHC import Generics.SOP (Generic, I (I)) import Plutarch.Api.V1 ( @@ -27,7 +26,7 @@ import Plutarch.Api.V1 ( PValue, ptuple, ) -import Plutarch.Api.V1.ScriptContext (pfindTxInByTxOutRef) +import Plutarch.Api.V1.ScriptContext (pfindTxInByTxOutRef, pisPubKey) import "plutarch" Plutarch.Api.V1.Value (pnormalize) import Plutarch.DataRepr ( DerivePConstantViaData (..), @@ -199,7 +198,7 @@ treasuryWithdrawalValidator currSymbol = makeEffect currSymbol $ ( \((pfield @"_0" #) . pfromData -> cred) -> cred #== pfield @"credential" # effInput.address #|| pelem # cred # datum.treasuries - #|| isPubKey # pfromData cred + #|| pisPubKey # pfromData cred ) # inputValues diff --git a/agora/Agora/Governor/Scripts.hs b/agora/Agora/Governor/Scripts.hs index 13ae7e1..7bed9b5 100644 --- a/agora/Agora/Governor/Scripts.hs +++ b/agora/Agora/Governor/Scripts.hs @@ -70,12 +70,7 @@ import Agora.Stake.Scripts ( stakeValidator, ) import Agora.Utils ( - findOutputsToAddress, - hasOnlyOneTokenOfCurrencySymbol, - mustBePDJust, - mustBePJust, mustFindDatum', - scriptHashFromAddress, validatorHashToAddress, validatorHashToTokenName, ) @@ -98,16 +93,26 @@ import Plutarch.Api.V1.AssetClass ( passetClass, passetClassValueOf, ) -import Plutarch.Api.V1.ScriptContext (pfindTxInByTxOutRef, pisUTXOSpent, ptryFindDatum, pvalueSpent) -import "liqwid-plutarch-extra" Plutarch.Api.V1.Value (psymbolValueOf) -import Plutarch.Extra.Field (pletAllC) import Plutarch.Extra.IsData (pmatchEnumFromData) import Plutarch.Extra.List (pfirstJust) import Plutarch.Extra.Map ( plookup, plookup', ) -import Plutarch.Extra.Maybe (pisDJust) + +-------------------------------------------------------------------------------- + +import Plutarch.Api.V1.ScriptContext ( + pfindOutputsToAddress, + pfindTxInByTxOutRef, + pisUTXOSpent, + pscriptHashFromAddress, + ptryFindDatum, + pvalueSpent, + ) +import "liqwid-plutarch-extra" Plutarch.Api.V1.Value (phasOnlyOneTokenOfCurrencySymbol, psymbolValueOf) +import Plutarch.Extra.Field (pletAllC) +import Plutarch.Extra.Maybe (passertPDJust, passertPJust, pisDJust) import Plutarch.Extra.Record (mkRecordConstr, (.&), (.=)) import Plutarch.Extra.TermCont (pguardC, pletC, pletFieldsC, pmatchC, ptryFromC) import PlutusLedgerApi.V1 ( @@ -168,7 +173,7 @@ governorPolicy gov = govOutput <- pletC $ - mustBePJust + passertPJust # "Governor output not found" #$ pfind # plam @@ -282,7 +287,7 @@ governorValidator gov = ((pfield @"resolved" #) -> ownInput) <- pletC $ - mustBePJust # "Own input not found" + passertPJust # "Own input not found" #$ pfindTxInByTxOutRef # ownInputRef # txInfoF.inputs ownInputF <- pletFieldsC @'["address", "value"] ownInput let ownAddress = pfromData $ ownInputF.address @@ -295,7 +300,7 @@ governorValidator gov = pguardC "Own input should have exactly one state token" $ ownInputGSTAmount #== 1 - ownOutputs <- pletC $ findOutputsToAddress # txInfoF.outputs # ownAddress + ownOutputs <- pletC $ pfindOutputsToAddress # txInfoF.outputs # ownAddress pguardC "Exactly one utxo should be sent to the governor" $ plength # ownOutputs #== 1 @@ -306,11 +311,11 @@ governorValidator gov = -- Check that own output have datum of type 'GovernorDatum'. let outputGovernorStateDatumHash = - mustBePDJust # "Governor output doesn't have datum" # ownOutput.datumHash + passertPDJust # "Governor output doesn't have datum" # ownOutput.datumHash newGovernorDatum <- pletC $ pfromData $ - mustBePJust # "Ouput governor state datum not found" + passertPJust # "Ouput governor state datum not found" #$ ptryFindDatum # outputGovernorStateDatumHash # txInfoF.datums pguardC "New datum is valid" $ pisGovernorDatumValid # newGovernorDatum @@ -338,7 +343,7 @@ governorValidator gov = -- Check that exactly one proposal token is being minted. pguardC "Exactly one proposal token must be minted" $ - hasOnlyOneTokenOfCurrencySymbol # ppstSymbol # txInfoF.mint + phasOnlyOneTokenOfCurrencySymbol # ppstSymbol # txInfoF.mint -- Check that a stake is spent to create the propsal, -- and the value it contains meets the requirement. @@ -432,7 +437,7 @@ governorValidator gov = -- Check the output stake has been proposly updated. let stakeOutputDatumHash = - mustBePJust # "Output stake should be presented" + passertPJust # "Output stake should be presented" #$ pfirstJust # phoistAcyclic ( plam @@ -444,7 +449,7 @@ governorValidator gov = (psymbolValueOf # psstSymbol # txOutF.value #== 1) ( pcon $ PJust $ - mustBePDJust # "Output stake datum should be presented" + passertPDJust # "Output stake datum should be presented" # txOutF.datumHash ) (pcon PNothing) @@ -453,7 +458,7 @@ governorValidator gov = # pfromData txInfoF.outputs stakeOutputDatum = - mustBePJust @(PAsData PStakeDatum) # "Stake output datum presented" + passertPJust @(PAsData PStakeDatum) # "Stake output datum presented" #$ ptryFindDatum # stakeOutputDatumHash # txInfoF.datums stakeOutputLocks = @@ -489,7 +494,7 @@ governorValidator gov = pletFieldsC @'["datumHash"] $ pfield @"resolved" #$ pfromData - $ mustBePJust + $ passertPJust # "Proposal input not found" #$ pfind # plam @@ -555,14 +560,14 @@ governorValidator gov = output <- pletFieldsC @'["address", "datumHash"] $ output' let scriptHash = - mustBePJust # "GAT receiver is not a script" - #$ scriptHashFromAddress # output.address + passertPJust # "GAT receiver is not a script" + #$ pscriptHashFromAddress # output.address datumHash = - mustBePDJust # "Output to effect should have datum" + passertPDJust # "Output to effect should have datum" #$ output.datumHash expectedDatumHash = - mustBePJust # "Receiver is not in the effect list" + passertPJust # "Receiver is not in the effect list" #$ plookup # scriptHash # effects pure $ diff --git a/agora/Agora/Proposal.hs b/agora/Agora/Proposal.hs index cf7bdda..57ba411 100644 --- a/agora/Agora/Proposal.hs +++ b/agora/Agora/Proposal.hs @@ -41,7 +41,6 @@ module Agora.Proposal ( import Agora.Proposal.Time (PProposalStartingTime, PProposalTimingConfig, ProposalStartingTime, ProposalTimingConfig) import Agora.SafeMoney (GTTag) -import Agora.Utils (withBuiltinPairAsData) import Data.Tagged (Tagged) import GHC.Generics qualified as GHC import Generics.SOP (Generic, I (I)) @@ -56,6 +55,7 @@ import Plutarch.Api.V1.AssocMap qualified as PAssocMap import Plutarch.DataRepr (DerivePConstantViaData (..), PDataFields, PIsDataReprInstances (..)) import Plutarch.Extra.Comonad (pextract) import Plutarch.Extra.Field (pletAllC) +import Plutarch.Extra.Function (pbuiltinUncurry) import Plutarch.Extra.IsData ( DerivePConstantViaDataList (..), DerivePConstantViaEnum (..), @@ -836,7 +836,7 @@ pneutralOption = phoistAcyclic $ f = phoistAcyclic $ plam $ - withBuiltinPairAsData $ \rt el -> + pbuiltinUncurry $ \rt el -> pif (PAssocMap.pnull # el) (pcon $ PJust rt) diff --git a/agora/Agora/Proposal/Scripts.hs b/agora/Agora/Proposal/Scripts.hs index d79e508..29cd978 100644 --- a/agora/Agora/Proposal/Scripts.hs +++ b/agora/Agora/Proposal/Scripts.hs @@ -38,7 +38,6 @@ import Agora.Stake ( ) import Agora.Utils ( getMintingPolicySymbol, - mustBePJust, mustFindDatum', pltAsData, ) @@ -65,7 +64,7 @@ import Plutarch.Extra.Field (pletAllC) import Plutarch.Extra.IsData (pmatchEnum) import Plutarch.Extra.List (pisUniq', pmapMaybe, pmergeBy, pmsortBy) import Plutarch.Extra.Map (plookup, pupdate) -import Plutarch.Extra.Maybe (pfromDJust, pfromJust, pisJust) +import Plutarch.Extra.Maybe (passertPJust, pfromDJust, pfromJust, pisJust) import Plutarch.Extra.Record (mkRecordConstr, (.&), (.=)) import Plutarch.Extra.TermCont ( pguardC, @@ -204,7 +203,7 @@ proposalValidator proposal = -- proposal inputs in one thansaction. ownOutput <- pletC $ - mustBePJust # "Own output should be present" #$ pfind + passertPJust # "Own output should be present" #$ pfind # plam ( \input -> unTermCont $ do inputF <- pletAllC input diff --git a/agora/Agora/Stake/Scripts.hs b/agora/Agora/Stake/Scripts.hs index 26f8d90..ad57a96 100644 --- a/agora/Agora/Stake/Scripts.hs +++ b/agora/Agora/Stake/Scripts.hs @@ -16,7 +16,6 @@ import Agora.Stake ( pstakeLocked, ) import Agora.Utils ( - mustBePJust, mustFindDatum', pdjust, pdnothing, @@ -44,7 +43,7 @@ import Plutarch.Api.V1.ScriptContext (pfindTxInByTxOutRef, ptxSignedBy, pvalueSp import "liqwid-plutarch-extra" Plutarch.Api.V1.Value (pgeqByClass', pgeqBySymbol, psymbolValueOf) import Plutarch.Extra.Field (pletAllC) import Plutarch.Extra.List (pmapMaybe, pmsortBy) -import Plutarch.Extra.Maybe (pfromDJust) +import Plutarch.Extra.Maybe (passertPJust, pfromDJust) import Plutarch.Extra.Record (mkRecordConstr, (.&), (.=)) import Plutarch.Extra.TermCont (pguardC, pletC, pletFieldsC, pmatchC, ptryFromC) import Plutarch.Internal (punsafeCoerce) @@ -126,7 +125,7 @@ stakePolicy gtClassRef = pguardC "A UTXO must exist with the correct output" $ unTermCont $ do let scriptOutputWithStakeST = - mustBePJust + passertPJust # "Output to script not found" #$ pfind # plam diff --git a/bench.csv b/bench.csv index 5c885db..b5ca082 100644 --- a/bench.csv +++ b/bench.csv @@ -12,567 +12,567 @@ Agora/Stake/validator/set delegate/remove existing delegate,110917776,287315,532 Agora/Stake/validator/set delegate/set delegate to something,110293742,288964,5328 Agora/Proposal/policy (proposal creation)/legal/proposal,33689644,100286,2011 Agora/Proposal/policy (proposal creation)/legal/governor,325452519,864627,8802 -Agora/Proposal/policy (proposal creation)/legal/stake,157193919,413288,5993 +Agora/Proposal/policy (proposal creation)/legal/stake,155649225,408558,5993 Agora/Proposal/policy (proposal creation)/illegal/invalid next proposal id/proposal,33689644,100286,2011 -Agora/Proposal/policy (proposal creation)/illegal/invalid next proposal id/stake,157193919,413288,5993 +Agora/Proposal/policy (proposal creation)/illegal/invalid next proposal id/stake,155649225,408558,5993 Agora/Proposal/policy (proposal creation)/illegal/use other's stake/proposal,33689644,100286,1980 Agora/Proposal/policy (proposal creation)/illegal/use other's stake/governor,325452519,864627,8771 Agora/Proposal/policy (proposal creation)/illegal/altered stake/proposal,33689644,100286,2011 Agora/Proposal/policy (proposal creation)/illegal/invalid stake locks/proposal,33689644,100286,2019 -Agora/Proposal/policy (proposal creation)/illegal/invalid stake locks/stake,162627579,427938,6001 +Agora/Proposal/policy (proposal creation)/illegal/invalid stake locks/stake,161082885,423208,6001 Agora/Proposal/policy (proposal creation)/illegal/has reached maximum proposals limit/proposal,33689644,100286,2031 -Agora/Proposal/policy (proposal creation)/illegal/has reached maximum proposals limit/stake,163656411,431396,6023 +Agora/Proposal/policy (proposal creation)/illegal/has reached maximum proposals limit/stake,162111717,426666,6023 Agora/Proposal/policy (proposal creation)/illegal/loose time range/proposal,33689644,100286,2011 -Agora/Proposal/policy (proposal creation)/illegal/loose time range/stake,157193919,413288,5993 +Agora/Proposal/policy (proposal creation)/illegal/loose time range/stake,155649225,408558,5993 Agora/Proposal/policy (proposal creation)/illegal/open time range/proposal,33689644,100286,2007 -Agora/Proposal/policy (proposal creation)/illegal/open time range/stake,157193919,413288,5989 +Agora/Proposal/policy (proposal creation)/illegal/open time range/stake,155649225,408558,5989 Agora/Proposal/policy (proposal creation)/illegal/invalid proposal status/VotingReady/proposal,33689644,100286,2011 -Agora/Proposal/policy (proposal creation)/illegal/invalid proposal status/VotingReady/stake,157193919,413288,5993 +Agora/Proposal/policy (proposal creation)/illegal/invalid proposal status/VotingReady/stake,155649225,408558,5993 Agora/Proposal/policy (proposal creation)/illegal/invalid proposal status/Locked/proposal,33689644,100286,2011 -Agora/Proposal/policy (proposal creation)/illegal/invalid proposal status/Locked/stake,157193919,413288,5993 +Agora/Proposal/policy (proposal creation)/illegal/invalid proposal status/Locked/stake,155649225,408558,5993 Agora/Proposal/policy (proposal creation)/illegal/invalid proposal status/Finished/proposal,33689644,100286,2011 -Agora/Proposal/policy (proposal creation)/illegal/invalid proposal status/Finished/stake,157193919,413288,5993 +Agora/Proposal/policy (proposal creation)/illegal/invalid proposal status/Finished/stake,155649225,408558,5993 Agora/Proposal/validator/cosignature/legal/with 1 cosigners/proposal,236423139,660573,8414 -Agora/Proposal/validator/cosignature/legal/with 1 cosigners/stake,126114994,329020,5801 +Agora/Proposal/validator/cosignature/legal/with 1 cosigners/stake,124318976,323958,5801 Agora/Proposal/validator/cosignature/legal/with 5 cosigners/proposal,665645490,1853924,11068 -Agora/Proposal/validator/cosignature/legal/with 5 cosigners/stake,542054602,1428352,8335 +Agora/Proposal/validator/cosignature/legal/with 5 cosigners/stake,540258584,1423290,8335 Agora/Proposal/validator/cosignature/legal/with 10 cosigners/proposal,1353965353,3721747,14387 -Agora/Proposal/validator/cosignature/legal/with 10 cosigners/stake,1157633197,3077923,11503 -Agora/Proposal/validator/cosignature/illegal/duplicate cosigners/stake,126114994,329020,5801 -Agora/Proposal/validator/cosignature/illegal/proposal status not Draft/with 1 cosigners/status: VotingReady/stake,126114994,329020,5801 -Agora/Proposal/validator/cosignature/illegal/proposal status not Draft/with 1 cosigners/status: Locked/stake,126114994,329020,5801 -Agora/Proposal/validator/cosignature/illegal/proposal status not Draft/with 1 cosigners/status: Finished/stake,126114994,329020,5801 -Agora/Proposal/validator/cosignature/illegal/proposal status not Draft/with 5 cosigners/status: VotingReady/stake,542054602,1428352,8335 -Agora/Proposal/validator/cosignature/illegal/proposal status not Draft/with 5 cosigners/status: Locked/stake,542054602,1428352,8335 -Agora/Proposal/validator/cosignature/illegal/proposal status not Draft/with 5 cosigners/status: Finished/stake,542054602,1428352,8335 -Agora/Proposal/validator/cosignature/illegal/proposal status not Draft/with 10 cosigners/status: VotingReady/stake,1157633197,3077923,11503 -Agora/Proposal/validator/cosignature/illegal/proposal status not Draft/with 10 cosigners/status: Locked/stake,1157633197,3077923,11503 -Agora/Proposal/validator/cosignature/illegal/proposal status not Draft/with 10 cosigners/status: Finished/stake,1157633197,3077923,11503 +Agora/Proposal/validator/cosignature/legal/with 10 cosigners/stake,1155837179,3072861,11503 +Agora/Proposal/validator/cosignature/illegal/duplicate cosigners/stake,124318976,323958,5801 +Agora/Proposal/validator/cosignature/illegal/proposal status not Draft/with 1 cosigners/status: VotingReady/stake,124318976,323958,5801 +Agora/Proposal/validator/cosignature/illegal/proposal status not Draft/with 1 cosigners/status: Locked/stake,124318976,323958,5801 +Agora/Proposal/validator/cosignature/illegal/proposal status not Draft/with 1 cosigners/status: Finished/stake,124318976,323958,5801 +Agora/Proposal/validator/cosignature/illegal/proposal status not Draft/with 5 cosigners/status: VotingReady/stake,540258584,1423290,8335 +Agora/Proposal/validator/cosignature/illegal/proposal status not Draft/with 5 cosigners/status: Locked/stake,540258584,1423290,8335 +Agora/Proposal/validator/cosignature/illegal/proposal status not Draft/with 5 cosigners/status: Finished/stake,540258584,1423290,8335 +Agora/Proposal/validator/cosignature/illegal/proposal status not Draft/with 10 cosigners/status: VotingReady/stake,1155837179,3072861,11503 +Agora/Proposal/validator/cosignature/illegal/proposal status not Draft/with 10 cosigners/status: Locked/stake,1155837179,3072861,11503 +Agora/Proposal/validator/cosignature/illegal/proposal status not Draft/with 10 cosigners/status: Finished/stake,1155837179,3072861,11503 Agora/Proposal/validator/voting/legal/ordinary/proposal,254761960,715291,8396 -Agora/Proposal/validator/voting/legal/ordinary/stake,144522449,381434,5827 +Agora/Proposal/validator/voting/legal/ordinary/stake,142726431,376372,5827 Agora/Proposal/validator/voting/legal/delegate/proposal,254862648,715291,8459 -Agora/Proposal/validator/voting/legal/delegate/stake,147939356,388460,5921 +Agora/Proposal/validator/voting/legal/delegate/stake,146143338,383398,5921 Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/proposal,249151017,693538,8909 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/stake,136524095,355488,6137 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/stake,134728077,350426,6137 Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/proposal,293313747,804549,8918 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/stake,137246631,357752,6144 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/stake,135450613,352690,6144 Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Locked to Finished/proposal,340814784,939138,10070 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Locked to Finished/stake,193552926,490785,7296 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Locked to Finished/governor,474044919,1182110,10118 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Locked to Finished/stake,190212214,480993,7296 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Locked to Finished/governor,467588561,1169520,10118 Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Locked to Finished/authority,15806303,48240,3659 Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from Draft to Finished/proposal,244096325,682817,8911 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from Draft to Finished/stake,137246631,357752,6139 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from Draft to Finished/stake,135450613,352690,6139 Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/proposal,279799305,767410,8912 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/stake,137246631,357752,6140 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/stake,135450613,352690,6140 Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from Locked to Finished/proposal,280930283,769814,8912 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from Locked to Finished/stake,137246631,357752,6140 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/stake,136524095,355488,6137 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/stake,137246631,357752,6144 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/stake,193552926,490785,7296 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from Locked to Finished/stake,135450613,352690,6140 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/stake,134728077,350426,6137 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/stake,135450613,352690,6144 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/stake,190212214,480993,7296 Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/authority,15806303,48240,3659 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/insufficient cosigns/stake,136524095,355488,6137 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/insufficient votes/stake,137246631,357752,6140 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/ambiguous winning effect/stake,137246631,357752,6148 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/to next state too late/from Draft/stake,136524095,355488,6139 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/to next state too late/from VotingReady/stake,137246631,357752,6144 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/to next state too late/from Locked/stake,193552926,490785,7296 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/to next state too late/from Locked/governor,474044919,1182110,10118 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/insufficient cosigns/stake,134728077,350426,6137 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/insufficient votes/stake,135450613,352690,6140 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/ambiguous winning effect/stake,135450613,352690,6148 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/to next state too late/from Draft/stake,134728077,350426,6139 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/to next state too late/from VotingReady/stake,135450613,352690,6144 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/to next state too late/from Locked/stake,190212214,480993,7296 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/to next state too late/from Locked/governor,467588561,1169520,10118 Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/to next state too late/from Locked/authority,15806303,48240,3659 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/altered output stake datum/from Locked/governor,474044919,1182110,10119 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/altered output stake datum/from Locked/governor,467588561,1169520,10119 Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/altered output stake datum/from Locked/authority,15806303,48240,3660 Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/forget to mint GATs/proposal,316563738,866529,9359 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/forget to mint GATs/stake,180452767,465174,6585 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/forget to mint GATs/stake,177112055,455382,6585 Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/mint GATs for wrong validators/proposal,348898466,963341,10297 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/mint GATs for wrong validators/stake,197101035,498012,7523 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/mint GATs for wrong validators/stake,193760323,488220,7523 Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/mint GATs for wrong validators/authority,17630300,53302,3886 Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/mint GATs with bad token name/proposal,340814784,939138,9892 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/mint GATs with bad token name/stake,193552926,490785,7118 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/mint GATs with bad token name/stake,190212214,480993,7118 Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/wrong GAT datum/proposal,340814784,939138,10064 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/wrong GAT datum/stake,193552926,490785,7290 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/wrong GAT datum/stake,190212214,480993,7290 Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/wrong GAT datum/authority,15806303,48240,3653 Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/invalid governor output datum/proposal,340814784,939138,10070 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/invalid governor output datum/stake,193552926,490785,7296 +Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/invalid governor output datum/stake,190212214,480993,7296 Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/invalid governor output datum/authority,15806303,48240,3659 Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/proposal,294552365,811630,9498 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/stake,136524095,355488,6530 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/stake,134728077,350426,6530 Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/proposal,342409981,932629,9507 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/stake,137246631,357752,6537 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/stake,135450613,352690,6537 Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Locked to Finished/proposal,386216132,1057230,10660 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Locked to Finished/stake,193552926,490785,7690 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Locked to Finished/governor,493963090,1236555,10512 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Locked to Finished/stake,190212214,480993,7690 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Locked to Finished/governor,487506732,1223965,10512 Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Locked to Finished/authority,15806303,48240,4053 Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from Draft to Finished/proposal,289497673,800909,9500 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from Draft to Finished/stake,137246631,357752,6532 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from Draft to Finished/stake,135450613,352690,6532 Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/proposal,325200653,885502,9501 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/stake,137246631,357752,6533 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/stake,135450613,352690,6533 Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from Locked to Finished/proposal,326331631,887906,9501 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from Locked to Finished/stake,137246631,357752,6533 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/stake,136524095,355488,6530 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/stake,137246631,357752,6537 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/stake,193552926,490785,7690 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from Locked to Finished/stake,135450613,352690,6533 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/stake,134728077,350426,6530 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/stake,135450613,352690,6537 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/stake,190212214,480993,7690 Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/authority,15806303,48240,4053 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/insufficient cosigns/stake,136524095,355488,6530 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/insufficient votes/stake,137246631,357752,6533 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/ambiguous winning effect/stake,137246631,357752,6545 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/to next state too late/from Draft/stake,136524095,355488,6532 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/to next state too late/from VotingReady/stake,137246631,357752,6537 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/to next state too late/from Locked/stake,193552926,490785,7690 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/to next state too late/from Locked/governor,493963090,1236555,10512 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/insufficient cosigns/stake,134728077,350426,6530 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/insufficient votes/stake,135450613,352690,6533 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/ambiguous winning effect/stake,135450613,352690,6545 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/to next state too late/from Draft/stake,134728077,350426,6532 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/to next state too late/from VotingReady/stake,135450613,352690,6537 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/to next state too late/from Locked/stake,190212214,480993,7690 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/to next state too late/from Locked/governor,487506732,1223965,10512 Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/to next state too late/from Locked/authority,15806303,48240,4053 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/altered output stake datum/from Locked/governor,493963090,1236555,10513 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/altered output stake datum/from Locked/governor,487506732,1223965,10513 Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/altered output stake datum/from Locked/authority,15806303,48240,4054 Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/forget to mint GATs/proposal,361965086,984621,9948 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/forget to mint GATs/stake,180452767,465174,6978 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/forget to mint GATs/stake,177112055,455382,6978 Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/mint GATs for wrong validators/proposal,394299814,1081433,10887 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/mint GATs for wrong validators/stake,197101035,498012,7917 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/mint GATs for wrong validators/stake,193760323,488220,7917 Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/mint GATs for wrong validators/authority,17630300,53302,4280 Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/mint GATs with bad token name/proposal,386216132,1057230,10481 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/mint GATs with bad token name/stake,193552926,490785,7511 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/mint GATs with bad token name/stake,190212214,480993,7511 Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/wrong GAT datum/proposal,386216132,1057230,10654 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/wrong GAT datum/stake,193552926,490785,7684 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/wrong GAT datum/stake,190212214,480993,7684 Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/wrong GAT datum/authority,15806303,48240,4047 Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/invalid governor output datum/proposal,386216132,1057230,10660 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/invalid governor output datum/stake,193552926,490785,7690 +Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/invalid governor output datum/stake,190212214,480993,7690 Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/invalid governor output datum/authority,15806303,48240,4053 Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/proposal,430756409,1165906,11270 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/stake,136524095,355488,7711 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/stake,134728077,350426,7711 Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/proposal,489698683,1316869,11279 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/stake,137246631,357752,7718 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/stake,135450613,352690,7718 Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Locked to Finished/proposal,522420176,1411506,12431 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Locked to Finished/stake,193552926,490785,8870 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Locked to Finished/governor,553717603,1399890,11692 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Locked to Finished/stake,190212214,480993,8870 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Locked to Finished/governor,547261245,1387300,11692 Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Locked to Finished/authority,15806303,48240,5233 Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from Draft to Finished/proposal,425701717,1155185,11272 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from Draft to Finished/stake,137246631,357752,7713 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from Draft to Finished/stake,135450613,352690,7713 Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/proposal,461404697,1239778,11273 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/stake,137246631,357752,7714 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/stake,135450613,352690,7714 Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from Locked to Finished/proposal,462535675,1242182,11273 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from Locked to Finished/stake,137246631,357752,7714 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/stake,136524095,355488,7711 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/stake,137246631,357752,7718 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/stake,193552926,490785,8870 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from Locked to Finished/stake,135450613,352690,7714 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/stake,134728077,350426,7711 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/stake,135450613,352690,7718 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/stake,190212214,480993,8870 Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/authority,15806303,48240,5233 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/insufficient cosigns/stake,136524095,355488,7711 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/insufficient votes/stake,137246631,357752,7714 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/ambiguous winning effect/stake,137246631,357752,7738 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/to next state too late/from Draft/stake,136524095,355488,7713 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/to next state too late/from VotingReady/stake,137246631,357752,7718 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/to next state too late/from Locked/stake,193552926,490785,8870 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/to next state too late/from Locked/governor,553717603,1399890,11692 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/insufficient cosigns/stake,134728077,350426,7711 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/insufficient votes/stake,135450613,352690,7714 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/ambiguous winning effect/stake,135450613,352690,7738 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/to next state too late/from Draft/stake,134728077,350426,7713 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/to next state too late/from VotingReady/stake,135450613,352690,7718 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/to next state too late/from Locked/stake,190212214,480993,8870 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/to next state too late/from Locked/governor,547261245,1387300,11692 Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/to next state too late/from Locked/authority,15806303,48240,5233 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/altered output stake datum/from Locked/governor,553717603,1399890,11693 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/altered output stake datum/from Locked/governor,547261245,1387300,11693 Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/altered output stake datum/from Locked/authority,15806303,48240,5234 Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/forget to mint GATs/proposal,498169130,1338897,11720 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/forget to mint GATs/stake,180452767,465174,8159 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/forget to mint GATs/stake,177112055,455382,8159 Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/mint GATs for wrong validators/proposal,530503858,1435709,12658 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/mint GATs for wrong validators/stake,197101035,498012,9097 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/mint GATs for wrong validators/stake,193760323,488220,9097 Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/mint GATs for wrong validators/authority,17630300,53302,5460 Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/mint GATs with bad token name/proposal,522420176,1411506,12253 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/mint GATs with bad token name/stake,193552926,490785,8692 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/mint GATs with bad token name/stake,190212214,480993,8692 Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/wrong GAT datum/proposal,522420176,1411506,12425 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/wrong GAT datum/stake,193552926,490785,8864 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/wrong GAT datum/stake,190212214,480993,8864 Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/wrong GAT datum/authority,15806303,48240,5227 Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/invalid governor output datum/proposal,522420176,1411506,12431 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/invalid governor output datum/stake,193552926,490785,8870 +Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/invalid governor output datum/stake,190212214,480993,8870 Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/invalid governor output datum/authority,15806303,48240,5233 Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/proposal,607775528,1728219,11679 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/stake,539832005,1417942,8786 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/stake,538035987,1412880,8786 Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/proposal,315683095,866613,9275 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/stake,137246631,357752,6380 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/stake,135450613,352690,6380 Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Locked to Finished/proposal,363184132,1001202,10427 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Locked to Finished/stake,193552926,490785,7532 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Locked to Finished/governor,481232867,1202798,10355 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Locked to Finished/stake,190212214,480993,7532 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Locked to Finished/governor,474776509,1190208,10355 Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Locked to Finished/authority,15806303,48240,3896 Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from Draft to Finished/proposal,266465673,744881,9268 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from Draft to Finished/stake,137246631,357752,6375 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from Draft to Finished/stake,135450613,352690,6375 Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/proposal,302168653,829474,9269 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/stake,137246631,357752,6376 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/stake,135450613,352690,6376 Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from Locked to Finished/proposal,303299631,831878,9269 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from Locked to Finished/stake,137246631,357752,6376 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/stake,539832005,1417942,8786 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/stake,137246631,357752,6380 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/stake,193552926,490785,7532 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from Locked to Finished/stake,135450613,352690,6376 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/stake,538035987,1412880,8786 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/stake,135450613,352690,6380 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/stake,190212214,480993,7532 Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/authority,15806303,48240,3896 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/insufficient cosigns/stake,525717719,1376932,8786 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/insufficient votes/stake,137246631,357752,6376 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/ambiguous winning effect/stake,137246631,357752,6384 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/to next state too late/from Draft/stake,539832005,1417942,8788 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/to next state too late/from VotingReady/stake,137246631,357752,6380 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/to next state too late/from Locked/stake,193552926,490785,7532 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/to next state too late/from Locked/governor,481232867,1202798,10355 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/insufficient cosigns/stake,523921701,1371870,8786 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/insufficient votes/stake,135450613,352690,6376 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/ambiguous winning effect/stake,135450613,352690,6384 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/to next state too late/from Draft/stake,538035987,1412880,8788 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/to next state too late/from VotingReady/stake,135450613,352690,6380 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/to next state too late/from Locked/stake,190212214,480993,7532 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/to next state too late/from Locked/governor,474776509,1190208,10355 Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/to next state too late/from Locked/authority,15806303,48240,3896 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/altered output stake datum/from Locked/governor,481232867,1202798,10356 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/altered output stake datum/from Locked/governor,474776509,1190208,10356 Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/altered output stake datum/from Locked/authority,15806303,48240,3897 Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/forget to mint GATs/proposal,338933086,928593,9715 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/forget to mint GATs/stake,180452767,465174,6820 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/forget to mint GATs/stake,177112055,455382,6820 Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/mint GATs for wrong validators/proposal,371267814,1025405,10654 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/mint GATs for wrong validators/stake,197101035,498012,7759 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/mint GATs for wrong validators/stake,193760323,488220,7759 Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/mint GATs for wrong validators/authority,17630300,53302,4123 Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/mint GATs with bad token name/proposal,363184132,1001202,10249 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/mint GATs with bad token name/stake,193552926,490785,7354 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/mint GATs with bad token name/stake,190212214,480993,7354 Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/wrong GAT datum/proposal,363184132,1001202,10421 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/wrong GAT datum/stake,193552926,490785,7526 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/wrong GAT datum/stake,190212214,480993,7526 Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/wrong GAT datum/authority,15806303,48240,3890 Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/invalid governor output datum/proposal,363184132,1001202,10427 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/invalid governor output datum/stake,193552926,490785,7532 +Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/invalid governor output datum/stake,190212214,480993,7532 Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/invalid governor output datum/authority,15806303,48240,3896 Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/proposal,653176876,1846311,12270 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/stake,539832005,1417942,9180 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/stake,538035987,1412880,9180 Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/proposal,364779329,994693,9865 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/stake,137246631,357752,6773 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/stake,135450613,352690,6773 Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Locked to Finished/proposal,408585480,1119294,11018 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Locked to Finished/stake,193552926,490785,7926 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Locked to Finished/governor,501151038,1257243,10749 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Locked to Finished/stake,190212214,480993,7926 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Locked to Finished/governor,494694680,1244653,10749 Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Locked to Finished/authority,15806303,48240,4290 Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from Draft to Finished/proposal,311867021,862973,9858 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from Draft to Finished/stake,137246631,357752,6768 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from Draft to Finished/stake,135450613,352690,6768 Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/proposal,347570001,947566,9859 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/stake,137246631,357752,6769 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/stake,135450613,352690,6769 Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from Locked to Finished/proposal,348700979,949970,9859 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from Locked to Finished/stake,137246631,357752,6769 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/stake,539832005,1417942,9180 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/stake,137246631,357752,6773 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/stake,193552926,490785,7926 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from Locked to Finished/stake,135450613,352690,6769 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/stake,538035987,1412880,9180 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/stake,135450613,352690,6773 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/stake,190212214,480993,7926 Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/authority,15806303,48240,4290 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/insufficient cosigns/stake,525717719,1376932,9180 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/insufficient votes/stake,137246631,357752,6769 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/ambiguous winning effect/stake,137246631,357752,6781 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/to next state too late/from Draft/stake,539832005,1417942,9182 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/to next state too late/from VotingReady/stake,137246631,357752,6773 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/to next state too late/from Locked/stake,193552926,490785,7926 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/to next state too late/from Locked/governor,501151038,1257243,10749 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/insufficient cosigns/stake,523921701,1371870,9180 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/insufficient votes/stake,135450613,352690,6769 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/ambiguous winning effect/stake,135450613,352690,6781 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/to next state too late/from Draft/stake,538035987,1412880,9182 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/to next state too late/from VotingReady/stake,135450613,352690,6773 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/to next state too late/from Locked/stake,190212214,480993,7926 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/to next state too late/from Locked/governor,494694680,1244653,10749 Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/to next state too late/from Locked/authority,15806303,48240,4290 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/altered output stake datum/from Locked/governor,501151038,1257243,10750 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/altered output stake datum/from Locked/governor,494694680,1244653,10750 Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/altered output stake datum/from Locked/authority,15806303,48240,4291 Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/forget to mint GATs/proposal,384334434,1046685,10306 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/forget to mint GATs/stake,180452767,465174,7214 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/forget to mint GATs/stake,177112055,455382,7214 Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/mint GATs for wrong validators/proposal,416669162,1143497,11245 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/mint GATs for wrong validators/stake,197101035,498012,8153 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/mint GATs for wrong validators/stake,193760323,488220,8153 Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/mint GATs for wrong validators/authority,17630300,53302,4517 Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/mint GATs with bad token name/proposal,408585480,1119294,10839 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/mint GATs with bad token name/stake,193552926,490785,7747 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/mint GATs with bad token name/stake,190212214,480993,7747 Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/wrong GAT datum/proposal,408585480,1119294,11012 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/wrong GAT datum/stake,193552926,490785,7920 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/wrong GAT datum/stake,190212214,480993,7920 Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/wrong GAT datum/authority,15806303,48240,4284 Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/invalid governor output datum/proposal,408585480,1119294,11018 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/invalid governor output datum/stake,193552926,490785,7926 +Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/invalid governor output datum/stake,190212214,480993,7926 Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/invalid governor output datum/authority,15806303,48240,4290 Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/proposal,789380920,2200587,14040 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/stake,539832005,1417942,10360 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/stake,538035987,1412880,10360 Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/proposal,512068031,1378933,11636 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/stake,137246631,357752,7954 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/stake,135450613,352690,7954 Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Locked to Finished/proposal,544789524,1473570,12788 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Locked to Finished/stake,193552926,490785,9106 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Locked to Finished/governor,560905551,1420578,11929 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Locked to Finished/stake,190212214,480993,9106 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Locked to Finished/governor,554449193,1407988,11929 Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Locked to Finished/authority,15806303,48240,5470 Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from Draft to Finished/proposal,448071065,1217249,11629 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from Draft to Finished/stake,137246631,357752,7949 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from Draft to Finished/stake,135450613,352690,7949 Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/proposal,483774045,1301842,11630 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/stake,137246631,357752,7950 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/stake,135450613,352690,7950 Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from Locked to Finished/proposal,484905023,1304246,11630 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from Locked to Finished/stake,137246631,357752,7950 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/stake,539832005,1417942,10360 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/stake,137246631,357752,7954 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/stake,193552926,490785,9106 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from Locked to Finished/stake,135450613,352690,7950 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/stake,538035987,1412880,10360 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/stake,135450613,352690,7954 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/stake,190212214,480993,9106 Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/authority,15806303,48240,5470 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/insufficient cosigns/stake,525717719,1376932,10360 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/insufficient votes/stake,137246631,357752,7950 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/ambiguous winning effect/stake,137246631,357752,7974 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/to next state too late/from Draft/stake,539832005,1417942,10362 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/to next state too late/from VotingReady/stake,137246631,357752,7954 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/to next state too late/from Locked/stake,193552926,490785,9106 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/to next state too late/from Locked/governor,560905551,1420578,11929 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/insufficient cosigns/stake,523921701,1371870,10360 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/insufficient votes/stake,135450613,352690,7950 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/ambiguous winning effect/stake,135450613,352690,7974 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/to next state too late/from Draft/stake,538035987,1412880,10362 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/to next state too late/from VotingReady/stake,135450613,352690,7954 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/to next state too late/from Locked/stake,190212214,480993,9106 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/to next state too late/from Locked/governor,554449193,1407988,11929 Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/to next state too late/from Locked/authority,15806303,48240,5470 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/altered output stake datum/from Locked/governor,560905551,1420578,11930 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/altered output stake datum/from Locked/governor,554449193,1407988,11930 Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/altered output stake datum/from Locked/authority,15806303,48240,5471 Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/forget to mint GATs/proposal,520538478,1400961,12077 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/forget to mint GATs/stake,180452767,465174,8395 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/forget to mint GATs/stake,177112055,455382,8395 Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/mint GATs for wrong validators/proposal,552873206,1497773,13015 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/mint GATs for wrong validators/stake,197101035,498012,9333 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/mint GATs for wrong validators/stake,193760323,488220,9333 Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/mint GATs for wrong validators/authority,17630300,53302,5697 Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/mint GATs with bad token name/proposal,544789524,1473570,12610 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/mint GATs with bad token name/stake,193552926,490785,8928 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/mint GATs with bad token name/stake,190212214,480993,8928 Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/wrong GAT datum/proposal,544789524,1473570,12782 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/wrong GAT datum/stake,193552926,490785,9100 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/wrong GAT datum/stake,190212214,480993,9100 Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/wrong GAT datum/authority,15806303,48240,5464 Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/invalid governor output datum/proposal,544789524,1473570,12788 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/invalid governor output datum/stake,193552926,490785,9106 +Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/invalid governor output datum/stake,190212214,480993,9106 Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/invalid governor output datum/authority,15806303,48240,5470 Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/proposal,1143400598,3277042,15148 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/stake,1156151894,3069579,12104 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/stake,1154355876,3064517,12104 Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/proposal,343644780,944193,9727 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/stake,137246631,357752,6681 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/stake,135450613,352690,6681 Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Locked to Finished/proposal,391145817,1078782,10879 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Locked to Finished/stake,193552926,490785,7833 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Locked to Finished/governor,490217802,1228658,10656 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Locked to Finished/stake,190212214,480993,7833 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Locked to Finished/governor,483761444,1216068,10656 Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Locked to Finished/authority,15806303,48240,4197 Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from Draft to Finished/proposal,294427358,822461,9720 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from Draft to Finished/stake,137246631,357752,6676 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from Draft to Finished/stake,135450613,352690,6676 Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/proposal,330130338,907054,9721 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/stake,137246631,357752,6677 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/stake,135450613,352690,6677 Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from Locked to Finished/proposal,331261316,909458,9721 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from Locked to Finished/stake,137246631,357752,6677 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/stake,1156151894,3069579,12104 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/stake,137246631,357752,6681 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/stake,193552926,490785,7833 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from Locked to Finished/stake,135450613,352690,6677 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/stake,1154355876,3064517,12104 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/stake,135450613,352690,6681 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/stake,190212214,480993,7833 Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/authority,15806303,48240,4197 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/insufficient cosigns/stake,1170266180,3110589,12104 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/insufficient votes/stake,137246631,357752,6677 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/ambiguous winning effect/stake,137246631,357752,6685 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/to next state too late/from Draft/stake,1156151894,3069579,12106 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/to next state too late/from VotingReady/stake,137246631,357752,6681 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/to next state too late/from Locked/stake,193552926,490785,7833 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/to next state too late/from Locked/governor,490217802,1228658,10656 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/insufficient cosigns/stake,1168470162,3105527,12104 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/insufficient votes/stake,135450613,352690,6677 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/ambiguous winning effect/stake,135450613,352690,6685 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/to next state too late/from Draft/stake,1154355876,3064517,12106 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/to next state too late/from VotingReady/stake,135450613,352690,6681 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/to next state too late/from Locked/stake,190212214,480993,7833 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/to next state too late/from Locked/governor,483761444,1216068,10656 Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/to next state too late/from Locked/authority,15806303,48240,4197 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/altered output stake datum/from Locked/governor,490217802,1228658,10657 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/altered output stake datum/from Locked/governor,483761444,1216068,10657 Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/altered output stake datum/from Locked/authority,15806303,48240,4198 Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/forget to mint GATs/proposal,366894771,1006173,10168 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/forget to mint GATs/stake,180452767,465174,7122 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/forget to mint GATs/stake,177112055,455382,7122 Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/mint GATs for wrong validators/proposal,399229499,1102985,11106 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/mint GATs for wrong validators/stake,197101035,498012,8060 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/mint GATs for wrong validators/stake,193760323,488220,8060 Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/mint GATs for wrong validators/authority,17630300,53302,4424 Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/mint GATs with bad token name/proposal,391145817,1078782,10701 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/mint GATs with bad token name/stake,193552926,490785,7655 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/mint GATs with bad token name/stake,190212214,480993,7655 Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/wrong GAT datum/proposal,391145817,1078782,10873 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/wrong GAT datum/stake,193552926,490785,7827 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/wrong GAT datum/stake,190212214,480993,7827 Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/wrong GAT datum/authority,15806303,48240,4191 Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/invalid governor output datum/proposal,391145817,1078782,10879 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/invalid governor output datum/stake,193552926,490785,7833 +Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/invalid governor output datum/stake,190212214,480993,7833 Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/invalid governor output datum/authority,15806303,48240,4197 Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/proposal,1188801946,3395134,15738 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/stake,1156151894,3069579,12498 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/stake,1154355876,3064517,12498 Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/proposal,392741014,1072273,10316 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/stake,137246631,357752,7074 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/stake,135450613,352690,7074 Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Locked to Finished/proposal,436547165,1196874,11469 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Locked to Finished/stake,193552926,490785,8227 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Locked to Finished/governor,510135973,1283103,11050 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Locked to Finished/stake,190212214,480993,8227 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Locked to Finished/governor,503679615,1270513,11050 Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Locked to Finished/authority,15806303,48240,4591 Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from Draft to Finished/proposal,339828706,940553,10309 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from Draft to Finished/stake,137246631,357752,7069 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from Draft to Finished/stake,135450613,352690,7069 Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/proposal,375531686,1025146,10310 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/stake,137246631,357752,7070 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/stake,135450613,352690,7070 Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from Locked to Finished/proposal,376662664,1027550,10310 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from Locked to Finished/stake,137246631,357752,7070 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/stake,1156151894,3069579,12498 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/stake,137246631,357752,7074 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/stake,193552926,490785,8227 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from Locked to Finished/stake,135450613,352690,7070 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/stake,1154355876,3064517,12498 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/stake,135450613,352690,7074 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/stake,190212214,480993,8227 Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/authority,15806303,48240,4591 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/insufficient cosigns/stake,1170266180,3110589,12498 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/insufficient votes/stake,137246631,357752,7070 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/ambiguous winning effect/stake,137246631,357752,7082 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/to next state too late/from Draft/stake,1156151894,3069579,12500 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/to next state too late/from VotingReady/stake,137246631,357752,7074 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/to next state too late/from Locked/stake,193552926,490785,8227 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/to next state too late/from Locked/governor,510135973,1283103,11050 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/insufficient cosigns/stake,1168470162,3105527,12498 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/insufficient votes/stake,135450613,352690,7070 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/ambiguous winning effect/stake,135450613,352690,7082 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/to next state too late/from Draft/stake,1154355876,3064517,12500 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/to next state too late/from VotingReady/stake,135450613,352690,7074 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/to next state too late/from Locked/stake,190212214,480993,8227 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/to next state too late/from Locked/governor,503679615,1270513,11050 Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/to next state too late/from Locked/authority,15806303,48240,4591 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/altered output stake datum/from Locked/governor,510135973,1283103,11051 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/altered output stake datum/from Locked/governor,503679615,1270513,11051 Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/altered output stake datum/from Locked/authority,15806303,48240,4592 Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/forget to mint GATs/proposal,412296119,1124265,10757 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/forget to mint GATs/stake,180452767,465174,7515 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/forget to mint GATs/stake,177112055,455382,7515 Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/mint GATs for wrong validators/proposal,444630847,1221077,11696 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/mint GATs for wrong validators/stake,197101035,498012,8454 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/mint GATs for wrong validators/stake,193760323,488220,8454 Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/mint GATs for wrong validators/authority,17630300,53302,4818 Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/mint GATs with bad token name/proposal,436547165,1196874,11290 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/mint GATs with bad token name/stake,193552926,490785,8048 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/mint GATs with bad token name/stake,190212214,480993,8048 Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/wrong GAT datum/proposal,436547165,1196874,11463 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/wrong GAT datum/stake,193552926,490785,8221 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/wrong GAT datum/stake,190212214,480993,8221 Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/wrong GAT datum/authority,15806303,48240,4585 Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/invalid governor output datum/proposal,436547165,1196874,11469 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/invalid governor output datum/stake,193552926,490785,8227 +Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/invalid governor output datum/stake,190212214,480993,8227 Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/invalid governor output datum/authority,15806303,48240,4591 Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/proposal,1325005990,3749410,17509 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/stake,1156151894,3069579,13678 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/stake,1154355876,3064517,13678 Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/proposal,540029716,1456513,12088 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/stake,137246631,357752,8255 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/stake,135450613,352690,8255 Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Locked to Finished/proposal,572751209,1551150,13241 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Locked to Finished/stake,193552926,490785,9408 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Locked to Finished/governor,569890486,1446438,12231 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Locked to Finished/stake,190212214,480993,9408 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Locked to Finished/governor,563434128,1433848,12231 Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Locked to Finished/authority,15806303,48240,5772 Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from Draft to Finished/proposal,476032750,1294829,12081 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from Draft to Finished/stake,137246631,357752,8250 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from Draft to Finished/stake,135450613,352690,8250 Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/proposal,511735730,1379422,12082 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/stake,137246631,357752,8251 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/stake,135450613,352690,8251 Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from Locked to Finished/proposal,512866708,1381826,12082 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from Locked to Finished/stake,137246631,357752,8251 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/stake,1156151894,3069579,13678 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/stake,137246631,357752,8255 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/stake,193552926,490785,9408 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from Locked to Finished/stake,135450613,352690,8251 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/stake,1154355876,3064517,13678 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/stake,135450613,352690,8255 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/stake,190212214,480993,9408 Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/authority,15806303,48240,5772 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/insufficient cosigns/stake,1170266180,3110589,13678 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/insufficient votes/stake,137246631,357752,8251 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/ambiguous winning effect/stake,137246631,357752,8275 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/to next state too late/from Draft/stake,1156151894,3069579,13680 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/to next state too late/from VotingReady/stake,137246631,357752,8255 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/to next state too late/from Locked/stake,193552926,490785,9408 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/to next state too late/from Locked/governor,569890486,1446438,12231 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/insufficient cosigns/stake,1168470162,3105527,13678 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/insufficient votes/stake,135450613,352690,8251 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/ambiguous winning effect/stake,135450613,352690,8275 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/to next state too late/from Draft/stake,1154355876,3064517,13680 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/to next state too late/from VotingReady/stake,135450613,352690,8255 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/to next state too late/from Locked/stake,190212214,480993,9408 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/to next state too late/from Locked/governor,563434128,1433848,12231 Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/to next state too late/from Locked/authority,15806303,48240,5772 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/altered output stake datum/from Locked/governor,569890486,1446438,12232 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/altered output stake datum/from Locked/governor,563434128,1433848,12232 Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/altered output stake datum/from Locked/authority,15806303,48240,5773 Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/forget to mint GATs/proposal,548500163,1478541,12529 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/forget to mint GATs/stake,180452767,465174,8696 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/forget to mint GATs/stake,177112055,455382,8696 Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/mint GATs for wrong validators/proposal,580834891,1575353,13467 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/mint GATs for wrong validators/stake,197101035,498012,9634 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/mint GATs for wrong validators/stake,193760323,488220,9634 Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/mint GATs for wrong validators/authority,17630300,53302,5998 Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/mint GATs with bad token name/proposal,572751209,1551150,13062 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/mint GATs with bad token name/stake,193552926,490785,9229 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/mint GATs with bad token name/stake,190212214,480993,9229 Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/wrong GAT datum/proposal,572751209,1551150,13235 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/wrong GAT datum/stake,193552926,490785,9402 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/wrong GAT datum/stake,190212214,480993,9402 Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/wrong GAT datum/authority,15806303,48240,5765 Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/invalid governor output datum/proposal,572751209,1551150,13241 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/invalid governor output datum/stake,193552926,490785,9408 +Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/invalid governor output datum/stake,190212214,480993,9408 Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/invalid governor output datum/authority,15806303,48240,5772 -Agora/Proposal/validator/unlocking/legal/with 1 proposals/voter: retract votes while voting/stake,133453490,349585,5807 +Agora/Proposal/validator/unlocking/legal/with 1 proposals/voter: retract votes while voting/stake,131657472,344523,5807 Agora/Proposal/validator/unlocking/legal/with 1 proposals/voter: retract votes while voting/proposal,237178475,667478,8377 -Agora/Proposal/validator/unlocking/legal/with 1 proposals/voter/creator: retract votes while voting/stake,136684736,358639,5823 +Agora/Proposal/validator/unlocking/legal/with 1 proposals/voter/creator: retract votes while voting/stake,134888718,353577,5823 Agora/Proposal/validator/unlocking/legal/with 1 proposals/voter/creator: retract votes while voting/proposal,250650682,707420,8388 -Agora/Proposal/validator/unlocking/legal/with 1 proposals/creator: remove creator locks when finished/stake,133453490,349585,5805 +Agora/Proposal/validator/unlocking/legal/with 1 proposals/creator: remove creator locks when finished/stake,131657472,344523,5805 Agora/Proposal/validator/unlocking/legal/with 1 proposals/creator: remove creator locks when finished/proposal,204970610,587333,8374 -Agora/Proposal/validator/unlocking/legal/with 1 proposals/voter/creator: remove all locks when finished/stake,133453490,349585,5821 +Agora/Proposal/validator/unlocking/legal/with 1 proposals/voter/creator: remove all locks when finished/stake,131657472,344523,5821 Agora/Proposal/validator/unlocking/legal/with 1 proposals/voter/creator: remove all locks when finished/proposal,213404867,612237,8386 -Agora/Proposal/validator/unlocking/legal/with 1 proposals/voter: unlock after voting/Locked/stake,133453490,349585,5811 +Agora/Proposal/validator/unlocking/legal/with 1 proposals/voter: unlock after voting/Locked/stake,131657472,344523,5811 Agora/Proposal/validator/unlocking/legal/with 1 proposals/voter: unlock after voting/Locked/proposal,206286762,591217,8381 -Agora/Proposal/validator/unlocking/legal/with 1 proposals/voter: unlock after voting/Finished/stake,133453490,349585,5811 +Agora/Proposal/validator/unlocking/legal/with 1 proposals/voter: unlock after voting/Finished/stake,131657472,344523,5811 Agora/Proposal/validator/unlocking/legal/with 1 proposals/voter: unlock after voting/Finished/proposal,206286762,591217,8381 -Agora/Proposal/validator/unlocking/legal/with 1 proposals/voter/creator: remove vote locks when locked/stake,136684736,358639,5827 +Agora/Proposal/validator/unlocking/legal/with 1 proposals/voter/creator: remove vote locks when locked/stake,134888718,353577,5827 Agora/Proposal/validator/unlocking/legal/with 1 proposals/voter/creator: remove vote locks when locked/proposal,220290545,632551,8392 -Agora/Proposal/validator/unlocking/legal/with 5 proposals/voter: retract votes while voting/stake,300244838,760861,7900 +Agora/Proposal/validator/unlocking/legal/with 5 proposals/voter: retract votes while voting/stake,282446716,721159,7900 Agora/Proposal/validator/unlocking/legal/with 5 proposals/voter: retract votes while voting/proposal,379819723,1080142,10446 -Agora/Proposal/validator/unlocking/legal/with 5 proposals/voter/creator: retract votes while voting/stake,316401068,806131,7976 +Agora/Proposal/validator/unlocking/legal/with 5 proposals/voter/creator: retract votes while voting/stake,298602946,766429,7976 Agora/Proposal/validator/unlocking/legal/with 5 proposals/voter/creator: retract votes while voting/proposal,445348258,1271396,10497 -Agora/Proposal/validator/unlocking/legal/with 5 proposals/creator: remove creator locks when finished/stake,300244838,760861,7889 +Agora/Proposal/validator/unlocking/legal/with 5 proposals/creator: remove creator locks when finished/stake,282446716,721159,7889 Agora/Proposal/validator/unlocking/legal/with 5 proposals/creator: remove creator locks when finished/proposal,313051422,905189,10438 -Agora/Proposal/validator/unlocking/legal/with 5 proposals/voter/creator: remove all locks when finished/stake,300244838,760861,7970 +Agora/Proposal/validator/unlocking/legal/with 5 proposals/voter/creator: remove all locks when finished/stake,282446716,721159,7970 Agora/Proposal/validator/unlocking/legal/with 5 proposals/voter/creator: remove all locks when finished/proposal,351440403,1016941,10491 -Agora/Proposal/validator/unlocking/legal/with 5 proposals/voter: unlock after voting/Locked/stake,300244838,760861,7920 +Agora/Proposal/validator/unlocking/legal/with 5 proposals/voter: unlock after voting/Locked/stake,282446716,721159,7920 Agora/Proposal/validator/unlocking/legal/with 5 proposals/voter: unlock after voting/Locked/proposal,318520682,920265,10466 -Agora/Proposal/validator/unlocking/legal/with 5 proposals/voter: unlock after voting/Finished/stake,300244838,760861,7920 +Agora/Proposal/validator/unlocking/legal/with 5 proposals/voter: unlock after voting/Finished/stake,282446716,721159,7920 Agora/Proposal/validator/unlocking/legal/with 5 proposals/voter: unlock after voting/Finished/proposal,318520682,920265,10466 -Agora/Proposal/validator/unlocking/legal/with 5 proposals/voter/creator: remove vote locks when locked/stake,316401068,806131,7996 +Agora/Proposal/validator/unlocking/legal/with 5 proposals/voter/creator: remove vote locks when locked/stake,298602946,766429,7996 Agora/Proposal/validator/unlocking/legal/with 5 proposals/voter/creator: remove vote locks when locked/proposal,384580793,1112911,10517 -Agora/Proposal/validator/unlocking/legal/with 10 proposals/voter: retract votes while voting/stake,508734023,1274956,10515 +Agora/Proposal/validator/unlocking/legal/with 10 proposals/voter: retract votes while voting/stake,470933271,1191954,10515 Agora/Proposal/validator/unlocking/legal/with 10 proposals/voter: retract votes while voting/proposal,558121283,1595972,13031 -Agora/Proposal/validator/unlocking/legal/with 10 proposals/voter/creator: retract votes while voting/stake,541046483,1365496,10666 +Agora/Proposal/validator/unlocking/legal/with 10 proposals/voter/creator: retract votes while voting/stake,503245731,1282494,10666 Agora/Proposal/validator/unlocking/legal/with 10 proposals/voter/creator: retract votes while voting/proposal,688720228,1976366,13132 -Agora/Proposal/validator/unlocking/legal/with 10 proposals/creator: remove creator locks when finished/stake,508734023,1274956,10495 +Agora/Proposal/validator/unlocking/legal/with 10 proposals/creator: remove creator locks when finished/stake,470933271,1191954,10495 Agora/Proposal/validator/unlocking/legal/with 10 proposals/creator: remove creator locks when finished/proposal,448152437,1302509,13019 -Agora/Proposal/validator/unlocking/legal/with 10 proposals/voter/creator: remove all locks when finished/stake,508734023,1274956,10655 +Agora/Proposal/validator/unlocking/legal/with 10 proposals/voter/creator: remove all locks when finished/stake,470933271,1191954,10655 Agora/Proposal/validator/unlocking/legal/with 10 proposals/voter/creator: remove all locks when finished/proposal,523984823,1522821,13121 -Agora/Proposal/validator/unlocking/legal/with 10 proposals/voter: unlock after voting/Locked/stake,508734023,1274956,10555 +Agora/Proposal/validator/unlocking/legal/with 10 proposals/voter: unlock after voting/Locked/stake,470933271,1191954,10555 Agora/Proposal/validator/unlocking/legal/with 10 proposals/voter: unlock after voting/Locked/proposal,458813082,1331575,13071 -Agora/Proposal/validator/unlocking/legal/with 10 proposals/voter: unlock after voting/Finished/stake,508734023,1274956,10555 +Agora/Proposal/validator/unlocking/legal/with 10 proposals/voter: unlock after voting/Finished/stake,470933271,1191954,10555 Agora/Proposal/validator/unlocking/legal/with 10 proposals/voter: unlock after voting/Finished/proposal,458813082,1331575,13071 -Agora/Proposal/validator/unlocking/legal/with 10 proposals/voter/creator: remove vote locks when locked/stake,541046483,1365496,10706 +Agora/Proposal/validator/unlocking/legal/with 10 proposals/voter/creator: remove vote locks when locked/stake,503245731,1282494,10706 Agora/Proposal/validator/unlocking/legal/with 10 proposals/voter/creator: remove vote locks when locked/proposal,589943603,1713361,13172 -Agora/Proposal/validator/unlocking/legal/with 42 proposals/voter: retract votes while voting/stake,1843064807,4565164,27345 +Agora/Proposal/validator/unlocking/legal/with 42 proposals/voter: retract votes while voting/stake,1677247223,4205042,27345 Agora/Proposal/validator/unlocking/legal/with 42 proposals/voter: retract votes while voting/proposal,1699251267,4897284,29650 -Agora/Proposal/validator/unlocking/legal/with 42 proposals/voter/creator: retract votes while voting/stake,1978777139,4945432,28032 +Agora/Proposal/validator/unlocking/legal/with 42 proposals/voter/creator: retract votes while voting/stake,1812959555,4585310,28032 Agora/Proposal/validator/unlocking/legal/with 42 proposals/voter/creator: retract votes while voting/proposal,2246300836,6488174,30108 -Agora/Proposal/validator/unlocking/legal/with 42 proposals/creator: remove creator locks when finished/stake,1843064807,4565164,27260 +Agora/Proposal/validator/unlocking/legal/with 42 proposals/creator: remove creator locks when finished/stake,1677247223,4205042,27260 Agora/Proposal/validator/unlocking/legal/with 42 proposals/creator: remove creator locks when finished/proposal,1312798933,3845357,29605 -Agora/Proposal/validator/unlocking/legal/with 42 proposals/voter/creator: remove all locks when finished/stake,1843064807,4565164,27971 +Agora/Proposal/validator/unlocking/legal/with 42 proposals/voter/creator: remove all locks when finished/stake,1677247223,4205042,27971 Agora/Proposal/validator/unlocking/legal/with 42 proposals/voter/creator: remove all locks when finished/proposal,1628269111,4760453,30047 -Agora/Proposal/validator/unlocking/legal/with 42 proposals/voter: unlock after voting/Locked/stake,1843064807,4565164,27513 +Agora/Proposal/validator/unlocking/legal/with 42 proposals/voter: unlock after voting/Locked/stake,1677247223,4205042,27513 Agora/Proposal/validator/unlocking/legal/with 42 proposals/voter: unlock after voting/Locked/proposal,1356684442,3963959,29818 -Agora/Proposal/validator/unlocking/legal/with 42 proposals/voter: unlock after voting/Finished/stake,1843064807,4565164,27513 +Agora/Proposal/validator/unlocking/legal/with 42 proposals/voter: unlock after voting/Finished/stake,1677247223,4205042,27513 Agora/Proposal/validator/unlocking/legal/with 42 proposals/voter: unlock after voting/Finished/proposal,1356684442,3963959,29818 -Agora/Proposal/validator/unlocking/legal/with 42 proposals/voter/creator: remove vote locks when locked/stake,1978777139,4945432,28201 +Agora/Proposal/validator/unlocking/legal/with 42 proposals/voter/creator: remove vote locks when locked/stake,1812959555,4585310,28201 Agora/Proposal/validator/unlocking/legal/with 42 proposals/voter/creator: remove vote locks when locked/proposal,1904265587,5556241,30277 -"Agora/Proposal/validator/unlocking/illegal/with 1 proposals/retract votes while not voting/role: Voter , status: Draft/stake",133453490,349585,5807 -"Agora/Proposal/validator/unlocking/illegal/with 1 proposals/retract votes while not voting/role: Voter , status: Locked/stake",133453490,349585,5807 -"Agora/Proposal/validator/unlocking/illegal/with 1 proposals/retract votes while not voting/role: Voter , status: Finished/stake",133453490,349585,5807 -"Agora/Proposal/validator/unlocking/illegal/with 1 proposals/retract votes while not voting/role: Creator , status: Draft/stake",129082904,337735,5809 -"Agora/Proposal/validator/unlocking/illegal/with 1 proposals/retract votes while not voting/role: Creator , status: Locked/stake",129082904,337735,5809 -"Agora/Proposal/validator/unlocking/illegal/with 1 proposals/retract votes while not voting/role: Creator , status: Finished/stake",129082904,337735,5809 -"Agora/Proposal/validator/unlocking/illegal/with 1 proposals/retract votes while not voting/role: Both , status: Draft/stake",136684736,358639,5823 -"Agora/Proposal/validator/unlocking/illegal/with 1 proposals/retract votes while not voting/role: Both , status: Locked/stake",136684736,358639,5823 -"Agora/Proposal/validator/unlocking/illegal/with 1 proposals/retract votes while not voting/role: Both , status: Finished/stake",136684736,358639,5823 -"Agora/Proposal/validator/unlocking/illegal/with 1 proposals/retract votes while not voting/role: Irrelevant , status: Draft/stake",125851658,328681,5789 -"Agora/Proposal/validator/unlocking/illegal/with 1 proposals/retract votes while not voting/role: Irrelevant , status: Locked/stake",125851658,328681,5789 -"Agora/Proposal/validator/unlocking/illegal/with 1 proposals/retract votes while not voting/role: Irrelevant , status: Finished/stake",125851658,328681,5789 -Agora/Proposal/validator/unlocking/illegal/with 1 proposals/unlock an irrelevant stake/status: Draft retract votes: True/stake,125851658,328681,5789 -Agora/Proposal/validator/unlocking/illegal/with 1 proposals/unlock an irrelevant stake/status: Draft retract votes: False/stake,125851658,328681,5789 -Agora/Proposal/validator/unlocking/illegal/with 1 proposals/unlock an irrelevant stake/status: VotingReady retract votes: True/stake,125851658,328681,5789 -Agora/Proposal/validator/unlocking/illegal/with 1 proposals/unlock an irrelevant stake/status: VotingReady retract votes: False/stake,125851658,328681,5789 -Agora/Proposal/validator/unlocking/illegal/with 1 proposals/unlock an irrelevant stake/status: Locked retract votes: True/stake,125851658,328681,5789 -Agora/Proposal/validator/unlocking/illegal/with 1 proposals/unlock an irrelevant stake/status: Locked retract votes: False/stake,125851658,328681,5789 -Agora/Proposal/validator/unlocking/illegal/with 1 proposals/unlock an irrelevant stake/status: Finished retract votes: True/stake,125851658,328681,5789 -Agora/Proposal/validator/unlocking/illegal/with 1 proposals/unlock an irrelevant stake/status: Finished retract votes: False/stake,125851658,328681,5789 -Agora/Proposal/validator/unlocking/illegal/with 1 proposals/remove creator too early/status: Draft/stake,133453490,349585,5805 -Agora/Proposal/validator/unlocking/illegal/with 1 proposals/remove creator too early/status: VotingReady/stake,133453490,349585,5805 -Agora/Proposal/validator/unlocking/illegal/with 1 proposals/remove creator too early/status: Locked/stake,133453490,349585,5805 -Agora/Proposal/validator/unlocking/illegal/with 1 proposals/creator: retract votes/stake,133453490,349585,5803 -"Agora/Proposal/validator/unlocking/illegal/with 5 proposals/retract votes while not voting/role: Voter , status: Draft/stake",300244838,760861,7900 -"Agora/Proposal/validator/unlocking/illegal/with 5 proposals/retract votes while not voting/role: Voter , status: Locked/stake",300244838,760861,7900 -"Agora/Proposal/validator/unlocking/illegal/with 5 proposals/retract votes while not voting/role: Voter , status: Finished/stake",300244838,760861,7900 -"Agora/Proposal/validator/unlocking/illegal/with 5 proposals/retract votes while not voting/role: Creator , status: Draft/stake",293595572,743419,7906 -"Agora/Proposal/validator/unlocking/illegal/with 5 proposals/retract votes while not voting/role: Creator , status: Locked/stake",293595572,743419,7906 -"Agora/Proposal/validator/unlocking/illegal/with 5 proposals/retract votes while not voting/role: Creator , status: Finished/stake",293595572,743419,7906 -"Agora/Proposal/validator/unlocking/illegal/with 5 proposals/retract votes while not voting/role: Both , status: Draft/stake",316401068,806131,7976 -"Agora/Proposal/validator/unlocking/illegal/with 5 proposals/retract votes while not voting/role: Both , status: Locked/stake",316401068,806131,7976 -"Agora/Proposal/validator/unlocking/illegal/with 5 proposals/retract votes while not voting/role: Both , status: Finished/stake",316401068,806131,7976 -"Agora/Proposal/validator/unlocking/illegal/with 5 proposals/retract votes while not voting/role: Irrelevant , status: Draft/stake",277439342,698149,7817 -"Agora/Proposal/validator/unlocking/illegal/with 5 proposals/retract votes while not voting/role: Irrelevant , status: Locked/stake",277439342,698149,7817 -"Agora/Proposal/validator/unlocking/illegal/with 5 proposals/retract votes while not voting/role: Irrelevant , status: Finished/stake",277439342,698149,7817 -Agora/Proposal/validator/unlocking/illegal/with 5 proposals/unlock an irrelevant stake/status: Draft retract votes: True/stake,277439342,698149,7817 -Agora/Proposal/validator/unlocking/illegal/with 5 proposals/unlock an irrelevant stake/status: Draft retract votes: False/stake,277439342,698149,7817 -Agora/Proposal/validator/unlocking/illegal/with 5 proposals/unlock an irrelevant stake/status: VotingReady retract votes: True/stake,277439342,698149,7817 -Agora/Proposal/validator/unlocking/illegal/with 5 proposals/unlock an irrelevant stake/status: VotingReady retract votes: False/stake,277439342,698149,7817 -Agora/Proposal/validator/unlocking/illegal/with 5 proposals/unlock an irrelevant stake/status: Locked retract votes: True/stake,277439342,698149,7817 -Agora/Proposal/validator/unlocking/illegal/with 5 proposals/unlock an irrelevant stake/status: Locked retract votes: False/stake,277439342,698149,7817 -Agora/Proposal/validator/unlocking/illegal/with 5 proposals/unlock an irrelevant stake/status: Finished retract votes: True/stake,277439342,698149,7817 -Agora/Proposal/validator/unlocking/illegal/with 5 proposals/unlock an irrelevant stake/status: Finished retract votes: False/stake,277439342,698149,7817 -Agora/Proposal/validator/unlocking/illegal/with 5 proposals/remove creator too early/status: Draft/stake,300244838,760861,7889 -Agora/Proposal/validator/unlocking/illegal/with 5 proposals/remove creator too early/status: VotingReady/stake,300244838,760861,7889 -Agora/Proposal/validator/unlocking/illegal/with 5 proposals/remove creator too early/status: Locked/stake,300244838,760861,7889 -Agora/Proposal/validator/unlocking/illegal/with 5 proposals/creator: retract votes/stake,300244838,760861,7879 -"Agora/Proposal/validator/unlocking/illegal/with 10 proposals/retract votes while not voting/role: Voter , status: Draft/stake",508734023,1274956,10515 -"Agora/Proposal/validator/unlocking/illegal/with 10 proposals/retract votes while not voting/role: Voter , status: Locked/stake",508734023,1274956,10515 -"Agora/Proposal/validator/unlocking/illegal/with 10 proposals/retract votes while not voting/role: Voter , status: Finished/stake",508734023,1274956,10515 -"Agora/Proposal/validator/unlocking/illegal/with 10 proposals/retract votes while not voting/role: Creator , status: Draft/stake",499236407,1250524,10526 -"Agora/Proposal/validator/unlocking/illegal/with 10 proposals/retract votes while not voting/role: Creator , status: Locked/stake",499236407,1250524,10526 -"Agora/Proposal/validator/unlocking/illegal/with 10 proposals/retract votes while not voting/role: Creator , status: Finished/stake",499236407,1250524,10526 -"Agora/Proposal/validator/unlocking/illegal/with 10 proposals/retract votes while not voting/role: Both , status: Draft/stake",541046483,1365496,10666 -"Agora/Proposal/validator/unlocking/illegal/with 10 proposals/retract votes while not voting/role: Both , status: Locked/stake",541046483,1365496,10666 -"Agora/Proposal/validator/unlocking/illegal/with 10 proposals/retract votes while not voting/role: Both , status: Finished/stake",541046483,1365496,10666 -"Agora/Proposal/validator/unlocking/illegal/with 10 proposals/retract votes while not voting/role: Irrelevant , status: Draft/stake",466923947,1159984,10352 -"Agora/Proposal/validator/unlocking/illegal/with 10 proposals/retract votes while not voting/role: Irrelevant , status: Locked/stake",466923947,1159984,10352 -"Agora/Proposal/validator/unlocking/illegal/with 10 proposals/retract votes while not voting/role: Irrelevant , status: Finished/stake",466923947,1159984,10352 -Agora/Proposal/validator/unlocking/illegal/with 10 proposals/unlock an irrelevant stake/status: Draft retract votes: True/stake,466923947,1159984,10352 -Agora/Proposal/validator/unlocking/illegal/with 10 proposals/unlock an irrelevant stake/status: Draft retract votes: False/stake,466923947,1159984,10352 -Agora/Proposal/validator/unlocking/illegal/with 10 proposals/unlock an irrelevant stake/status: VotingReady retract votes: True/stake,466923947,1159984,10352 -Agora/Proposal/validator/unlocking/illegal/with 10 proposals/unlock an irrelevant stake/status: VotingReady retract votes: False/stake,466923947,1159984,10352 -Agora/Proposal/validator/unlocking/illegal/with 10 proposals/unlock an irrelevant stake/status: Locked retract votes: True/stake,466923947,1159984,10352 -Agora/Proposal/validator/unlocking/illegal/with 10 proposals/unlock an irrelevant stake/status: Locked retract votes: False/stake,466923947,1159984,10352 -Agora/Proposal/validator/unlocking/illegal/with 10 proposals/unlock an irrelevant stake/status: Finished retract votes: True/stake,466923947,1159984,10352 -Agora/Proposal/validator/unlocking/illegal/with 10 proposals/unlock an irrelevant stake/status: Finished retract votes: False/stake,466923947,1159984,10352 -Agora/Proposal/validator/unlocking/illegal/with 10 proposals/remove creator too early/status: Draft/stake,508734023,1274956,10495 -Agora/Proposal/validator/unlocking/illegal/with 10 proposals/remove creator too early/status: VotingReady/stake,508734023,1274956,10495 -Agora/Proposal/validator/unlocking/illegal/with 10 proposals/remove creator too early/status: Locked/stake,508734023,1274956,10495 -Agora/Proposal/validator/unlocking/illegal/with 10 proposals/creator: retract votes/stake,508734023,1274956,10474 -"Agora/Proposal/validator/unlocking/illegal/with 42 proposals/retract votes while not voting/role: Voter , status: Draft/stake",1843064807,4565164,27345 -"Agora/Proposal/validator/unlocking/illegal/with 42 proposals/retract votes while not voting/role: Voter , status: Locked/stake",1843064807,4565164,27345 -"Agora/Proposal/validator/unlocking/illegal/with 42 proposals/retract votes while not voting/role: Voter , status: Finished/stake",1843064807,4565164,27345 -"Agora/Proposal/validator/unlocking/illegal/with 42 proposals/retract votes while not voting/role: Creator , status: Draft/stake",1815337751,4495996,27406 -"Agora/Proposal/validator/unlocking/illegal/with 42 proposals/retract votes while not voting/role: Creator , status: Locked/stake",1815337751,4495996,27406 -"Agora/Proposal/validator/unlocking/illegal/with 42 proposals/retract votes while not voting/role: Creator , status: Finished/stake",1815337751,4495996,27406 -"Agora/Proposal/validator/unlocking/illegal/with 42 proposals/retract votes while not voting/role: Both , status: Draft/stake",1978777139,4945432,28032 -"Agora/Proposal/validator/unlocking/illegal/with 42 proposals/retract votes while not voting/role: Both , status: Locked/stake",1978777139,4945432,28032 -"Agora/Proposal/validator/unlocking/illegal/with 42 proposals/retract votes while not voting/role: Both , status: Finished/stake",1978777139,4945432,28032 -"Agora/Proposal/validator/unlocking/illegal/with 42 proposals/retract votes while not voting/role: Irrelevant , status: Draft/stake",1679625419,4115728,26632 -"Agora/Proposal/validator/unlocking/illegal/with 42 proposals/retract votes while not voting/role: Irrelevant , status: Locked/stake",1679625419,4115728,26632 -"Agora/Proposal/validator/unlocking/illegal/with 42 proposals/retract votes while not voting/role: Irrelevant , status: Finished/stake",1679625419,4115728,26632 -Agora/Proposal/validator/unlocking/illegal/with 42 proposals/unlock an irrelevant stake/status: Draft retract votes: True/stake,1679625419,4115728,26632 -Agora/Proposal/validator/unlocking/illegal/with 42 proposals/unlock an irrelevant stake/status: Draft retract votes: False/stake,1679625419,4115728,26632 -Agora/Proposal/validator/unlocking/illegal/with 42 proposals/unlock an irrelevant stake/status: VotingReady retract votes: True/stake,1679625419,4115728,26632 -Agora/Proposal/validator/unlocking/illegal/with 42 proposals/unlock an irrelevant stake/status: VotingReady retract votes: False/stake,1679625419,4115728,26632 -Agora/Proposal/validator/unlocking/illegal/with 42 proposals/unlock an irrelevant stake/status: Locked retract votes: True/stake,1679625419,4115728,26632 -Agora/Proposal/validator/unlocking/illegal/with 42 proposals/unlock an irrelevant stake/status: Locked retract votes: False/stake,1679625419,4115728,26632 -Agora/Proposal/validator/unlocking/illegal/with 42 proposals/unlock an irrelevant stake/status: Finished retract votes: True/stake,1679625419,4115728,26632 -Agora/Proposal/validator/unlocking/illegal/with 42 proposals/unlock an irrelevant stake/status: Finished retract votes: False/stake,1679625419,4115728,26632 -Agora/Proposal/validator/unlocking/illegal/with 42 proposals/remove creator too early/status: Draft/stake,1843064807,4565164,27260 -Agora/Proposal/validator/unlocking/illegal/with 42 proposals/remove creator too early/status: VotingReady/stake,1843064807,4565164,27260 -Agora/Proposal/validator/unlocking/illegal/with 42 proposals/remove creator too early/status: Locked/stake,1843064807,4565164,27260 -Agora/Proposal/validator/unlocking/illegal/with 42 proposals/creator: retract votes/stake,1843064807,4565164,27176 +"Agora/Proposal/validator/unlocking/illegal/with 1 proposals/retract votes while not voting/role: Voter , status: Draft/stake",131657472,344523,5807 +"Agora/Proposal/validator/unlocking/illegal/with 1 proposals/retract votes while not voting/role: Voter , status: Locked/stake",131657472,344523,5807 +"Agora/Proposal/validator/unlocking/illegal/with 1 proposals/retract votes while not voting/role: Voter , status: Finished/stake",131657472,344523,5807 +"Agora/Proposal/validator/unlocking/illegal/with 1 proposals/retract votes while not voting/role: Creator , status: Draft/stake",127286886,332673,5809 +"Agora/Proposal/validator/unlocking/illegal/with 1 proposals/retract votes while not voting/role: Creator , status: Locked/stake",127286886,332673,5809 +"Agora/Proposal/validator/unlocking/illegal/with 1 proposals/retract votes while not voting/role: Creator , status: Finished/stake",127286886,332673,5809 +"Agora/Proposal/validator/unlocking/illegal/with 1 proposals/retract votes while not voting/role: Both , status: Draft/stake",134888718,353577,5823 +"Agora/Proposal/validator/unlocking/illegal/with 1 proposals/retract votes while not voting/role: Both , status: Locked/stake",134888718,353577,5823 +"Agora/Proposal/validator/unlocking/illegal/with 1 proposals/retract votes while not voting/role: Both , status: Finished/stake",134888718,353577,5823 +"Agora/Proposal/validator/unlocking/illegal/with 1 proposals/retract votes while not voting/role: Irrelevant , status: Draft/stake",124055640,323619,5789 +"Agora/Proposal/validator/unlocking/illegal/with 1 proposals/retract votes while not voting/role: Irrelevant , status: Locked/stake",124055640,323619,5789 +"Agora/Proposal/validator/unlocking/illegal/with 1 proposals/retract votes while not voting/role: Irrelevant , status: Finished/stake",124055640,323619,5789 +Agora/Proposal/validator/unlocking/illegal/with 1 proposals/unlock an irrelevant stake/status: Draft retract votes: True/stake,124055640,323619,5789 +Agora/Proposal/validator/unlocking/illegal/with 1 proposals/unlock an irrelevant stake/status: Draft retract votes: False/stake,124055640,323619,5789 +Agora/Proposal/validator/unlocking/illegal/with 1 proposals/unlock an irrelevant stake/status: VotingReady retract votes: True/stake,124055640,323619,5789 +Agora/Proposal/validator/unlocking/illegal/with 1 proposals/unlock an irrelevant stake/status: VotingReady retract votes: False/stake,124055640,323619,5789 +Agora/Proposal/validator/unlocking/illegal/with 1 proposals/unlock an irrelevant stake/status: Locked retract votes: True/stake,124055640,323619,5789 +Agora/Proposal/validator/unlocking/illegal/with 1 proposals/unlock an irrelevant stake/status: Locked retract votes: False/stake,124055640,323619,5789 +Agora/Proposal/validator/unlocking/illegal/with 1 proposals/unlock an irrelevant stake/status: Finished retract votes: True/stake,124055640,323619,5789 +Agora/Proposal/validator/unlocking/illegal/with 1 proposals/unlock an irrelevant stake/status: Finished retract votes: False/stake,124055640,323619,5789 +Agora/Proposal/validator/unlocking/illegal/with 1 proposals/remove creator too early/status: Draft/stake,131657472,344523,5805 +Agora/Proposal/validator/unlocking/illegal/with 1 proposals/remove creator too early/status: VotingReady/stake,131657472,344523,5805 +Agora/Proposal/validator/unlocking/illegal/with 1 proposals/remove creator too early/status: Locked/stake,131657472,344523,5805 +Agora/Proposal/validator/unlocking/illegal/with 1 proposals/creator: retract votes/stake,131657472,344523,5803 +"Agora/Proposal/validator/unlocking/illegal/with 5 proposals/retract votes while not voting/role: Voter , status: Draft/stake",282446716,721159,7900 +"Agora/Proposal/validator/unlocking/illegal/with 5 proposals/retract votes while not voting/role: Voter , status: Locked/stake",282446716,721159,7900 +"Agora/Proposal/validator/unlocking/illegal/with 5 proposals/retract votes while not voting/role: Voter , status: Finished/stake",282446716,721159,7900 +"Agora/Proposal/validator/unlocking/illegal/with 5 proposals/retract votes while not voting/role: Creator , status: Draft/stake",275797450,703717,7906 +"Agora/Proposal/validator/unlocking/illegal/with 5 proposals/retract votes while not voting/role: Creator , status: Locked/stake",275797450,703717,7906 +"Agora/Proposal/validator/unlocking/illegal/with 5 proposals/retract votes while not voting/role: Creator , status: Finished/stake",275797450,703717,7906 +"Agora/Proposal/validator/unlocking/illegal/with 5 proposals/retract votes while not voting/role: Both , status: Draft/stake",298602946,766429,7976 +"Agora/Proposal/validator/unlocking/illegal/with 5 proposals/retract votes while not voting/role: Both , status: Locked/stake",298602946,766429,7976 +"Agora/Proposal/validator/unlocking/illegal/with 5 proposals/retract votes while not voting/role: Both , status: Finished/stake",298602946,766429,7976 +"Agora/Proposal/validator/unlocking/illegal/with 5 proposals/retract votes while not voting/role: Irrelevant , status: Draft/stake",259641220,658447,7817 +"Agora/Proposal/validator/unlocking/illegal/with 5 proposals/retract votes while not voting/role: Irrelevant , status: Locked/stake",259641220,658447,7817 +"Agora/Proposal/validator/unlocking/illegal/with 5 proposals/retract votes while not voting/role: Irrelevant , status: Finished/stake",259641220,658447,7817 +Agora/Proposal/validator/unlocking/illegal/with 5 proposals/unlock an irrelevant stake/status: Draft retract votes: True/stake,259641220,658447,7817 +Agora/Proposal/validator/unlocking/illegal/with 5 proposals/unlock an irrelevant stake/status: Draft retract votes: False/stake,259641220,658447,7817 +Agora/Proposal/validator/unlocking/illegal/with 5 proposals/unlock an irrelevant stake/status: VotingReady retract votes: True/stake,259641220,658447,7817 +Agora/Proposal/validator/unlocking/illegal/with 5 proposals/unlock an irrelevant stake/status: VotingReady retract votes: False/stake,259641220,658447,7817 +Agora/Proposal/validator/unlocking/illegal/with 5 proposals/unlock an irrelevant stake/status: Locked retract votes: True/stake,259641220,658447,7817 +Agora/Proposal/validator/unlocking/illegal/with 5 proposals/unlock an irrelevant stake/status: Locked retract votes: False/stake,259641220,658447,7817 +Agora/Proposal/validator/unlocking/illegal/with 5 proposals/unlock an irrelevant stake/status: Finished retract votes: True/stake,259641220,658447,7817 +Agora/Proposal/validator/unlocking/illegal/with 5 proposals/unlock an irrelevant stake/status: Finished retract votes: False/stake,259641220,658447,7817 +Agora/Proposal/validator/unlocking/illegal/with 5 proposals/remove creator too early/status: Draft/stake,282446716,721159,7889 +Agora/Proposal/validator/unlocking/illegal/with 5 proposals/remove creator too early/status: VotingReady/stake,282446716,721159,7889 +Agora/Proposal/validator/unlocking/illegal/with 5 proposals/remove creator too early/status: Locked/stake,282446716,721159,7889 +Agora/Proposal/validator/unlocking/illegal/with 5 proposals/creator: retract votes/stake,282446716,721159,7879 +"Agora/Proposal/validator/unlocking/illegal/with 10 proposals/retract votes while not voting/role: Voter , status: Draft/stake",470933271,1191954,10515 +"Agora/Proposal/validator/unlocking/illegal/with 10 proposals/retract votes while not voting/role: Voter , status: Locked/stake",470933271,1191954,10515 +"Agora/Proposal/validator/unlocking/illegal/with 10 proposals/retract votes while not voting/role: Voter , status: Finished/stake",470933271,1191954,10515 +"Agora/Proposal/validator/unlocking/illegal/with 10 proposals/retract votes while not voting/role: Creator , status: Draft/stake",461435655,1167522,10526 +"Agora/Proposal/validator/unlocking/illegal/with 10 proposals/retract votes while not voting/role: Creator , status: Locked/stake",461435655,1167522,10526 +"Agora/Proposal/validator/unlocking/illegal/with 10 proposals/retract votes while not voting/role: Creator , status: Finished/stake",461435655,1167522,10526 +"Agora/Proposal/validator/unlocking/illegal/with 10 proposals/retract votes while not voting/role: Both , status: Draft/stake",503245731,1282494,10666 +"Agora/Proposal/validator/unlocking/illegal/with 10 proposals/retract votes while not voting/role: Both , status: Locked/stake",503245731,1282494,10666 +"Agora/Proposal/validator/unlocking/illegal/with 10 proposals/retract votes while not voting/role: Both , status: Finished/stake",503245731,1282494,10666 +"Agora/Proposal/validator/unlocking/illegal/with 10 proposals/retract votes while not voting/role: Irrelevant , status: Draft/stake",429123195,1076982,10352 +"Agora/Proposal/validator/unlocking/illegal/with 10 proposals/retract votes while not voting/role: Irrelevant , status: Locked/stake",429123195,1076982,10352 +"Agora/Proposal/validator/unlocking/illegal/with 10 proposals/retract votes while not voting/role: Irrelevant , status: Finished/stake",429123195,1076982,10352 +Agora/Proposal/validator/unlocking/illegal/with 10 proposals/unlock an irrelevant stake/status: Draft retract votes: True/stake,429123195,1076982,10352 +Agora/Proposal/validator/unlocking/illegal/with 10 proposals/unlock an irrelevant stake/status: Draft retract votes: False/stake,429123195,1076982,10352 +Agora/Proposal/validator/unlocking/illegal/with 10 proposals/unlock an irrelevant stake/status: VotingReady retract votes: True/stake,429123195,1076982,10352 +Agora/Proposal/validator/unlocking/illegal/with 10 proposals/unlock an irrelevant stake/status: VotingReady retract votes: False/stake,429123195,1076982,10352 +Agora/Proposal/validator/unlocking/illegal/with 10 proposals/unlock an irrelevant stake/status: Locked retract votes: True/stake,429123195,1076982,10352 +Agora/Proposal/validator/unlocking/illegal/with 10 proposals/unlock an irrelevant stake/status: Locked retract votes: False/stake,429123195,1076982,10352 +Agora/Proposal/validator/unlocking/illegal/with 10 proposals/unlock an irrelevant stake/status: Finished retract votes: True/stake,429123195,1076982,10352 +Agora/Proposal/validator/unlocking/illegal/with 10 proposals/unlock an irrelevant stake/status: Finished retract votes: False/stake,429123195,1076982,10352 +Agora/Proposal/validator/unlocking/illegal/with 10 proposals/remove creator too early/status: Draft/stake,470933271,1191954,10495 +Agora/Proposal/validator/unlocking/illegal/with 10 proposals/remove creator too early/status: VotingReady/stake,470933271,1191954,10495 +Agora/Proposal/validator/unlocking/illegal/with 10 proposals/remove creator too early/status: Locked/stake,470933271,1191954,10495 +Agora/Proposal/validator/unlocking/illegal/with 10 proposals/creator: retract votes/stake,470933271,1191954,10474 +"Agora/Proposal/validator/unlocking/illegal/with 42 proposals/retract votes while not voting/role: Voter , status: Draft/stake",1677247223,4205042,27345 +"Agora/Proposal/validator/unlocking/illegal/with 42 proposals/retract votes while not voting/role: Voter , status: Locked/stake",1677247223,4205042,27345 +"Agora/Proposal/validator/unlocking/illegal/with 42 proposals/retract votes while not voting/role: Voter , status: Finished/stake",1677247223,4205042,27345 +"Agora/Proposal/validator/unlocking/illegal/with 42 proposals/retract votes while not voting/role: Creator , status: Draft/stake",1649520167,4135874,27406 +"Agora/Proposal/validator/unlocking/illegal/with 42 proposals/retract votes while not voting/role: Creator , status: Locked/stake",1649520167,4135874,27406 +"Agora/Proposal/validator/unlocking/illegal/with 42 proposals/retract votes while not voting/role: Creator , status: Finished/stake",1649520167,4135874,27406 +"Agora/Proposal/validator/unlocking/illegal/with 42 proposals/retract votes while not voting/role: Both , status: Draft/stake",1812959555,4585310,28032 +"Agora/Proposal/validator/unlocking/illegal/with 42 proposals/retract votes while not voting/role: Both , status: Locked/stake",1812959555,4585310,28032 +"Agora/Proposal/validator/unlocking/illegal/with 42 proposals/retract votes while not voting/role: Both , status: Finished/stake",1812959555,4585310,28032 +"Agora/Proposal/validator/unlocking/illegal/with 42 proposals/retract votes while not voting/role: Irrelevant , status: Draft/stake",1513807835,3755606,26632 +"Agora/Proposal/validator/unlocking/illegal/with 42 proposals/retract votes while not voting/role: Irrelevant , status: Locked/stake",1513807835,3755606,26632 +"Agora/Proposal/validator/unlocking/illegal/with 42 proposals/retract votes while not voting/role: Irrelevant , status: Finished/stake",1513807835,3755606,26632 +Agora/Proposal/validator/unlocking/illegal/with 42 proposals/unlock an irrelevant stake/status: Draft retract votes: True/stake,1513807835,3755606,26632 +Agora/Proposal/validator/unlocking/illegal/with 42 proposals/unlock an irrelevant stake/status: Draft retract votes: False/stake,1513807835,3755606,26632 +Agora/Proposal/validator/unlocking/illegal/with 42 proposals/unlock an irrelevant stake/status: VotingReady retract votes: True/stake,1513807835,3755606,26632 +Agora/Proposal/validator/unlocking/illegal/with 42 proposals/unlock an irrelevant stake/status: VotingReady retract votes: False/stake,1513807835,3755606,26632 +Agora/Proposal/validator/unlocking/illegal/with 42 proposals/unlock an irrelevant stake/status: Locked retract votes: True/stake,1513807835,3755606,26632 +Agora/Proposal/validator/unlocking/illegal/with 42 proposals/unlock an irrelevant stake/status: Locked retract votes: False/stake,1513807835,3755606,26632 +Agora/Proposal/validator/unlocking/illegal/with 42 proposals/unlock an irrelevant stake/status: Finished retract votes: True/stake,1513807835,3755606,26632 +Agora/Proposal/validator/unlocking/illegal/with 42 proposals/unlock an irrelevant stake/status: Finished retract votes: False/stake,1513807835,3755606,26632 +Agora/Proposal/validator/unlocking/illegal/with 42 proposals/remove creator too early/status: Draft/stake,1677247223,4205042,27260 +Agora/Proposal/validator/unlocking/illegal/with 42 proposals/remove creator too early/status: VotingReady/stake,1677247223,4205042,27260 +Agora/Proposal/validator/unlocking/illegal/with 42 proposals/remove creator too early/status: Locked/stake,1677247223,4205042,27260 +Agora/Proposal/validator/unlocking/illegal/with 42 proposals/creator: retract votes/stake,1677247223,4205042,27176 Agora/AuthorityToken/singleAuthorityTokenBurned/Correct simple,20570665,54655,725 Agora/AuthorityToken/singleAuthorityTokenBurned/Correct many inputs,32757063,87013,825 Agora/Treasury/Validator/Positive/Allows for effect changes,31277082,80782,1450 diff --git a/flake.lock b/flake.lock index 9e4d757..a1097a6 100644 --- a/flake.lock +++ b/flake.lock @@ -11877,16 +11877,16 @@ "plutarch": "plutarch_6" }, "locked": { - "lastModified": 1658175311, - "narHash": "sha256-Wa7OKZGXeVDaruY3NcZ00CfLT0dy3cHp8xsjsCLwhs8=", + "lastModified": 1658368717, + "narHash": "sha256-GAneUtaxaJSZLNkIGOTByx/Auuq1g3MhzBhTiqZ13+s=", "owner": "Liqwid-Labs", "repo": "plutarch-context-builder", - "rev": "62ab154fdcd8dd07a741e7955e078813aff4ed6a", + "rev": "2a2ca72ff310788e531cbbe379ef7b0c4cb42dc9", "type": "github" }, "original": { "owner": "Liqwid-Labs", - "ref": "62ab154fdcd8dd07a741e7955e078813aff4ed6a", + "ref": "2a2ca72ff310788e531cbbe379ef7b0c4cb42dc9", "repo": "plutarch-context-builder", "type": "github" } diff --git a/flake.nix b/flake.nix index 946bb74..a62928b 100644 --- a/flake.nix +++ b/flake.nix @@ -32,7 +32,7 @@ # PCB Rev is locked until Agora test have explicit Minting CS. Check PCB PR #12 inputs.plutarch-context-builder.url = - "github:Liqwid-Labs/plutarch-context-builder?ref=62ab154fdcd8dd07a741e7955e078813aff4ed6a"; + "github:Liqwid-Labs/plutarch-context-builder?ref=2a2ca72ff310788e531cbbe379ef7b0c4cb42dc9"; outputs = inputs@{ self, nixpkgs, nixpkgs-latest, haskell-nix, plutarch, ... }: let From b21135af9e9894714aba22582f06a2611597209b Mon Sep 17 00:00:00 2001 From: SeungheonOh Date: Wed, 3 Aug 2022 23:39:27 +0800 Subject: [PATCH 3/3] update CHANGELOG --- CHANGELOG.md | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 1f73865..c903dc6 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -39,6 +39,23 @@ This format is based on [Keep A Changelog](https://keepachangelog.com/en/1.0.0). - `PProposalRedeemer` - `PTreasuryRedeemer` - `PGovernorDatum` + +### Removed + +- Side-stream utilies into `liqwid-Labs/liqwid-plutarch-extra` + - `Agora.MultiSig`--entire module. + - `scriptHashFromAddress` to `Plutarch.Api.V1.ScriptContext`. + - `findOutputsToAddress` to `Plutarch.Api.V1.ScriptContext`. + - `findTxOutDatum` to `Plutarch.Api.V1.ScriptContext`. + - `hasOnlyOneTokenOfCurrencySymbol` to `Plutarch.Api.V1.Value`. + - `mustBePJust` to `Plutarch.Extra.Maybe`. + - `mustBePDJust` to `Plutarch.Extra.Maybe`. + - `isScriptAddress` to `Plutarch.Api.V1.ScriptContext`. + - `isPubKey` to `Plutarch.Api.V1.ScriptContext`. + - `pisUniqBy'` to `Plutarch.Extra.List`. + - `pisUniq'` to `Plutarch.Extra.List`. + - `pon` to `Plutarch.Extra.Function`. + - `pbuiltinUncurry` to `Plutarch.Extra.Function`. ## 0.1.0 -- 2022-06-22