Enforce PlutusV3 cost model key order

spago.dhall

@@ -44,6 +44,7 @@ You can edit this file as you like.
   , "foreign-object"
   , "formatters"
   , "functions"
+  , "heterogeneous"
   , "http-methods"
   , "identity"
   , "integers"

src/Internal/Service/Blockfrost.purs

@@ -87,7 +87,6 @@ import Cardano.Serialization.Lib (toBytes)
 import Cardano.Types
   ( AssetClass(AssetClass)
   , AuxiliaryData
-  , CostModel
   , DataHash
   , GeneralTransactionMetadata(GeneralTransactionMetadata)
   , Language(PlutusV3, PlutusV2, PlutusV1)
@@ -195,7 +194,13 @@ import Ctl.Internal.Types.EraSummaries
   , EraSummaryParameters
   )
 import Ctl.Internal.Types.ProtocolParameters
-  ( ProtocolParameters(ProtocolParameters)
+  ( CostModelV1
+  , CostModelV2
+  , ProtocolParameters(ProtocolParameters)
+  , convertPlutusV1CostModel
+  , convertPlutusV2CostModel
+  , convertPlutusV3CostModel
+  , convertUnnamedPlutusCostModel
   )
 import Ctl.Internal.Types.Rational (Rational, reduce)
 import Ctl.Internal.Types.Rational as Rational
@@ -235,7 +240,6 @@ import Effect.Aff.Class (liftAff)
 import Effect.Class (liftEffect)
 import Effect.Exception (error)
 import Foreign.Object (Object)
-import Foreign.Object (values) as Object
 import Foreign.Object as ForeignObject
 import JS.BigInt (fromString, toNumber) as BigInt
 import Prim.TypeError (class Warn, Text)
@@ -1517,8 +1521,8 @@ type BlockfrostProtocolParametersRaw =
   , "protocol_minor_ver" :: UInt
   , "min_pool_cost" :: Stringed BigNum
   , "cost_models" ::
-      { "PlutusV1" :: Object Cardano.Int
-      , "PlutusV2" :: Object Cardano.Int
+      { "PlutusV1" :: { | CostModelV1 }
+      , "PlutusV2" :: { | CostModelV2 }
       , "PlutusV3" :: Object Cardano.Int
       }
   , "price_mem" :: FiniteBigNumber
@@ -1594,6 +1598,12 @@ instance DecodeAeson BlockfrostProtocolParameters where
               raw.min_fee_ref_script_cost_per_byte
           )
           one
+    let plutusV3CostModelRaw = raw.cost_models."PlutusV3"
+    plutusV3CostModel <-
+      note (AtKey "cost_models" $ AtKey "PlutusV3" $ TypeMismatch "CostModel")
+        ( convertPlutusV3CostModel plutusV3CostModelRaw
+            <|> convertUnnamedPlutusCostModel plutusV3CostModelRaw
+        )
     pure $ BlockfrostProtocolParameters $ ProtocolParameters
       { protocolVersion: raw.protocol_major_ver /\ raw.protocol_minor_ver
       -- The following two parameters were removed from Babbage
@@ -1613,9 +1623,9 @@ instance DecodeAeson BlockfrostProtocolParameters where
       , treasuryCut
       , coinsPerUtxoByte: coinsPerUtxoByte
       , costModels: Map.fromFoldable
-          [ PlutusV1 /\ convertPlutusCostModel raw.cost_models."PlutusV1"
-          , PlutusV2 /\ convertPlutusCostModel raw.cost_models."PlutusV2"
-          , PlutusV3 /\ convertPlutusCostModel raw.cost_models."PlutusV3"
+          [ PlutusV1 /\ convertPlutusV1CostModel raw.cost_models."PlutusV1"
+          , PlutusV2 /\ convertPlutusV2CostModel raw.cost_models."PlutusV2"
+          , PlutusV3 /\ plutusV3CostModel
           ]
       , prices
       , maxTxExUnits:
@@ -1635,9 +1645,6 @@ instance DecodeAeson BlockfrostProtocolParameters where
       , drepDeposit: Coin $ unwrap raw.drep_deposit
       , refScriptCoinsPerByte
       }
-    where
-    convertPlutusCostModel :: Object Cardano.Int -> CostModel
-    convertPlutusCostModel = wrap <<< Object.values
 
 --------------------------------------------------------------------------------
 -- BlockfrostRewards