Implement Predefined No Confidence DRep test except for last check

palas · palas · commit 6abeb7f58b35 · 2024-04-30T18:13:03.000+02:00
diff --git a/cardano-testnet/test/cardano-testnet-test/Cardano/Testnet/Test/LedgerEvents/Gov/PredefinedAbstainDRep.hs b/cardano-testnet/test/cardano-testnet-test/Cardano/Testnet/Test/LedgerEvents/Gov/PredefinedAbstainDRep.hs
@@ -7,6 +7,10 @@
 
 module Cardano.Testnet.Test.LedgerEvents.Gov.PredefinedAbstainDRep
   ( hprop_check_predefined_abstain_drep
+  , delegateToAutomaticDRep
+  , desiredPoolNumberProposalTest
+  , getDesiredPoolNumberValue
+  , voteChangeProposal
   ) where
 
 import           Cardano.Api as Api
@@ -124,8 +128,25 @@ delegateToAlwaysAbstain
   -> PaymentKeyInfo
   -> StakingKeyPair
   -> m ()
-delegateToAlwaysAbstain execConfig epochStateView configurationFile socketPath sbe work prefix
-                        payingWallet skeyPair@(StakingKeyPair vKeyFile _sKeyFile) = do
+delegateToAlwaysAbstain execConfig epochStateView configurationFile socketPath sbe work prefix =
+  delegateToAutomaticDRep execConfig epochStateView configurationFile socketPath sbe work prefix
+                          "--always-abstain"
+
+delegateToAutomaticDRep
+  :: (MonadTest m, MonadIO m, H.MonadAssertion m, MonadCatch m)
+  => H.ExecConfig
+  -> EpochStateView
+  -> FilePath
+  -> FilePath
+  -> ShelleyBasedEra ConwayEra
+  -> FilePath
+  -> String
+  -> String
+  -> PaymentKeyInfo
+  -> StakingKeyPair
+  -> m ()
+delegateToAutomaticDRep execConfig epochStateView configurationFile socketPath sbe work prefix
+                        flag payingWallet skeyPair@(StakingKeyPair vKeyFile _sKeyFile) = do
 
   let era = toCardanoEra sbe
       cEra = AnyCardanoEra era
@@ -136,7 +157,7 @@ delegateToAlwaysAbstain execConfig epochStateView configurationFile socketPath s
   let voteDelegationCertificatePath = baseDir </> "delegation-certificate.delegcert"
   void $ H.execCli' execConfig
     [ "conway", "stake-address", "vote-delegation-certificate"
-    , "--always-abstain"
+    , flag
     , "--stake-verification-key-file", vKeyFile
     , "--out-file", voteDelegationCertificatePath
     ]
