fix(ledger-api): update ParamName for new valueContains parameters

Update parameter names to reflect the piecewise linear cost model:

- ValueContains'cpu'arguments'constant (above-diagonal constant)

- ValueContains'cpu'arguments'model'arguments'intercept

- ValueContains'cpu'arguments'model'arguments'slope1 (x_mem coefficient)

- ValueContains'cpu'arguments'model'arguments'slope2 (y_mem coefficient)

These replace the previous two parameters (intercept, slope) from the multiplicative model.

Author: Unisay

plutus-ledger-api/src/PlutusLedgerApi/V1/ParamName.hs

@@ -331,8 +331,10 @@ data ParamName
   | UnionValue'cpu'arguments'c11
   | UnionValue'memory'arguments'intercept
   | UnionValue'memory'arguments'slope
-  | ValueContains'cpu'arguments'intercept
-  | ValueContains'cpu'arguments'slope
+  | ValueContains'cpu'arguments'constant
+  | ValueContains'cpu'arguments'model'arguments'intercept
+  | ValueContains'cpu'arguments'model'arguments'slope1
+  | ValueContains'cpu'arguments'model'arguments'slope2
   | ValueContains'memory'arguments
   | ValueData'cpu'arguments
   | ValueData'memory'arguments

plutus-ledger-api/src/PlutusLedgerApi/V2/ParamName.hs

@@ -333,8 +333,10 @@ data ParamName
   | UnionValue'cpu'arguments'c11
   | UnionValue'memory'arguments'intercept
   | UnionValue'memory'arguments'slope
-  | ValueContains'cpu'arguments'intercept
-  | ValueContains'cpu'arguments'slope
+  | ValueContains'cpu'arguments'constant
+  | ValueContains'cpu'arguments'model'arguments'intercept
+  | ValueContains'cpu'arguments'model'arguments'slope1
+  | ValueContains'cpu'arguments'model'arguments'slope2
   | ValueContains'memory'arguments
   | ValueData'cpu'arguments
   | ValueData'memory'arguments

plutus-ledger-api/src/PlutusLedgerApi/V3/ParamName.hs

@@ -349,8 +349,10 @@ data ParamName
   | UnionValue'cpu'arguments'c11
   | UnionValue'memory'arguments'intercept
   | UnionValue'memory'arguments'slope
-  | ValueContains'cpu'arguments'intercept
-  | ValueContains'cpu'arguments'slope
+  | ValueContains'cpu'arguments'constant
+  | ValueContains'cpu'arguments'model'arguments'intercept
+  | ValueContains'cpu'arguments'model'arguments'slope1
+  | ValueContains'cpu'arguments'model'arguments'slope2
   | ValueContains'memory'arguments
   | ValueData'cpu'arguments
   | ValueData'memory'arguments

plutus-ledger-api/test/Spec/CostModelParams.hs

@@ -30,9 +30,9 @@ tests =
     "CostModelParams"
     "costModelParams"
     [ embed $ testCase "length" do
-        326 @=? length v1_ParamNames
-        326 @=? length v2_ParamNames
-        344 @=? length v3_ParamNames
+        328 @=? length v1_ParamNames
+        328 @=? length v2_ParamNames
+        346 @=? length v3_ParamNames
     , embed $ testCase "tripping paramname" do
         for_ v1_ParamNames \p ->
           assertBool "tripping v1 cm params failed" $

plutus-ledger-api/test/Spec/Data/CostModelParams.hs

@@ -30,9 +30,9 @@ tests =
     "CostModelParams"
     "costModelParams"
     [ embed $ testCase "length" do
-        326 @=? length v1_ParamNames
-        326 @=? length v2_ParamNames
-        344 @=? length v3_ParamNames
+        328 @=? length v1_ParamNames
+        328 @=? length v2_ParamNames
+        346 @=? length v3_ParamNames
     , embed $ testCase "tripping paramname" do
         for_ v1_ParamNames \p ->
           assertBool "tripping v1 cm params failed" $