Delete public Cardano.Api.Certificate module and update consumers

The public `Cardano.Api.Certificate` module exists only to re-export
deprecated names. Delete it (and the cabal `exposed-modules` entry, and
the `Cardano.Api` re-export) and migrate every remaining consumer to
`Cardano.Api.Experimental.Certificate`.

Test modules pick up `KESPeriod`, `OperationalCertificate`,
`OperationalCertificateIssueCounter`, `issueOperationalCertificate`,
`AsOperationalCertificate`, `AsOperationalCertificateIssueCounter`,
`DRepMetadata`, `OperationalCertIssueError`, and
`StakePoolMetadataValidationError` from the experimental module
directly. `cardano-wasm` switches its `PoolId` import to the
experimental module. `Cardano.Api.Tx.Internal.Body` swaps its
`Cardano.Api.Certificate` import for the internal module (where the
re-exports still live for now).

`Cardano.Api.Certificate.Internal` itself is unchanged in this commit
— the slim-down happens next.

Author: Jimbo4350

cardano-api/cardano-api.cabal

@@ -72,7 +72,6 @@ library
     Cardano.Api.Address
     Cardano.Api.Block
     Cardano.Api.Byron
-    Cardano.Api.Certificate
     Cardano.Api.Compatible
     Cardano.Api.Compatible.Certificate
     Cardano.Api.Compatible.Tx

cardano-api/gen/Test/Gen/Cardano/Api/Typed.hs

@@ -157,6 +157,12 @@ import Cardano.Api qualified as Api
 import Cardano.Api.Byron qualified as Byron
 import Cardano.Api.Experimental qualified as Exp
 import Cardano.Api.Experimental.AnyScriptWitness
+import Cardano.Api.Experimental.Certificate
+  ( KESPeriod (..)
+  , OperationalCertificate (..)
+  , OperationalCertificateIssueCounter (..)
+  , issueOperationalCertificate
+  )
 import Cardano.Api.Experimental.Plutus qualified as Exp
 import Cardano.Api.Ledger qualified as L
 import Cardano.Api.Parser.Text qualified as P

cardano-api/src/Cardano/Api.hs

@@ -11,9 +11,6 @@ module Cardano.Api
   ( -- * Address
     module Cardano.Api.Address
 
-    -- * Certificate
-  , module Cardano.Api.Certificate
-
     -- * Genesis
   , module Cardano.Api.Genesis
 
@@ -78,7 +75,6 @@ where
 
 import Cardano.Api.Address
 import Cardano.Api.Block
-import Cardano.Api.Certificate
 import Cardano.Api.Consensus
 import Cardano.Api.Era
 import Cardano.Api.Error

cardano-api/src/Cardano/Api/Certificate.hs

@@ -238,7 +238,7 @@ where
 
 import Cardano.Api.Address
 import Cardano.Api.Byron.Internal.Key
-import Cardano.Api.Certificate
+import Cardano.Api.Certificate.Internal
 import Cardano.Api.Era.Internal.Case
 import Cardano.Api.Era.Internal.Core
 import Cardano.Api.Era.Internal.Eon.AllegraEraOnwards

cardano-api/src/Cardano/Api/Tx/Internal/Body.hs

@@ -31,6 +31,10 @@ module Test.Golden.ErrorsSpec
 where
 
 import Cardano.Api
+import Cardano.Api.Experimental.Certificate
+  ( OperationalCertIssueError (..)
+  , StakePoolMetadataValidationError (..)
+  )
 
 import Cardano.Binary as CBOR
 import Cardano.Crypto.Seed qualified as Crypto

cardano-api/test/cardano-api-golden/Test/Golden/ErrorsSpec.hs

@@ -14,6 +14,9 @@ where
 
 import Cardano.Api
 import Cardano.Api.Experimental qualified as Exp
+import Cardano.Api.Experimental.Certificate
+  ( AsType (AsOperationalCertificate, AsOperationalCertificateIssueCounter)
+  )
 import Cardano.Api.Ledger qualified as Ledger
 
 import Cardano.Binary qualified as CBOR

cardano-api/test/cardano-api-test/Test/Cardano/Api/CBOR.hs

@@ -14,7 +14,7 @@ import Cardano.Api
   , FileError
   , readByteStringFile
   )
-import Cardano.Api.Certificate (DRepMetadata (..))
+import Cardano.Api.Experimental.Certificate (DRepMetadata (..))
 import Cardano.Api.Governance (validateGovActionAnchorData)
 
 import Data.ByteString (ByteString)

cardano-api/test/cardano-api-test/Test/Cardano/Api/GovAnchorValidation.hs

@@ -18,15 +18,14 @@ where
 import Cardano.Api
   ( Coin (..)
   , Hash
-  , PoolId
   , StakeKey
   , serialiseToCBOR
   , unStakePoolKeyHash
   )
 import Cardano.Api.Address (StakeCredential (..))
 import Cardano.Api.Experimental (Era (..), obtainCommonConstraints)
 import Cardano.Api.Experimental qualified as Exp
-import Cardano.Api.Experimental.Certificate (Certificate (..))
+import Cardano.Api.Experimental.Certificate (Certificate (..), PoolId)
 import Cardano.Api.Serialise.Raw qualified as Api
 
 import Cardano.Ledger.Api (Delegatee (DelegStake))