Struct ProofTreeUpdate 

pub struct ProofTreeUpdate {
    pub session_id: String,
    pub goal: String,
    pub depth: usize,
    pub resolved: bool,
    pub peer: Option<String>,
    pub seq: u64,
    pub is_final: bool,
}

A single update event in an ongoing proof tree derivation.

Fields

session_id: String

Session identifier shared across all updates for this derivation.

goal: String

The goal being proved at this update, rendered as a Display string.

depth: usize

Depth of this node in the proof tree.

resolved: bool

Whether this node resolved successfully.

peer: Option<String>

The peer that resolved this node (None = local).

seq: u64

Sequence number within this session (monotonically increasing).

is_final: bool

true if this is the final update for the session.

Trait Implementations

impl Clone for ProofTreeUpdate

fn clone(&self) -> ProofTreeUpdate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProofTreeUpdate

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ProofTreeUpdate

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ProofTreeUpdate

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.