feat: add statistical models and cost parameters for Value builtins

Implement statistical modeling and parameter extraction:
- R models for lookupCoin, valueContains, valueData, unValueData
- Linear regression models with proper memory scaling
- Cost model parameter extraction and conversion infrastructure

🤖 Generated with [Claude Code](https://claude.ai/code)

Co-Authored-By: Claude <[email protected]>

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