feat: replace placeholder costing with parameter-driven implementation

Replace unimplementedCostingFun with proper parameter-based costing:
- Wire Value builtin cost parameters into evaluation machinery
- Update all cost model configurations (A, B, C) with generated parameters
- Enable accurate gas cost estimation for Value operations

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

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

Author: Unisay

plutus-core/cost-model/data/builtinCostModelA.json

@@ -1205,5 +1205,54 @@
             "arguments": 4,
             "type": "constant_cost"
         }
+    },
+    "lookupCoin": {
+        "cpu": {
+            "arguments": {
+                "intercept": 284421,
+                "slope": 1
+            },
+            "type": "linear_in_z"
+        },
+        "memory": {
+            "arguments": 1,
+            "type": "constant_cost"
+        }
+    },
+    "valueContains": {
+        "cpu": {
+            "arguments": {
+                "intercept": 42125119,
+                "slope": 30
+            },
+            "type": "added_sizes"
+        },
+        "memory": {
+            "arguments": 1,
+            "type": "constant_cost"
+        }
+    },
+    "valueData": {
+        "cpu": {
+            "arguments": 164963,
+            "type": "constant_cost"
+        },
+        "memory": {
+            "arguments": 1,
+            "type": "constant_cost"
+        }
+    },
+    "unValueData": {
+        "cpu": {
+            "arguments": {
+                "intercept": 10532326261,
+                "slope": 431
+            },
+            "type": "linear_in_x"
+        },
+        "memory": {
+            "arguments": 1,
+            "type": "constant_cost"
+        }
     }
 }

plutus-core/cost-model/data/builtinCostModelB.json

@@ -1205,5 +1205,54 @@
             "arguments": 4,
             "type": "constant_cost"
         }
+    },
+    "lookupCoin": {
+        "cpu": {
+            "arguments": {
+                "intercept": 284421,
+                "slope": 1
+            },
+            "type": "linear_in_z"
+        },
+        "memory": {
+            "arguments": 1,
+            "type": "constant_cost"
+        }
+    },
+    "valueContains": {
+        "cpu": {
+            "arguments": {
+                "intercept": 42125119,
+                "slope": 30
+            },
+            "type": "added_sizes"
+        },
+        "memory": {
+            "arguments": 1,
+            "type": "constant_cost"
+        }
+    },
+    "valueData": {
+        "cpu": {
+            "arguments": 164963,
+            "type": "constant_cost"
+        },
+        "memory": {
+            "arguments": 1,
+            "type": "constant_cost"
+        }
+    },
+    "unValueData": {
+        "cpu": {
+            "arguments": {
+                "intercept": 10532326261,
+                "slope": 431
+            },
+            "type": "linear_in_x"
+        },
+        "memory": {
+            "arguments": 1,
+            "type": "constant_cost"
+        }
     }
 }

plutus-core/cost-model/data/builtinCostModelC.json

@@ -1223,5 +1223,54 @@
             "arguments": 4,
             "type": "constant_cost"
         }
+    },
+    "lookupCoin": {
+        "cpu": {
+            "arguments": {
+                "intercept": 284421,
+                "slope": 1
+            },
+            "type": "linear_in_z"
+        },
+        "memory": {
+            "arguments": 1,
+            "type": "constant_cost"
+        }
+    },
+    "valueContains": {
+        "cpu": {
+            "arguments": {
+                "intercept": 42125119,
+                "slope": 30
+            },
+            "type": "added_sizes"
+        },
+        "memory": {
+            "arguments": 1,
+            "type": "constant_cost"
+        }
+    },
+    "valueData": {
+        "cpu": {
+            "arguments": 164963,
+            "type": "constant_cost"
+        },
+        "memory": {
+            "arguments": 1,
+            "type": "constant_cost"
+        }
+    },
+    "unValueData": {
+        "cpu": {
+            "arguments": {
+                "intercept": 10532326261,
+                "slope": 431
+            },
+            "type": "linear_in_x"
+        },
+        "memory": {
+            "arguments": 1,
+            "type": "constant_cost"
+        }
     }
 }

plutus-core/plutus-core/src/PlutusCore/Default/Builtins.hs

@@ -2060,7 +2060,7 @@ instance uni ~ DefaultUni => ToBuiltinMeaning uni DefaultFun where
           {-# INLINE lookupCoinDenotation #-}
        in makeBuiltinMeaning
             lookupCoinDenotation
-            (runCostingFunThreeArguments . unimplementedCostingFun)
+            (runCostingFunThreeArguments . paramLookupCoin)
 
     toBuiltinMeaning _semvar UnionValue =
       let unionValueDenotation :: Value -> Value -> Value
@@ -2076,23 +2076,23 @@ instance uni ~ DefaultUni => ToBuiltinMeaning uni DefaultFun where
           {-# INLINE valueContainsDenotation #-}
        in makeBuiltinMeaning
             valueContainsDenotation
-            (runCostingFunTwoArguments . unimplementedCostingFun)
+            (runCostingFunTwoArguments . paramValueContains)
 
     toBuiltinMeaning _semvar ValueData =
         let valueDataDenotation :: Value -> Data
             valueDataDenotation = Value.valueData
             {-# INLINE valueDataDenotation #-}
         in makeBuiltinMeaning
             valueDataDenotation
-            (runCostingFunOneArgument . unimplementedCostingFun)
+            (runCostingFunOneArgument . paramValueData)
 
     toBuiltinMeaning _semvar UnValueData =
         let unValueDataDenotation :: Data -> BuiltinResult Value
             unValueDataDenotation = Value.unValueData
             {-# INLINE unValueDataDenotation #-}
         in makeBuiltinMeaning
             unValueDataDenotation
-            (runCostingFunOneArgument . unimplementedCostingFun)
+            (runCostingFunOneArgument . paramUnValueData)
 
     -- See Note [Inlining meanings of builtins].
     {-# INLINE toBuiltinMeaning #-}

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)