Add Conway governance constraints to experimental constraints

Author: carbolymer

.changes/20260424_cardano_api_add_conway_gov_to_common_constraints.yml

@@ -0,0 +1,6 @@
+project: cardano-api
+pr: 0
+kind:
+  - compatible
+description: |
+  Add ConwayEraGov, ConwayEraCertState, and GovState ~ ConwayGovState type equality to EraCommonConstraints. Both Conway and Dijkstra satisfy these constraints, so obtainCommonConstraints now provides governance-related constraints without needing conwayEraOnwardsConstraints.

cardano-api/src/Cardano/Api/Experimental/Era.hs

@@ -53,6 +53,8 @@ import Cardano.Ledger.Alonzo.Plutus.Context qualified as L
 import Cardano.Ledger.Api qualified as L
 import Cardano.Ledger.BaseTypes (Inject (..))
 import Cardano.Ledger.Conway qualified as Ledger
+import Cardano.Ledger.Conway.Governance qualified as L
+import Cardano.Ledger.Conway.State qualified as L
 import Cardano.Ledger.Core qualified as Ledger
 import Cardano.Ledger.Hashes qualified as L
 import Cardano.Ledger.State qualified as L
@@ -303,6 +305,8 @@ type EraCommonConstraints era =
   , L.AlonzoEraTx (LedgerEra era)
   , L.BabbageEraPParams (LedgerEra era)
   , L.BabbageEraTxBody (LedgerEra era)
+  , L.ConwayEraCertState (LedgerEra era)
+  , L.ConwayEraGov (LedgerEra era)
   , L.ConwayEraTxBody (LedgerEra era)
   , L.ConwayEraTxCert (LedgerEra era)
   , L.Era (LedgerEra era)
@@ -314,6 +318,7 @@ type EraCommonConstraints era =
   , L.EraUTxO (LedgerEra era)
   , HasTypeProxy era
   , Ord (L.PlutusPurpose L.AsIx (LedgerEra era))
+  , L.GovState (LedgerEra era) ~ L.ConwayGovState (LedgerEra era)
   , L.ScriptsNeeded (LedgerEra era) ~ L.AlonzoScriptsNeeded (LedgerEra era)
   , L.Val (L.Value (LedgerEra era))
   , L.Value (LedgerEra era) ~ L.MaryValue