test: update conformance and ledger API tests for Value builtins

Unisay · Unisay · commit 89675d4b4cf0 · 2025-11-13T19:08:07.000+01:00
Update test expectations across the codebase to reflect refined cost models: conformance test budgets (8 cases), ParamName additions for V1/V2/V3 ledger APIs (11 new params per version), param count tests, cost model registrations, and generator support.

All updates reflect the transition from placeholder costs to fitted models.
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/lookupCoin/absent/absent.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/lookupCoin/absent/absent.uplc.budget.expected
@@ -1,2 +1,2 @@
-({cpu: 100000112100
-| mem: 100000000800})
+({cpu: 378875
+| mem: 801})
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/lookupCoin/present/present.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/lookupCoin/present/present.uplc.budget.expected
@@ -1,2 +1,2 @@
-({cpu: 100000112100
-| mem: 100000000800})
+({cpu: 378875
+| mem: 801})
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/ccy-missing/ccy-missing.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/ccy-missing/ccy-missing.uplc.budget.expected
@@ -1,2 +1,2 @@
-({cpu: 100000080100
-| mem: 100000000600})
+({cpu: 269638
+| mem: 601})
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-insufficient/multi-insufficient.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-insufficient/multi-insufficient.uplc.budget.expected
@@ -1,2 +1,2 @@
-({cpu: 100000080100
-| mem: 100000000600})
+({cpu: 269638
+| mem: 601})
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-sufficient/multi-sufficient.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-sufficient/multi-sufficient.uplc.budget.expected
@@ -1,2 +1,2 @@
-({cpu: 100000080100
-| mem: 100000000600})
+({cpu: 269638
+| mem: 601})
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/pos-empty/pos-empty.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/pos-empty/pos-empty.uplc.budget.expected
@@ -1,2 +1,2 @@
-({cpu: 100000080100
-| mem: 100000000600})
+({cpu: 81100
+| mem: 601})
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/reflexive/reflexive.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/reflexive/reflexive.uplc.budget.expected
@@ -1,2 +1,2 @@
-({cpu: 100000080100
-| mem: 100000000600})
+({cpu: 269638
+| mem: 601})
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/token-missing/token-missing.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/token-missing/token-missing.uplc.budget.expected
@@ -1,2 +1,2 @@
-({cpu: 100000080100
-| mem: 100000000600})
+({cpu: 175369
+| mem: 601})
diff --git a/plutus-core/cost-model/test/TestCostModels.hs b/plutus-core/cost-model/test/TestCostModels.hs
@@ -387,6 +387,12 @@ main =
               , $(genTest 1 "listToArray")
               , $(genTest 2 "indexArray") Everywhere
 
+              -- Builtin Values
+              , $(genTest 3 "lookupCoin")
+              , $(genTest 2 "valueContains") Everywhere
+              , $(genTest 1 "valueData")
+              , $(genTest 1 "unValueData")
+
               -- Data
               , $(genTest 6 "chooseData")
               , $(genTest 2 "constrData") Everywhere
diff --git a/plutus-core/plutus-core/test/CostModelSafety/Spec.hs b/plutus-core/plutus-core/test/CostModelSafety/Spec.hs
@@ -32,13 +32,16 @@ import PlutusCore.Crypto.BLS12_381.G1 qualified as BLS12_381.G1
 import PlutusCore.Crypto.BLS12_381.G2 qualified as BLS12_381.G2
 import PlutusCore.Crypto.BLS12_381.Pairing qualified as BLS12_381.Pairing
 import PlutusCore.Data (Data (..))
+import PlutusCore.Default ()
 import PlutusCore.Default.Builtins
 import PlutusCore.Evaluation.Machine.BuiltinCostModel (BuiltinCostModel)
 import PlutusCore.Evaluation.Machine.ExBudget (ExBudget (ExBudget))
 import PlutusCore.Evaluation.Machine.ExBudgetingDefaults (cekCostModelForVariant)
 import PlutusCore.Evaluation.Machine.ExBudgetStream (sumExBudgetStream)
 import PlutusCore.Evaluation.Machine.ExMemoryUsage (IntegerCostedLiterally,
-                                                    NumBytesCostedAsNumWords)
+                                                    NumBytesCostedAsNumWords,
+                                                    ValueLogOuterSizeAddLogMaxInnerSize,
+                                                    ValueTotalSize)
 import PlutusCore.Evaluation.Machine.MachineParameters (CostModel (..))
 import PlutusCore.Value (Value)
 import PlutusCore.Value qualified as Value
