feat: add cost model infrastructure for Value builtins

Extends the cost modeling framework to support lookupCoin, valueContains,
valueData, and unValueData builtins. Adds parameter definitions, arity
specifications, and integrates with the cost model generation system.

Establishes foundation for accurate costing of Value operations in
Plutus Core execution.

Author: Unisay

plutus-core/cost-model/create-cost-model/BuiltinMemoryModels.hs

@@ -176,5 +176,10 @@ builtinMemoryModels = BuiltinCostModelBase
   , paramLengthOfArray                   = Id $ ModelOneArgumentConstantCost 10
   , paramListToArray                     = Id $ ModelOneArgumentLinearInX $ OneVariableLinearFunction 7 1
   , paramIndexArray                      = Id $ ModelTwoArgumentsConstantCost 32
+  -- Builtin values
+  , paramLookupCoin                      = Id $ ModelThreeArgumentsConstantCost 1
+  , paramValueContains                   = Id $ ModelTwoArgumentsConstantCost 1
+  , paramValueData                       = Id $ ModelOneArgumentConstantCost 1
+  , paramUnValueData                     = Id $ ModelOneArgumentConstantCost 1
   }
   where identityFunction = OneVariableLinearFunction 0 1

plutus-core/cost-model/create-cost-model/CreateBuiltinCostModel.hs

@@ -131,6 +131,11 @@ builtinCostModelNames = BuiltinCostModelBase
   , paramLengthOfArray                   = "lengthOfArrayModel"
   , paramListToArray                     = "listToArrayModel"
   , paramIndexArray                      = "indexArrayModel"
+  -- Builtin values
+  , paramLookupCoin                      = "lookupCoinModel"
+  , paramValueContains                   = "valueContainsModel"
+  , paramValueData                       = "valueDataModel"
+  , paramUnValueData                     = "unValueDataModel"
   }
 
 
@@ -279,6 +284,11 @@ createBuiltinCostModel bmfile rfile = do
   paramLengthOfArray                   <- getParams readCF1 paramLengthOfArray
   paramListToArray                     <- getParams readCF1 paramListToArray
   paramIndexArray                      <- getParams readCF2 paramIndexArray
+  -- Builtin values
+  paramLookupCoin                      <- getParams readCF3 paramLookupCoin
+  paramValueContains                   <- getParams readCF2 paramValueContains
+  paramValueData                       <- getParams readCF1 paramValueData
+  paramUnValueData                     <- getParams readCF1 paramUnValueData
 
   pure $ BuiltinCostModelBase {..}
 

plutus-core/cost-model/data/models.R

@@ -152,6 +152,10 @@ arity <- function(name) {
         "LengthOfArray" = 1,
         "ListToArray" = 1,
         "IndexArray" = 2,
+        "LookupCoin" = 3,
+        "ValueContains" = 2,
+        "ValueData" = 1,
+        "UnValueData" = 1,
         -1  ## Default for missing values
         )
 }
@@ -804,11 +808,28 @@ modelFun <- function(path) {
 
     dropListModel   <- linearInX     ("DropList")
 
-    ## Arrays 
+    ## Arrays
     lengthOfArrayModel        <- constantModel ("LengthOfArray")
     listToArrayModel          <- linearInX ("ListToArray")
     indexArrayModel           <- constantModel ("IndexArray")
 
+    ## Values
+    lookupCoinModel <- linearInZ ("LookupCoin")
+
+    ## ValueContains is O(n₂ × log max(m₁, k₁)) where n₂ is the total size of the second Value
+    ## We model this as linear in the sum of sizes, which is conservative
+    valueContainsModel <- {
+        fname <- "ValueContains"
+        filtered <- data %>%
+            filter.and.check.nonempty(fname) %>%
+            discard.upper.outliers()
+        m <- lm(t ~ I(x_mem + y_mem), filtered)
+        mk.result(m, "added_sizes")
+    }
+
+    valueDataModel <- constantModel ("ValueData")
+    unValueDataModel <- linearInX ("UnValueData")
+
     ##### Models to be returned to Haskell #####
 
     models.for.adjustment <-
@@ -902,7 +923,11 @@ modelFun <- function(path) {
         dropListModel                        = dropListModel,
         lengthOfArrayModel                   = lengthOfArrayModel,
         listToArrayModel                     = listToArrayModel,
-        indexArrayModel                      = indexArrayModel
+        indexArrayModel                      = indexArrayModel,
+        lookupCoinModel                      = lookupCoinModel,
+        valueContainsModel                   = valueContainsModel,
+        valueDataModel                       = valueDataModel,
+        unValueDataModel                     = unValueDataModel
         )
 
     ## The integer division functions have a complex costing behaviour that requires some negative

plutus-core/plutus-core.cabal

@@ -935,6 +935,7 @@ executable cost-model-budgeting-bench
     Benchmarks.Strings
     Benchmarks.Tracing
     Benchmarks.Unit
+    Benchmarks.Values
     Common
     CriterionExtensions
     Generators

plutus-core/plutus-core/src/PlutusCore/Evaluation/Machine/BuiltinCostModel.hs

@@ -193,6 +193,11 @@ data BuiltinCostModelBase f =
     , paramLengthOfArray                   :: f ModelOneArgument
     , paramListToArray                     :: f ModelOneArgument
     , paramIndexArray                      :: f ModelTwoArguments
+    -- Builtin values
+    , paramLookupCoin                      :: f ModelThreeArguments
+    , paramValueContains                   :: f ModelTwoArguments
+    , paramValueData                       :: f ModelOneArgument
+    , paramUnValueData                     :: f ModelOneArgument
     }
     deriving stock (Generic)
     deriving anyclass (FunctorB, TraversableB, ConstraintsB)

plutus-core/plutus-core/src/PlutusCore/Evaluation/Machine/ExBudgetingDefaults.hs

@@ -355,6 +355,11 @@ unitCostBuiltinCostModel = BuiltinCostModelBase
     , paramLengthOfArray                   = unitCostOneArgument
     , paramListToArray                     = unitCostOneArgument
     , paramIndexArray                      = unitCostTwoArguments
+    -- Builtin values
+    , paramLookupCoin                      = unitCostThreeArguments
+    , paramValueContains                   = unitCostTwoArguments
+    , paramValueData                       = unitCostOneArgument
+    , paramUnValueData                     = unitCostOneArgument
     }
 
 unitCekParameters :: Typeable ann => MachineParameters CekMachineCosts DefaultFun (CekValue DefaultUni DefaultFun ann)