Struct SemanticTransitionLane 

pub struct SemanticTransitionLane {
    pub root: Option<Result<(SemanticRootHandle, SemanticRootSnapshot), SemanticHypergraphError>>,
    pub task_refusal: Option<SemanticTaskRefusal>,
    pub program_rules: [Option<SemanticProgramRule>; 2],
    pub edits: [Result<Option<SemanticInsertOutcome>, SemanticHypergraphError>; 2],
    pub work: SemanticTransitionWork,
}

Device terminal and both ordered edit results. A refused lane has no root; successful edit receipts preceding rollback are not published graph state.

Fields

root: Option<Result<(SemanticRootHandle, SemanticRootSnapshot), SemanticHypergraphError>>

No sealed root is produced for a task-local refusal. An owner refusal remains an actual owner error, distinct from an evaluator decision.

task_refusal: Option<SemanticTaskRefusal>

program_rules: [Option<SemanticProgramRule>; 2]

Decoded binary rules attempted in the two edit slots, including a lane later rejected by a hard constraint. Graph support edits remain in edits.

edits: [Result<Option<SemanticInsertOutcome>, SemanticHypergraphError>; 2]

work: SemanticTransitionWork

Actual owner work, retained even when the candidate is discarded.

Trait Implementations

impl Clone for SemanticTransitionLane

fn clone(&self) -> SemanticTransitionLane

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SemanticTransitionLane

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

Formats the value using the given formatter.

impl Eq for SemanticTransitionLane

impl PartialEq for SemanticTransitionLane

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SemanticTransitionLane