@@ -129,7 +132,9 @@ smallConstant tr
     | Just HRefl <- eqTypeRep tr (typeRep @BLS12_381.Pairing.MlResult) =
                     SomeConst $ BLS12_381.Pairing.millerLoop
                                   BLS12_381.G1.offchain_zero BLS12_381.G2.offchain_zero
-    | Just HRefl <- eqTypeRep tr (typeRep @Value) = SomeConst $ Value.empty
+    | Just HRefl <- eqTypeRep tr (typeRep @Value) = SomeConst Value.empty
+    | Just HRefl <- eqTypeRep tr (typeRep @ValueTotalSize) = SomeConst Value.empty
+    | Just HRefl <- eqTypeRep tr (typeRep @ValueLogOuterSizeAddLogMaxInnerSize) = SomeConst Value.empty
     | trPair `App` tr1 `App` tr2 <- tr
     , Just HRefl <- eqTypeRep trPair (typeRep @(,)) =
         case (smallConstant tr1, smallConstant tr2) of
diff --git a/plutus-core/testlib/PlutusCore/Generators/Hedgehog/Builtin.hs b/plutus-core/testlib/PlutusCore/Generators/Hedgehog/Builtin.hs
@@ -19,7 +19,9 @@ import PlutusCore.Crypto.BLS12_381.G2 qualified as BLS12_381.G2
 import PlutusCore.Crypto.BLS12_381.Pairing qualified as BLS12_381.Pairing
 import PlutusCore.Data (Data (..))
 import PlutusCore.Evaluation.Machine.ExMemoryUsage (IntegerCostedLiterally,
-                                                    NumBytesCostedAsNumWords)
+                                                    NumBytesCostedAsNumWords,
+                                                    ValueLogOuterSizeAddLogMaxInnerSize,
+                                                    ValueTotalSize)
 import PlutusCore.Generators.Hedgehog.AST hiding (genConstant)
 import PlutusCore.Generators.QuickCheck.Builtin
 import PlutusCore.Value (Value)
@@ -109,6 +111,8 @@ genConstant tr
     | Just HRefl <- eqTypeRep tr (typeRep @BLS12_381.Pairing.MlResult) =
           genArbitraryBuiltin @BLS12_381.Pairing.MlResult
     | Just HRefl <- eqTypeRep tr (typeRep @Value) = genArbitraryBuiltin @Value
+    | Just HRefl <- eqTypeRep tr (typeRep @ValueTotalSize) = genArbitraryBuiltin @Value
+    | Just HRefl <- eqTypeRep tr (typeRep @ValueLogOuterSizeAddLogMaxInnerSize) = genArbitraryBuiltin @Value
     | trPair `App` tr1 `App` tr2 <- tr
     , Just HRefl <- eqTypeRep trPair (typeRep @(,)) =
         -- We can perhaps use the @QuickCheck@ generator here too, but this seems rather hard.
diff --git a/plutus-ledger-api/src/PlutusLedgerApi/V1/ParamName.hs b/plutus-ledger-api/src/PlutusLedgerApi/V1/ParamName.hs
@@ -318,6 +318,17 @@ data ParamName =
   | Bls12_381_G2_multiScalarMul'cpu'arguments'intercept
   | Bls12_381_G2_multiScalarMul'cpu'arguments'slope
   | Bls12_381_G2_multiScalarMul'memory'arguments
+  | LookupCoin'cpu'arguments'intercept
+  | LookupCoin'cpu'arguments'slope
+  | LookupCoin'memory'arguments
+  | ValueContains'cpu'arguments'intercept
+  | ValueContains'cpu'arguments'slope
+  | ValueContains'memory'arguments
+  | ValueData'cpu'arguments
+  | ValueData'memory'arguments
+  | UnValueData'cpu'arguments'intercept
+  | UnValueData'cpu'arguments'slope
+  | UnValueData'memory'arguments
     deriving stock (Eq, Ord, Enum, Ix, Bounded, Generic)
     deriving IsParamName via (GenericParamName ParamName)
 
