test(cardano-chain-gen): Add a "new constitution" Conway test

Author: sgillespie

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

@@ -33,6 +33,8 @@ module Cardano.Mock.Forging.Tx.Conway (
   mkMultiAssetsScriptTx,
   mkDepositTxPools,
   mkRegisterDRepTx,
+  mkCommitteeAuthTx,
+  mkNewConstitutionTx,
   mkDummyRegisterTx,
   mkDummyTxBody,
   mkTxDelegCert,
@@ -452,6 +454,14 @@ mkRegisterDRepTx cred = mkDCertTx [cert] (Withdrawals mempty) Nothing
     cert = ConwayTxCertGov (ConwayRegDRep cred deposit SNothing)
     deposit = Coin 500_000_000
 
+mkCommitteeAuthTx ::
+  Credential 'ColdCommitteeRole StandardCrypto ->
+  Credential 'HotCommitteeRole StandardCrypto ->
+  Either ForgingError (AlonzoTx StandardConway)
+mkCommitteeAuthTx cold hot = mkDCertTx [cert] (Withdrawals mempty) Nothing
+  where
+    cert = ConwayTxCertGov (ConwayAuthCommitteeHotKey cold hot)
+
 mkDummyRegisterTx :: Int -> Int -> Either ForgingError (AlonzoTx StandardConway)
 mkDummyRegisterTx n m = mkDCertTx consDelegCert (Withdrawals mempty) Nothing
   where
@@ -504,6 +514,14 @@ mkAddCommitteeTx cred = mkGovActionProposalTx govAction
     newMembers = Map.singleton cred (EpochNo 20)
     threshold = fromJust $ boundRational (1 % 1)
 
+mkNewConstitutionTx ::
+  Anchor StandardCrypto ->
+  AlonzoTx StandardConway
+mkNewConstitutionTx anchor = mkGovActionProposalTx govAction
+  where
+    govAction = Governance.NewConstitution SNothing constitution
+    constitution = Governance.Constitution anchor SNothing
+
 mkGovActionProposalTx ::
   Governance.GovAction StandardConway ->
   AlonzoTx StandardConway

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

@@ -264,12 +264,28 @@ registeredShelleyGenesisKeys =
   , KeyHash "471cc34983f6a2fd7b4018e3147532185d69a448d6570d46019e58e6"
   ]
 
