Struct ProgressFrame 

pub struct ProgressFrame {
    pub cv_min: u64,
}

The connection-level progress frame (§8.6): advances the client’s coherent release point (cv_min). Pure release signal — mutation confirmation does NOT ride it: lmid is a row in the client-mutations table (_rindle_client_mutations, rindle-replica’s CLIENT_MUTATIONS_TABLE), delivered through the client’s own per-client system query like any other data, so it is released by the same cv_min that releases the commit’s effects (transactionally coherent by construction). Emitted per the poke rule (§8.4); standalone only to advance cv_min during a quiet window.

Fields

cv_min: u64

The commit version every one of this connection’s live queries has processed through — the client’s coherent-apply release point (§8.3).

Trait Implementations

impl Clone for ProgressFrame

fn clone(&self) -> ProgressFrame

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProgressFrame

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ProgressFrame

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for ProgressFrame

fn eq(&self, other: &ProgressFrame) -> 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 Serialize for ProgressFrame

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for ProgressFrame

impl StructuralPartialEq for ProgressFrame