Add the "ratify-state" query

cardano-cli/src/Cardano/CLI/EraBased/Commands/Query.hs

@@ -65,6 +65,7 @@ data QueryCmds era
   | QueryRefScriptSizeCmd !QueryRefScriptSizeCmdArgs
   | QueryConstitutionCmd !(QueryNoArgCmdArgs era)
   | QueryGovStateCmd !(QueryNoArgCmdArgs era)
+  | QueryRatifyStateCmd !(QueryNoArgCmdArgs era)
   | QueryDRepStateCmd !(QueryDRepStateCmdArgs era)
   | QueryDRepStakeDistributionCmd !(QueryDRepStakeDistributionCmdArgs era)
   | QuerySPOStakeDistributionCmd !(QuerySPOStakeDistributionCmdArgs era)
@@ -291,6 +292,8 @@ renderQueryCmds = \case
     "constitution"
   QueryGovStateCmd{} ->
     "gov-state"
+  QueryRatifyStateCmd{} ->
+    "ratify-state"
   QueryDRepStateCmd{} ->
     "drep-state"
   QueryDRepStakeDistributionCmd{} ->

cardano-cli/src/Cardano/CLI/EraBased/Options/Query.hs

@@ -289,6 +289,7 @@ pQueryCmds era envCli =
         $ Opt.progDesc "Calculate the reference input scripts size in bytes for provided transaction inputs."
     , pQueryGetConstitutionCmd era envCli
     , pQueryGetGovStateCmd era envCli
+    , pQueryGetRatifyStateCmd era envCli
     , pQueryDRepStateCmd era envCli
     , pQueryDRepStakeDistributionCmd era envCli
     , pQuerySPOStakeDistributionCmd era envCli
@@ -500,6 +501,18 @@ pQueryGetGovStateCmd era envCli = do
       Opt.info (QueryGovStateCmd <$> pQueryNoArgCmdArgs w envCli) $
         Opt.progDesc "Get the governance state"
 
+pQueryGetRatifyStateCmd
+  :: ()
+  => ShelleyBasedEra era
+  -> EnvCli
+  -> Maybe (Parser (QueryCmds era))
+pQueryGetRatifyStateCmd era envCli = do
+  w <- forShelleyBasedEraMaybeEon era
+  pure $
+    subParser "ratify-state" $
+      Opt.info (QueryRatifyStateCmd <$> pQueryNoArgCmdArgs w envCli) $
+        Opt.progDesc "Get the ratification state"
+
 -- TODO Conway: DRep State and DRep Stake Distribution parsers use DRep keys to obtain DRep credentials. This only
 -- makes use of 'KeyHashObj' constructor of 'Credential kr c'. Should we also support here 'ScriptHashObj'?
 -- What about 'DRep c' - this means that only 'KeyHash' constructor is in use here: should also

cardano-cli/src/Cardano/CLI/EraBased/Run/Query.hs

@@ -114,6 +114,7 @@ runQueryCmds = \case
   Cmd.QueryRefScriptSizeCmd args -> runQueryRefScriptSizeCmd args
   Cmd.QueryConstitutionCmd args -> runQueryConstitution args
   Cmd.QueryGovStateCmd args -> runQueryGovState args
+  Cmd.QueryRatifyStateCmd args -> runQueryRatifyState args
   Cmd.QueryDRepStateCmd args -> runQueryDRepState args
   Cmd.QueryDRepStakeDistributionCmd args -> runQueryDRepStakeDistribution args
   Cmd.QuerySPOStakeDistributionCmd args -> runQuerySPOStakeDistribution args
@@ -1562,6 +1563,22 @@ runQueryGovState
     govState <- runQuery nodeConnInfo target $ queryGovState eon
     writeOutput mOutFile govState
 
+runQueryRatifyState
+  :: Cmd.QueryNoArgCmdArgs era
+  -> ExceptT QueryCmdError IO ()
+runQueryRatifyState
+  Cmd.QueryNoArgCmdArgs
+    { Cmd.eon
+    , Cmd.commons =
+      Cmd.QueryCommons
+        { Cmd.nodeConnInfo
+        , Cmd.target
+        }
+    , Cmd.mOutFile
+    } = conwayEraOnwardsConstraints eon $ do
+    ratifyState <- runQuery nodeConnInfo target $ queryRatifyState eon
+    writeOutput mOutFile ratifyState
+
 runQueryDRepState
   :: Cmd.QueryDRepStateCmdArgs era
   -> ExceptT QueryCmdError IO ()