diff --git a/cardano-testnet/test/cardano-testnet-test/Cardano/Testnet/Test/LedgerEvents/Gov/PredefinedNoConfidenceDRep.hs b/cardano-testnet/test/cardano-testnet-test/Cardano/Testnet/Test/LedgerEvents/Gov/PredefinedNoConfidenceDRep.hs
@@ -1,21 +1,42 @@
+{-# LANGUAGE BangPatterns #-}
 {-# LANGUAGE DataKinds #-}
 {-# LANGUAGE NamedFieldPuns #-}
 {-# LANGUAGE OverloadedStrings #-}
 {-# LANGUAGE ScopedTypeVariables #-}
+{-# LANGUAGE TypeApplications #-}
 
 module Cardano.Testnet.Test.LedgerEvents.Gov.PredefinedNoConfidenceDRep
   ( hprop_check_predefined_no_confidence_drep
   ) where
 
 import           Cardano.Api as Api
+import           Cardano.Api.Error (displayError)
 
 import           Cardano.Testnet
+import           Cardano.Testnet.Test.LedgerEvents.Gov.PredefinedAbstainDRep
+                   (delegateToAutomaticDRep, desiredPoolNumberProposalTest,
+                   getDesiredPoolNumberValue, voteChangeProposal)
 
 import           Prelude
 
+import           Control.Monad (void)
+import           Control.Monad.Catch (MonadCatch)
+import qualified Data.Aeson as Aeson
+import qualified Data.Aeson.Lens as AL
+import qualified Data.ByteString.Lazy.Char8 as LBS
+import           Data.String (fromString)
+import           Data.Text (Text)
+import qualified Data.Text as Text
+import           Data.Word (Word32)
+import           GHC.Stack (callStack)
+import           Lens.Micro ((^?))
 import           System.FilePath ((</>))
 
-import           Testnet.Components.Query (getEpochStateView)
+import           Testnet.Components.DReps (retrieveTransactionId, signTx, submitTx)
+import           Testnet.Components.Query (EpochStateView, findLargestUtxoForPaymentKey,
+                   getCurrentEpochNo, getEpochStateView, getMinDRepDeposit)
+import           Testnet.Defaults (defaultDelegatorStakeKeyPair)
+import qualified Testnet.Process.Cli as P
 import qualified Testnet.Process.Run as H
 import qualified Testnet.Property.Utils as H
 import           Testnet.Runtime
@@ -36,7 +57,8 @@ hprop_check_predefined_no_confidence_drep = H.integrationWorkspace "test-activit
   work <- H.createDirectoryIfMissing $ tempAbsPath' </> "work"
 
   -- Create default testnet with 3 DReps and 3 stake holders delegated, one to each DRep.
-  let sbe = ShelleyBasedEraConway
+  let ceo = ConwayEraOnwardsConway
+      sbe = conwayEraOnwardsToShelleyBasedEra ceo
       era = toCardanoEra sbe
       cEra = AnyCardanoEra era
       fastTestnetOptions = cardanoDefaultTestnetOptions
@@ -48,20 +70,20 @@ hprop_check_predefined_no_confidence_drep = H.integrationWorkspace "test-activit
   testnetRuntime@TestnetRuntime
     { testnetMagic
     , poolNodes
-    , wallets=_wallet0:_wallet1:_wallet2:_
+    , wallets=wallet0:wallet1:wallet2:_
     , configurationFile
     }
     <- cardanoTestnetDefault fastTestnetOptions conf
 
   poolNode1 <- H.headM poolNodes
   poolSprocket1 <- H.noteShow $ nodeSprocket $ poolRuntime poolNode1
-  _execConfig <- H.mkExecConfig tempBaseAbsPath poolSprocket1 testnetMagic
+  execConfig <- H.mkExecConfig tempBaseAbsPath poolSprocket1 testnetMagic
 
   let socketName' = IO.sprocketName poolSprocket1
       socketBase = IO.sprocketBase poolSprocket1 -- /tmp
       socketPath = socketBase </> socketName'
 
-  _epochStateView <- getEpochStateView (File configurationFile) (File socketPath)
+  epochStateView <- getEpochStateView (File configurationFile) (File socketPath)
 
   startLedgerNewEpochStateLogging testnetRuntime tempAbsPath'
 
@@ -70,17 +92,207 @@ hprop_check_predefined_no_confidence_drep = H.integrationWorkspace "test-activit
   H.note_ $ "Socketpath: " <> socketPath
   H.note_ $ "Foldblocks config file: " <> configurationFile
 
-  _gov <- H.createDirectoryIfMissing $ work </> "governance"
+  gov <- H.createDirectoryIfMissing $ work </> "governance"
 
-  -- ToDo: Do some proposal and vote yes with all the DReps.
-  -- ToDo: ASSERT: that proposal passes.
-  -- ToDo: Take the last two stake delegators and delegate them to "No Confidence".
-  -- ToDo: This can be done using cardano-cli conway stake-address vote-delegation-certificate --always-no-confidence
-  -- ToDo: Do some other proposal and vote yes with all the DReps.
-  -- ToDo: ASSERT: the new proposal does NOT pass.
-  -- ToDo: Create a no confidence proposal.
-  -- ToDo: This can be done using cardano-cli conway governance action create-no-confidence
-  -- ToDo: Vote no to the no confidence proposal with all DReps.
-  -- ToDo: ASSERT: the no confidence proposal passes.
+  -- Do some proposal and vote yes with all the DReps
+  -- and assert that proposal passes.
+  initialDesiredNumberOfPools <- getDesiredPoolNumberValue execConfig
 
-  success
+  let newNumberOfDesiredPools = fromIntegral (initialDesiredNumberOfPools + 1)
+
+  firstProposalInfo <- desiredPoolNumberProposalTest execConfig epochStateView configurationFile socketPath ceo gov "firstProposal"
+                                                     wallet0 Nothing [(3, "yes")] newNumberOfDesiredPools newNumberOfDesiredPools 3
+
+  -- Take the last two stake delegators and delegate them to "No Confidence".
+  delegateToAlwaysNoConfidence execConfig epochStateView configurationFile socketPath sbe gov "delegateToAbstain1"
+                               wallet1 (defaultDelegatorStakeKeyPair 2)
+  delegateToAlwaysNoConfidence execConfig epochStateView configurationFile socketPath sbe gov "delegateToAbstain2"
+                               wallet1 (defaultDelegatorStakeKeyPair 3)
+
+  -- Do some other proposal and vote yes with all the DReps
+  -- and assert the new proposal does NOT pass
+  let newNumberOfDesiredPools2 = fromIntegral (newNumberOfDesiredPools + 1)
+
+  void $ desiredPoolNumberProposalTest execConfig epochStateView configurationFile socketPath ceo gov "secondProposal"
+                                       wallet2 (Just firstProposalInfo) [(3, "yes")] newNumberOfDesiredPools2 newNumberOfDesiredPools 3
+
+  -- Create a no confidence proposal and vote "no" to the proposal with all DReps.
+  -- Assert the no confidence proposal passes.
+  void $ testNoConfidenceProposal execConfig epochStateView configurationFile socketPath ceo work "noConfidenceProposal"
+                                  wallet0 firstProposalInfo [(3, "no")] 3
+
+delegateToAlwaysNoConfidence
+  :: (MonadTest m, MonadIO m, H.MonadAssertion m, MonadCatch m)
+  => H.ExecConfig
+  -> EpochStateView
+  -> FilePath
+  -> FilePath
+  -> ShelleyBasedEra ConwayEra
+  -> FilePath
+  -> String
+  -> PaymentKeyInfo
+  -> StakingKeyPair
+  -> m ()
+delegateToAlwaysNoConfidence execConfig epochStateView configurationFile socketPath sbe work prefix =
+  delegateToAutomaticDRep execConfig epochStateView configurationFile socketPath sbe work prefix
+                          "--always-no-confidence"
+
+testNoConfidenceProposal
+  :: (MonadTest m, MonadIO m, H.MonadAssertion m, MonadCatch m, Foldable t)
+  => H.ExecConfig
+  -> EpochStateView
+  -> FilePath
+  -> FilePath
+  -> ConwayEraOnwards ConwayEra
+  -> FilePath
+  -> FilePath
+  -> PaymentKeyInfo
+  -> (String, Word32)
+  -> t (Int, String)
+  -> Integer
+  -> m (String, Word32)
+testNoConfidenceProposal execConfig epochStateView configurationFile socketPath ceo work prefix
+                         wallet previousProposalInfo votes epochsToWait = do
+
+  let sbe = conwayEraOnwardsToShelleyBasedEra ceo
+  baseDir <- H.createDirectoryIfMissing $ work </> prefix
+
+  let propVotes :: [(String, Int)]
+      propVotes = zip (concatMap (uncurry replicate) votes) [1..]
+  annotateShow propVotes
+
+  thisProposal@(governanceActionTxId, governanceActionIndex) <-
+    makeNoConfidenceProposal execConfig epochStateView (File configurationFile) (File socketPath)
+                             ceo baseDir "proposal" previousProposalInfo wallet
+
+  voteChangeProposal execConfig epochStateView sbe baseDir "vote"
+                     governanceActionTxId governanceActionIndex propVotes wallet
+
+  -- Wait two epochs
+  (EpochNo epochAfterProp) <- getCurrentEpochNo epochStateView
+  H.note_ $ "Epoch after \"" <> prefix <> "\" prop: " <> show epochAfterProp
+  void $ waitUntilEpoch (File configurationFile) (File socketPath) (EpochNo (epochAfterProp + fromIntegral epochsToWait))
+
+  -- We check that no confidence proposal passes
+  obtainedProposalId <- getLastEnactedCommitteeActionId execConfig
+  obtainedProposalId === thisProposal
+
+  return thisProposal
+
+getLastEnactedCommitteeActionId :: (MonadTest m, MonadCatch m, MonadIO m) => H.ExecConfig -> m (String, Word32)
+getLastEnactedCommitteeActionId execConfig = do
+  govStateString <- H.execCli' execConfig
+    [ "conway", "query", "gov-state"
+    , "--volatile-tip"
+    ]
+
+  govStateJSON <- H.nothingFail (Aeson.decode (LBS.pack govStateString) :: Maybe Aeson.Value)
+
+  let mLastCommitteeAction :: Maybe Aeson.Value
+      mLastCommitteeAction = govStateJSON
+                               ^? AL.key "nextRatifyState"
+                                . AL.key "nextEnactState"
+                                . AL.key "prevGovActionIds"
+                                . AL.key "Committee"
+
+  lastCommitteeAction <- evalMaybe mLastCommitteeAction
+
+  let mLastCommitteeActionIx :: Maybe Integer
+      mLastCommitteeActionIx = lastCommitteeAction ^? AL.key "govActionIx"
+                                                    . AL._Integer
+
+  lastCommitteeActionIx <- fromIntegral <$> evalMaybe mLastCommitteeActionIx
+
+  let mLastCommitteeActionTxId :: Maybe Text
+      mLastCommitteeActionTxId = lastCommitteeAction ^? AL.key "txId"
+                                                      . AL._String
+
+  lastCommitteeActionTxId <- Text.unpack <$> evalMaybe mLastCommitteeActionTxId
+
+  return (lastCommitteeActionTxId, lastCommitteeActionIx)
+
+makeNoConfidenceProposal
+  :: (H.MonadAssertion m, MonadTest m, MonadCatch m, MonadIO m)
+  => H.ExecConfig
+  -> EpochStateView
+  -> NodeConfigFile 'In
+  -> SocketPath
+  -> ConwayEraOnwards ConwayEra
+  -> FilePath
+  -> String
+  -> (String, Word32)
+  -> PaymentKeyInfo
+  -> m (String, Word32)
+makeNoConfidenceProposal execConfig epochStateView configurationFile socketPath
+                         ceo work prefix (prevGovernanceActionTxId, prevGovernanceActionIndex) wallet = do
+
+  let sbe = conwayEraOnwardsToShelleyBasedEra ceo
+      era = toCardanoEra sbe
+      cEra = AnyCardanoEra era
+
+  baseDir <- H.createDirectoryIfMissing $ work </> prefix
+
+  let stakeVkeyFp = baseDir </> "stake.vkey"
+      stakeSKeyFp = baseDir </> "stake.skey"
+
+  _ <- P.cliStakeAddressKeyGen baseDir
+         $ P.KeyNames { P.verificationKeyFile = stakeVkeyFp
+                      , P.signingKeyFile = stakeSKeyFp
+                      }
+
+  proposalAnchorFile <- H.note $ baseDir </> "sample-proposal-anchor"
+  H.writeFile proposalAnchorFile "dummy anchor data"
+
+  proposalAnchorDataHash <- H.execCli' execConfig
+    [ "conway", "governance"
+    , "hash", "anchor-data", "--file-text", proposalAnchorFile
+    ]
+
+  minDRepDeposit <- getMinDRepDeposit epochStateView ceo
+
+  proposalFile <- H.note $ baseDir </> "sample-proposal-file"
+
+  void $ H.execCli' execConfig $
+    [ "conway", "governance", "action", "create-no-confidence"
+    , "--testnet"
+    , "--governance-action-deposit", show @Integer minDRepDeposit
+    , "--deposit-return-stake-verification-key-file", stakeVkeyFp
+    , "--prev-governance-action-tx-id", prevGovernanceActionTxId
+    , "--prev-governance-action-index", show prevGovernanceActionIndex
+    , "--anchor-url", "https://tinyurl.com/3wrwb2as"
+    , "--anchor-data-hash", proposalAnchorDataHash
+    , "--out-file", proposalFile
+    ]
+
+  proposalBody <- H.note $ baseDir </> "tx.body"
+  txIn <- findLargestUtxoForPaymentKey epochStateView sbe wallet
+
+  void $ H.execCli' execConfig
+    [ "conway", "transaction", "build"
+    , "--change-address", Text.unpack $ paymentKeyInfoAddr wallet
+    , "--tx-in", Text.unpack $ renderTxIn txIn
+    , "--proposal-file", proposalFile
+    , "--out-file", proposalBody
+    ]
+
+  signedProposalTx <- signTx execConfig cEra baseDir "signed-proposal"
+                             (File proposalBody) [paymentKeyInfoPair wallet]
+
+  submitTx execConfig cEra signedProposalTx
+
+  governanceActionTxId <- retrieveTransactionId execConfig signedProposalTx
+
+  !propSubmittedResult <- findCondition (maybeExtractGovernanceActionIndex sbe (fromString governanceActionTxId))
+                                        (unFile configurationFile)
+                                        (unFile socketPath)
+                                        (EpochNo 30)
+
+  governanceActionIndex <- case propSubmittedResult of
+                             Left e ->
+                               H.failMessage callStack
+                                 $ "findCondition failed with: " <> displayError e
+                             Right Nothing ->
+                               H.failMessage callStack "Couldn't find proposal."
+                             Right (Just a) -> return a
+
+  return (governanceActionTxId, governanceActionIndex)
