Struct AdvanceState 

pub struct AdvanceState {
    pub binding: String,
    pub frozen_slice: Slice,
    pub dispositions: BTreeMap<String, String>,
    pub exclusions: BTreeMap<String, String>,
}

One binding’s durable advance state (D7) — the frozen presented slice and the dispositions accumulated against it. Persisted at .memstead/state/advance/<mem>/<name>.json, read fresh per call.

The frozen slice is the union of every slice the engine has presented for this advance session (the initial freeze plus any new-HEAD deltas appended as the source moved). Its member ids are exactly the artifact ids the advance gate accepts.

Fields

binding: String

The canonical binding id <mem>/<stem> (D3) this state belongs to.

frozen_slice: Slice

The frozen presented slice (union of freeze + appended new-HEAD deltas).

dispositions: BTreeMap<String, String>

artifact id → agent-supplied disposition, accumulated across calls.

exclusions: BTreeMap<String, String>

The durable authored-exclusion ledger: artifact id → the agent’s rationale for deliberately excluding it (mined, warrants no destination entity). Unlike Self::dispositions and Self::frozen_slice — the transient advance progress dropped on completion — this survives completion so the fidelity report consults it under exhaustive coverage: an excluded-on-purpose artifact stops re-surfacing as uncovered and keeps its reasoning. Generic across every binding and medium.

Implementations

impl AdvanceState

pub fn disposed(&self) -> usize

Count of accumulated dispositions — the disposed figure memstead status reports for this binding (D11).

pub fn pending(&self) -> usize

Count of frozen-slice artifacts not yet disposed — the pending remainder memstead status reports (D11). Same subtraction the re-presentation applies ([subtract_disposed]), collapsed to a count.

Trait Implementations

impl Clone for AdvanceState

fn clone(&self) -> AdvanceState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AdvanceState

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

Formats the value using the given formatter.

impl Default for AdvanceState

fn default() -> AdvanceState

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for AdvanceState

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for AdvanceState

impl PartialEq for AdvanceState

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for AdvanceState

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for AdvanceState