Struct OutputLedger 

pub struct OutputLedger { /* private fields */ }

Fake output consumer ledger for materialized output frames.

Implementations

impl OutputLedger

pub fn new() -> Self

Creates an empty output ledger.

pub fn close_scope(&mut self, scope: ScopeId)

Marks a scope closed for later frame validation.

pub fn apply_result<C>(&mut self, result: &TransactionResult<C>)

Applies all output frames from a transaction result.

pub fn apply_frame(&mut self, frame: &OutputFrame)

Applies a single output frame.

pub fn snapshot(&self, key: OutputKey) -> Option<&OutputSnapshot>

Returns current output state.

pub fn errors(&self) -> &[OutputLedgerError]

Returns structural ledger errors observed while applying frames.

pub fn frame_trace(&self) -> &[OutputFrameTrace]

Returns frame traces in applied delivery order.

pub fn frame_records(&self) -> &[OutputFrame]

Returns applied output frames including typed payloads in delivery order.

pub fn assert_revision_monotonic(&self) -> Result<(), OutputLedgerError>

Asserts no revision regressions or closed-scope frame errors occurred.

pub fn assert_no_frame_for_closed_scope_except_terminal( &self, ) -> Result<(), OutputLedgerError>

Asserts closed scopes emitted no non-terminal output frames.

pub fn assert_closed_scope_cleared( &self, scope: ScopeId, ) -> Result<(), OutputLedgerError>

Asserts every output owned by a closed scope has been cleared.

pub fn assert_cleared(&self, key: OutputKey) -> Result<(), OutputLedgerError>

Asserts an output key is currently cleared.

pub fn assert_current_equals( &self, key: OutputKey, expected: &(impl Clone + PartialEq + Send + Sync + 'static), ) -> Result<(), OutputLedgerError>

Asserts the current consumer state equals an expected baseline.

pub fn assert_consumer_needs_no_hidden_graph_state( &self, ) -> Result<(), OutputLedgerError>

Asserts the ledger observed no structural frame errors.

impl OutputLedger

pub fn to_debug_string(&self) -> String

Returns deterministic debug output for output ledger snapshots.

pub fn to_redacted_debug_string( &self, redact: impl Fn(&OutputPayload) -> String, ) -> String

Returns deterministic redacted debug output for output ledger snapshots.

Trait Implementations

impl Clone for OutputLedger

fn clone(&self) -> OutputLedger

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for OutputLedger

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for OutputLedger

fn default() -> OutputLedger

Returns the “default value” for a type.

impl PartialEq for OutputLedger

fn eq(&self, other: &OutputLedger) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for OutputLedger