Enum MoveValidationError 

pub enum MoveValidationError {
    UnresolvableLane {
        lane: LaneAddr,
    },
    LaneGroup(LaneGroupError),
    DestinationOccupiedByStationaryAtom {
        lane: LaneAddr,
        dst: LocationAddr,
        occupant: u32,
    },
    StaleMoverSource {
        lane: LaneAddr,
        src: LocationAddr,
        expected: u32,
    },
    ContestedDestination {
        dst: LocationAddr,
        first: LaneAddr,
        second: LaneAddr,
    },
}

A lane group that cannot execute against a given AtomStateData.

Produced by AtomStateData::validate_moves. Static lane-group failures (address validity, duplicates, consistency, membership, AOD geometry) are delegated to ArchSpec::check_lanes and wrapped in Self::LaneGroup; the occupancy rules are this module’s own.

Variants

UnresolvableLane

A lane could not be resolved to (src, dst) endpoints.

Fields

lane: LaneAddr

The unresolvable lane.

LaneGroup(LaneGroupError)

Static lane-group check failure from ArchSpec::check_lanes.

DestinationOccupiedByStationaryAtom

A lane’s destination holds an atom that does not move in this group.

The AOD trap site arrives at every lane’s destination whether or not the lane carried an atom, so this is a fault for empty-source filler lanes just as for movers. An occupied destination is legal only when its occupant sits at the source of another lane in the same group (it vacates in the same simultaneous step).

Fields

lane: LaneAddr

The offending lane (mover or filler).

dst: LocationAddr

The occupied destination.

occupant: u32

The stationary qubit at the destination.

StaleMoverSource

A validated mover’s source no longer holds the qubit it was resolved with, i.e. the ValidatedMoves token was produced against a different state (or against this one before it moved on).

Fields

lane: LaneAddr

The lane whose resolved source went stale.

src: LocationAddr

The source location the token recorded.

expected: u32

The qubit the token expected to find there.

ContestedDestination

Two lanes in the group share a destination.

Unreachable through a well-formed bus (destination-unique per ArchSpec::validate); kept as a defensive check for hand-built lane groups.

Fields

dst: LocationAddr

The shared destination.

first: LaneAddr

The lane that claimed the destination first.

second: LaneAddr

The lane that collided with it.

Trait Implementations

impl Clone for MoveValidationError

fn clone(&self) -> MoveValidationError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MoveValidationError

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

Formats the value using the given formatter.

impl Display for MoveValidationError

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

Formats the value using the given formatter.

impl Eq for MoveValidationError

impl Error for MoveValidationError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.

impl PartialEq for MoveValidationError

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for MoveValidationError