Enum NodeState 

pub enum NodeState {
    Speculative,
    Frontier,
    Committed,
    Stale,
    Pruned,
}

Node lifecycle state on the causal model (ADR-058 / ADR-056).

A grafted branch that coheres collapses (commits) to the trunk; one that does not is held off main_line and pruned — the same branch/merge/prune semantics as git (“causal collapse modeled on the git tree”).

Variants

Speculative

A candidate branch not yet grafted into the working set.

Frontier

Grafted and live in the working window this run.

Committed

Promoted (collapsed) onto the durable trunk (L3).

Stale

Aged out of the live window; origin retained on the chain, re-graftable.

Pruned

Contradicted/revised; dropped off main_line.

Implementations

impl NodeState

pub fn as_str(self) -> &'static str

Short stable tag for metadata/serialization.

pub fn can_transition_to(self, next: NodeState) -> bool

Whether self → next is a legal per-turn lifecycle transition (ADR-062 D2). The spine is Speculative → Frontier → Committed; soft/hard rebases drop to Stale/Pruned. Pruned is terminal.

Committed → Stale models aging a committed node out of the live window (it stays re-graftable on the chain); Stale → Frontier is the re-graft.

Trait Implementations

impl Clone for NodeState

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for NodeState

impl Debug for NodeState

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

Formats the value using the given formatter.

impl Eq for NodeState

impl PartialEq for NodeState

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for NodeState