Fields

• trtTestId :: !Int

  Tasty test ID (links to the test_done event in the NDJSON stream)

• trtTestName :: !Text

  e.g. "Positive tests"

• trtPath :: ![Text]

  Tasty test path, e.g. [MyContract, "Positive tests"]

• trtCategory :: !TestCategory
   
• trtIterations :: ![IterationTrace]
   

Fields

• itIndex :: !Int

  0-based iteration number

• itStatus :: !IterationStatus
   
• itTransitions :: ![Transition]

  Ordered sequence of actions performed

• itThreatModels :: ![ThreatModelTrace]

  Threat model results applied to this iteration's transactions. Only populated for positive tests.

Fields

• trStepIndex :: !Int

  0-based index within the iteration

• trAction :: !Text

  show of the Action state value

• trStateBefore :: !Value

  toJSON of the model state before perform

• trStateAfter :: !Value

  toJSON of the model state after perform

• trTransaction :: !(Maybe TxSummary)

  The transaction produced, if any. Nothing if perform failed before building a transaction.

• trResult :: !TransitionResult
   

Fields

• txsId :: !(Maybe Text)

  TxId if submitted successfully, Nothing otherwise

• txsInputs :: ![TxInputSummary]
   
• txsOutputs :: ![TxOutputSummary]
   
• txsMint :: !(Maybe ValueSummary)

  Structured mint value, Nothing if no minting

• txsFee :: !Integer

  Fee in lovelace

• txsSigners :: ![Text]

  Required signer key hashes

• txsValidRange :: !(Maybe Text)

  Rendered validity interval

• txsWithdrawals :: ![TxWithdrawalSummary]

  Stake-reward withdrawals, including zero-lovelace ones (the "withdraw zero trick")

Fields

• tisUtxo :: !Text

  "txid#index"

• tisAddress :: !Text

  Bech32 or hex address

• tisAddressType :: !AddressType

  Whether tisAddress is a public-key or a script address

• tisAddressLabel :: !(Maybe Text)

  Friendly label for the address's credential (e.g. "Wallet 1"), from the implementor's AddressLabeler. Nothing when unrecognised.

• tisValue :: ValueSummary

  Structured value (ada + tokens)

• tisRedeemerRaw :: !(Maybe Text)

  Hex (CBOR) of the spend redeemer's ScriptData, Nothing for non-script inputs (no redeemer in the witness set).

• tisRedeemerConstr :: !(Maybe Integer)

  Constr index when the parsed redeemer Data is Constr n _; Nothing for non-Constr redeemers or non-script inputs.

• tisRedeemerKind :: !(Maybe Text)

  Tier 2: human-readable redeemer label (e.g. Pong) produced by the implementor's RedeemerTagger. Nothing when no tagger is supplied or the tagger declines to label this redeemer.

• tisRedeemerPayload :: !(Maybe Value)

  Tier 2: optional JSON payload accompanying tisRedeemerKind. Nothing unless the tagger explicitly returns one.

Fields

• tosUtxo :: !Text

  "txid#index" – the UTxO reference for this output

• tosAddress :: !Text
   
• tosAddressType :: !AddressType

  Whether tosAddress is a public-key or a script address

• tosAddressLabel :: !(Maybe Text)

  Friendly label for the address's credential (e.g. "Wallet 1"), from the implementor's AddressLabeler. Nothing when unrecognised.

• tosValue :: !ValueSummary
   
• tosDatum :: !(Maybe Text)

  "inline:<hash>", "hash:<hash>", or Nothing

Fields

• twsStakeAddress :: !Text

  Bech32 stake address the withdrawal is drawn from

• twsAddressType :: !AddressType

  Whether twsStakeAddress is a public-key or a script stake credential

• twsAddressLabel :: !(Maybe Text)

  Friendly label for the stake credential (e.g. "Wallet 1"), from the implementor's AddressLabeler. Nothing when unrecognised.

• twsAmount :: !Integer

  Withdrawn amount in lovelace (0 for the "withdraw zero trick")

• twsRedeemerRaw :: !(Maybe Text)

  Hex (CBOR) of the withdrawal redeemer's ScriptData, Nothing for key-witnessed (non-script) withdrawals.

• twsRedeemerConstr :: !(Maybe Integer)

  Constr index when the parsed redeemer Data is Constr n _; Nothing for non-Constr redeemers or non-script withdrawals.

• twsRedeemerKind :: !(Maybe Text)

  Tier 2: human-readable redeemer label produced by the implementor's RedeemerTagger. Nothing when no tagger is supplied or the tagger declines to label this redeemer.

• twsRedeemerPayload :: !(Maybe Value)

  Tier 2: optional JSON payload accompanying twsRedeemerKind. Nothing unless the tagger explicitly returns one.

Fields

• vsLovelace :: !Integer
   
• vsAssets :: ![AssetSummary]
   

Fields

• asPolicyId :: !Text
   
• asName :: !Text
   
• asQuantity :: !Integer
   

Fields

• tmtName :: !Text

  Name of the threat model (e.g. "unprotectedScriptOutput")

• tmtCategory :: !ThreatModelCategory

  Which ThreatModelsFor list the model came from, i.e. how a TMTOFailed outcome is to be read. Repeated on every entry so that a consumer of the test_trace stream can tell a vulnerability from an expected or accepted finding without waiting for the test_done event that carries the run-level ThreatModelSummary.

• tmtTestId :: !Int

  Test id of the threat model

• tmtTargetTxIndex :: !Int

  Index into itTransitions identifying which transaction was targeted

• tmtModifications :: ![Value]

  Structured JSON descriptions of each modification applied

• tmtOriginalTx :: !TxSummary

  The original transaction before modification

• tmtModifiedTx :: !(Maybe TxSummary)

  The modified transaction, Nothing if the modification couldn't produce a valid tx body

• tmtValidation :: !(Maybe ThreatModelValidation)

  How the ledger judged this modified transaction. Nothing when there is no verdict to report: the lightweight trace emitted when the threat model made no Validate call at all, or a Validate call that recorded neither a validity report nor a rebalancing error (not expected). Unlike tmtOutcome, which is the verdict of the whole threat model run and is repeated on every entry of that run, this is specific to the entry.

• tmtOutcome :: !ThreatModelTraceOutcome

  The outcome of running the threat model

• tmtCovered :: ![SrcLocRange]

  The code ranges covered by running this threat model

Fields

• rtKind :: !Text

  Discriminator such as Ping / Pong.

• rtPayload :: !(Maybe Value)

  Optional JSON payload for richer UI columns.

Fields

• applyRedeemerTagger :: Data -> Maybe RedeemerTag
   

Fields

• applyAddressLabeler :: Text -> Maybe Text