root
API
Generated with
root/org.sigilaris/org.sigilaris.core/org.sigilaris.core.application/org.sigilaris.core.application.execution/TxExecution

TxExecution

org.sigilaris.core.application.execution.TxExecution
final case class TxExecution[+Result, +Event](nextTrieState: MerkleTrieState, actualAccessLog: AccessLog, actualFootprint: Either[AccessLogInvariantViolation, ConflictFootprint], result: Result, events: List[Event])

Witness of a single transaction execution, capturing the resulting state, access log, conflict footprint, result, and emitted events.

Type parameters

Event

the transaction event type

Result

the transaction result type

Value parameters

actualAccessLog

the access log recorded during execution

actualFootprint

the conflict footprint derived from the access log, or an invariant violation error

events

the events emitted during execution

nextTrieState

the Merkle trie state after execution

result

the transaction result

Attributes

Source
TxExecution.scala
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product

Concrete fields

lazy val compatibilityTuple: (StoreState, (Result, List[Event]))

Legacy tuple wrapper retained for backward-compatible executor surfaces.

Legacy tuple wrapper retained for backward-compatible executor surfaces.

Attributes

Source
TxExecution.scala
lazy val nextState: StoreState

The post-execution store state with a fresh (empty) access log.

The post-execution store state with a fresh (empty) access log.

Attributes

Source
TxExecution.scala
lazy val observedState: StoreState

Backward-compat inspection surface that preserves the per-tx witness log.

Backward-compat inspection surface that preserves the per-tx witness log.

This is a synthetic view: nextTrieState is the post-execution trie, while actualAccessLog is the witness recorded during execution against the transaction's fresh-log state. Treat the log as an inspection witness only; use nextState when chaining execution so the old log is not re-attached to the continuation state.

Attributes

Source
TxExecution.scala
lazy val receiptProjection: TxExecutionReceiptProjection[Result, Event]

Explicit receipt/public projection that drops trie and raw witness state.

Explicit receipt/public projection that drops trie and raw witness state.

Attributes

Source
TxExecution.scala
Generated with