Struct Baseline 

pub struct Baseline {
    pub seq: u64,
    pub manifest_etag: Option<String>,
    pub entries: BTreeMap<String, BaselineEntry>,
    pub inst_base: BTreeMap<String, String>,
    pub prev_scan: BTreeSet<String>,
}

The persisted baseline snapshot: what this syncer believes the bucket holds AND has integrated locally. Distinct from inst_base (the manifest view at our last install — the three-way merge base): consuming a HITL entry advances the baseline for that path but not the merge base. The formal model carries the same split (baseline vs instBase in LeanSubtree.tla) — collapsing them made a syncer mistake its own consumed adoption for a foreign entry.

Fields

seq: u64

Manifest seq at our last install/checkout.

manifest_etag: Option<String>

Manifest document ETag we expect at the next CAS.

entries: BTreeMap<String, BaselineEntry>

inst_base: BTreeMap<String, String>

The merge base: path -> ETag as cited by the manifest we last installed (or checked out).

prev_scan: BTreeSet<String>

Paths present at the PREVIOUS scan (the two-consecutive-scans deletion rule: absence must survive two scans).

Trait Implementations

impl Clone for Baseline

fn clone(&self) -> Baseline

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Baseline

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

Formats the value using the given formatter.

impl Default for Baseline

fn default() -> Baseline

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Baseline

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for Baseline

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

where __S: Serializer,

Serialize this value into the given Serde serializer.