Struct TrellisHarness 

pub struct TrellisHarness<G, C = (), O = ()> { /* private fields */ }

Scenario runner for deterministic transaction scripts.

Implementations

impl<G, C, O> TrellisHarness<G, C, O>

where G: ScenarioTarget<C, O>, C: Clone + Debug + PartialEq, O: Clone + Debug + PartialEq,

pub fn new(build: impl FnOnce() -> G) -> Self

Builds a harness from an application-supplied constructor.

pub fn from_target(target: G) -> Self

Builds a harness around an already-constructed target.

pub fn target(&self) -> &G

Returns the wrapped application target.

pub fn scenario(&self) -> &Scenario

Returns the recorded scenario.

pub fn resource_ledger(&self) -> &ResourceLedger<C>

Returns the resource ledger updated after each committed step.

pub fn output_ledger(&self) -> &OutputLedger<O>

Returns the output ledger updated after each committed step.

pub fn step(&mut self, name: impl Into<String>) -> HarnessStep<'_, G, C, O>

Starts a named single-transaction step.

pub fn run_script( &mut self, script: &TransactionScript<C, O>, ) -> Result<(), ScenarioError>

Runs every step in a replayable transaction script.

pub fn replay( build: impl FnOnce() -> G, script: &TransactionScript<C, O>, ) -> Result<Self, ScenarioError>

Replays a transaction script against a fresh application graph.

pub fn assert_replay_matches(&self, other: &Self) -> Result<(), ScenarioError>

Compares replay traces and final graph state.

pub fn final_state_debug_dump(&self) -> String

Returns a deterministic graph metadata dump for final-state comparison.

pub fn assert_oracle<Oracle>( &self, inputs: &Oracle::CanonicalInputs, ) -> Result<OracleCheck<Oracle::ExpectedState>, OracleMismatch<Oracle::ExpectedState>>

where Oracle: FullRecomputeOracle<G>,

Runs an app-owned full-recompute oracle against the wrapped target.