Add ScriptContext Builder testlib and refactor LinearVesting tests

Introduce a ScriptContext builder module in plutus-ledger-api testlib
that provides composable combinators for constructing ScriptContext
values in tests. This replaces hand-crafted script contexts with a
declarative builder pattern using lenses.

Key changes:
- Add PlutusLedgerApi.Test.ScriptContextBuilder.Builder with combinators
  for minting, spending, certifying, rewarding, and proposing contexts
- Add PlutusLedgerApi.Test.ScriptContextBuilder.Lenses with TH-generated
  lenses for all V3 ledger types
- Refactor LinearVesting benchmark tests to use the new builder
- Fix AsData destructSum-manual test to use manual IsData instances
  instead of asData, regenerating golden files

Based on work from PR #7562.

Co-authored-by: Philip DiSarro <philip-disarro@users.noreply.github.com>

Author: Unisay

plutus-benchmark/linear-vesting/src/LinearVesting/Test.hs

@@ -9,72 +9,62 @@
 module LinearVesting.Test where
 
 import PlutusTx
-import PlutusTx.Prelude
+import PlutusTx.Prelude hiding ((<>))
 
 import LinearVesting.Validator (VestingDatum (..), VestingRedeemer (..), validatorCode)
-import PlutusLedgerApi.Data.V3
+import PlutusLedgerApi.Data.V3 qualified as PV3D
+import PlutusLedgerApi.Test.ScriptContextBuilder.Builder
+  ( buildScriptContext
+  , withAddress
+  , withInlineDatum
+  , withOutRef
+  , withSigner
+  , withSpendingScript
+  , withValidRange
+  )
 import PlutusLedgerApi.V1.Data.Value (assetClass)
-import PlutusTx.Data.AssocMap qualified as Map
-import PlutusTx.Data.List qualified as List
+import PlutusLedgerApi.V3 qualified as PV3
+import Prelude ((<>))
 
 validatorCodeFullyApplied :: CompiledCode BuiltinUnit
 validatorCodeFullyApplied =
   validatorCode `unsafeApplyCode` liftCodeDef (toBuiltinData testScriptContext)
 
-testScriptContext :: ScriptContext
+testScriptContext :: PV3.ScriptContext
 testScriptContext =
-  ScriptContext
-    { scriptContextTxInfo = txInfo
-    , scriptContextRedeemer
-    , scriptContextScriptInfo
-    }
+  buildScriptContext
+    ( withValidRange
+        ( PV3.Interval
+            (PV3.LowerBound (PV3.Finite 110) True)
+            (PV3.UpperBound (PV3.Finite 1100) True)
+        )
+        <> withSigner testBeneficiaryPKH
+        <> withSpendingScript
+          (toBuiltinData FullUnlock)
+          ( withOutRef (PV3.TxOutRef txOutRefId txOutRefIdx)
+              <> withAddress (PV3.Address (PV3.ScriptCredential scriptHash) Nothing)
+              <> withInlineDatum (toBuiltinData testVestingDatum)
+          )
+    )
   where