-bootstrapCommitteeCreds :: [Credential 'ColdCommitteeRole StandardCrypto]
+bootstrapCommitteeCreds ::
+  [ ( Credential 'ColdCommitteeRole StandardCrypto
+    , Credential 'HotCommitteeRole StandardCrypto
+    )
+  ]
 bootstrapCommitteeCreds =
-  [ KeyHashObj $ KeyHash "2c698e41831684b16477fb50082b0c0e396d436504e39037d5366582"
-  , KeyHashObj $ KeyHash "8fc13431159fdda66347a38c55105d50d77d67abc1c368b876d52ad1"
-  , KeyHashObj $ KeyHash "921e1ccb4812c4280510c9ccab81c561f3d413e7d744d48d61215d1f"
-  , KeyHashObj $ KeyHash "d5d09d9380cf9dcde1f3c6cd88b08ca9e00a3d550022ca7ee4026342"
+  [
+    ( ScriptHashObj $ ScriptHash "2c698e41831684b16477fb50082b0c0e396d436504e39037d5366582"
+    , KeyHashObj $ KeyHash "583a4c8d5f9b3769f98135a2cc041a3118586bd5c74ca72e808af73b"
+    )
+  ,
+    ( ScriptHashObj $ ScriptHash "8fc13431159fdda66347a38c55105d50d77d67abc1c368b876d52ad1"
+    , KeyHashObj $ KeyHash "39c898a713b67e7e0ed2345753db246f0d812669445488943a9f851e"
+    )
+  ,
+    ( ScriptHashObj $ ScriptHash "921e1ccb4812c4280510c9ccab81c561f3d413e7d744d48d61215d1f"
+    , KeyHashObj $ KeyHash "7cad8428ef51c1eb1f916be74e43ad49fd022482484a770d43b003ea"
+    )
+  ,
+    ( ScriptHashObj $ ScriptHash "d5d09d9380cf9dcde1f3c6cd88b08ca9e00a3d550022ca7ee4026342"
+    , KeyHashObj $ KeyHash "ca283340187f1b87e871d903c0178ddfbf4aa896a398787ceba20f98"
+    )
   ]
 
 unregisteredDRepIds :: [Credential 'DRepRole StandardCrypto]

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

@@ -9,6 +9,7 @@ module Cardano.Mock.Query (
   queryTxMetadataCount,
   queryDRepDistrAmount,
   queryGovActionCounts,
+  queryConstitutionAnchor,
 ) where
 
 import qualified Cardano.Db as Db
@@ -114,3 +115,27 @@ queryGovActionCounts = do
         pure countRows
 
       pure (maybe 0 unValue res)
+
+queryConstitutionAnchor ::
+  MonadIO io =>
+  Word64 ->
+  ReaderT SqlBackend io (Maybe (Text, ByteString))
+queryConstitutionAnchor epochNo = do
+  res <- selectOne $ do
+    (_ :& anchor :& epochState) <-
+      from
+        $ table @Db.Constitution
+          `innerJoin` table @Db.VotingAnchor
+        `on` ( \(constit :& anchor) ->
+                (constit ^. Db.ConstitutionVotingAnchorId) ==. (anchor ^. Db.VotingAnchorId)
+             )
+          `innerJoin` table @Db.EpochState
+        `on` ( \(constit :& _ :& epoch) ->
+                just (constit ^. Db.ConstitutionId) ==. (epoch ^. Db.EpochStateConstitutionId)
+             )
+
+    where_ (epochState ^. Db.EpochStateEpochNo ==. val epochNo)
+
+    pure (anchor ^. Db.VotingAnchorUrl, anchor ^. Db.VotingAnchorDataHash)
+
+  pure $ bimap (Db.unVoteUrl . unValue) unValue <$> res

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

@@ -219,6 +219,7 @@ unitTests iom knownMigrations =
         "Governance"
         [ test "drep distribution" Governance.drepDistr
         , test "new committee member" Governance.newCommittee
+        , test "update constitution" Governance.updateConstitution
         ]
     ]
   where

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

@@ -1,23 +1,32 @@
 {-# LANGUAGE DataKinds #-}
 {-# LANGUAGE NumericUnderscores #-}
 {-# LANGUAGE OverloadedStrings #-}
+{-# LANGUAGE TypeApplications #-}
 
 module Test.Cardano.Db.Mock.Unit.Conway.Governance (
   drepDistr,
   newCommittee,
+  updateConstitution,
 ) where
 
 import Cardano.DbSync.Era.Shelley.Generic.Util (unCredentialHash)
+import Cardano.Ledger.BaseTypes (AnchorData (..), hashAnchorData, textToUrl)
 import Cardano.Ledger.Conway.Governance (GovActionId (..), GovActionIx (..), Voter (..))
+import qualified Cardano.Ledger.Conway.Governance as Governance
 import Cardano.Ledger.Core (txIdTx)
 import Cardano.Ledger.Credential (Credential (..))
 import Cardano.Ledger.Keys (KeyHash (..))
+import Cardano.Ledger.SafeHash (SafeToHash (..))
 import Cardano.Mock.ChainSync.Server (IOManager)
+import Cardano.Mock.Forging.Interpreter (getCurrentEpoch)
 import qualified Cardano.Mock.Forging.Tx.Conway as Conway
 import qualified Cardano.Mock.Forging.Tx.Generic as Forging
 import Cardano.Mock.Forging.Types
 import qualified Cardano.Mock.Query as Query
 import Cardano.Prelude
+import Cardano.Slotting.Slot (EpochNo (..))
+import Data.Maybe (fromJust)
+import qualified Ouroboros.Consensus.Shelley.Eras as Consensus
 import Test.Cardano.Db.Mock.Config
 import qualified Test.Cardano.Db.Mock.UnifiedApi as Api
 import Test.Cardano.Db.Mock.Validate
@@ -104,3 +113,65 @@ newCommittee =
       "Unexpected committee hashes"
   where
     testLabel = "conwayNewCommittee"
+
+updateConstitution :: IOManager -> [(Text, Text)] -> Assertion
+updateConstitution =
+  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
+    void $
+      Api.withConwayFindLeaderAndSubmit interpreter server $ \_ ->
+        mapM (uncurry Conway.mkCommitteeAuthTx) Forging.bootstrapCommitteeCreds
+
+    let newUrl = fromJust (textToUrl 64 "constitution.new")
+        dataHash = hashAnchorData @Consensus.StandardCrypto (AnchorData "constitution content")
+        anchor = Governance.Anchor newUrl dataHash
+
+    -- Create and vote for a governance proposal
+    void $
+      Api.withConwayFindLeaderAndSubmit interpreter server $ \_ -> do
+        let
+          -- Create gov action tx
+          proposalTx = Conway.mkNewConstitutionTx anchor
+
+          -- Create votes
+          addVoteTx =
+            Conway.mkGovVoteTx
+              govActionId
+              ( DRepVoter (Prelude.head Forging.unregisteredDRepIds)
+                  : 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 sync
+    assertBlockNoBackoff dbSync (length (epoch0 <> epoch1) + 4)
+
+    -- Constitution should now be updated
+    (EpochNo epochNo) <- getCurrentEpoch interpreter
+    assertEqQuery
+      dbSync
+      (Query.queryConstitutionAnchor epochNo)
+      (Just ("constitution.new", originalBytes dataHash))
+      "Unexpected constution voting anchor"
+  where
+    testLabel = "conwayUpdateConstitution"

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

@@ -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,1504]