Get the datum from a transaction output.

Update only the redeemer for a spending input (does not modify TxDats) Use this when the original UTxO has an inline datum to avoid adding orphaned datums

Add a minting redeemer to the script data (no datum needed for minting)

Like recomputeScriptData but only updates minting redeemer indices

Convert cardano-api AssetName to ledger Mary.AssetName

Construct a script address.

Construct a public key address.

Check if an address is a public key address.

Convert ScriptData to a Datum.

Convert a Haskell value to ScriptData for use as a Redeemer or convert to a Datum with txOutDatum.

Used for new inputs.

Detect which mock wallet signed a transaction by examining its witnesses. Returns an error message if no known mock wallet is found among the signers.

Get the required signers from the transaction body (not witnesses).

Check if a value is less or equal than another value.

Keep only the Ada part of a value.

The result of validating a transaction. In case of failure, it includes a list of reasons.

Validate a transaction using Phase 2 (script execution) validation only.

This uses evaluateTransactionExecutionUnits to check if Plutus scripts would accept or reject the transaction. It does NOT validate Phase 1 ledger rules (fees, signatures, value preservation, etc.) because threat model modifications alter the transaction body, invalidating signatures and fee calculations.

The purpose of threat models is to test script logic, not transaction construction.

Validate a transaction with full Phase 1 + Phase 2 validation inside MockchainT.

This uses applyTransaction which performs complete ledger validation including: - Fee adequacy - Signature verification - UTxO existence - Value preservation - Validity intervals - Collateral requirements - Script execution (Phase 2)

Build a MockChainState from NodeParams, slot, and UTxO for validation

Re-balance fees, recalculate execution units, and re-sign a modified transaction.

After applying TxModifier operations, the transaction body changes which: 1. Invalidates the original signatures (body hash changed) 2. May require different fees (outputs changed) 3. May have invalid execution units (for added scripts)

This function: 1. Recalculates execution units for all scripts 2. Calculates the new required fee 3. Adjusts the change output (last output to wallet address) to compensate 4. Re-signs the transaction with the wallet's key

Like rebalanceAndSign but returns Either instead of using MonadFail.

This is useful for threat model execution where we want to handle rebalancing failures (e.g., "No change output found") as skipped tests rather than errors.

Update execution units in a transaction by evaluating all scripts.

This computes the actual execution units required for each script and updates the redeemers in the transaction with those values. This is necessary because TxModifier operations like addPlutusScriptMint use ExecutionUnits 0 0 as placeholders.

Update the execution units in a transaction's redeemers.

This function takes a map from ScriptWitnessIndex to ExecutionUnits and updates the corresponding redeemers in the transaction.

Update execution units in TxBodyScriptData based on ScriptWitnessIndex map.

Recalculate and update the script integrity hash in a transaction.

The script integrity hash commits to: - The redeemers in the transaction - The datums in the witness set - The cost models for languages used (from protocol parameters)

After modifying a transaction (addingremoving inputs, changing redeemersdatums), this hash becomes stale and must be recalculated.

Recalculate the total collateral and collateral return based on the new fee.

Total collateral = ceiling(fee * collateralPercentage / 100) Collateral return = collateral input value - total collateral

This is needed because cardano-ledger is strict about collateral matching the fee. When the fee increases (e.g., due to bloated datum), we need to: 1. Increase the total collateral field 2. Decrease the collateral return (to provide more collateral)

Returns Left if the collateral inputs don't have enough value to cover the required collateral. This can happen when a TxModifier significantly increases the transaction size (and thus the fee) - the original collateral may no longer be sufficient.

Extract the Plutus language from a ledger script, if it's a Plutus script

Get the fee from a transaction

Set the fee in a transaction

Set transaction outputs (helper that works at the Tx level)

Adjust the last output going to wallet address by fee difference.

If fee increased, we subtract from the change output. If fee decreased, we add to the change output.

Like adjustChangeOutput but returns Either instead of using MonadFail.

Replace element at index in a list

Keep only UTxOs mentioned in the given transaction.

Extract coverage data from a ValidationError string containing CovLoc annotations. Handles the format found in Phase2 script evaluation errors where coverage annotations appear as "CoverLocation (CovLoc {...})" or "CoverBool (CovLoc {...}) Bool"

Unescape common Haskell string escapes (backslash-quote to quote, backslash-backslash to backslash)

Extract all "CoverLocation (...)" and "CoverBool (...)" substrings from text. Uses bracket counting to properly match nested parentheses.