Add valueOf golden coverage in Spec.Data.Budget

Adds a PIR-readable snapshot and four budget snapshots for the new `valueOf`
implementation, registered alongside the existing golden coverage for
`gt`, `geq`, and `currencySymbolValueOf`.

Scenarios:
- valueOf_hit_first: ada-like first-position lookup, exercises short-circuit on the first outer step.
- valueOf_hit_middle: key at the middle of the outer map.
- valueOf_hit_last: key at the last entry, full outer scan.
- valueOf_miss: absent key, full scan with no inner walk.

These tests catch regressions in `valueOf` compilation and cost that would
otherwise surface only through downstream callers (`currencySymbolValueOf`,
`assetClassValueOf`, `geq`, etc.).

Author: Unisay

plutus-tx-plugin/test-ledger-api/Spec/Data/Budget.hs

@@ -31,6 +31,7 @@ tests =
   runTestNested ["test-ledger-api", "Spec", "Data", "Budget"] . pure . testNestedGhc $
     [ goldenPirReadable "gt" compiledGt
     , goldenPirReadable "currencySymbolValueOf" compiledCurrencySymbolValueOf
+    , goldenPirReadable "valueOf" compiledValueOf
     ]
       ++ testCases
 
@@ -49,6 +50,9 @@ compiledMintValueBurned = $$(compile [||MintValue.mintValueBurned||])
 compiledCurrencySymbolValueOf :: CompiledCode (Value -> CurrencySymbol -> Integer)
 compiledCurrencySymbolValueOf = $$(compile [||currencySymbolValueOf||])
 
+compiledValueOf :: CompiledCode (Value -> CurrencySymbol -> TokenName -> Integer)
+compiledValueOf = $$(compile [||valueOf||])
+
 mkValue :: [(Integer, [(Integer, Integer)])] -> Value
 mkValue = Value . mkCurrencyMap
 
@@ -177,6 +181,34 @@ testCases =
           `unsafeApplyCode` liftCodeDef value2
           `unsafeApplyCode` liftCodeDef (toSymbol 6)
       )
+  , goldenEvalCekCatchBudget
+      "valueOf_hit_first"
+      ( compiledValueOf
+          `unsafeApplyCode` liftCodeDef value1
+          `unsafeApplyCode` liftCodeDef (toSymbol 1)
+          `unsafeApplyCode` liftCodeDef (toToken 100)
+      )
+  , goldenEvalCekCatchBudget
+      "valueOf_hit_middle"
+      ( compiledValueOf
+          `unsafeApplyCode` liftCodeDef value1
+          `unsafeApplyCode` liftCodeDef (toSymbol 3)
+          `unsafeApplyCode` liftCodeDef (toToken 302)
+      )
+  , goldenEvalCekCatchBudget
+      "valueOf_hit_last"
+      ( compiledValueOf
+          `unsafeApplyCode` liftCodeDef value1
+          `unsafeApplyCode` liftCodeDef (toSymbol 5)
+          `unsafeApplyCode` liftCodeDef (toToken 508)
+      )
+  , goldenEvalCekCatchBudget
+      "valueOf_miss"
+      ( compiledValueOf
+          `unsafeApplyCode` liftCodeDef value1
+          `unsafeApplyCode` liftCodeDef (toSymbol 99)
+          `unsafeApplyCode` liftCodeDef (toToken 999)
+      )
   , goldenEvalCekCatchBudget
       "mintValueMinted"
       ( compiledMintValueMinted

plutus-tx-plugin/test-ledger-api/Spec/Data/Budget/9.6/valueOf.golden.pir

@@ -0,0 +1,51 @@
+\(ds :
+    (\k a -> list (pair data data))
+      bytestring
+      ((\k a -> list (pair data data)) bytestring integer))
+ (ds : bytestring)
+ (ds : bytestring) ->
+  letrec
+    !goInner : list (pair data data) -> integer
+      = \(xs : list (pair data data)) ->
+          case
+            integer
+            xs
+            [ (\(hd : pair data data) ->
+                 case
+                   (all dead. list (pair data data) -> integer)
+                   (equalsByteString
+                      ds
+                      (unBData (case data hd [(\(l : data) (r : data) -> l)])))
+                   [ (/\dead -> goInner)
+                   , (/\dead ->
+                        \(ds : list (pair data data)) ->
+                          unIData
+                            (case data hd [(\(l : data) (r : data) -> r)])) ]
+                   {all dead. dead})
+            , 0 ]
+  in
+  letrec
+    !goOuter : list (pair data data) -> integer
+      = \(xs : list (pair data data)) ->
+          case
+            integer
+            xs
+            [ (\(hd : pair data data) ->
+                 case
+                   (all dead. list (pair data data) -> integer)
+                   (equalsByteString
+                      ds
+                      (unBData (case data hd [(\(l : data) (r : data) -> l)])))
+                   [ (/\dead -> goOuter)
+                   , (/\dead ->
+                        \(ds : list (pair data data)) ->
+                          goInner
+                            (unMapData
+                               (case
+                                  data
+                                  hd
+                                  [(\(l : data) (r : data) -> r)]))) ]
+                   {all dead. dead})
+            , 0 ]
+  in
+  goOuter ds

plutus-tx-plugin/test-ledger-api/Spec/Data/Budget/9.6/valueOf_hit_first.golden.eval

@@ -0,0 +1,6 @@
+CPU:                 1_343_411
+Memory:                  7_730
+AST Size:                   89
+Flat Size:                 248
+
+(con integer 101)

plutus-tx-plugin/test-ledger-api/Spec/Data/Budget/9.6/valueOf_hit_last.golden.eval

@@ -0,0 +1,6 @@
+CPU:                 4_551_187
+Memory:                 25_594
+AST Size:                   89
+Flat Size:                 248
+
+(con integer 509)

plutus-tx-plugin/test-ledger-api/Spec/Data/Budget/9.6/valueOf_hit_middle.golden.eval

@@ -0,0 +1,6 @@
+CPU:                 2_546_327
+Memory:                 14_429
+AST Size:                   89
+Flat Size:                 248
+
+(con integer 303)

plutus-tx-plugin/test-ledger-api/Spec/Data/Budget/9.6/valueOf_miss.golden.eval

@@ -0,0 +1,6 @@
+CPU:                 2_484_960
+Memory:                 14_265
+AST Size:                   89
+Flat Size:                 249
+
+(con integer 0)