Enum PathError 

pub enum PathError {
    NoPath,
    DepthExceeded {
        partial_chain: Vec<u32>,
    },
    NodeOutOfBounds {
        node: u32,
        node_count: u32,
    },
    MalformedGraph {
        reason: PrepareWitnessGraphError,
        fix: String,
    },
    ResourceExhausted {
        field: String,
        fix: String,
    },
}

Distinguishable failure modes for extract_path. The launch’s proof-assembly code maps each variant to a different finding-class outcome; collapsing every error into None (the prior shape) hid the depth-overrun case from the caller.

Variants

NoPath

The IFDS analysis did not reach one of the endpoints; no path exists. Caller should keep the finding at Class 3 (heuristic).

DepthExceeded

A reached, non-sanitized predecessor existed at every step but the chain exceeded MAX_PATH_DEPTH before reaching the source. The partial chain (sink-first, length = MAX_PATH_DEPTH) is returned for diagnostics. Callers must treat this as an analysis-capacity failure and rerun with a larger witness budget; returning a downgraded finding would hide an incomplete proof.

Fields

partial_chain: Vec<u32>

Sink-first list of statement ids walked before bailing.

NodeOutOfBounds

seed.source_node or seed.sink_node is out of bounds for the supplied pg_node_attrs slice. Returned instead of panicking on visited[current] (audit finding 5).

Fields

node: u32

The offending node id.

node_count: u32

The valid range upper bound.

MalformedGraph

The supplied program-graph CSR is malformed. Witness extraction must fail instead of silently dropping edges, edge kinds, or out-of-range targets because that can manufacture a proof path that the GPU analysis did not actually establish.

Fields

reason: PrepareWitnessGraphError

Structured reason for the malformed CSR.

fix: String

Actionable diagnostic describing the malformed CSR field.

ResourceExhausted

Host staging memory for witness extraction could not be reserved. Callers must treat this as an analysis-capacity failure, not as proof that no vulnerable path exists.

Fields

field: String

Staging field whose allocation failed.

fix: String

Actionable diagnostic describing how to reduce or shard the load.

Trait Implementations

impl Clone for PathError

fn clone(&self) -> PathError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PathError

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

Formats the value using the given formatter.

impl Eq for PathError

impl PartialEq for PathError

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

Equality operator ==.

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

Inequality operator !=.

impl PartialEq<PrepareWitnessGraphError> for PathError

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for PathError