Integrate cardano-api 11.7.0.0

.changes/20260904_074500_cardano-cli_mgalazyn_integrate_cardano_api_11_7_0_0.yml

@@ -0,0 +1,6 @@
+description: |
+  Update cardano-api to 11.7.0.0, fixing plutus redeemer pointer indexing in transaction building: proposal pointers now follow the transaction's insertion order and certificate pointers count unwitnessed certificates.
+kind:
+- bugfix
+pr: 1440
+project: cardano-cli

cabal.project

@@ -14,7 +14,7 @@ repository cardano-haskell-packages
 -- you need to run if you change them
 index-state:
   , hackage.haskell.org 2026-07-30T07:30:12Z
-  , cardano-haskell-packages 2026-09-02T08:49:12Z
+  , cardano-haskell-packages 2026-09-04T06:57:08Z
 
 packages:
   cardano-cli

cardano-cli/cardano-cli.cabal

@@ -246,7 +246,7 @@ library
     binary,
     bytestring,
     canonical-json,
-    cardano-api ^>=11.6,
+    cardano-api ^>=11.7,
     cardano-binary,
     cardano-crypto,
     cardano-crypto-class ^>=2.5,

cardano-cli/src/Cardano/CLI/Compatible/Transaction/Run.hs

@@ -194,8 +194,8 @@ readCertificateScriptWitnessSbe sbe (AnyNonAssetScriptPlutus plutusReq) =
               redeemer
               execUnits
 
--- | Create 'TxCertificates'. Note that 'Certificate era' will be deduplicated. Only Certificates with a
--- stake credential will be in the result.
+-- | Create 'TxCertificates'. Note that 'Certificate era' will be deduplicated. A witness is attached
+-- only to certificates which require one.
 --
 -- Note that, when building a transaction in Conway era, a witness is not required for staking credential
 -- registration, but this is only the case during the transitional period of Conway era and only for staking
@@ -206,15 +206,15 @@ mkTxCertificatesSbe
    . ShelleyBasedEra era
   -> [(Exp.Certificate (ShelleyLedgerEra era), Exp.AnyWitness (ShelleyLedgerEra era))]
   -> Exp.TxCertificates (ShelleyLedgerEra era)
-mkTxCertificatesSbe era certs = Exp.TxCertificates . OMap.fromList $ map getStakeCred certs
+mkTxCertificatesSbe era certs = Exp.TxCertificates . OMap.fromList $ map attachWitness certs
  where
-  getStakeCred
+  attachWitness
     :: (Exp.Certificate (ShelleyLedgerEra era), Exp.AnyWitness (ShelleyLedgerEra era))
     -> ( Exp.Certificate (ShelleyLedgerEra era)
-       , Maybe (StakeCredential, Exp.AnyWitness (ShelleyLedgerEra era))
+       , Maybe (Exp.AnyWitness (ShelleyLedgerEra era))
        )
-  getStakeCred (c@(Exp.Certificate cert), wit) =
-    (c, (,wit) <$> Compatible.getTxCertWitness (convert era) cert)
+  attachWitness (c@(Exp.Certificate cert), wit) =
+    (c, wit <$ Compatible.getTxCertWitness (convert era) cert)
 
 readUpdateProposalFile
   :: Featured ShelleyToBabbageEra era (Maybe UpdateProposalFile)