Enum WitnessStatus 

pub enum WitnessStatus {
    Resolved {
        location: PathBuf,
        witness_kind: WitnessKind,
    },
    External {
        tool_hint: String,
    },
    Ambiguous {
        candidates: Vec<PathBuf>,
    },
    NotFound {
        reason: String,
    },
    Missing,
}

The status of a single witness validation.

Variants

Resolved

Witness identifier resolves to a function with a recognized testing attribute in the workspace.

Important: “resolved” means the identifier was found — it does NOT mean the witness was executed or that it asserts immunity to this specific failure class. Semantic verification (does the witness actually assert the antigen’s failure mode?) is behavioral-tier work tracked as the BehavioralAlignment witness tier; not yet implemented (ADR-001 Amendment 1 Change 4 + ADR-013 phantom-type witness pluralism).

Fields

location: PathBuf

Where the witness function was found.

witness_kind: WitnessKind

What kind of witness was detected.

External

Witness identifier appears to reference an external tool (clippy lint, kani proof, prusti annotation, etc.); deferred to that tool’s validator.

Fields

tool_hint: String

Best-effort guess at the external tool.

Ambiguous

Witness identifier resolves to multiple functions in the workspace (ATK-A2-005). The caller must qualify the path or rename one candidate. Audit reports WitnessTier::None because no single resolution was confirmed.

Fields

candidates: Vec<PathBuf>

Locations of all candidate functions sharing this name.

NotFound

Witness identifier could not be resolved in the workspace.

Fields

reason: String

Reason the witness wasn’t found (e.g., “no matching function in any .rs file under the scan root”).

Missing

The immunity declaration didn’t include a witness identifier at all.

Trait Implementations

impl Clone for WitnessStatus

fn clone(&self) -> WitnessStatus

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WitnessStatus

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for WitnessStatus

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for WitnessStatus

impl PartialEq for WitnessStatus

fn eq(&self, other: &WitnessStatus) -> 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 Serialize for WitnessStatus

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for WitnessStatus