-    txInfo =
-      TxInfo
-        { txInfoInputs = mempty
-        , txInfoReferenceInputs = mempty
-        , txInfoOutputs = mempty
-        , txInfoTxCerts = mempty
-        , txInfoRedeemers = Map.empty
-        , txInfoVotes = Map.empty
-        , txInfoProposalProcedures = mempty
-        , txInfoCurrentTreasuryAmount = Nothing
-        , txInfoTreasuryDonation = Nothing
-        , txInfoFee = 0
-        , txInfoMint = emptyMintValue
-        , txInfoWdrl = Map.empty
-        , txInfoValidRange =
-            Interval
-              (LowerBound (Finite 110) True)
-              (UpperBound (Finite 1100) True)
-        , txInfoSignatories = List.singleton testBeneficiaryPKH
-        , txInfoData = Map.empty
-        , txInfoId = "058fdca70be67c74151cea3846be7f73342d92c0090b62c1052e6790ad83f145"
-        }
-
-    scriptContextRedeemer :: Redeemer
-    scriptContextRedeemer = Redeemer (toBuiltinData FullUnlock)
-
-    scriptContextScriptInfo :: ScriptInfo
-    scriptContextScriptInfo =
-      SpendingScript (TxOutRef txOutRefId txOutRefIdx) (Just datum)
-      where
-        txOutRefId = "058fdca70be67c74151cea3846be7f73342d92c0090b62c1052e6790ad83f145"
-        txOutRefIdx = 0
-        datum :: Datum
-        datum = Datum (toBuiltinData testVestingDatum)
+    txOutRefId :: PV3.TxId
+    txOutRefId = "058fdca70be67c74151cea3846be7f73342d92c0090b62c1052e6790ad83f145"
+    txOutRefIdx :: Integer
+    txOutRefIdx = 0
+    scriptHash :: PV3.ScriptHash
+    scriptHash = PV3.ScriptHash "deadbeef"
 
 testVestingDatum :: VestingDatum
 testVestingDatum =
   VestingDatum
-    { beneficiary = Address (PubKeyCredential testBeneficiaryPKH) Nothing
-    , vestingAsset = assetClass (CurrencySymbol "$") (TokenName "test-asset")
+    { beneficiary = PV3D.Address (PV3D.PubKeyCredential testBeneficiaryPKH) Nothing
+    , vestingAsset = assetClass (PV3D.CurrencySymbol "$") (PV3D.TokenName "test-asset")
     , totalVestingQty = 1000
     , vestingPeriodStart = 0
     , vestingPeriodEnd = 100
     , firstUnlockPossibleAfter = 10
     , totalInstallments = 10
     }
 
-testBeneficiaryPKH :: PubKeyHash
-testBeneficiaryPKH = PubKeyHash ""
+testBeneficiaryPKH :: PV3.PubKeyHash
+testBeneficiaryPKH = PV3.PubKeyHash ""

plutus-benchmark/plutus-benchmark.cabal

@@ -778,8 +778,9 @@ library linear-vesting-internal
     LinearVesting.Validator
 
   build-depends:
-    , base               >=4.9 && <5
+    , base                                         >=4.9 && <5
     , plutus-ledger-api
+    , plutus-ledger-api:plutus-ledger-api-testlib
     , plutus-tx
     , plutus-tx-plugin
 

plutus-ledger-api/changelog.d/20260304_script_context_builder.md

@@ -0,0 +1,3 @@
+### Added
+
+- Added `ScriptContextBuilder` test utility (`PlutusLedgerApi.Test.ScriptContextBuilder`) to `plutus-ledger-api-testlib` for constructing realistic `ScriptContext` values in tests using a composable builder pattern.

plutus-ledger-api/plutus-ledger-api.cabal

@@ -137,6 +137,9 @@ library plutus-ledger-api-testlib
     PlutusLedgerApi.Test.Common.EvaluationContext
     PlutusLedgerApi.Test.EvaluationEvent
     PlutusLedgerApi.Test.Examples
+    PlutusLedgerApi.Test.ScriptContextBuilder.Builder
+    PlutusLedgerApi.Test.ScriptContextBuilder.Lenses
+    PlutusLedgerApi.Test.ScriptContextBuilder.Lenses.TH
     PlutusLedgerApi.Test.Scripts
     PlutusLedgerApi.Test.V1.Data.EvaluationContext
     PlutusLedgerApi.Test.V1.Data.Value
@@ -156,13 +159,15 @@ library plutus-ledger-api-testlib
     , base64-bytestring
     , bytestring
     , containers
+    , lens
     , plutus-core                      ^>=1.59
     , plutus-core:plutus-core-testlib
     , plutus-ledger-api                ^>=1.59
     , plutus-tx                        ^>=1.59
     , prettyprinter
     , QuickCheck
     , serialise
+    , template-haskell
     , text
 
 test-suite plutus-ledger-api-test