test: improve error diagnostics in evaluation context test utilities

Replaces unsafe fromJust usage with explicit error messages and HasCallStack
constraint in costModelParamsForTesting. This provides better debugging context
when cost model parameter extraction fails, including stack traces that pinpoint
the exact call site.

Author: Unisay

plutus-ledger-api/testlib/PlutusLedgerApi/Test/V1/Data/EvaluationContext.hs

@@ -16,13 +16,15 @@ import PlutusPrelude
 
 import Data.Int (Int64)
 import Data.Map qualified as Map
-import Data.Maybe
+import GHC.Stack (HasCallStack)
 
 -- | Example values of costs for @PlutusV1@, in expected ledger order.
 -- Suitable to be used in testing.
-costModelParamsForTesting :: [(V1.ParamName, Int64)]
-costModelParamsForTesting = Map.toList $ fromJust $
-    Common.extractCostModelParamsLedgerOrder mCostModel
+costModelParamsForTesting :: HasCallStack => [(V1.ParamName, Int64)]
+costModelParamsForTesting =
+  case Common.extractCostModelParamsLedgerOrder mCostModel of
+    Nothing -> error "extractCostModelParamsLedgerOrder (V1): nothing extracted"
+    Just xs -> Map.toList xs
 
 -- | The PlutusV1 "cost model" is constructed by the v2 "cost model", by clearing v2 introductions.
 mCostModel :: MCostModel

plutus-ledger-api/testlib/PlutusLedgerApi/Test/V1/EvaluationContext.hs

@@ -16,13 +16,15 @@ import PlutusPrelude
 
 import Data.Int (Int64)
 import Data.Map qualified as Map
-import Data.Maybe
+import GHC.Stack (HasCallStack)
 
 -- | Example values of costs for @PlutusV1@, in expected ledger order.
 -- Suitable to be used in testing.
-costModelParamsForTesting :: [(V1.ParamName, Int64)]
-costModelParamsForTesting = Map.toList $ fromJust $
-    Common.extractCostModelParamsLedgerOrder mCostModel
+costModelParamsForTesting :: HasCallStack => [(V1.ParamName, Int64)]
+costModelParamsForTesting =
+  case Common.extractCostModelParamsLedgerOrder mCostModel of
+    Nothing -> error "extractCostModelParamsLedgerOrder (V1): nothing extracted"
+    Just xs -> Map.toList xs
 
 -- | The PlutusV1 "cost model" is constructed by the v2 "cost model", by clearing v2 introductions.
 mCostModel :: MCostModel

plutus-ledger-api/testlib/PlutusLedgerApi/Test/V2/Data/EvaluationContext.hs

@@ -18,13 +18,15 @@ import PlutusPrelude
 
 import Data.Int (Int64)
 import Data.Map qualified as Map
-import Data.Maybe
+import GHC.Stack (HasCallStack)
 
 -- | Example values of costs for @PlutusV2@, in expected ledger order.
 -- Suitable to be used in testing.
-costModelParamsForTesting :: [(V2.ParamName, Int64)]
-costModelParamsForTesting = Map.toList $ fromJust $
-    Common.extractCostModelParamsLedgerOrder mCostModel
+costModelParamsForTesting :: HasCallStack => [(V2.ParamName, Int64)]
+costModelParamsForTesting =
+  case Common.extractCostModelParamsLedgerOrder mCostModel of
+    Nothing -> error "extractCostModelParamsLedgerOrder (V2): nothing extracted"
+    Just xs -> Map.toList xs
 
 -- | The PlutusV2 "cost model" is constructed by the v3 "cost model", by clearing v3 introductions.
 mCostModel :: MCostModel

plutus-ledger-api/testlib/PlutusLedgerApi/Test/V2/EvaluationContext.hs

@@ -18,13 +18,15 @@ import PlutusPrelude
 
 import Data.Int (Int64)
 import Data.Map qualified as Map
-import Data.Maybe
+import GHC.Stack (HasCallStack)
 
 -- | Example values of costs for @PlutusV2@, in expected ledger order.
 -- Suitable to be used in testing.
-costModelParamsForTesting :: [(V2.ParamName, Int64)]
-costModelParamsForTesting = Map.toList $ fromJust $
-    Common.extractCostModelParamsLedgerOrder mCostModel
+costModelParamsForTesting :: HasCallStack => [(V2.ParamName, Int64)]
+costModelParamsForTesting =
+  case Common.extractCostModelParamsLedgerOrder mCostModel of
+    Nothing -> error "extractCostModelParamsLedgerOrder (V2): nothing extracted"
+    Just xs -> Map.toList xs
 
 -- | The PlutusV2 "cost model" is constructed by the v3 "cost model", by clearing v3 introductions.
 mCostModel :: MCostModel

plutus-ledger-api/testlib/PlutusLedgerApi/Test/V3/Data/EvaluationContext.hs

@@ -17,14 +17,15 @@ import UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
 
 import Data.Int (Int64)
 import Data.Map qualified as Map
-import Data.Maybe
 import GHC.Stack (HasCallStack)
 
 -- | Example values of costs for @PlutusV3@, in expected ledger order.
 -- Suitable to be used in testing.
 costModelParamsForTesting :: HasCallStack => [(V3.ParamName, Int64)]
-costModelParamsForTesting = Map.toList $ fromJust $
-    Common.extractCostModelParamsLedgerOrder mCostModel
+costModelParamsForTesting =
+  case Common.extractCostModelParamsLedgerOrder mCostModel of
+    Nothing -> error "extractCostModelParamsLedgerOrder (V3): nothing extracted"
+    Just xs -> Map.toList xs
 
 -- | The PlutusV3 "cost model" is constructed by the v4 "cost model", by clearing v4 introductions.
 mCostModel :: MCostModel

plutus-ledger-api/testlib/PlutusLedgerApi/Test/V3/EvaluationContext.hs

@@ -18,7 +18,6 @@ import UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
 
 import Data.Int (Int64)
 import Data.Map qualified as Map
-import Data.Maybe
 import GHC.Stack (HasCallStack)
 
 
@@ -29,8 +28,10 @@ import GHC.Stack (HasCallStack)
 -- | Example values of costs for @PlutusV3@, in expected ledger order.
 -- Suitable to be used in testing.
 costModelParamsForTesting :: HasCallStack => [(V3.ParamName, Int64)]
-costModelParamsForTesting = Map.toList $ fromJust $
-    Common.extractCostModelParamsLedgerOrder mCostModel
+costModelParamsForTesting =
+  case Common.extractCostModelParamsLedgerOrder mCostModel of
+    Nothing -> error "extractCostModelParamsLedgerOrder (V3): nothing extracted"
+    Just xs -> Map.toList xs
 
 -- | The PlutusV3 "cost model" is constructed by the v4 "cost model", by clearing v4 introductions.
 mCostModel :: MCostModel