Struct State 

pub struct State { /* private fields */ }

The complete private state of one transaction.

Implementations

impl State

pub fn new(txid: impl Into<TxId>) -> Self

Birth with no chain claim or stored evidence, as in Tracker.State.init.

pub fn txid(&self) -> &str

The host’s tracked transaction.

pub fn word(&self) -> &Word

The current word. It is immutable outside the transition function.

pub fn evidence(&self) -> Option<&CheckedProof>

The retained record, including when the word has become stale.

pub fn suspect(&self) -> bool

Whether an unresolved fork requires a header recheck before acting.

pub fn hints(&self) -> &[Hint]

Observations in newest received order, matching the Lean list.

pub fn last_hint_at(&self) -> Option<Timestamp>

Time of the most recently received hint, even for out of order clocks.

pub fn reask(&self) -> Option<&Reask>

The next re-ask, which the host must execute and feed back.

pub fn step<H: Headers + ?Sized>( &mut self, params: &Params, headers: &H, input: Input, ) -> Result<(), CheckError>

Execute one Lean transition. Proof and header failures retain the word and record the re-ask before returning an error to the host.

Trait Implementations

impl Clone for State

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for State

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

Formats the value using the given formatter.

impl Eq for State

impl PartialEq for State

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for State