feat(cost-model): apply statistical models from updated Value benchmarks

Update cost parameters for Value builtin functions based on newly
generated statistical models from benchmark data:

- lookupCoin: Reduced base cost from 284421 to 272043 CPU units
- valueContains: Dramatically reduced from 42125119 to 6684283 CPU units
- valueData: Slight increase from 164963 to 167190 CPU units
- unValueData: Reduced base cost from 10532326261 to 1000 CPU units

These updates replace placeholder costs with parameter-driven models
derived from benchmarking, making Value operations significantly more
efficient on-chain while maintaining conservative safety margins.

Author: Unisay

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

@@ -1209,8 +1209,8 @@
     "lookupCoin": {
         "cpu": {
             "arguments": {
-                "intercept": 284421,
-                "slope": 1
+                "intercept": 272043,
+                "slope": 16
             },
             "type": "linear_in_z"
         },
@@ -1222,8 +1222,8 @@
     "valueContains": {
         "cpu": {
             "arguments": {
-                "intercept": 42125119,
-                "slope": 30
+                "intercept": 6684283,
+                "slope": 1000
             },
             "type": "added_sizes"
         },
@@ -1234,7 +1234,7 @@
     },
     "valueData": {
         "cpu": {
-            "arguments": 164963,
+            "arguments": 167190,
             "type": "constant_cost"
         },
         "memory": {
@@ -1245,8 +1245,8 @@
     "unValueData": {
         "cpu": {
             "arguments": {
-                "intercept": 10532326261,
-                "slope": 431
+                "intercept": 1000,
+                "slope": 19835
             },
             "type": "linear_in_x"
         },

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

@@ -1209,8 +1209,8 @@
     "lookupCoin": {
         "cpu": {
             "arguments": {
-                "intercept": 284421,
-                "slope": 1
+                "intercept": 272043,
+                "slope": 16
             },
             "type": "linear_in_z"
         },
@@ -1222,8 +1222,8 @@
     "valueContains": {
         "cpu": {
             "arguments": {
-                "intercept": 42125119,
-                "slope": 30
+                "intercept": 6684283,
+                "slope": 1000
             },
             "type": "added_sizes"
         },
@@ -1234,7 +1234,7 @@
     },
     "valueData": {
         "cpu": {
-            "arguments": 164963,
+            "arguments": 167190,
             "type": "constant_cost"
         },
         "memory": {
@@ -1245,8 +1245,8 @@
     "unValueData": {
         "cpu": {
             "arguments": {
-                "intercept": 10532326261,
-                "slope": 431
+                "intercept": 1000,
+                "slope": 19835
             },
             "type": "linear_in_x"
         },

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

@@ -1227,8 +1227,8 @@
     "lookupCoin": {
         "cpu": {
             "arguments": {
-                "intercept": 284421,
-                "slope": 1
+                "intercept": 272043,
+                "slope": 16
             },
             "type": "linear_in_z"
         },
@@ -1240,8 +1240,8 @@
     "valueContains": {
         "cpu": {
             "arguments": {
-                "intercept": 42125119,
-                "slope": 30
+                "intercept": 6684283,
+                "slope": 1000
             },
             "type": "added_sizes"
         },
@@ -1252,7 +1252,7 @@
     },
     "valueData": {
         "cpu": {
-            "arguments": 164963,
+            "arguments": 167190,
             "type": "constant_cost"
         },
         "memory": {
@@ -1263,8 +1263,8 @@
     "unValueData": {
         "cpu": {
             "arguments": {
-                "intercept": 10532326261,
-                "slope": 431
+                "intercept": 1000,
+                "slope": 19835
             },
             "type": "linear_in_x"
         },