test: Add a Conway parameter change governance test

Author: sgillespie

cardano-chain-gen/cardano-chain-gen.cabal

@@ -195,6 +195,7 @@ test-suite cardano-chain-gen
                       , esqueleto
                       , extra
                       , filepath
+                      , microlens
                       , silently
                       , stm
                       , strict-stm

cardano-chain-gen/src/Cardano/Mock/Forging/Tx/Conway.hs

@@ -50,6 +50,7 @@ module Cardano.Mock.Forging.Tx.Conway (
   mkRegDelegTxCert,
   mkAddCommitteeTx,
   mkTreasuryWithdrawalTx,
+  mkParamChangeTx,
   mkGovActionProposalTx,
   mkGovVoteTx,
   Babbage.mkParamUpdateTx,
@@ -71,6 +72,7 @@ import Cardano.Ledger.Babbage.TxOut (BabbageEraTxOut, BabbageTxOut (..))
 import Cardano.Ledger.BaseTypes
 import Cardano.Ledger.Binary (Sized (..))
 import Cardano.Ledger.Coin (Coin (..))
+import Cardano.Ledger.Conway.Core (ppuGovActionDepositL)
 import qualified Cardano.Ledger.Conway.Governance as Governance
 import Cardano.Ledger.Conway.Scripts
 import Cardano.Ledger.Conway.Tx (AlonzoTx (..))
@@ -107,6 +109,7 @@ import qualified Data.OSet.Strict as OSet
 import Data.Sequence.Strict (StrictSeq ())
 import qualified Data.Sequence.Strict as StrictSeq
 import qualified Data.Set as Set
+import Lens.Micro ((.~), (^.))
 import Ouroboros.Consensus.Cardano.Block (EraCrypto, LedgerState ())
 import Ouroboros.Consensus.Shelley.Eras (StandardConway (), StandardCrypto ())
 import Ouroboros.Consensus.Shelley.Ledger (ShelleyBlock)
@@ -563,6 +566,15 @@ mkTreasuryWithdrawalTx rewardAccount amount = mkGovActionProposalTx govAction
     withdrawals = Map.singleton rewardAccount amount
     hashProtection = SNothing
 
+mkParamChangeTx ::
+  Core.PParamsUpdate StandardConway ->
+  AlonzoTx StandardConway
+mkParamChangeTx paramsUpdate = mkGovActionProposalTx govAction
+  where
+    govAction = Governance.ParameterChange prevGovAction paramsUpdate hashProtection
+    prevGovAction = SNothing
+    hashProtection = SNothing
+
 mkGovActionProposalTx ::
   Governance.GovAction StandardConway ->
   AlonzoTx StandardConway

cardano-chain-gen/src/Cardano/Mock/Query.hs

@@ -2,6 +2,7 @@
 {-# LANGUAGE TypeApplications #-}
 
 module Cardano.Mock.Query (
+  queryParamFromEpoch,
   queryVersionMajorFromEpoch,
   queryParamProposalFromEpoch,
   queryNullTxDepositExists,
@@ -19,6 +20,18 @@ import Cardano.Prelude hiding (from, on)
 import Database.Esqueleto.Experimental
 import Prelude ()
 
+queryParamFromEpoch ::
+  (MonadIO io, PersistField field) =>
+  EntityField Db.EpochParam field ->
+  Word64 ->
+  ReaderT SqlBackend io (Maybe field)
+queryParamFromEpoch field epochNo = do
+  res <- selectOne $ do
+    prop <- from $ table @Db.EpochParam
+    where_ (prop ^. Db.EpochParamEpochNo ==. val epochNo)
+    pure (prop ^. field)
+  pure $ unValue <$> res
+
 -- | Query protocol parameters from @EpochParam@ by epoch number. Note that epoch
 --   parameters are inserted at the beginning of the next epoch.
 --
@@ -32,12 +45,7 @@ queryVersionMajorFromEpoch ::
   MonadIO io =>
   Word64 ->
   ReaderT SqlBackend io (Maybe Word16)
-queryVersionMajorFromEpoch epochNo = do
-  res <- selectOne $ do
-    prop <- from $ table @Db.EpochParam
-    where_ (prop ^. Db.EpochParamEpochNo ==. val epochNo)
-    pure (prop ^. Db.EpochParamProtocolMajor)
-  pure $ unValue <$> res
+queryVersionMajorFromEpoch = queryParamFromEpoch Db.EpochParamProtocolMajor
 
 -- | Query protocol parameter proposals from @ParamProposal@ by epoch number.
 queryParamProposalFromEpoch ::

cardano-chain-gen/test/Test/Cardano/Db/Mock/Unit/Conway.hs

@@ -221,6 +221,7 @@ unitTests iom knownMigrations =
         , test "new committee member" Governance.newCommittee
         , test "update constitution" Governance.updateConstitution
         , test "treasury withdrawal" Governance.treasuryWithdrawal
+        , test "protocol parameter change" Governance.paramChange
         ]
     ]
   where

cardano-chain-gen/test/Test/Cardano/Db/Mock/Unit/Conway/Governance.hs

@@ -11,6 +11,7 @@
 module Test.Cardano.Db.Mock.Unit.Conway.Governance (
   drepDistr,
   newCommittee,
+  paramChange,
   updateConstitution,
   treasuryWithdrawal,
 ) where
@@ -22,7 +23,8 @@ import Cardano.Ledger.BaseTypes (AnchorData (..), Network (..), hashAnchorData,
 import Cardano.Ledger.Coin (Coin (..))
 import Cardano.Ledger.Conway.Governance (GovActionId (..), GovActionIx (..), Voter (..))
 import qualified Cardano.Ledger.Conway.Governance as Governance
-import Cardano.Ledger.Core (txIdTx)
+import Cardano.Ledger.Conway.PParams (ppuGovActionDepositL)
+import Cardano.Ledger.Core (emptyPParamsUpdate, txIdTx)
 import Cardano.Ledger.Credential (Credential (..))
 import Cardano.Ledger.Keys (KeyHash (..))
 import Cardano.Ledger.SafeHash (SafeToHash (..))
@@ -35,6 +37,8 @@ import qualified Cardano.Mock.Query as Query
 import Cardano.Prelude
 import Cardano.Slotting.Slot (EpochNo (..))
 import Data.Maybe (fromJust)
+import Data.Maybe.Strict (StrictMaybe (..))
+import Lens.Micro
 import qualified Ouroboros.Consensus.Shelley.Eras as Consensus
 import Test.Cardano.Db.Mock.Config
 import qualified Test.Cardano.Db.Mock.UnifiedApi as Api
@@ -252,3 +256,67 @@ treasuryWithdrawal =
       "Unexpected constution voting anchor"
   where
     testLabel = "conwayTreasuryWithdrawal"
+
+paramChange :: IOManager -> [(Text, Text)] -> Assertion
+paramChange =
+  withFullConfig conwayConfigDir testLabel $ \interpreter server dbSync -> do
+    startDBSync dbSync
+
+    -- Add stake
+    void (Api.registerAllStakeCreds interpreter server)
+
+    -- Register a DRep and delegate votes to it
+    void (Api.registerDRepsAndDelegateVotes interpreter server)
+
+    -- DRep distribution is calculated at end of the current epoch
+    epoch0 <- Api.fillUntilNextEpoch interpreter server
+
+    -- Register committee hot credentials
+    -- TODO[sgillespie]: Let's get this in UnifiedApi or something
+    void $
+      Api.withConwayFindLeaderAndSubmit interpreter server $ \_ ->
+        mapM (uncurry Conway.mkCommitteeAuthTx) Forging.bootstrapCommitteeCreds
+
+    -- Create and vote for a governance proposal
+    void $
+      Api.withConwayFindLeaderAndSubmit interpreter server $ \ledger -> do
+        let proposalTx = Conway.mkParamChangeTx newParams
+            newParams =
+              emptyPParamsUpdate & ppuGovActionDepositL .~ SJust (Coin 100)
+
+            addVoteTx =
+              Conway.mkGovVoteTx
+                govActionId
+                ( [ DRepVoter (Prelude.head Forging.unregisteredDRepIds)
+                  , StakePoolVoter (Forging.resolvePool (PoolIndex 0) ledger)
+                  , StakePoolVoter (Forging.resolvePool (PoolIndex 1) ledger)
+                  , StakePoolVoter (Forging.resolvePool (PoolIndex 2) ledger)
+                  ]
+                    ++ map (CommitteeVoter . snd) Forging.bootstrapCommitteeCreds
+                )
+
+            govActionId =
+              GovActionId
+                { gaidTxId = txIdTx proposalTx
+                , gaidGovActionIx = GovActionIx 0
+                }
+
+        pure [proposalTx, addVoteTx]
+
+    -- It takes 2 epochs to enact a proposal--ratification will happen on the next
+    -- epoch and enacted on the following.
+    epoch1 <- Api.fillEpochs interpreter server 2
+
+    -- Wait for it to synch
+    assertBlockNoBackoff dbSync (length (epoch0 <> epoch1) + 4)
+
+    epochNo <- unEpochNo <$> getCurrentEpoch interpreter
+
+    -- Should have updated epoch param
+    assertEqQuery
+      dbSync
+      (join <$> Query.queryParamFromEpoch Db.EpochParamGovActionDeposit epochNo)
+      (Just $ Db.DbWord64 100)
+      "Unexpected constution voting anchor"
+  where
+    testLabel = "conwayParamChange"

cardano-chain-gen/test/testfiles/fingerprint/conwayParamChange

@@ -0,0 +1 @@
+[12,16,18,21,24,30,31,32,33,40,41,42,43,47,52,60,62,70,80,84,86,92,98,100,106,109,110,111,112,127,134,138,146,149,154,166,168,178,183,188,193,194,198,200,202,220,222,223,224,225,231,239,242,247,261,282,283,288,289,301,302,303,308,313,315,316,320,331,334,344,345,363,364,368,369,375,377,381,389,394,407,418,422,425,430,437,438,439,440,447,450,453,454,456,458,461,467,492,499,507,516,524,538,541,544,546,550,567,573,576,577,579,580,586,589,595,597,603,605,609,616,618,619,623,624,634,636,643,644,659,664,665,672,678,692,705,711,712,719,726,730,739,740,743,747,749,751,754,759,762,763,765,767,773,777,786,788,789,794,801,806,807,829,830,832,849,851,853,869,871,874,875,878,882,888,893,895,896,898,899,903,906,908,911,912,913,922,930,932,938,941,944,950,960,963,966,968,972,977,985,986,988,990,991,994,997,1001,1005,1008,1014,1019,1020,1021,1026,1027,1031,1032,1033,1036,1037,1049,1050,1053,1057,1062,1067,1068,1070,1074,1083,1102,1104,1107,1111,1115,1117,1118,1120,1125,1127,1137,1149,1151,1155,1161,1164,1167,1174,1187,1200,1201,1206,1213,1218,1221,1237,1242,1248,1258,1263,1266,1272,1277,1286,1299,1300,1304,1309,1313,1317,1336,1338,1343,1356,1363,1366,1376,1377,1379,1390,1397,1401,1408,1409,1410,1418,1423,1424,1429,1432,1435,1438,1439,1442,1444,1449,1453,1454,1461,1462,1470,1473,1474,1481,1484,1486,1503]