Struct ResolutionStats 

pub struct ResolutionStats {
    pub scope: usize,
    pub import: usize,
    pub scip: usize,
    pub compiler_rescued_internal: 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

compiler_rescued_internal: usize

Corpus-anchored misses subsequently resolved by compiler evidence. This is a subset of scip/scip_external, retained so the anchored miss denominator does not absorb compiler hits the heuristic had classified as external.

unresolved_internal: usize

Evidence pointed into the corpus but binding failed (ambiguity, member missing on a known module/type). This is an anchored miss, not a complete accuracy measure: the anchoring heuristic can still classify a compiler-resolvable corpus reference as external.

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 anchored_unresolved_rate(&self) -> Option<f64>

Anchored unresolved references over references the heuristic itself classified as corpus-anchored. This is useful without a compiler index, but it is not recall: compiler evidence can prove that some references classified as external were actually internal.

None means no references were resolved in this pass. Reporting that state as 0% would make a no-op build look perfectly accurate.

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