Struct ResolutionStats 

pub struct ResolutionStats {
    pub scope: usize,
    pub import: usize,
    pub scip: usize,
    pub unresolved_internal: usize,
    pub unresolved_external: usize,
    pub scip_agree: usize,
    pub scip_disagree: usize,
    pub scip_external: usize,
}

Fields

scope: usize

import: usize

scip: usize

unresolved_internal: usize

Evidence pointed into the corpus but binding failed (ambiguity, member missing on a known module/type). The accuracy gauge.

unresolved_external: usize

No corpus-anchored evidence: external imports, builtins, and value-receiver calls without type evidence. Dependency-index (SCIP) territory, not a resolver defect.

scip_agree: usize

References bound by both internal evidence and SCIP, split by whether the two agreed on the target — the measured trust level of non-scip edges.

scip_disagree: usize

scip_external: usize

Refs bound to synthesized dependency-surface nodes (D29). Counted apart from scip and excluded from the cross-check and recall denominators: internal evidence can never find a symbol with no in-corpus definition, so mixing these in would fake a regression.

Implementations

impl ResolutionStats

pub fn resolved(&self) -> usize

pub fn unresolved(&self) -> usize

pub fn unresolved_rate(&self) -> f64

pub fn internal_unresolved_rate(&self) -> f64

Internal-unresolved over corpus-anchored references — the number that measures resolver accuracy rather than corpus openness. Dep-surface binds are excluded from the denominator: they are not corpus-anchored, and counting them would flatter the gauge.

Trait Implementations

impl Clone for ResolutionStats

fn clone(&self) -> ResolutionStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ResolutionStats

impl Debug for ResolutionStats

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

Formats the value using the given formatter.

impl Default for ResolutionStats

fn default() -> ResolutionStats

Returns the “default value” for a type.

impl Eq for ResolutionStats

impl PartialEq for ResolutionStats

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ResolutionStats