Enum VerifyLogicalError 

#[non_exhaustive]
pub enum VerifyLogicalError {
    Cancelled(ComputationCancelled),
    Graph(BlockGraphError),
    ZX(ZXError),
    OutputCorrection(OutputCorrectionError),
    DuplicateBoundary(IVec3),
    InvalidBoundary(IVec3),
    MissingBoundary(IVec3),
    MissingMeasurementValue(String),
    MissingInputValue(String),
    FeedbackTargetWithoutWire {
        target: IVec3,
        pauli: PauliBasis,
    },
    MeasurementPhaseUnavailable(String),
    TooManySymbols,
    BoundaryArityMismatch {
        actual_inputs: usize,
        actual_outputs: usize,
        expected_inputs: usize,
        expected_outputs: usize,
    },
    ZeroExpectedMap,
    MapMismatch {
        classical_state: BTreeMap<String, bool>,
    },
    NoVerifiedBranch {
        samples: usize,
    },
    RuntimeBasisInitializationFailed {
        source: RuntimeBasisError,
    },
    RuntimeBasisUpdateFailed {
        pos: IVec3,
        source: RuntimeBasisError,
    },
    OutputSurfaceUnavailable(Vec<IVec3>),
}

An error raised while building, sampling, or contracting a logical ZX map.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Cancelled(ComputationCancelled)

The caller cancelled construction or analysis.

Graph(BlockGraphError)

Block-graph construction or validation failed.

ZX(ZXError)

ZX translation or manipulation failed.

OutputCorrection(OutputCorrectionError)

Output correction surfaces could not be solved.

DuplicateBoundary(IVec3)

A logical boundary position appears more than once.

InvalidBoundary(IVec3)

A requested logical boundary is not an open port.

MissingBoundary(IVec3)

An open port is absent from the requested logical boundary order.

MissingMeasurementValue(String)

A measurement-dependent branch lacks an assigned value.

MissingInputValue(String)

An external Boolean input lacks an assigned value.

FeedbackTargetWithoutWire

A feedback target has no wire carrying the requested Pauli frame.

Fields

target: IVec3

Block receiving feedback.

pauli: PauliBasis

Pauli correction being inserted.

MeasurementPhaseUnavailable(String)

A measurement outcome cannot be represented as a native ZX phase.

TooManySymbols

The symbolic phase count exceeds QuiZX’s variable-ID range.

BoundaryArityMismatch

Actual and expected logical maps have different boundary arity.

Fields

actual_inputs: usize

Number of inputs in the Bloq map.

actual_outputs: usize

Number of outputs in the Bloq map.

expected_inputs: usize

Number of inputs in the expected map.

expected_outputs: usize

Number of outputs in the expected map.

ZeroExpectedMap

The caller-supplied expected logical map is identically zero.

MapMismatch

One sampled branch differs from the expected map up to scalar.

Fields

classical_state: BTreeMap<String, bool>

Classical assignment selecting the mismatched branch.

NoVerifiedBranch

Sampling found no accepted branch with a nonzero logical map.

Fields

samples: usize

Number of sampled classical assignments.

RuntimeBasisInitializationFailed

Initial runtime-basis construction failed.

Fields

source: RuntimeBasisError

Underlying runtime-basis failure.

RuntimeBasisUpdateFailed

Applying one runtime selection to the basis failed.

Fields

pos: IVec3

Selective-block position being updated.

source: RuntimeBasisError

Underlying runtime-basis failure.

OutputSurfaceUnavailable(Vec<IVec3>)

Required logical-output correction surfaces are unavailable.

Trait Implementations

impl Debug for VerifyLogicalError

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

Formats the value using the given formatter.

impl Display for VerifyLogicalError

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

Formats the value using the given formatter.

impl Error for VerifyLogicalError

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 From<BlockGraphError> for VerifyLogicalError

fn from(source: BlockGraphError) -> Self

Converts to this type from the input type.

impl From<ComputationCancelled> for VerifyLogicalError

fn from(source: ComputationCancelled) -> Self

Converts to this type from the input type.

impl From<OutputCorrectionError> for VerifyLogicalError

fn from(source: OutputCorrectionError) -> Self

Converts to this type from the input type.

impl From<VerifyLogicalError> for FeedbackInferenceError

fn from(source: VerifyLogicalError) -> Self

Converts to this type from the input type.

impl From<ZXError> for VerifyLogicalError

fn from(source: ZXError) -> Self

Converts to this type from the input type.