diff --git a/plutus-ledger-api/src/PlutusLedgerApi/V2/ParamName.hs b/plutus-ledger-api/src/PlutusLedgerApi/V2/ParamName.hs
@@ -320,5 +320,16 @@ data ParamName =
   | Bls12_381_G2_multiScalarMul'cpu'arguments'intercept
   | Bls12_381_G2_multiScalarMul'cpu'arguments'slope
   | Bls12_381_G2_multiScalarMul'memory'arguments
+  | LookupCoin'cpu'arguments'intercept
+  | LookupCoin'cpu'arguments'slope
+  | LookupCoin'memory'arguments
+  | ValueContains'cpu'arguments'intercept
+  | ValueContains'cpu'arguments'slope
+  | ValueContains'memory'arguments
+  | ValueData'cpu'arguments
+  | ValueData'memory'arguments
+  | UnValueData'cpu'arguments'intercept
+  | UnValueData'cpu'arguments'slope
+  | UnValueData'memory'arguments
     deriving stock (Eq, Ord, Enum, Ix, Bounded, Generic)
     deriving IsParamName via (GenericParamName ParamName)
diff --git a/plutus-ledger-api/src/PlutusLedgerApi/V3/ParamName.hs b/plutus-ledger-api/src/PlutusLedgerApi/V3/ParamName.hs
@@ -336,5 +336,16 @@ data ParamName =
   | Bls12_381_G2_multiScalarMul'cpu'arguments'intercept
   | Bls12_381_G2_multiScalarMul'cpu'arguments'slope
   | Bls12_381_G2_multiScalarMul'memory'arguments
+  | LookupCoin'cpu'arguments'intercept
+  | LookupCoin'cpu'arguments'slope
+  | LookupCoin'memory'arguments
+  | ValueContains'cpu'arguments'intercept
+  | ValueContains'cpu'arguments'slope
+  | ValueContains'memory'arguments
+  | ValueData'cpu'arguments
+  | ValueData'memory'arguments
+  | UnValueData'cpu'arguments'intercept
+  | UnValueData'cpu'arguments'slope
+  | UnValueData'memory'arguments
     deriving stock (Eq, Ord, Enum, Ix, Bounded, Generic)
     deriving IsParamName via (GenericParamName ParamName)
diff --git a/plutus-ledger-api/test/Spec/CostModelParams.hs b/plutus-ledger-api/test/Spec/CostModelParams.hs
@@ -28,9 +28,9 @@ tests =
     "CostModelParams"
     "costModelParams"
     [ embed $ testCase "length" do
-        301 @=? length v1_ParamNames
-        301 @=? length v2_ParamNames
-        319 @=? length v3_ParamNames
+        312 @=? length v1_ParamNames
+        312 @=? length v2_ParamNames
+        330 @=? length v3_ParamNames
     , embed $ testCase "tripping paramname" do
         for_ v1_ParamNames \p ->
           assertBool "tripping v1 cm params failed" $
diff --git a/plutus-ledger-api/test/Spec/Data/CostModelParams.hs b/plutus-ledger-api/test/Spec/Data/CostModelParams.hs
@@ -28,9 +28,9 @@ tests =
     "CostModelParams"
     "costModelParams"
     [ embed $ testCase "length" do
-        301 @=? length v1_ParamNames
-        301 @=? length v2_ParamNames
-        319 @=? length v3_ParamNames
+        312 @=? length v1_ParamNames
+        312 @=? length v2_ParamNames
+        330 @=? length v3_ParamNames
     , embed $ testCase "tripping paramname" do
         for_ v1_ParamNames \p ->
           assertBool "tripping v1 cm params failed" $
diff --git a/plutus-ledger-api/testlib/PlutusLedgerApi/Test/V1/Data/EvaluationContext.hs b/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
diff --git a/plutus-ledger-api/testlib/PlutusLedgerApi/Test/V1/EvaluationContext.hs b/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
diff --git a/plutus-ledger-api/testlib/PlutusLedgerApi/Test/V2/Data/EvaluationContext.hs b/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
diff --git a/plutus-ledger-api/testlib/PlutusLedgerApi/Test/V2/EvaluationContext.hs b/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
diff --git a/plutus-ledger-api/testlib/PlutusLedgerApi/Test/V3/Data/EvaluationContext.hs b/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
diff --git a/plutus-ledger-api/testlib/PlutusLedgerApi/Test/V3/EvaluationContext.hs b/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
