Enum FoldTier 

pub enum FoldTier {
    GrowOnly,
    Registry,
    Leased,
}

How a surface folds — the proposal’s per-surface fold-rule tiers.

Variants

GrowOnly

Union by stable ID (conversations, knowledge, skills, trajectories, runs, routing observations — the grow-only tier).

Registry

LWW-register per record keyed by id, ordered by HLC (declagents and the file registries) — NOT per file.

Leased

Leased execution-intent tier (Intent, B5): LWW-per-run_id with monotone status, plus epoch fencing — an intent whose epoch is below its agent’s max-seen epoch is dropped at the fold (a fenced zombie writer after a lease failover loses deterministically, with no wall-clock race). NOT grow-only. See crate::lease/[crate::fold].

Trait Implementations

impl Clone for FoldTier

fn clone(&self) -> FoldTier

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for FoldTier

impl Debug for FoldTier

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

Formats the value using the given formatter.

impl Eq for FoldTier

impl PartialEq for FoldTier

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for FoldTier