fallow_engine/

trace_impl.rs

use std::path::{Path, PathBuf};

use fallow_types::discover::FileId;
use fallow_types::trace::{
    ClassMemberTrace, CloneTrace, DependencyTrace, ExportReference, ExportTrace, FileTrace,
    ImpactClosureGap, ImpactClosureTrace, ImportPathHop, ImportPathTrace,
    ImportPathTraceSchemaVersion, NamespacedExportReferences, PeerClosureSeeds, ReExportChain,
    SearchGapReason, ToolingCredit, TracedCloneGroup, TracedExport, TracedReExport,
};
use fallow_types::trace_chain::StarExportAmbiguity;
use rustc_hash::{FxHashMap, FxHashSet};

use crate::duplicates::{
    CloneFingerprintSet, CloneGroup, CloneInstance, DuplicationReport, dominant_identifier,
    group_refactoring_suggestion,
};
use crate::graph::{
    ExportNamespace, ImportPathHop as GraphImportPathHop, ModuleGraph, ModuleNode, ReferenceKind,
};
use crate::search_visibility::{SearchCheck, SearchTarget, SourceCache};

/// Match exact module paths before considering abbreviated suffixes.
///
/// A root-relative `src/a.ts` must not select `packages/x/src/a.ts` merely
/// because discovery listed that module first. Suffix matches remain useful
/// for abbreviated requests, but callers must preserve their ambiguity.
pub fn matching_module_indexes(graph: &ModuleGraph, root: &Path, user_path: &str) -> Vec<usize> {
    let normalized = user_path.replace('\\', "/");
    // The root-relative forms are joined once, so each module costs a path
    // comparison instead of a `strip_prefix` component walk.
    let exact_targets: Vec<PathBuf> = [
        Some(root.join(&normalized)),
        dunce::canonicalize(root)
            .ok()
            .map(|canonical_root| canonical_root.join(&normalized)),
        dunce::canonicalize(root.join(&normalized)).ok(),
    ]
    .into_iter()
    .flatten()
    .collect();
    let mut exact = Vec::new();
    let mut suffix = Vec::new();
    let suffix_pattern = format!("/{normalized}");
    for (index, module) in graph.modules.iter().enumerate() {
        let module_path = forward_slash_path(&module.path);
        let is_exact = module_path == normalized || exact_targets.contains(&module.path);
        if is_exact {
            exact.push(index);
        } else if module_path.ends_with(&suffix_pattern) {
            suffix.push(index);
        }
    }
    if exact.is_empty() { suffix } else { exact }
}

/// Render a path with forward slashes. Borrows when no rewrite is needed, so
/// the per-module comparison in a lookup does not allocate on Unix.
fn forward_slash_path(path: &Path) -> std::borrow::Cow<'_, str> {
    let lossy = path.to_string_lossy();
    if lossy.contains('\\') {
        std::borrow::Cow::Owned(lossy.replace('\\', "/"))
    } else {
        lossy
    }
}

/// Module paths indexed once for callers that resolve many user paths
/// against one graph.
///
/// [`ModulePathLookup::matching`] returns the same indexes, in graph order, as
/// [`matching_module_indexes`]. A single lookup does not need this index; a
/// loop over many references would otherwise scan every module per reference.
struct ModulePathLookup<'g> {
    graph: &'g ModuleGraph,
    root: &'g Path,
    canonical_root: Option<PathBuf>,
    /// Component-normalized, forward-slash module path to module indexes.
    by_path: FxHashMap<String, Vec<usize>>,
    /// Last path segment to module indexes, for suffix matches.
    by_file_name: FxHashMap<String, Vec<usize>>,
}

impl<'g> ModulePathLookup<'g> {
    fn new(graph: &'g ModuleGraph, root: &'g Path) -> Self {
        let mut by_path: FxHashMap<String, Vec<usize>> = FxHashMap::default();
        let mut by_file_name: FxHashMap<String, Vec<usize>> = FxHashMap::default();
        for (index, module) in graph.modules.iter().enumerate() {
            by_path
                .entry(path_key(&module.path))
                .or_default()
                .push(index);
            let module_path = forward_slash_path(&module.path);
            let file_name = module_path.rsplit('/').next().unwrap_or_default();
            by_file_name
                .entry(file_name.to_owned())
                .or_default()
                .push(index);
        }
        Self {
            graph,
            root,
            canonical_root: dunce::canonicalize(root).ok(),
            by_path,
            by_file_name,
        }
    }

    fn matching(&self, user_path: &str) -> Vec<usize> {
        let normalized = user_path.replace('\\', "/");
        let joined = self.root.join(&normalized);
        let mut targets = vec![path_key(Path::new(&normalized)), path_key(&joined)];
        if let Some(canonical_root) = &self.canonical_root {
            targets.push(path_key(&canonical_root.join(&normalized)));
        }
        if let Ok(canonical_target) = dunce::canonicalize(&joined) {
            targets.push(path_key(&canonical_target));
        }
        let mut exact: Vec<usize> = targets
            .iter()
            .filter_map(|target| self.by_path.get(target))
            .flatten()
            .copied()
            .collect();
        if !exact.is_empty() {
            exact.sort_unstable();
            exact.dedup();
            return exact;
        }
        let suffix_pattern = format!("/{normalized}");
        let file_name = normalized.rsplit('/').next().unwrap_or_default();
        self.by_file_name
            .get(file_name)
            .into_iter()
            .flatten()
            .copied()
            .filter(|&index| {
                forward_slash_path(&self.graph.modules[index].path).ends_with(&suffix_pattern)
            })
            .collect()
    }
}

/// A path rendered from its components with forward slashes, so paths that
/// `Path` equality treats as equal get the same key.
fn path_key(path: &Path) -> String {
    forward_slash_path(&path.components().collect::<PathBuf>()).into_owned()
}

/// Find the module for a user path.
///
/// An exact match wins. Otherwise the first suffix match in graph order wins,
/// so an abbreviated path keeps its earlier behaviour.
pub fn find_module<'a>(
    graph: &'a ModuleGraph,
    root: &Path,
    user_path: &str,
) -> Option<&'a ModuleNode> {
    matching_module_indexes(graph, root, user_path)
        .first()
        .map(|&index| &graph.modules[index])
}

/// Reconcile checker-backed reference evidence with the retained graph's
/// entry-point reachability. Evidence from unreachable files remains visible,
/// but cannot produce a complete `references-found` assertion.
pub fn reconcile_semantic_trace_reachability(
    graph: &ModuleGraph,
    root: &Path,
    target_reachable: bool,
    trace: &mut fallow_types::semantic::SemanticSymbolTrace,
) {
    if trace.assertion != "references-found" || trace.references.is_empty() {
        return;
    }
    let has_reachable_reference = target_reachable && {
        let lookup = ModulePathLookup::new(graph, root);
        trace.references.iter().any(|reference| {
            lookup
                .matching(&reference.path.to_string_lossy())
                .iter()
                .any(|&index| graph.modules[index].is_reachable())
        })
    };
    if has_reachable_reference {
        return;
    }

    trace.assertion = "references-only-in-unreachable-files".to_string();
    trace.status = fallow_types::semantic::SemanticCompleteness::Partial;
    trace.identity.completeness = fallow_types::semantic::SemanticCompleteness::Partial;
    let action =
        "Review the unreachable consumer files before removing this declaration.".to_string();
    if !trace.actions.contains(&action) {
        trace.actions.push(action);
    }
}

/// Map a reference's `from_file` id to a root-relative [`ExportReference`].
fn reference_to_export_reference(
    graph: &ModuleGraph,
    root: &Path,
    r: &crate::graph::SymbolReference,
) -> ExportReference {
    let from_path = graph.modules.get(r.from_file.0 as usize).map_or_else(
        || PathBuf::from(format!("<unknown:{}>", r.from_file.0)),
        |m| m.path.strip_prefix(root).unwrap_or(&m.path).to_path_buf(),
    );
    ExportReference::new(from_path, format_reference_kind(r.kind))
}

/// Project graph-owned effective routes into the public trace contract.
fn collect_re_export_chains(
    graph: &ModuleGraph,
    root: &Path,
    target_file_id: crate::discover::FileId,
    export_name: &str,
    namespace: ExportNamespace,
) -> Vec<ReExportChain> {
    graph
        .effective_re_export_routes(target_file_id, export_name, namespace)
        .into_iter()
        .filter_map(|route| {
            let module = graph.modules.get(route.barrel_file().0 as usize)?;
            Some(ReExportChain {
                barrel_file: relative_module_path(&module.path, root),
                exported_as: route.exported_name().to_string(),
                reference_count: graph
                    .effective_export_surface_references(
                        route.barrel_file(),
                        route.exported_name(),
                        namespace,
                    )
                    .into_iter()
                    .filter(|reference| {
                        graph
                            .modules
                            .get(reference.from_file.0 as usize)
                            .is_some_and(crate::graph::ModuleNode::is_reachable)
                    })
                    .count(),
            })
        })
        .collect()
}

/// Build the human-readable reason string explaining an export's used/unused state.
fn export_trace_reason(
    module: &crate::graph::ModuleNode,
    reference_count: usize,
    is_used: bool,
    re_export_chains: &[ReExportChain],
) -> String {
    if !module.is_reachable() {
        "File is unreachable from any entry point".to_string()
    } else if is_used {
        format!(
            "Used by {} file(s){}",
            reference_count,
            if re_export_chains.is_empty() {
                String::new()
            } else {
                format!(", re-exported through {} barrel(s)", re_export_chains.len())
            }
        )
    } else if module.is_entry_point() {
        "No internal references, but file is an entry point (export is externally accessible)"
            .to_string()
    } else if !re_export_chains.is_empty() {
        format!(
            "Re-exported through {} barrel(s) but no consumer imports it through the barrel",
            re_export_chains.len()
        )
    } else {
        "No references found, export is unused".to_string()
    }
}

/// Trace why an export is considered used or unused.
#[must_use]
pub fn trace_export(
    graph: &ModuleGraph,
    root: &Path,
    file_path: &str,
    export_name: &str,
) -> Option<ExportTrace> {
    let module = find_module(graph, root, file_path)?;

    let star_export_ambiguity =
        trace_star_export_ambiguity(graph, root, module.file_id, export_name);
    let Some(surface) = select_export(graph, module, export_name) else {
        let ambiguity = star_export_ambiguity?;
        let namespace = ambiguity.namespaces.first().copied().unwrap_or_default();
        return Some(ExportTrace {
            file: relative_module_path(&module.path, root),
            export_name: export_name.to_string(),
            namespace,
            file_reachable: module.is_reachable(),
            is_entry_point: module.is_entry_point(),
            is_used: false,
            direct_references: Vec::new(),
            direct_references_by_namespace: Vec::new(),
            star_export_ambiguity: Some(ambiguity),
            re_export_chains: Vec::new(),
            plugin_credits: Vec::new(),
            reason: "Star re-export collision makes this name ambiguous".to_string(),
            semantic: None,
        });
    };
    let (namespace, direct_references, direct_references_by_namespace) =
        crediting_export_references(graph, root, module.file_id, export_name, surface);

    let re_export_chains =
        collect_re_export_chains(graph, root, module.file_id, export_name, namespace);

    let reference_count = direct_references.len();
    let is_used = module.is_reachable() && reference_count > 0;
    let reason = if star_export_ambiguity.is_some() {
        "Star re-export collision prevents consumers from resolving this declaration".to_string()
    } else {
        export_trace_reason(module, reference_count, is_used, &re_export_chains)
    };

    Some(ExportTrace {
        file: relative_module_path(&module.path, root),
        export_name: export_name.to_string(),
        namespace: match namespace {
            ExportNamespace::Type => fallow_types::semantic::SemanticNamespace::Type,
            ExportNamespace::Value => fallow_types::semantic::SemanticNamespace::Value,
        },
        file_reachable: module.is_reachable(),
        is_entry_point: module.is_entry_point(),
        is_used,
        direct_references,
        direct_references_by_namespace,
        star_export_ambiguity,
        re_export_chains,
        plugin_credits: Vec::new(),
        reason,
        semantic: None,
    })
}

/// The root-relative path of a module, or the path as it is outside `root`.
fn relative_module_path(path: &Path, root: &Path) -> PathBuf {
    path.strip_prefix(root).unwrap_or(path).to_path_buf()
}

/// Distinct referencing files of one module export surface in one namespace.
///
/// Each reference carries the literal-search check: the consumer source is
/// read on demand and compared with a whole-word search for the export name.
fn direct_export_references(
    graph: &ModuleGraph,
    root: &Path,
    sources: &mut SourceCache<'_>,
    file_id: crate::discover::FileId,
    export_name: &str,
    namespace: ExportNamespace,
) -> Vec<ExportReference> {
    let mut referenced_files = FxHashSet::default();
    let references: Vec<_> = graph
        .effective_export_surface_references(file_id, export_name, namespace)
        .into_iter()
        .filter(|reference| {
            graph
                .modules
                .get(reference.from_file.0 as usize)
                .is_some_and(crate::graph::ModuleNode::is_reachable)
        })
        .filter(|reference| referenced_files.insert(reference.from_file))
        .collect();
    if references.is_empty() {
        return Vec::new();
    }
    let target = SearchTarget::new(graph, sources, file_id, export_name, namespace);
    references
        .into_iter()
        .map(|reference| {
            let mut export_reference = reference_to_export_reference(graph, root, reference);
            if let Some(check) = target.check(graph, sources, reference) {
                apply_search_check(&mut export_reference, check);
            }
            export_reference
        })
        .collect()
}

fn apply_search_check(reference: &mut ExportReference, check: SearchCheck) {
    reference.line = check.line;
    reference.search_visibility = Some(check.visibility);
    reference.reason = check.reason;
    reference.search_as = check.search_as;
}

/// References that credit the traced declaration, with the namespace that
/// carries them.
///
/// The preferred surface wins whenever its lane carries a reference. When it
/// carries none, the other namespace is consulted only if it resolves to the
/// same effective binding: that is the type lane falling back onto a
/// value-only declaration (`import type { helper }` of `export const helper`),
/// which the unused-export analyzer counts as a use regardless of namespace.
/// A distinct same-name declaration in the other namespace keeps the preferred
/// lane, because its references credit that other declaration and dead-code
/// still reports the traced one. See issue #2371.
fn crediting_export_references(
    graph: &ModuleGraph,
    root: &Path,
    file_id: crate::discover::FileId,
    export_name: &str,
    surface: crate::graph::EffectiveExportSurface<'_>,
) -> (
    ExportNamespace,
    Vec<ExportReference>,
    Vec<NamespacedExportReferences>,
) {
    let namespace = surface.namespace();
    let mut sources = SourceCache::new(graph);
    let references =
        direct_export_references(graph, root, &mut sources, file_id, export_name, namespace);
    let other = match namespace {
        ExportNamespace::Type => ExportNamespace::Value,
        ExportNamespace::Value => ExportNamespace::Type,
    };
    let same_binding = graph
        .effective_export_surface(file_id, export_name, other)
        .is_some_and(|candidate| {
            graph.effective_bindings_share_declaration_group(candidate.binding(), surface.binding())
        });
    if !same_binding {
        return (namespace, references, Vec::new());
    }
    let other_references =
        direct_export_references(graph, root, &mut sources, file_id, export_name, other);
    let by_namespace = if references.is_empty() || other_references.is_empty() {
        Vec::new()
    } else {
        vec![
            namespaced_references(namespace, references.clone()),
            namespaced_references(other, other_references.clone()),
        ]
    };
    if references.is_empty() && !other_references.is_empty() {
        (other, other_references, by_namespace)
    } else {
        (namespace, references, by_namespace)
    }
}

fn namespaced_references(
    namespace: ExportNamespace,
    references: Vec<ExportReference>,
) -> NamespacedExportReferences {
    NamespacedExportReferences {
        namespace: match namespace {
            ExportNamespace::Type => fallow_types::semantic::SemanticNamespace::Type,
            ExportNamespace::Value => fallow_types::semantic::SemanticNamespace::Value,
        },
        reference_count: references.len(),
        references,
    }
}

fn trace_star_export_ambiguity(
    graph: &ModuleGraph,
    root: &Path,
    file_id: crate::discover::FileId,
    export_name: &str,
) -> Option<StarExportAmbiguity> {
    let collisions: Vec<_> = graph
        .ambiguous_star_exports()
        .into_iter()
        .filter(|collision| {
            collision.name.as_ref() == export_name
                && (collision.barrel == file_id || collision.contributors.contains(&file_id))
        })
        .collect();
    if collisions.is_empty() {
        return None;
    }
    let mut sources: Vec<_> = collisions
        .iter()
        .flat_map(|collision| collision.contributors.iter())
        .filter_map(|contributor| graph.modules.get(contributor.0 as usize))
        .map(|module| relative_module_path(&module.path, root))
        .collect();
    sources.sort();
    sources.dedup();
    let mut namespaces: Vec<_> = collisions
        .iter()
        .map(|collision| match collision.namespace {
            ExportNamespace::Type => fallow_types::semantic::SemanticNamespace::Type,
            ExportNamespace::Value => fallow_types::semantic::SemanticNamespace::Value,
        })
        .collect();
    namespaces.sort_unstable_by_key(|namespace| match namespace {
        fallow_types::semantic::SemanticNamespace::Type => 0,
        fallow_types::semantic::SemanticNamespace::Value => 1,
    });
    namespaces.dedup();
    Some(StarExportAmbiguity {
        sources,
        namespaces,
    })
}

/// Resolve the exact source identity required by the semantic sidecar for a
/// graph export. This does not perform semantic analysis itself.
#[must_use]
pub fn semantic_symbol_for_export(
    graph: &ModuleGraph,
    root: &Path,
    file_path: &str,
    export_name: &str,
) -> Option<fallow_types::semantic::SemanticSymbol> {
    use fallow_types::semantic::{SemanticNamespace, SemanticSymbol};

    let module = find_module(graph, root, file_path)?;
    let surface = select_export(graph, module, export_name)?;
    let namespace = surface.namespace();
    let (identity_module, span, identity_exported_name, local_name) = if let Some(re_export) =
        graph.effective_export_surface_re_export(module.file_id, export_name, namespace)
    {
        let local_name = if re_export.imported_name == "*" {
            export_name
        } else {
            re_export.imported_name.as_str()
        };
        (module, re_export.span, export_name, local_name)
    } else {
        let origin = surface.origin()?;
        let origin_module = graph.modules.get(origin.file_id().0 as usize)?;
        let origin_export = origin.export();
        let origin_name = match &origin_export.name {
            fallow_types::extract::ExportName::Named(name) => name.as_str(),
            fallow_types::extract::ExportName::Default => "default",
        };
        (origin_module, origin_export.span, origin_name, origin_name)
    };
    let source = std::fs::read_to_string(&identity_module.path).ok()?;
    let offsets = fallow_types::extract::compute_line_offsets(&source);
    let (line, col) = fallow_types::extract::byte_offset_to_line_col(&offsets, span.start);
    Some(SemanticSymbol {
        path: identity_module
            .path
            .strip_prefix(root)
            .unwrap_or(&identity_module.path)
            .to_path_buf(),
        namespace: match namespace {
            ExportNamespace::Type => SemanticNamespace::Type,
            ExportNamespace::Value => SemanticNamespace::Value,
        },
        declaration_kind: "export".to_string(),
        exported_name: identity_exported_name.to_string(),
        local_name: local_name.to_string(),
        owner: None,
        line,
        col,
    })
}

/// Resolve the source identity for a public class member semantic query.
#[must_use]
pub fn semantic_symbol_for_class_member(
    graph: &ModuleGraph,
    root: &Path,
    file_path: &str,
    member_name: &str,
) -> Option<fallow_types::semantic::SemanticSymbol> {
    use fallow_types::extract::MemberKind;
    use fallow_types::semantic::{SemanticNamespace, SemanticSymbol};

    let module = find_module(graph, root, file_path)?;
    let (owner, member) = module
        .exports
        .iter()
        .filter_map(|export| {
            export
                .members
                .iter()
                .find(|member| member.name == member_name)
                .map(|member| (export, member))
        })
        .max_by_key(|(export, _)| (!export.references.is_empty(), !export.is_type_only))?;
    let declaration_kind = match member.kind {
        MemberKind::ClassMethod => "class_method",
        MemberKind::ClassProperty => "class_property",
        _ => return None,
    };
    let source = std::fs::read_to_string(&module.path).ok()?;
    let offsets = fallow_types::extract::compute_line_offsets(&source);
    let (line, col) = fallow_types::extract::byte_offset_to_line_col(&offsets, member.span.start);
    Some(SemanticSymbol {
        path: relative_module_path(&module.path, root),
        namespace: SemanticNamespace::Value,
        declaration_kind: declaration_kind.to_string(),
        exported_name: member_name.to_string(),
        local_name: member_name.to_string(),
        owner: Some(owner.name.to_string()),
        line,
        col,
    })
}

/// Stable reason why an exact class-method target cannot be resolved.
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub enum SemanticClassMethodResolutionError {
    /// The requested file is not part of the retained module graph.
    FileNotFound,
    /// The requested owner or method does not exist in the file.
    SymbolNotFound,
    /// More than one declaration matches the exact owner and method.
    AmbiguousSymbol,
    /// The matching declaration is not a supported class method.
    UnsupportedSyntax,
}

impl std::fmt::Display for SemanticClassMethodResolutionError {
    fn fmt(&self, formatter: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        let reason = match self {
            Self::FileNotFound => "file-not-found",
            Self::SymbolNotFound => "unknown-symbol",
            Self::AmbiguousSymbol => "ambiguous-symbol",
            Self::UnsupportedSyntax => "unsupported-syntax",
        };
        formatter.write_str(reason)
    }
}

/// Resolve one exact exported class method without a name-based fallback.
pub fn semantic_symbol_for_exact_class_method(
    graph: &ModuleGraph,
    root: &Path,
    file_path: &str,
    owner_name: &str,
    member_name: &str,
) -> Result<fallow_types::semantic::SemanticSymbol, SemanticClassMethodResolutionError> {
    use fallow_types::extract::MemberKind;
    use fallow_types::semantic::{SemanticNamespace, SemanticSymbol};

    let module = find_module(graph, root, file_path)
        .ok_or(SemanticClassMethodResolutionError::FileNotFound)?;
    let mut owners = module
        .exports
        .iter()
        .filter(|export| export.name.matches_str(owner_name));
    let owner = owners
        .next()
        .ok_or(SemanticClassMethodResolutionError::SymbolNotFound)?;
    if owners.next().is_some() {
        return Err(SemanticClassMethodResolutionError::AmbiguousSymbol);
    }
    let mut members = owner
        .members
        .iter()
        .filter(|member| member.name == member_name);
    let member = members
        .next()
        .ok_or(SemanticClassMethodResolutionError::SymbolNotFound)?;
    if members.next().is_some() {
        return Err(SemanticClassMethodResolutionError::AmbiguousSymbol);
    }
    if member.kind != MemberKind::ClassMethod {
        return Err(SemanticClassMethodResolutionError::UnsupportedSyntax);
    }
    let source = std::fs::read_to_string(&module.path)
        .map_err(|_| SemanticClassMethodResolutionError::SymbolNotFound)?;
    let offsets = fallow_types::extract::compute_line_offsets(&source);
    let (line, col) = fallow_types::extract::byte_offset_to_line_col(&offsets, member.span.start);
    Ok(SemanticSymbol {
        path: relative_module_path(&module.path, root),
        namespace: SemanticNamespace::Value,
        declaration_kind: "class_method".to_string(),
        exported_name: member_name.to_string(),
        local_name: member_name.to_string(),
        owner: Some(owner_name.to_string()),
        line,
        col,
    })
}

/// Trace a class / enum / store MEMBER when `--trace FILE:NAME`'s `NAME` is not
/// a top-level export but a member declared on one (issue #1744). Runs on the
/// graph only, so it reports the OWNING export's reachability and usage (the
/// gating precondition for member crediting) plus a pointer to the right
/// `--unused-*-members` command, not per-member crediting provenance.
#[must_use]
pub fn trace_class_member(
    graph: &ModuleGraph,
    root: &Path,
    file_path: &str,
    member_name: &str,
) -> Option<ClassMemberTrace> {
    use fallow_types::extract::MemberKind;

    let module = find_module(graph, root, file_path)?;

    // Find the export that declares this member. When several declare a member
    // of the same name (rare), prefer a used, non-type-only owner so the trace
    // reports the reachable one.
    let (owner, member_kind) = module
        .exports
        .iter()
        .filter_map(|export| {
            export
                .members
                .iter()
                .find(|member| member.name == member_name)
                .map(|member| (export, member.kind))
        })
        .max_by_key(|(export, _)| (!export.references.is_empty(), !export.is_type_only))?;

    let owner_name = owner.name.to_string();
    // Reuse the export trace to compute the owner's reachability / usage /
    // references consistently with a plain `--trace FILE:OWNER`. The `?` here is
    // a belt-and-suspenders guard: `owner` was just located in this module's
    // `exports`, so `trace_export` resolves it in practice; the fallthrough to
    // `None` (and the caller's "not found" error) is unreachable barring a graph
    // inconsistency.
    let owner_trace = trace_export(graph, root, file_path, &owner_name)?;

    let (kind_str, filter_flag) = match member_kind {
        MemberKind::ClassMethod => ("class-method", Some("--unused-class-members")),
        MemberKind::ClassProperty => ("class-property", Some("--unused-class-members")),
        MemberKind::EnumMember => ("enum-member", Some("--unused-enum-members")),
        MemberKind::StoreMember => ("store-member", Some("--unused-store-members")),
        MemberKind::NamespaceMember => ("namespace-member", None),
    };

    let reason = class_member_trace_reason(
        member_name,
        &owner_name,
        kind_str,
        filter_flag,
        file_path,
        &owner_trace,
    );

    Some(ClassMemberTrace {
        file: owner_trace.file,
        member_name: member_name.to_string(),
        member_kind: kind_str.to_string(),
        owner_export: owner_name,
        owner_namespace: owner_trace.namespace,
        owner_is_used: owner_trace.is_used,
        owner_file_reachable: owner_trace.file_reachable,
        owner_is_entry_point: owner_trace.is_entry_point,
        owner_direct_references: owner_trace.direct_references,
        owner_re_export_chains: owner_trace.re_export_chains,
        reason,
        semantic: None,
    })
}

/// Build the human-readable reason for a class-member trace, keyed on the
/// owner's reachability / usage (the precondition that gates member crediting).
fn class_member_trace_reason(
    member_name: &str,
    owner_name: &str,
    kind_str: &str,
    filter_flag: Option<&str>,
    file_path: &str,
    owner_trace: &ExportTrace,
) -> String {
    let head =
        format!("'{member_name}' is a {kind_str} of '{owner_name}', not a top-level export. ");
    let body = if !owner_trace.file_reachable {
        format!(
            "The file is not reachable from any entry point, so '{owner_name}' and all its \
             members are dead (see the unused-file finding)."
        )
    } else if !owner_trace.is_used {
        format!(
            "'{owner_name}' is reachable but referenced by no file, so it is reported as an \
             unused export and its members are not judged individually."
        )
    } else {
        let refs = owner_trace.direct_references.len();
        match filter_flag {
            Some(flag) => format!(
                "'{owner_name}' is used by {refs} file(s); whether '{member_name}' itself is \
                 flagged depends on cross-file member-access resolution. Run \
                 `fallow dead-code {flag} --file {file_path}` to see the member finding."
            ),
            None => format!(
                "'{owner_name}' is used by {refs} file(s); '{member_name}' is credited through \
                 its namespace export."
            ),
        }
    };
    format!("{head}{body}")
}

fn select_export<'graph>(
    graph: &'graph ModuleGraph,
    module: &'graph crate::graph::ModuleNode,
    export_name: &str,
) -> Option<crate::graph::EffectiveExportSurface<'graph>> {
    [ExportNamespace::Value, ExportNamespace::Type]
        .into_iter()
        .find_map(|namespace| {
            graph.effective_export_surface(module.file_id, export_name, namespace)
        })
}

/// Map a module's exports to [`TracedExport`] entries with relativized references.
fn traced_exports(
    graph: &ModuleGraph,
    root: &Path,
    module: &crate::graph::ModuleNode,
) -> Vec<TracedExport> {
    module
        .exports
        .iter()
        .map(|e| {
            let referenced_by: Vec<_> = e
                .physical_references()
                .map(|r| reference_to_export_reference(graph, root, r))
                .collect();
            TracedExport {
                name: e.name.to_string(),
                is_type_only: e.is_type_only,
                reference_count: referenced_by.len(),
                referenced_by,
                plugin_credits: Vec::new(),
            }
        })
        .collect()
}

/// Collect the root-relative paths a file imports from (forward graph edges).
fn traced_imports_from(
    graph: &ModuleGraph,
    root: &Path,
    module: &crate::graph::ModuleNode,
) -> Vec<PathBuf> {
    graph
        .edges_for(module.file_id)
        .iter()
        .filter_map(|target_id| {
            graph
                .modules
                .get(target_id.0 as usize)
                .map(|m| m.path.strip_prefix(root).unwrap_or(&m.path).to_path_buf())
        })
        .collect()
}

/// Collect the root-relative paths that import a file (reverse graph edges).
fn traced_imported_by(
    graph: &ModuleGraph,
    root: &Path,
    module: &crate::graph::ModuleNode,
) -> Vec<PathBuf> {
    graph
        .reverse_deps
        .get(module.file_id.0 as usize)
        .map(|deps| {
            deps.iter()
                .filter_map(|fid| {
                    graph
                        .modules
                        .get(fid.0 as usize)
                        .map(|m| m.path.strip_prefix(root).unwrap_or(&m.path).to_path_buf())
                })
                .collect()
        })
        .unwrap_or_default()
}

/// Map a module's re-exports to [`TracedReExport`] entries with relativized source paths.
fn traced_re_exports(
    graph: &ModuleGraph,
    root: &Path,
    module: &crate::graph::ModuleNode,
) -> Vec<TracedReExport> {
    module
        .re_exports
        .iter()
        .map(|re| {
            let source_path = graph.modules.get(re.source_file.0 as usize).map_or_else(
                || PathBuf::from(format!("<unknown:{}>", re.source_file.0)),
                |m| m.path.strip_prefix(root).unwrap_or(&m.path).to_path_buf(),
            );
            TracedReExport {
                source_file: source_path,
                imported_name: re.imported_name.clone(),
                exported_name: re.exported_name.clone(),
            }
        })
        .collect()
}

/// Trace all edges for a file.
#[must_use]
pub fn trace_file(graph: &ModuleGraph, root: &Path, file_path: &str) -> Option<FileTrace> {
    let module = find_module(graph, root, file_path)?;

    Some(FileTrace {
        file: relative_module_path(&module.path, root),
        is_reachable: module.is_reachable(),
        is_entry_point: module.is_entry_point(),
        exports: traced_exports(graph, root, module),
        imports_from: traced_imports_from(graph, root, module),
        imported_by: traced_imported_by(graph, root, module),
        re_exports: traced_re_exports(graph, root, module),
        sources: Vec::new(),
    })
}

/// The packages that the dependency trace credits although no file imports
/// them.
pub struct DependencyCredit<'a> {
    /// The packages that scripts, CI configs and git hooks run.
    pub script_used_packages: &'a FxHashSet<String>,
    /// The packages that start the peer-dependency closures in addition to
    /// the imported packages.
    pub peer_seeds: &'a PeerClosureSeeds,
}

/// Trace where a dependency is used.
///
/// `script_used_packages` carries the package names recorded as binary invocations
/// in package.json scripts (`build: microbundle ...`) and CI configs
/// (`.github/workflows/*.yml`, `.gitlab-ci.yml`). The same set the unused-deps
/// detector consults; passing it in lets the trace output match the detector's
/// view of "used" instead of reporting `is_used=false` for tools invoked only
/// through scripts. `ignore_patterns` hide workspace manifests from the peer
/// closure, as in the unused-dependency check.
#[must_use]
pub fn trace_dependency(
    graph: &ModuleGraph,
    root: &Path,
    workspace_roots: &[&Path],
    ignore_patterns: &fallow_config::IgnorePatternSet,
    package_name: &str,
    credit: &DependencyCredit<'_>,
) -> DependencyTrace {
    let (imported_by, type_only_imported_by) = package_importers(graph, root, package_name);

    let import_count = imported_by.len();
    let used_in_scripts = credit.script_used_packages.contains(package_name);
    let peer_of = crate::core_backend::peer_dependency_hosts(
        graph,
        root,
        workspace_roots,
        ignore_patterns,
        package_name,
        credit.peer_seeds,
    );
    let mut trace = DependencyTrace {
        package_name: package_name.to_string(),
        imported_by,
        type_only_imported_by,
        used_in_scripts,
        is_used: import_count > 0 || used_in_scripts || !peer_of.is_empty(),
        import_count,
        peer_of,
        sources: Vec::new(),
        tooling_credit: None,
        unused_in: Vec::new(),
        usage: None,
    };
    trace.apply_tooling_credit(imported_types_target_credit(graph, package_name));
    trace
}

/// The files that import `package_name`, each listed once, and the subset
/// whose every import of the package is type-only.
///
/// The graph records one usage entry per import, so a file with two imports
/// of the package appears twice. A file with a type-only import and a value
/// import is not a type-only importer.
fn package_importers(
    graph: &ModuleGraph,
    root: &Path,
    package_name: &str,
) -> (Vec<PathBuf>, Vec<PathBuf>) {
    let counts = |usage: &FxHashMap<String, Vec<FileId>>| {
        let mut counts: FxHashMap<FileId, usize> = FxHashMap::default();
        for &fid in usage.get(package_name).into_iter().flatten() {
            *counts.entry(fid).or_default() += 1;
        }
        counts
    };
    let mut all = counts(&graph.package_usage);
    let type_only = counts(&graph.type_only_package_usage);
    let mut imported_by = Vec::new();
    let mut type_only_imported_by = Vec::new();
    for &fid in graph.package_usage.get(package_name).into_iter().flatten() {
        // The first entry of a file takes its count, so a repeat finds none.
        let Some(total) = all.remove(&fid) else {
            continue;
        };
        let Some(module) = graph.modules.get(fid.0 as usize) else {
            continue;
        };
        let path = relative_module_path(&module.path, root);
        if type_only.get(&fid) == Some(&total) {
            type_only_imported_by.push(path.clone());
        }
        imported_by.push(path);
    }
    (imported_by, type_only_imported_by)
}

/// The credit of a `@types/X` package whose target `X` the code imports, as
/// the unused devDependency check gives it.
fn imported_types_target_credit(graph: &ModuleGraph, package_name: &str) -> Option<ToolingCredit> {
    let target = crate::core_backend::types_package_target(package_name)?;
    graph
        .package_usage
        .get(target.as_str())
        .is_some_and(|ids| !ids.is_empty())
        .then(|| ToolingCredit {
            reason: "types-target".to_string(),
            plugin: None,
            config: None,
            reference: Some(target),
        })
}

fn format_reference_kind(kind: ReferenceKind) -> String {
    match kind {
        ReferenceKind::NamedImport => "named import".to_string(),
        ReferenceKind::DefaultImport => "default import".to_string(),
        ReferenceKind::NamespaceImport => "namespace import".to_string(),
        ReferenceKind::ReExport => "re-export".to_string(),
        ReferenceKind::DynamicImport => "dynamic import".to_string(),
        ReferenceKind::SideEffectImport => "side-effect import".to_string(),
    }
}

/// Compute the impact closure for a single file as the seed.
///
/// Resolves `file_path` to a graph `FileId`, walks `reverse_deps` + re-export
/// chains to the transitive affected set, and reports the coordination gap (the
/// seed's exported contracts consumed by modules outside the seed). Returns
/// `None` when the file is not in the module graph.
///
/// Each coordination gap carries the literal-search check, so this reads the
/// source of each consumer of the seed exports.
#[must_use]
pub fn trace_impact_closure(
    graph: &ModuleGraph,
    root: &Path,
    file_path: &str,
) -> Option<ImpactClosureTrace> {
    impact_closure_trace(graph, root, file_path, true)
}

/// Compute the impact closure like [`trace_impact_closure`], without the
/// literal-search check. The coordination gaps have no search fields, and no
/// consumer source is read. Use it when only the affected set is needed.
#[must_use]
pub fn trace_impact_closure_without_search(
    graph: &ModuleGraph,
    root: &Path,
    file_path: &str,
) -> Option<ImpactClosureTrace> {
    impact_closure_trace(graph, root, file_path, false)
}

fn impact_closure_trace(
    graph: &ModuleGraph,
    root: &Path,
    file_path: &str,
    check_search: bool,
) -> Option<ImpactClosureTrace> {
    let module = find_module(graph, root, file_path)?;

    let closure = graph.impact_closure(&[module.file_id]);
    let paths = graph.closure_with_paths(&closure, root);

    let seed = paths
        .in_diff
        .first()
        .cloned()
        .unwrap_or_else(|| file_path.replace('\\', "/"));

    let mut checks: FxHashMap<String, (String, SearchCheck)> =
        if !check_search || paths.coordination_gap.is_empty() {
            FxHashMap::default()
        } else {
            consumer_search_checks(graph, module.file_id)
                .into_iter()
                .filter_map(|(file_id, check)| {
                    let consumer = graph.modules.get(file_id.0 as usize)?;
                    let path = consumer
                        .path
                        .strip_prefix(root)
                        .unwrap_or(&consumer.path)
                        .to_string_lossy()
                        .replace('\\', "/");
                    Some((path, check))
                })
                .collect()
        };
    let coordination_gap = paths
        .coordination_gap
        .into_iter()
        .map(|gap| {
            let (search_symbol, check) = checks.remove(&gap.consumer_file).unzip();
            ImpactClosureGap {
                consumer_file: gap.consumer_file,
                consumed_symbols: gap.consumed_symbols,
                note: "syntactic attention pointer, not a correctness proof".to_string(),
                search_visibility: check.as_ref().map(|check| check.visibility),
                reason: check.as_ref().and_then(|check| check.reason),
                search_as: check.and_then(|check| check.search_as),
                search_symbol,
            }
        })
        .collect();

    Some(ImpactClosureTrace {
        seed,
        affected_not_shown: paths.affected_not_shown,
        coordination_gap,
    })
}

/// The worst literal-search check per consumer of the value exports of
/// `seed`, over every export the consumer references, with the name of the
/// export that the check belongs to. The order of the levels is `missed`, then
/// `renamed`, then `found`.
fn consumer_search_checks(
    graph: &ModuleGraph,
    seed: FileId,
) -> FxHashMap<FileId, (String, SearchCheck)> {
    let mut checks: FxHashMap<FileId, (String, SearchCheck)> = FxHashMap::default();
    let Some(module) = graph.modules.get(seed.0 as usize) else {
        return checks;
    };
    let mut sources = SourceCache::new(graph);
    for export in module.exports.iter().filter(|export| !export.is_type_only) {
        let name = export.name.to_string();
        let target = SearchTarget::new(graph, &mut sources, seed, &name, ExportNamespace::Value);
        let mut seen = FxHashSet::default();
        for reference in &export.references {
            if reference.from_file == seed || !seen.insert(reference.from_file) {
                continue;
            }
            let Some(check) = target.check(graph, &mut sources, reference) else {
                continue;
            };
            // A local use of one export outranks a pass-through of another.
            let worse = checks.get(&reference.from_file).is_none_or(|(_, known)| {
                check.visibility > known.visibility
                    || (check.visibility == known.visibility
                        && known.reason == Some(SearchGapReason::PassThrough)
                        && check.reason != Some(SearchGapReason::PassThrough))
            });
            if worse {
                checks.insert(reference.from_file, (name.clone(), check));
            }
        }
    }
    checks
}

/// Which endpoint of a `--path` request did not resolve to exactly one module.
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub enum ImportPathEndpoint {
    /// The module the walk would start from.
    From,
    /// The module the walk is looking for.
    To,
    /// Several modules match the starting path abbreviation.
    AmbiguousFrom,
    /// Several modules match the destination path abbreviation.
    AmbiguousTo,
}

impl ImportPathEndpoint {
    /// The flag position this endpoint occupies, for diagnostics.
    #[must_use]
    pub const fn label(self) -> &'static str {
        match self {
            Self::From | Self::AmbiguousFrom => "from",
            Self::To | Self::AmbiguousTo => "to",
        }
    }

    /// Whether the endpoint matched several modules instead of no module.
    #[must_use]
    pub const fn is_ambiguous(self) -> bool {
        matches!(self, Self::AmbiguousFrom | Self::AmbiguousTo)
    }
}

fn import_path_endpoint_index(
    graph: &ModuleGraph,
    root: &Path,
    path: &str,
    missing: ImportPathEndpoint,
    ambiguous: ImportPathEndpoint,
) -> Result<usize, ImportPathEndpoint> {
    match matching_module_indexes(graph, root, path).as_slice() {
        [index] => Ok(*index),
        [] => Err(missing),
        _ => Err(ambiguous),
    }
}

/// Trace the shortest import path from one module to another.
///
/// Exact paths take priority over abbreviated suffixes. Returns the unresolved
/// endpoint when either side names no module or an ambiguous suffix, so the
/// caller can name which half of the request was wrong.
///
/// # Errors
///
/// Returns the endpoint that did not resolve to exactly one module in the graph.
pub fn trace_import_path(
    graph: &ModuleGraph,
    root: &Path,
    from_path: &str,
    to_path: &str,
    eager_only: bool,
) -> Result<ImportPathTrace, ImportPathEndpoint> {
    let from_index = import_path_endpoint_index(
        graph,
        root,
        from_path,
        ImportPathEndpoint::From,
        ImportPathEndpoint::AmbiguousFrom,
    )?;
    let to_index = import_path_endpoint_index(
        graph,
        root,
        to_path,
        ImportPathEndpoint::To,
        ImportPathEndpoint::AmbiguousTo,
    )?;
    let from = &graph.modules[from_index];
    let to = &graph.modules[to_index];

    let from_rel = relativize(&from.path, root);
    let to_rel = relativize(&to.path, root);

    let route = if eager_only {
        graph.shortest_eager_import_path(from.file_id, to.file_id)
    } else {
        graph.shortest_import_path(from.file_id, to.file_id)
    };
    let Some(hops) = route else {
        let kind = if eager_only {
            "eager import path"
        } else {
            "import path"
        };
        return Ok(ImportPathTrace {
            schema_version: ImportPathTraceSchemaVersion::V1,
            reason: format!("no {kind} from {from_rel} to {to_rel}"),
            from: from_rel,
            to: to_rel,
            reachable: false,
            hops: 0,
            path: Vec::new(),
        });
    };

    if hops.is_empty() {
        return Ok(ImportPathTrace {
            schema_version: ImportPathTraceSchemaVersion::V1,
            reason: format!("{from_rel} is the same module as {to_rel}"),
            from: from_rel,
            to: to_rel,
            reachable: true,
            hops: 0,
            path: Vec::new(),
        });
    }

    let path = resolve_import_path_hops(graph, root, &hops);
    let hop_count = path.len();
    let plural = if hop_count == 1 { "hop" } else { "hops" };
    // A route whose every hop is type-only is erased at build time. Saying so is
    // the difference between "these modules ship coupled" and "the coupling only
    // exists for the type checker".
    let reason = if path.iter().all(|hop| hop.type_only) {
        format!(
            "{from_rel} reaches {to_rel} in {hop_count} type-only {plural}, erased at build time"
        )
    } else {
        format!("{from_rel} reaches {to_rel} in {hop_count} {plural}")
    };

    Ok(ImportPathTrace {
        schema_version: ImportPathTraceSchemaVersion::V1,
        from: from_rel,
        to: to_rel,
        reachable: true,
        hops: hop_count,
        path,
        reason,
    })
}

/// Resolve graph-level hops to the wire shape, turning each import span into a
/// 1-based line. Each source file is read at most once per trace; a file that
/// cannot be read yields `import_line: None` rather than a guessed line.
fn resolve_import_path_hops(
    graph: &ModuleGraph,
    root: &Path,
    hops: &[GraphImportPathHop],
) -> Vec<ImportPathHop> {
    let mut line_offsets: FxHashMap<FileId, Option<Vec<u32>>> = FxHashMap::default();
    hops.iter()
        .filter_map(|hop| {
            let from = graph.modules.get(hop.from.0 as usize)?;
            let to = graph.modules.get(hop.to.0 as usize)?;
            let import_line = hop.import_span_start.and_then(|span_start| {
                line_offsets
                    .entry(hop.from)
                    .or_insert_with(|| {
                        std::fs::read_to_string(&from.path)
                            .ok()
                            .map(|source| fallow_types::extract::compute_line_offsets(&source))
                    })
                    .as_ref()
                    .map(|offsets| {
                        fallow_types::extract::byte_offset_to_line_col(offsets, span_start).0
                    })
            });
            Some(ImportPathHop {
                from: relativize(&from.path, root),
                to: relativize(&to.path, root),
                type_only: hop.all_type_only,
                dynamic: hop.dynamic,
                import_line,
            })
        })
        .collect()
}

/// Relativize a module path against the project root, forward-slashed.
pub fn relativize(path: &Path, root: &Path) -> String {
    path.strip_prefix(root)
        .unwrap_or(path)
        .to_string_lossy()
        .replace('\\', "/")
}

/// Build a [`TracedCloneGroup`] from a raw clone group, computing the
/// fingerprint, group-level suggestion, and dominant-identifier name and
/// relativizing every instance path against `root`.
fn build_traced_group(
    group: &CloneGroup,
    root: &Path,
    fingerprints: &CloneFingerprintSet,
) -> TracedCloneGroup {
    TracedCloneGroup {
        fingerprint: fingerprints.fingerprint_for_group(group),
        token_count: group.token_count,
        line_count: group.line_count,
        spread: group.spread(),
        similarity: group.similarity,
        instances: group
            .instances
            .iter()
            .map(|inst| relativize_instance(inst, root))
            .collect(),
        suggestion: group_refactoring_suggestion(group),
        suggested_name: dominant_identifier(group),
    }
}

#[must_use]
pub fn trace_clone(
    report: &DuplicationReport,
    root: &Path,
    file_path: &str,
    line: usize,
) -> CloneTrace {
    let resolved = root.join(file_path);
    let mut matched_instance = None;
    let mut clone_groups = Vec::new();
    let fingerprints = CloneFingerprintSet::from_groups(&report.clone_groups);

    for group in &report.clone_groups {
        let matching = group.instances.iter().find(|inst| {
            let inst_matches = inst.file == resolved
                || inst.file.strip_prefix(root).unwrap_or(&inst.file) == Path::new(file_path);
            inst_matches && inst.start_line <= line && line <= inst.end_line
        });

        if let Some(matched) = matching {
            if matched_instance.is_none() {
                matched_instance = Some(relativize_instance(matched, root));
            }
            clone_groups.push(build_traced_group(group, root, &fingerprints));
        }
    }

    CloneTrace {
        file: PathBuf::from(file_path),
        line,
        matched_instance,
        clone_groups,
    }
}

/// Trace a clone group by its stable content fingerprint.
///
/// Fingerprints are usually `dup:<8hex>` and widen only when needed to avoid a
/// collision inside the same report.
///
/// Returns a [`CloneTrace`] whose single `clone_groups` entry is the matched
/// group and whose `file` / `line` / `matched_instance` come from that group's
/// representative (first) instance. `matched_instance` is `None` (and
/// `clone_groups` empty) when no group matches the fingerprint.
#[must_use]
pub fn trace_clone_by_fingerprint(
    report: &DuplicationReport,
    root: &Path,
    fingerprint: &str,
) -> CloneTrace {
    let fingerprints = CloneFingerprintSet::from_groups(&report.clone_groups);
    let matched = fingerprints.find_group(&report.clone_groups, fingerprint);

    let Some(group) = matched else {
        return CloneTrace {
            file: PathBuf::new(),
            line: 0,
            matched_instance: None,
            clone_groups: Vec::new(),
        };
    };

    let representative = group
        .instances
        .first()
        .map(|inst| relativize_instance(inst, root));
    let (file, line) = representative.as_ref().map_or_else(
        || (PathBuf::new(), 0),
        |inst| (inst.file.clone(), inst.start_line),
    );

    CloneTrace {
        file,
        line,
        matched_instance: representative,
        clone_groups: vec![build_traced_group(group, root, &fingerprints)],
    }
}

/// Return a copy of `inst` with `file` rewritten relative to `root` (forward-slash normalized
/// for cross-platform JSON parity with `serde_path::serialize`). If `inst.file` is already
/// outside `root`, the path is left unchanged.
fn relativize_instance(inst: &CloneInstance, root: &Path) -> CloneInstance {
    let rel = inst.file.strip_prefix(root).map_or_else(
        |_| inst.file.clone(),
        |p| PathBuf::from(p.to_string_lossy().replace('\\', "/")),
    );
    CloneInstance {
        file: rel,
        ..inst.clone()
    }
}

#[cfg(test)]
#[path = "trace_impl_dependency_tests.rs"]
mod dependency_tests;

#[cfg(test)]
mod tests {
    use super::*;

    use crate::discover::{DiscoveredFile, EntryPoint, EntryPointSource, FileId};
    use fallow_graph::resolve::{ResolveResult, ResolvedImport, ResolvedModule, ResolvedReExport};
    use fallow_types::extract::ReExportInfo;
    use fallow_types::extract::{ExportInfo, ExportName, ImportInfo, ImportedName, VisibilityTag};

    fn resolved_re_export(
        source: FileId,
        imported_name: &str,
        exported_name: &str,
    ) -> ResolvedReExport {
        ResolvedReExport {
            info: ReExportInfo {
                source: "./source".to_string(),
                imported_name: imported_name.to_string(),
                exported_name: exported_name.to_string(),
                is_type_only: false,
                span: oxc_span::Span::default(),
                statement_span: oxc_span::Span::default(),
                source_span: oxc_span::Span::default(),
            },
            target: ResolveResult::InternalModule(source),
        }
    }

    fn build_test_graph() -> ModuleGraph {
        build_test_graph_at(Path::new("/project"))
    }

    /// The `entry -> utils` graph with module paths under `root`.
    fn build_test_graph_at(root: &Path) -> ModuleGraph {
        let src = |name: &str| root.join("src").join(name);
        let files = vec![
            DiscoveredFile {
                id: FileId(0),
                path: src("entry.ts"),
                size_bytes: 100,
            },
            DiscoveredFile {
                id: FileId(1),
                path: src("utils.ts"),
                size_bytes: 50,
            },
            DiscoveredFile {
                id: FileId(2),
                path: src("unused.ts"),
                size_bytes: 30,
            },
        ];

        let entry_points = vec![EntryPoint {
            path: src("entry.ts"),
            source: EntryPointSource::PackageJsonMain,
        }];

        let resolved_modules = vec![
            ResolvedModule {
                file_id: FileId(0),
                path: src("entry.ts"),
                resolved_imports: vec![ResolvedImport {
                    info: ImportInfo {
                        source: "./utils".to_string(),
                        imported_name: ImportedName::Named("foo".to_string()),
                        local_name: "foo".to_string(),
                        is_type_only: false,
                        is_type_only_star: false,
                        from_style: false,
                        span: oxc_span::Span::new(0, 10),
                        source_span: oxc_span::Span::default(),
                    },
                    target: ResolveResult::InternalModule(FileId(1)),
                }],
                ..Default::default()
            },
            ResolvedModule {
                file_id: FileId(1),
                path: src("utils.ts"),
                exports: vec![
                    ExportInfo {
                        name: ExportName::Named("foo".to_string()),
                        local_name: Some("foo".to_string()),
                        is_type_only: false,
                        visibility: VisibilityTag::None,
                        expected_unused_reason: None,
                        span: oxc_span::Span::new(0, 20),
                        members: vec![],
                        is_side_effect_used: false,
                        super_class: None,
                        deprecated: false,
                        deprecated_reason: None,
                    },
                    ExportInfo {
                        name: ExportName::Named("bar".to_string()),
                        local_name: Some("bar".to_string()),
                        is_type_only: false,
                        visibility: VisibilityTag::None,
                        expected_unused_reason: None,
                        span: oxc_span::Span::new(21, 40),
                        members: vec![],
                        is_side_effect_used: false,
                        super_class: None,
                        deprecated: false,
                        deprecated_reason: None,
                    },
                ]
                .into(),
                ..Default::default()
            },
            ResolvedModule {
                file_id: FileId(2),
                path: src("unused.ts"),
                exports: vec![ExportInfo {
                    name: ExportName::Named("baz".to_string()),
                    local_name: Some("baz".to_string()),
                    is_type_only: false,
                    visibility: VisibilityTag::None,
                    expected_unused_reason: None,
                    span: oxc_span::Span::new(0, 15),
                    members: vec![],
                    is_side_effect_used: false,
                    super_class: None,
                    deprecated: false,
                    deprecated_reason: None,
                }]
                .into(),
                ..Default::default()
            },
        ];

        ModuleGraph::build(&resolved_modules, &entry_points, &files)
    }

    #[test]
    fn trace_used_export() {
        let graph = build_test_graph();
        let root = Path::new("/project");

        let trace = trace_export(&graph, root, "src/utils.ts", "foo").unwrap();
        assert!(trace.is_used);
        assert!(trace.file_reachable);
        assert_eq!(trace.direct_references.len(), 1);
        assert_eq!(
            trace.direct_references[0].from_file,
            PathBuf::from("src/entry.ts")
        );
        assert_eq!(trace.direct_references[0].kind, "named import");
    }

    #[test]
    fn trace_unused_export() {
        let graph = build_test_graph();
        let root = Path::new("/project");

        let trace = trace_export(&graph, root, "src/utils.ts", "bar").unwrap();
        assert!(!trace.is_used);
        assert!(trace.file_reachable);
        assert!(trace.direct_references.is_empty());
        assert_eq!(
            trace.namespace,
            fallow_types::semantic::SemanticNamespace::Value,
            "an unreferenced value export stays in the value namespace"
        );
    }

    #[test]
    fn trace_unreachable_file_export() {
        let graph = build_test_graph();
        let root = Path::new("/project");

        let trace = trace_export(&graph, root, "src/unused.ts", "baz").unwrap();
        assert!(!trace.is_used);
        assert!(!trace.file_reachable);
        assert!(trace.reason.contains("unreachable"));
    }

    #[test]
    fn trace_nonexistent_export() {
        let graph = build_test_graph();
        let root = Path::new("/project");

        let trace = trace_export(&graph, root, "src/utils.ts", "nonexistent");
        assert!(trace.is_none());
    }

    fn assert_no_search_fields(reference: &ExportReference) {
        assert_eq!(reference.line, None);
        assert_eq!(reference.search_visibility, None);
        assert_eq!(reference.reason, None);
        assert_eq!(reference.search_as, None);
    }

    fn assert_gap_has_no_search_fields(gap: &ImpactClosureGap) {
        assert_eq!(gap.search_visibility, None);
        assert_eq!(gap.reason, None);
        assert_eq!(gap.search_as, None);
        assert_eq!(gap.search_symbol, None);
    }

    #[test]
    fn unreadable_consumer_leaves_the_search_fields_absent() {
        // The paths under `/project` do not exist, so no consumer source can be read.
        let graph = build_test_graph();
        let root = Path::new("/project");

        let trace = trace_export(&graph, root, "src/utils.ts", "foo").unwrap();
        assert_eq!(trace.direct_references.len(), 1);
        assert_no_search_fields(&trace.direct_references[0]);

        let impact = trace_impact_closure(&graph, root, "src/utils.ts").unwrap();
        assert_eq!(impact.coordination_gap.len(), 1);
        assert_gap_has_no_search_fields(&impact.coordination_gap[0]);
    }

    #[test]
    fn impact_closure_without_search_reads_no_consumer_source() {
        let dir = tempfile::tempdir().expect("tempdir");
        let src = dir.path().join("src");
        std::fs::create_dir_all(&src).unwrap();
        std::fs::write(
            src.join("entry.ts"),
            "import { foo } from './utils';\nfoo();\n",
        )
        .unwrap();
        std::fs::write(
            src.join("utils.ts"),
            "export const foo = 1;\nexport const bar = 2;\n",
        )
        .unwrap();
        let graph = build_test_graph_at(dir.path());

        let checked = trace_impact_closure(&graph, dir.path(), "src/utils.ts").unwrap();
        assert_eq!(checked.coordination_gap.len(), 1);
        assert_eq!(
            checked.coordination_gap[0].search_visibility,
            Some(fallow_types::trace::SearchVisibility::Found)
        );
        assert_eq!(
            checked.coordination_gap[0].search_symbol.as_deref(),
            Some("foo")
        );

        let unchecked =
            trace_impact_closure_without_search(&graph, dir.path(), "src/utils.ts").unwrap();
        assert_eq!(unchecked.coordination_gap.len(), 1);
        assert_gap_has_no_search_fields(&unchecked.coordination_gap[0]);
        assert_eq!(unchecked.affected_not_shown, checked.affected_not_shown);
    }

    #[test]
    fn trace_reports_only_the_effective_re_export_origin() {
        let files: Vec<_> = ["entry", "barrel", "star-source", "explicit-source"]
            .into_iter()
            .enumerate()
            .map(|(index, name)| DiscoveredFile {
                id: FileId(index as u32),
                path: PathBuf::from(format!("/project/src/{name}.ts")),
                size_bytes: 10,
            })
            .collect();
        let entry_points = vec![EntryPoint {
            path: files[0].path.clone(),
            source: EntryPointSource::PackageJsonMain,
        }];
        let re_export = |source: FileId, imported: &str, exported: &str| ResolvedReExport {
            info: ReExportInfo {
                source: format!("./{}", source.0),
                imported_name: imported.to_string(),
                exported_name: exported.to_string(),
                is_type_only: false,
                span: oxc_span::Span::default(),
                statement_span: oxc_span::Span::default(),
                source_span: oxc_span::Span::default(),
            },
            target: ResolveResult::InternalModule(source),
        };
        let export = || ExportInfo {
            name: ExportName::Named("foo".to_string()),
            local_name: Some("foo".to_string()),
            is_type_only: false,
            visibility: VisibilityTag::None,
            expected_unused_reason: None,
            span: oxc_span::Span::new(0, 3),
            members: Vec::new(),
            is_side_effect_used: false,
            super_class: None,
            deprecated: false,
            deprecated_reason: None,
        };
        let resolved = vec![
            ResolvedModule {
                file_id: FileId(0),
                path: files[0].path.clone(),
                resolved_imports: vec![ResolvedImport {
                    info: ImportInfo {
                        source: "./barrel".to_string(),
                        imported_name: ImportedName::Named("foo".to_string()),
                        local_name: "foo".to_string(),
                        is_type_only: false,
                        is_type_only_star: false,
                        from_style: false,
                        span: oxc_span::Span::default(),
                        source_span: oxc_span::Span::default(),
                    },
                    target: ResolveResult::InternalModule(FileId(1)),
                }],
                ..Default::default()
            },
            ResolvedModule {
                file_id: FileId(1),
                path: files[1].path.clone(),
                re_exports: vec![
                    re_export(FileId(2), "*", "*"),
                    re_export(FileId(3), "foo", "foo"),
                ],
                ..Default::default()
            },
            ResolvedModule {
                file_id: FileId(2),
                path: files[2].path.clone(),
                exports: vec![export()].into(),
                ..Default::default()
            },
            ResolvedModule {
                file_id: FileId(3),
                path: files[3].path.clone(),
                exports: vec![export()].into(),
                ..Default::default()
            },
        ];
        let graph = ModuleGraph::build(&resolved, &entry_points, &files);

        let shadowed = trace_export(&graph, Path::new("/project"), "src/star-source.ts", "foo")
            .expect("shadowed source export exists");
        let effective = trace_export(
            &graph,
            Path::new("/project"),
            "src/explicit-source.ts",
            "foo",
        )
        .expect("effective source export exists");

        assert!(shadowed.re_export_chains.is_empty());
        assert_eq!(effective.re_export_chains.len(), 1);
        assert_eq!(effective.re_export_chains[0].exported_as, "foo");
    }

    fn star_surface_trace_graph(root: &Path) -> ModuleGraph {
        let src = root.join("src");
        std::fs::create_dir_all(&src).expect("create source directory");
        let paths: Vec<_> = ["source", "barrel-a", "barrel-b", "outer", "entry"]
            .into_iter()
            .map(|name| src.join(format!("{name}.ts")))
            .collect();
        std::fs::write(&paths[0], "\n\nexport const foo = 1;\n").expect("write source");
        for path in &paths[1..] {
            std::fs::write(path, "export {};\n").expect("write module");
        }
        let files: Vec<_> = paths
            .iter()
            .enumerate()
            .map(|(index, path)| DiscoveredFile {
                id: FileId(index as u32),
                path: path.clone(),
                size_bytes: 20,
            })
            .collect();
        let resolved = vec![
            ResolvedModule {
                file_id: FileId(0),
                path: paths[0].clone(),
                exports: vec![ExportInfo {
                    name: ExportName::Named("foo".to_string()),
                    local_name: Some("foo".to_string()),
                    is_type_only: false,
                    visibility: VisibilityTag::None,
                    expected_unused_reason: None,
                    span: oxc_span::Span::new(2, 5),
                    members: Vec::new(),
                    is_side_effect_used: false,
                    super_class: None,
                    deprecated: false,
                    deprecated_reason: None,
                }]
                .into(),
                ..Default::default()
            },
            ResolvedModule {
                file_id: FileId(1),
                path: paths[1].clone(),
                re_exports: vec![resolved_re_export(FileId(0), "*", "*")],
                ..Default::default()
            },
            ResolvedModule {
                file_id: FileId(2),
                path: paths[2].clone(),
                re_exports: vec![resolved_re_export(FileId(0), "*", "*")],
                ..Default::default()
            },
            ResolvedModule {
                file_id: FileId(3),
                path: paths[3].clone(),
                re_exports: vec![
                    resolved_re_export(FileId(1), "foo", "left"),
                    resolved_re_export(FileId(1), "foo", "right"),
                ],
                ..Default::default()
            },
            ResolvedModule {
                file_id: FileId(4),
                path: paths[4].clone(),
                resolved_imports: vec![
                    ResolvedImport {
                        info: ImportInfo {
                            source: "./outer".to_string(),
                            imported_name: ImportedName::Named("left".to_string()),
                            local_name: "left".to_string(),
                            is_type_only: false,
                            is_type_only_star: false,
                            from_style: false,
                            span: oxc_span::Span::new(10, 20),
                            source_span: oxc_span::Span::default(),
                        },
                        target: ResolveResult::InternalModule(FileId(3)),
                    },
                    ResolvedImport {
                        info: ImportInfo {
                            source: "./barrel-b".to_string(),
                            imported_name: ImportedName::Named("foo".to_string()),
                            local_name: "otherFoo".to_string(),
                            is_type_only: false,
                            is_type_only_star: false,
                            from_style: false,
                            span: oxc_span::Span::new(30, 40),
                            source_span: oxc_span::Span::default(),
                        },
                        target: ResolveResult::InternalModule(FileId(2)),
                    },
                ],
                ..Default::default()
            },
        ];
        let entry_points = vec![EntryPoint {
            path: paths[4].clone(),
            source: EntryPointSource::PackageJsonMain,
        }];
        ModuleGraph::build(&resolved, &entry_points, &files)
    }

    #[test]
    fn star_surface_trace_keeps_aliases_separate_and_uses_origin_identity() {
        let root = tempfile::tempdir().expect("temporary project");
        let graph = star_surface_trace_graph(root.path());

        let used = trace_export(&graph, root.path(), "src/barrel-a.ts", "foo")
            .expect("aliased barrel exposes foo");
        let sibling = trace_export(&graph, root.path(), "src/barrel-b.ts", "foo")
            .expect("sibling barrel exposes foo");
        assert!(used.is_used);
        assert_eq!(used.direct_references.len(), 1);
        assert!(sibling.is_used);
        assert_eq!(sibling.direct_references.len(), 1);

        let source_trace = trace_export(&graph, root.path(), "src/source.ts", "foo")
            .expect("source declaration is traceable");
        let chain_count = |file: &str, name: &str| {
            source_trace
                .re_export_chains
                .iter()
                .find(|chain| chain.barrel_file == Path::new(file) && chain.exported_as == name)
                .map(|chain| chain.reference_count)
        };
        assert_eq!(chain_count("src/barrel-a.ts", "foo"), Some(1));
        assert_eq!(chain_count("src/barrel-b.ts", "foo"), Some(1));
        assert_eq!(chain_count("src/outer.ts", "left"), Some(1));
        assert_eq!(chain_count("src/outer.ts", "right"), Some(0));

        let semantic = semantic_symbol_for_export(&graph, root.path(), "src/barrel-a.ts", "foo")
            .expect("star surface resolves to its declaration identity");
        assert_eq!(semantic.path, Path::new("src/source.ts"));
        assert_eq!(semantic.exported_name, "foo");
        assert_eq!(semantic.local_name, "foo");
        assert_eq!((semantic.line, semantic.col), (3, 0));

        let alias = semantic_symbol_for_export(&graph, root.path(), "src/outer.ts", "left")
            .expect("named re-export keeps its export-specifier identity");
        assert_eq!(alias.path, Path::new("src/outer.ts"));
        assert_eq!(alias.exported_name, "left");
        assert_eq!(alias.local_name, "foo");
    }

    #[test]
    fn trace_follows_renamed_and_convergent_re_export_routes() {
        let names = [
            "source",
            "renamed",
            "final",
            "left",
            "right",
            "diamond-entry",
        ];
        let files: Vec<_> = names
            .into_iter()
            .enumerate()
            .map(|(index, name)| DiscoveredFile {
                id: FileId(index as u32),
                path: PathBuf::from(format!("/project/src/{name}.ts")),
                size_bytes: 10,
            })
            .collect();
        let re_export = |source: FileId, imported: &str, exported: &str| ResolvedReExport {
            info: ReExportInfo {
                source: format!("./{}", source.0),
                imported_name: imported.to_string(),
                exported_name: exported.to_string(),
                is_type_only: false,
                span: oxc_span::Span::default(),
                statement_span: oxc_span::Span::default(),
                source_span: oxc_span::Span::default(),
            },
            target: ResolveResult::InternalModule(source),
        };
        let mut resolved: Vec<_> = files
            .iter()
            .map(|file| ResolvedModule {
                file_id: file.id,
                path: file.path.clone(),
                ..Default::default()
            })
            .collect();
        resolved[0].exports = vec![ExportInfo {
            name: ExportName::Named("foo".to_string()),
            local_name: Some("foo".to_string()),
            is_type_only: false,
            visibility: VisibilityTag::None,
            expected_unused_reason: None,
            span: oxc_span::Span::new(0, 3),
            members: Vec::new(),
            is_side_effect_used: false,
            super_class: None,
            deprecated: false,
            deprecated_reason: None,
        }]
        .into();
        resolved[1].re_exports = vec![re_export(FileId(0), "foo", "bar")];
        resolved[2].re_exports = vec![re_export(FileId(1), "bar", "baz")];
        resolved[3].re_exports = vec![re_export(FileId(0), "*", "*")];
        resolved[4].re_exports = vec![re_export(FileId(0), "*", "*")];
        resolved[5].re_exports = vec![
            re_export(FileId(3), "*", "*"),
            re_export(FileId(4), "*", "*"),
        ];
        let entry_points = vec![EntryPoint {
            path: files[5].path.clone(),
            source: EntryPointSource::PackageJsonMain,
        }];
        let graph = ModuleGraph::build(&resolved, &entry_points, &files);

        let trace = trace_export(&graph, Path::new("/project"), "src/source.ts", "foo")
            .expect("source export exists");
        let routes: FxHashSet<_> = trace
            .re_export_chains
            .iter()
            .map(|route| (route.barrel_file.as_path(), route.exported_as.as_str()))
            .collect();

        assert_eq!(routes.len(), 5);
        assert!(routes.contains(&(Path::new("src/renamed.ts"), "bar")));
        assert!(routes.contains(&(Path::new("src/final.ts"), "baz")));
        assert!(routes.contains(&(Path::new("src/left.ts"), "foo")));
        assert!(routes.contains(&(Path::new("src/right.ts"), "foo")));
        assert!(routes.contains(&(Path::new("src/diamond-entry.ts"), "foo")));
    }

    #[test]
    fn trace_prefers_the_value_namespace_independent_of_usage() {
        let files = vec![
            DiscoveredFile {
                id: FileId(0),
                path: PathBuf::from("/project/src/entry.ts"),
                size_bytes: 10,
            },
            DiscoveredFile {
                id: FileId(1),
                path: PathBuf::from("/project/src/source.ts"),
                size_bytes: 10,
            },
        ];
        let export = |is_type_only| ExportInfo {
            name: ExportName::Named("Foo".to_string()),
            local_name: Some("Foo".to_string()),
            is_type_only,
            visibility: VisibilityTag::None,
            expected_unused_reason: None,
            span: oxc_span::Span::new(0, 3),
            members: Vec::new(),
            is_side_effect_used: false,
            super_class: None,
            deprecated: false,
            deprecated_reason: None,
        };
        let resolved = vec![
            ResolvedModule {
                file_id: FileId(0),
                path: files[0].path.clone(),
                resolved_imports: vec![ResolvedImport {
                    info: ImportInfo {
                        source: "./source".to_string(),
                        imported_name: ImportedName::Named("Foo".to_string()),
                        local_name: "Foo".to_string(),
                        is_type_only: true,
                        is_type_only_star: false,
                        from_style: false,
                        span: oxc_span::Span::default(),
                        source_span: oxc_span::Span::default(),
                    },
                    target: ResolveResult::InternalModule(FileId(1)),
                }],
                ..Default::default()
            },
            ResolvedModule {
                file_id: FileId(1),
                path: files[1].path.clone(),
                exports: vec![export(false), export(true)].into(),
                ..Default::default()
            },
        ];
        let entry_points = vec![EntryPoint {
            path: files[0].path.clone(),
            source: EntryPointSource::PackageJsonMain,
        }];
        let graph = ModuleGraph::build(&resolved, &entry_points, &files);

        let trace = trace_export(&graph, Path::new("/project"), "src/source.ts", "Foo")
            .expect("value export exists");

        // The type import credits the distinct `export type Foo` declaration,
        // so dead-code still reports the value `Foo`; the trace must agree and
        // must not borrow the type lane here (issue #2371). A declaration
        // merge that splits across lanes, `interface Foo` next to `class Foo`,
        // reaches the graph as this same pair of surfaces, so it is the shape
        // the documented gap names: dead-code credits the class through the
        // merge while the trace still reports it unused.
        assert_eq!(
            trace.namespace,
            fallow_types::semantic::SemanticNamespace::Value
        );
        assert!(!trace.is_used, "type usage must not select the type export");
    }

    /// Consumer `entry.ts` importing `Foo` from `source.ts`, whose exports are
    /// supplied by the caller.
    fn source_consumer_graph(
        source_exports: Vec<ExportInfo>,
        import_is_type_only: bool,
        classified_usage: bool,
        semantic_facts: Vec<fallow_types::extract::SemanticFact>,
    ) -> ModuleGraph {
        let files = vec![
            DiscoveredFile {
                id: FileId(0),
                path: PathBuf::from("/project/src/entry.ts"),
                size_bytes: 10,
            },
            DiscoveredFile {
                id: FileId(1),
                path: PathBuf::from("/project/src/source.ts"),
                size_bytes: 10,
            },
        ];
        let classified = if classified_usage {
            vec!["Foo".to_string()]
        } else {
            Vec::new()
        };
        let resolved = vec![
            ResolvedModule {
                file_id: FileId(0),
                path: files[0].path.clone(),
                resolved_imports: vec![ResolvedImport {
                    info: ImportInfo {
                        source: "./source".to_string(),
                        imported_name: ImportedName::Named("Foo".to_string()),
                        local_name: "Foo".to_string(),
                        is_type_only: import_is_type_only,
                        is_type_only_star: false,
                        from_style: false,
                        span: oxc_span::Span::new(0, 10),
                        source_span: oxc_span::Span::default(),
                    },
                    target: ResolveResult::InternalModule(FileId(1)),
                }],
                type_referenced_import_bindings: classified.clone(),
                value_referenced_import_bindings: classified,
                ..Default::default()
            },
            ResolvedModule {
                file_id: FileId(1),
                path: files[1].path.clone(),
                exports: source_exports.into(),
                semantic_facts: semantic_facts.into(),
                ..Default::default()
            },
        ];
        let entry_points = vec![EntryPoint {
            path: files[0].path.clone(),
            source: EntryPointSource::PackageJsonMain,
        }];
        ModuleGraph::build(&resolved, &entry_points, &files)
    }

    /// Two consumers of `source.ts`: `entry.ts` imports `Foo` in value
    /// position and `typed.ts` imports the same name with `import type`, so
    /// one effective binding carries a reference in both lanes.
    fn dual_lane_consumer_graph(source_exports: Vec<ExportInfo>) -> ModuleGraph {
        let files = vec![
            DiscoveredFile {
                id: FileId(0),
                path: PathBuf::from("/project/src/entry.ts"),
                size_bytes: 10,
            },
            DiscoveredFile {
                id: FileId(1),
                path: PathBuf::from("/project/src/source.ts"),
                size_bytes: 10,
            },
            DiscoveredFile {
                id: FileId(2),
                path: PathBuf::from("/project/src/typed.ts"),
                size_bytes: 10,
            },
        ];
        let consumer = |file_id: FileId, path: PathBuf, is_type_only: bool| ResolvedModule {
            file_id,
            path,
            resolved_imports: vec![ResolvedImport {
                info: ImportInfo {
                    source: "./source".to_string(),
                    imported_name: ImportedName::Named("Foo".to_string()),
                    local_name: "Foo".to_string(),
                    is_type_only,
                    is_type_only_star: false,
                    from_style: false,
                    span: oxc_span::Span::new(0, 10),
                    source_span: oxc_span::Span::default(),
                },
                target: ResolveResult::InternalModule(FileId(1)),
            }],
            ..Default::default()
        };
        let resolved = vec![
            consumer(FileId(0), files[0].path.clone(), false),
            ResolvedModule {
                file_id: FileId(1),
                path: files[1].path.clone(),
                exports: source_exports.into(),
                ..Default::default()
            },
            consumer(FileId(2), files[2].path.clone(), true),
        ];
        let entry_points = vec![
            EntryPoint {
                path: files[0].path.clone(),
                source: EntryPointSource::PackageJsonMain,
            },
            EntryPoint {
                path: files[2].path.clone(),
                source: EntryPointSource::PackageJsonMain,
            },
        ];
        ModuleGraph::build(&resolved, &entry_points, &files)
    }

    fn named_foo_export(is_type_only: bool) -> ExportInfo {
        ExportInfo {
            name: ExportName::Named("Foo".to_string()),
            local_name: Some("Foo".to_string()),
            is_type_only,
            visibility: VisibilityTag::None,
            expected_unused_reason: None,
            span: oxc_span::Span::new(0, 3),
            members: Vec::new(),
            is_side_effect_used: false,
            super_class: None,
            deprecated: false,
            deprecated_reason: None,
        }
    }

    #[test]
    fn trace_credits_a_value_only_export_through_the_type_lane() {
        // Issue #2371: `import type { Foo }` of `export const Foo` lands on the
        // value declaration through the type-lane fallback, and dead-code
        // counts that as a use. The trace reports the crediting lane.
        let graph = source_consumer_graph(vec![named_foo_export(false)], true, false, Vec::new());

        let trace = trace_export(&graph, Path::new("/project"), "src/source.ts", "Foo")
            .expect("value export exists");

        assert_eq!(
            trace.namespace,
            fallow_types::semantic::SemanticNamespace::Type,
            "the type lane carries the only credit"
        );
        assert!(
            trace.is_used,
            "a type-only import credits a value-only export"
        );
        assert_eq!(trace.direct_references.len(), 1);
        assert_eq!(
            trace.direct_references[0].from_file,
            PathBuf::from("src/entry.ts")
        );
        assert_eq!(trace.direct_references[0].kind, "named import");
        assert_eq!(trace.reason, "Used by 1 file(s)");
    }

    #[test]
    fn trace_omits_redundant_single_namespace_evidence() {
        let graph = source_consumer_graph(vec![named_foo_export(false)], false, false, Vec::new());

        let trace = trace_export(&graph, Path::new("/project"), "src/source.ts", "Foo")
            .expect("value export exists");

        assert_eq!(
            trace.namespace,
            fallow_types::semantic::SemanticNamespace::Value
        );
        assert_eq!(trace.direct_references.len(), 1);
        assert!(trace.direct_references_by_namespace.is_empty());
        let json = serde_json::to_value(&trace).expect("serialize trace");
        assert!(json.get("direct_references_by_namespace").is_none());
    }

    #[test]
    fn trace_keeps_the_value_lane_when_one_binding_carries_both_lanes() {
        // The preferred lane wins whenever it carries a reference, including
        // when the other lane resolves to the SAME binding and carries one
        // too: `export class Foo` consumed by a value importer and by an
        // `import type` importer must keep reporting the value consumer.
        // Without that rule the type lane would take over the payload.
        let graph = dual_lane_consumer_graph(vec![named_foo_export(false)]);

        let trace = trace_export(&graph, Path::new("/project"), "src/source.ts", "Foo")
            .expect("value export exists");

        assert_eq!(
            trace.namespace,
            fallow_types::semantic::SemanticNamespace::Value
        );
        assert!(trace.is_used);
        assert_eq!(trace.direct_references.len(), 1);
        assert_eq!(
            trace.direct_references[0].from_file,
            PathBuf::from("src/entry.ts"),
            "the value consumer stays the listed reference"
        );
        assert_eq!(trace.direct_references_by_namespace.len(), 2);
        assert!(trace.direct_references_by_namespace.iter().any(|lane| {
            lane.namespace == fallow_types::semantic::SemanticNamespace::Type
                && lane.reference_count == 1
                && lane.references[0].from_file == Path::new("src/typed.ts")
        }));
    }

    #[test]
    fn trace_credits_a_declaration_merge_that_stays_one_binding() {
        // A merge whose parts share the value lane, `class Foo` next to
        // `namespace Foo`, is one effective binding in both lanes, so a bound
        // `import type` credits it and the trace reports the crediting lane.
        let graph = source_consumer_graph(
            vec![named_foo_export(false), named_foo_export(false)],
            true,
            false,
            Vec::new(),
        );

        let trace = trace_export(&graph, Path::new("/project"), "src/source.ts", "Foo")
            .expect("value export exists");

        assert_eq!(
            trace.namespace,
            fallow_types::semantic::SemanticNamespace::Type,
            "the merged binding is reachable from the type lane"
        );
        assert!(trace.is_used);
        assert_eq!(trace.direct_references.len(), 1);
        assert_eq!(
            trace.direct_references[0].from_file,
            PathBuf::from("src/entry.ts")
        );
    }

    #[test]
    fn trace_credits_a_class_interface_declaration_merge() {
        let mut interface = named_foo_export(true);
        interface.span = oxc_span::Span::new(0, 3);
        let mut class = named_foo_export(false);
        class.span = oxc_span::Span::new(4, 7);
        let graph = source_consumer_graph(
            vec![interface, class],
            true,
            true,
            vec![fallow_types::extract::SemanticFact::DeclarationMerge(
                fallow_types::extract::DeclarationMergeFact {
                    export_spans: vec![(0, 3), (4, 7)],
                },
            )],
        );

        let trace = trace_export(&graph, Path::new("/project"), "src/source.ts", "Foo")
            .expect("merged class export exists");

        assert_eq!(
            trace.namespace,
            fallow_types::semantic::SemanticNamespace::Type
        );
        assert!(trace.is_used);
        assert_eq!(trace.direct_references.len(), 1);
    }

    #[test]
    fn trace_keeps_the_value_namespace_when_lanes_hold_distinct_bindings() {
        // Deliberate negative control: two same-name declarations in opposite
        // lanes are two bindings, so the value lane is kept even though the
        // type lane also carries a reference. The value lane holds the
        // reference here, so this pins the preferred-lane rule;
        // `trace_prefers_the_value_namespace_independent_of_usage` is the test
        // that reaches and pins the binding-equality guard.
        let graph = source_consumer_graph(
            vec![named_foo_export(false), named_foo_export(true)],
            false,
            true,
            Vec::new(),
        );

        let trace = trace_export(&graph, Path::new("/project"), "src/source.ts", "Foo")
            .expect("value export exists");

        assert_eq!(
            trace.namespace,
            fallow_types::semantic::SemanticNamespace::Value
        );
        assert!(trace.is_used);
        assert_eq!(trace.direct_references.len(), 1);
        assert_eq!(
            trace.direct_references[0].from_file,
            PathBuf::from("src/entry.ts")
        );
    }

    #[test]
    fn class_member_trace_inherits_the_type_lane_credit_of_its_owner() {
        use fallow_types::extract::{MemberInfo, MemberKind};

        // Issue #2371: the member trace is built from the owner's export
        // trace, so an owner credited only through the type lane reports a
        // used owner instead of the "referenced by no file" reason.
        let mut owner = named_foo_export(false);
        owner.members = vec![MemberInfo {
            name: "run".to_string(),
            kind: MemberKind::ClassMethod,
            span: oxc_span::Span::new(0, 3),
            has_decorator: false,
            decorator_names: vec![],
            is_instance_returning_static: false,
            is_self_returning: false,
            override_base: None,
        }];
        let graph = source_consumer_graph(vec![owner], true, false, Vec::new());

        let trace = trace_class_member(&graph, Path::new("/project"), "src/source.ts", "run")
            .expect("member of the traced export");

        assert!(trace.owner_is_used, "the type lane credits the owner");
        assert_eq!(
            trace.owner_namespace,
            fallow_types::semantic::SemanticNamespace::Type,
            "the member payload names the lane that credits its owner"
        );
        assert_eq!(trace.owner_direct_references.len(), 1);
        assert_eq!(
            trace.owner_direct_references[0].from_file,
            PathBuf::from("src/entry.ts")
        );
        assert!(
            trace.reason.contains("'Foo' is used by 1 file(s)"),
            "the reason must follow the owner's credit: {}",
            trace.reason
        );
    }

    #[test]
    #[expect(
        clippy::too_many_lines,
        reason = "the fixture names every ExportInfo field so a new field is a compile error here"
    )]
    fn trace_preserves_dual_namespace_named_re_exports() {
        let files: Vec<_> = ["entry", "barrel", "types", "values"]
            .into_iter()
            .enumerate()
            .map(|(index, name)| DiscoveredFile {
                id: FileId(index as u32),
                path: PathBuf::from(format!("/project/src/{name}.ts")),
                size_bytes: 10,
            })
            .collect();
        let export = |is_type_only| ExportInfo {
            name: ExportName::Named("Foo".to_string()),
            local_name: Some("Foo".to_string()),
            is_type_only,
            visibility: VisibilityTag::None,
            expected_unused_reason: None,
            span: oxc_span::Span::new(0, 3),
            members: Vec::new(),
            is_side_effect_used: false,
            super_class: None,
            deprecated: false,
            deprecated_reason: None,
        };
        let re_export = |source: FileId, is_type_only| ResolvedReExport {
            info: ReExportInfo {
                source: format!("./{}", source.0),
                imported_name: "Foo".to_string(),
                exported_name: "Foo".to_string(),
                is_type_only,
                span: oxc_span::Span::default(),
                statement_span: oxc_span::Span::default(),
                source_span: oxc_span::Span::default(),
            },
            target: ResolveResult::InternalModule(source),
        };
        let mut resolved = vec![
            ResolvedModule {
                file_id: FileId(0),
                path: files[0].path.clone(),
                resolved_imports: vec![ResolvedImport {
                    info: ImportInfo {
                        source: "./barrel".to_string(),
                        imported_name: ImportedName::Named("Foo".to_string()),
                        local_name: "Foo".to_string(),
                        is_type_only: false,
                        is_type_only_star: false,
                        from_style: false,
                        span: oxc_span::Span::new(0, 10),
                        source_span: oxc_span::Span::default(),
                    },
                    target: ResolveResult::InternalModule(FileId(1)),
                }],
                ..Default::default()
            },
            ResolvedModule {
                file_id: FileId(1),
                path: files[1].path.clone(),
                re_exports: vec![re_export(FileId(2), true), re_export(FileId(3), false)],
                ..Default::default()
            },
            ResolvedModule {
                file_id: FileId(2),
                path: files[2].path.clone(),
                exports: vec![export(true)].into(),
                ..Default::default()
            },
            ResolvedModule {
                file_id: FileId(3),
                path: files[3].path.clone(),
                exports: vec![export(false)].into(),
                ..Default::default()
            },
        ];
        let entry_points = vec![EntryPoint {
            path: files[0].path.clone(),
            source: EntryPointSource::PackageJsonMain,
        }];
        let graph = ModuleGraph::build(&resolved, &entry_points, &files);
        resolved[1].re_exports.reverse();
        let reversed_graph = ModuleGraph::build(&resolved, &entry_points, &files);

        let trace = trace_export(&graph, Path::new("/project"), "src/barrel.ts", "Foo")
            .expect("barrel exposes Foo in both namespaces");

        assert_eq!(
            trace.namespace,
            fallow_types::semantic::SemanticNamespace::Value
        );
        assert!(
            trace.is_used,
            "the value import must credit the value surface"
        );
        assert_eq!(trace.direct_references.len(), 1);
        let reversed_trace = trace_export(
            &reversed_graph,
            Path::new("/project"),
            "src/barrel.ts",
            "Foo",
        )
        .expect("reversed declarations expose the same surface");
        assert_eq!(
            serde_json::to_value(trace).expect("serialize trace"),
            serde_json::to_value(reversed_trace).expect("serialize reversed trace")
        );
    }

    fn build_class_member_graph() -> ModuleGraph {
        use fallow_types::extract::{MemberInfo, MemberKind};

        let files = vec![
            DiscoveredFile {
                id: FileId(0),
                path: PathBuf::from("/project/src/entry.ts"),
                size_bytes: 100,
            },
            DiscoveredFile {
                id: FileId(1),
                path: PathBuf::from("/project/src/controller.ts"),
                size_bytes: 50,
            },
        ];
        let entry_points = vec![EntryPoint {
            path: PathBuf::from("/project/src/entry.ts"),
            source: EntryPointSource::PackageJsonMain,
        }];
        let method = |name: &str| MemberInfo {
            name: name.to_string(),
            kind: MemberKind::ClassMethod,
            span: oxc_span::Span::new(0, 4),
            has_decorator: false,
            decorator_names: vec![],
            is_instance_returning_static: false,
            is_self_returning: false,
            override_base: None,
        };
        let resolved_modules = vec![
            ResolvedModule {
                file_id: FileId(0),
                path: PathBuf::from("/project/src/entry.ts"),
                resolved_imports: vec![ResolvedImport {
                    info: ImportInfo {
                        source: "./controller".to_string(),
                        imported_name: ImportedName::Named("Ctrl".to_string()),
                        local_name: "Ctrl".to_string(),
                        is_type_only: false,
                        is_type_only_star: false,
                        from_style: false,
                        span: oxc_span::Span::new(0, 10),
                        source_span: oxc_span::Span::default(),
                    },
                    target: ResolveResult::InternalModule(FileId(1)),
                }],
                ..Default::default()
            },
            ResolvedModule {
                file_id: FileId(1),
                path: PathBuf::from("/project/src/controller.ts"),
                exports: vec![ExportInfo {
                    name: ExportName::Named("Ctrl".to_string()),
                    local_name: Some("Ctrl".to_string()),
                    is_type_only: false,
                    visibility: VisibilityTag::None,
                    expected_unused_reason: None,
                    span: oxc_span::Span::new(0, 20),
                    members: vec![method("used"), method("dead")],
                    is_side_effect_used: false,
                    super_class: None,
                    deprecated: false,
                    deprecated_reason: None,
                }]
                .into(),
                ..Default::default()
            },
        ];
        ModuleGraph::build(&resolved_modules, &entry_points, &files)
    }

    #[test]
    fn trace_class_member_reports_owner_class() {
        // #1744: `--trace FILE:MEMBER` on a class member reports the owning
        // class instead of erroring "export not found".
        let graph = build_class_member_graph();
        let root = Path::new("/project");

        let trace = trace_class_member(&graph, root, "src/controller.ts", "dead").unwrap();
        assert_eq!(trace.owner_export, "Ctrl");
        assert_eq!(trace.member_name, "dead");
        assert_eq!(trace.member_kind, "class-method");
        assert!(trace.owner_is_used);
        assert!(trace.owner_file_reachable);
        assert_eq!(trace.owner_direct_references.len(), 1);
        assert!(
            trace.reason.contains("--unused-class-members"),
            "reason should point at the member command: {}",
            trace.reason
        );
    }

    #[test]
    fn trace_class_member_absent_name_is_none() {
        // A name that is neither a top-level export nor a declared member falls
        // through so the caller emits the "not found" error.
        let graph = build_class_member_graph();
        let root = Path::new("/project");
        assert!(trace_class_member(&graph, root, "src/controller.ts", "nope").is_none());
    }

    fn exact_class_method_fixture() -> (tempfile::TempDir, ModuleGraph) {
        use fallow_types::extract::{MemberInfo, MemberKind};

        let temp = tempfile::tempdir().unwrap();
        let root = temp.path();
        let path = root.join("repository.ts");
        let source =
            "export class Repository {\n  save(): void;\n  save(): void {}\n  run(): void {}\n}\n";
        std::fs::write(&path, source).unwrap();
        let first = source.find("save").unwrap() as u32;
        let second = source.rfind("save").unwrap() as u32;
        let run = source.find("run").unwrap() as u32;
        let member = |name: &str, start| MemberInfo {
            name: name.to_string(),
            kind: MemberKind::ClassMethod,
            span: oxc_span::Span::new(start, start + 4),
            has_decorator: false,
            decorator_names: vec![],
            is_instance_returning_static: false,
            is_self_returning: false,
            override_base: None,
        };
        let files = vec![DiscoveredFile {
            id: FileId(0),
            path: path.clone(),
            size_bytes: source.len() as u64,
        }];
        let resolved_modules = vec![ResolvedModule {
            file_id: FileId(0),
            path,
            exports: vec![ExportInfo {
                name: ExportName::Named("Repository".to_string()),
                local_name: Some("Repository".to_string()),
                is_type_only: false,
                visibility: VisibilityTag::None,
                expected_unused_reason: None,
                span: oxc_span::Span::new(0, source.len() as u32),
                members: vec![
                    member("save", first),
                    member("save", second),
                    member("run", run),
                ],
                is_side_effect_used: false,
                super_class: None,
                deprecated: false,
                deprecated_reason: None,
            }]
            .into(),
            ..Default::default()
        }];
        let graph = ModuleGraph::build(&resolved_modules, &[], &files);
        (temp, graph)
    }

    #[test]
    fn exact_class_method_resolution_rejects_overloads_without_guessing() {
        let (temp, graph) = exact_class_method_fixture();
        let root = temp.path();
        assert_eq!(
            semantic_symbol_for_exact_class_method(
                &graph,
                root,
                "repository.ts",
                "Repository",
                "save",
            ),
            Err(SemanticClassMethodResolutionError::AmbiguousSymbol)
        );
        assert_eq!(
            semantic_symbol_for_exact_class_method(
                &graph,
                root,
                "repository.ts",
                "OtherRepository",
                "save",
            ),
            Err(SemanticClassMethodResolutionError::SymbolNotFound)
        );
        let resolved = semantic_symbol_for_exact_class_method(
            &graph,
            root,
            "repository.ts",
            "Repository",
            "run",
        )
        .unwrap();
        assert_eq!(resolved.owner.as_deref(), Some("Repository"));
        assert_eq!(resolved.local_name, "run");
    }

    #[test]
    fn exact_class_method_resolution_preserves_error_precedence() {
        use fallow_types::extract::MemberKind;

        let (temp, mut graph) = exact_class_method_fixture();
        let root = temp.path();
        for (file, owner, member, expected) in [
            (
                "missing.ts",
                "Repository",
                "run",
                SemanticClassMethodResolutionError::FileNotFound,
            ),
            (
                "repository.ts",
                "Repository",
                "missing",
                SemanticClassMethodResolutionError::SymbolNotFound,
            ),
        ] {
            assert_eq!(
                semantic_symbol_for_exact_class_method(&graph, root, file, owner, member),
                Err(expected),
            );
        }
        graph.modules[0].exports[0].members[2].kind = MemberKind::ClassProperty;
        assert_eq!(
            semantic_symbol_for_exact_class_method(
                &graph,
                root,
                "repository.ts",
                "Repository",
                "run"
            ),
            Err(SemanticClassMethodResolutionError::UnsupportedSyntax),
        );
        graph.modules[0].exports[0].members[2].kind = MemberKind::ClassMethod;
        std::fs::remove_file(&graph.modules[0].path).expect("remove fixture source");
        assert_eq!(
            semantic_symbol_for_exact_class_method(
                &graph,
                root,
                "repository.ts",
                "Repository",
                "run"
            ),
            Err(SemanticClassMethodResolutionError::SymbolNotFound),
        );
        let (_other_temp, mut other_graph) = exact_class_method_fixture();
        let duplicate = other_graph.modules[0]
            .exports
            .pop()
            .expect("fixture declares an owner");
        graph.modules[0].exports.push(duplicate);
        assert_eq!(
            semantic_symbol_for_exact_class_method(
                &graph,
                root,
                "repository.ts",
                "Repository",
                "run"
            ),
            Err(SemanticClassMethodResolutionError::AmbiguousSymbol),
            "owner ambiguity must be reported before reading source",
        );
    }

    /// Build a graph where the controller declaring `Ctrl` is NOT imported by
    /// the entry, so its file is unreachable and every member is dead.
    fn build_unreachable_class_member_graph() -> ModuleGraph {
        use fallow_types::extract::{MemberInfo, MemberKind};

        let files = vec![
            DiscoveredFile {
                id: FileId(0),
                path: PathBuf::from("/project/src/entry.ts"),
                size_bytes: 100,
            },
            DiscoveredFile {
                id: FileId(1),
                path: PathBuf::from("/project/src/controller.ts"),
                size_bytes: 50,
            },
        ];
        let entry_points = vec![EntryPoint {
            path: PathBuf::from("/project/src/entry.ts"),
            source: EntryPointSource::PackageJsonMain,
        }];
        let method = |name: &str| MemberInfo {
            name: name.to_string(),
            kind: MemberKind::ClassMethod,
            span: oxc_span::Span::new(0, 4),
            has_decorator: false,
            decorator_names: vec![],
            is_instance_returning_static: false,
            is_self_returning: false,
            override_base: None,
        };
        let resolved_modules = vec![
            ResolvedModule {
                file_id: FileId(0),
                path: PathBuf::from("/project/src/entry.ts"),
                // Entry imports nothing, so controller.ts is unreachable.
                ..Default::default()
            },
            ResolvedModule {
                file_id: FileId(1),
                path: PathBuf::from("/project/src/controller.ts"),
                exports: vec![ExportInfo {
                    name: ExportName::Named("Ctrl".to_string()),
                    local_name: Some("Ctrl".to_string()),
                    is_type_only: false,
                    visibility: VisibilityTag::None,
                    expected_unused_reason: None,
                    span: oxc_span::Span::new(0, 20),
                    members: vec![method("dead")],
                    is_side_effect_used: false,
                    super_class: None,
                    deprecated: false,
                    deprecated_reason: None,
                }]
                .into(),
                ..Default::default()
            },
        ];
        ModuleGraph::build(&resolved_modules, &entry_points, &files)
    }

    #[test]
    fn trace_class_member_unreachable_owner_reports_dead_reason() {
        // `!file_reachable` branch: the owning file is not reachable from any
        // entry point, so the reason states the class and its members are dead.
        let graph = build_unreachable_class_member_graph();
        let root = Path::new("/project");

        let trace = trace_class_member(&graph, root, "src/controller.ts", "dead").unwrap();
        assert!(!trace.owner_file_reachable);
        assert!(
            trace.reason.contains("not reachable"),
            "unreachable owner reason should say so: {}",
            trace.reason
        );
        // The unreachable branch does not point at a member command (the file is
        // dead wholesale via the unused-file finding).
        assert!(!trace.reason.contains("--unused-class-members"));
    }

    #[test]
    fn trace_class_member_prefers_used_owner_on_name_collision() {
        // Two exports declare a member of the same name; the tie-break in
        // `max_by_key` must prefer the used, non-type-only owner so the trace
        // reports the reachable class rather than a type-only shadow.
        use fallow_types::extract::{MemberInfo, MemberKind};

        let files = vec![
            DiscoveredFile {
                id: FileId(0),
                path: PathBuf::from("/project/src/entry.ts"),
                size_bytes: 100,
            },
            DiscoveredFile {
                id: FileId(1),
                path: PathBuf::from("/project/src/controller.ts"),
                size_bytes: 50,
            },
        ];
        let entry_points = vec![EntryPoint {
            path: PathBuf::from("/project/src/entry.ts"),
            source: EntryPointSource::PackageJsonMain,
        }];
        let method = |name: &str| MemberInfo {
            name: name.to_string(),
            kind: MemberKind::ClassMethod,
            span: oxc_span::Span::new(0, 4),
            has_decorator: false,
            decorator_names: vec![],
            is_instance_returning_static: false,
            is_self_returning: false,
            override_base: None,
        };
        let resolved_modules = vec![
            ResolvedModule {
                file_id: FileId(0),
                path: PathBuf::from("/project/src/entry.ts"),
                resolved_imports: vec![ResolvedImport {
                    info: ImportInfo {
                        source: "./controller".to_string(),
                        imported_name: ImportedName::Named("UsedCtrl".to_string()),
                        local_name: "UsedCtrl".to_string(),
                        is_type_only: false,
                        is_type_only_star: false,
                        from_style: false,
                        span: oxc_span::Span::new(0, 10),
                        source_span: oxc_span::Span::default(),
                    },
                    target: ResolveResult::InternalModule(FileId(1)),
                }],
                ..Default::default()
            },
            ResolvedModule {
                file_id: FileId(1),
                path: PathBuf::from("/project/src/controller.ts"),
                exports: vec![
                    // Type-only, unreferenced owner declared FIRST: must lose the
                    // tie-break to the used, non-type-only owner below.
                    ExportInfo {
                        name: ExportName::Named("TypeCtrl".to_string()),
                        local_name: Some("TypeCtrl".to_string()),
                        is_type_only: true,
                        visibility: VisibilityTag::None,
                        expected_unused_reason: None,
                        span: oxc_span::Span::new(0, 20),
                        members: vec![method("shared")],
                        is_side_effect_used: false,
                        super_class: None,
                        deprecated: false,
                        deprecated_reason: None,
                    },
                    ExportInfo {
                        name: ExportName::Named("UsedCtrl".to_string()),
                        local_name: Some("UsedCtrl".to_string()),
                        is_type_only: false,
                        visibility: VisibilityTag::None,
                        expected_unused_reason: None,
                        span: oxc_span::Span::new(0, 20),
                        members: vec![method("shared")],
                        is_side_effect_used: false,
                        super_class: None,
                        deprecated: false,
                        deprecated_reason: None,
                    },
                ]
                .into(),
                ..Default::default()
            },
        ];
        let graph = ModuleGraph::build(&resolved_modules, &entry_points, &files);
        let root = Path::new("/project");

        let trace = trace_class_member(&graph, root, "src/controller.ts", "shared").unwrap();
        assert_eq!(
            trace.owner_export, "UsedCtrl",
            "tie-break must prefer the used, non-type-only owner"
        );
        assert!(trace.owner_is_used);
    }

    #[test]
    fn trace_nonexistent_file() {
        let graph = build_test_graph();
        let root = Path::new("/project");

        let trace = trace_export(&graph, root, "src/nope.ts", "foo");
        assert!(trace.is_none());
    }

    #[test]
    fn trace_file_edges() {
        let graph = build_test_graph();
        let root = Path::new("/project");

        let trace = trace_file(&graph, root, "src/entry.ts").unwrap();
        assert!(trace.is_entry_point);
        assert!(trace.is_reachable);
        assert_eq!(trace.imports_from.len(), 1);
        assert_eq!(trace.imports_from[0], PathBuf::from("src/utils.ts"));
        assert!(trace.imported_by.is_empty());
    }

    fn build_nested_duplicate_path_graph() -> ModuleGraph {
        let export = |name: &str| ExportInfo {
            name: ExportName::Named(name.to_string()),
            local_name: Some(name.to_string()),
            is_type_only: false,
            visibility: VisibilityTag::None,
            expected_unused_reason: None,
            span: oxc_span::Span::new(0, 20),
            members: vec![],
            is_side_effect_used: false,
            super_class: None,
            deprecated: false,
            deprecated_reason: None,
        };
        let nested = PathBuf::from("/project/packages/x/src/a.ts");
        let root_file = PathBuf::from("/project/src/a.ts");
        let files = vec![
            DiscoveredFile {
                id: FileId(0),
                path: nested.clone(),
                size_bytes: 20,
            },
            DiscoveredFile {
                id: FileId(1),
                path: root_file.clone(),
                size_bytes: 20,
            },
        ];
        let entry_points = vec![EntryPoint {
            path: root_file.clone(),
            source: EntryPointSource::PackageJsonMain,
        }];
        let resolved_modules = vec![
            ResolvedModule {
                file_id: FileId(0),
                path: nested,
                exports: vec![export("nestedOnly")].into(),
                ..Default::default()
            },
            ResolvedModule {
                file_id: FileId(1),
                path: root_file,
                exports: vec![export("rootOnly")].into(),
                ..Default::default()
            },
        ];
        ModuleGraph::build(&resolved_modules, &entry_points, &files)
    }

    fn graph_with_module_paths(paths: &[PathBuf]) -> ModuleGraph {
        let files: Vec<DiscoveredFile> = paths
            .iter()
            .enumerate()
            .map(|(index, path)| DiscoveredFile {
                id: FileId(u32::try_from(index).expect("small fixture")),
                path: path.clone(),
                size_bytes: 1,
            })
            .collect();
        let resolved_modules: Vec<ResolvedModule> = files
            .iter()
            .map(|file| ResolvedModule {
                file_id: file.id,
                path: file.path.clone(),
                ..Default::default()
            })
            .collect();
        ModuleGraph::build(&resolved_modules, &[], &files)
    }

    fn assert_lookup_matches_single_scan(graph: &ModuleGraph, root: &Path, queries: &[&str]) {
        let lookup = ModulePathLookup::new(graph, root);
        for query in queries {
            assert_eq!(
                lookup.matching(query),
                matching_module_indexes(graph, root, query),
                "query {query:?}"
            );
        }
    }

    const LOOKUP_QUERIES: &[&str] = &[
        "src/a.ts",
        "./src/a.ts",
        "src//a.ts",
        r"src\a.ts",
        "a.ts",
        "x/src/a.ts",
        "packages/x/src/a.ts",
        "sub/c.ts",
        "c.ts",
        "src/",
        "",
        "missing.ts",
        "/elsewhere/src/a.ts",
    ];

    /// The indexed lookup must return the same modules, in the same order, as
    /// the single-scan lookup for exact, suffix, ambiguous and missing paths.
    #[test]
    fn module_path_lookup_matches_single_scan_lookup() {
        let root = Path::new("/project");
        let paths: Vec<PathBuf> = [
            "src/a.ts",
            "packages/x/src/a.ts",
            "packages/y/a.ts",
            "src/sub/c.ts",
            "lib/b.ts",
        ]
        .iter()
        .map(|relative| root.join(relative))
        .collect();
        let graph = graph_with_module_paths(&paths);
        let mut queries = LOOKUP_QUERIES.to_vec();
        let absolute = root.join("src/a.ts").to_string_lossy().into_owned();
        queries.push(&absolute);
        assert_lookup_matches_single_scan(&graph, root, &queries);
    }

    /// With real files, the canonical-root and canonical-target forms take
    /// part too. On macOS the temp dir sits behind a symlink.
    #[test]
    fn module_path_lookup_matches_single_scan_lookup_on_disk() {
        let dir = tempfile::tempdir().expect("tempdir");
        let root = dir.path();
        for relative in ["src/a.ts", "packages/x/src/a.ts", "src/sub/c.ts"] {
            let path = root.join(relative);
            std::fs::create_dir_all(path.parent().expect("parent")).expect("mkdir");
            std::fs::write(&path, "").expect("write");
        }
        let canonical_root = dunce::canonicalize(root).expect("canonical root");
        let paths: Vec<PathBuf> = ["src/a.ts", "packages/x/src/a.ts", "src/sub/c.ts"]
            .iter()
            .map(|relative| canonical_root.join(relative))
            .collect();
        let graph = graph_with_module_paths(&paths);
        assert_lookup_matches_single_scan(&graph, root, LOOKUP_QUERIES);
    }

    #[test]
    fn root_relative_path_prefers_exact_module_over_nested_suffix() {
        let graph = build_nested_duplicate_path_graph();
        let root = Path::new("/project");

        let file = trace_file(&graph, root, "src/a.ts").expect("root file resolves");
        assert_eq!(file.file, PathBuf::from("src/a.ts"));
        assert!(file.is_entry_point);

        let export = trace_export(&graph, root, "src/a.ts", "rootOnly");
        assert!(
            export.is_some(),
            "an export of the root-level file must resolve"
        );
    }

    #[test]
    fn abbreviated_path_keeps_first_suffix_match() {
        let graph = build_nested_duplicate_path_graph();
        let root = Path::new("/project");

        let file = trace_file(&graph, root, "a.ts").expect("suffix match resolves");
        assert_eq!(file.file, PathBuf::from("packages/x/src/a.ts"));
    }

    #[test]
    fn trace_file_imported_by() {
        let graph = build_test_graph();
        let root = Path::new("/project");

        let trace = trace_file(&graph, root, "src/utils.ts").unwrap();
        assert!(!trace.is_entry_point);
        assert!(trace.is_reachable);
        assert_eq!(trace.exports.len(), 2);
        assert_eq!(trace.imported_by.len(), 1);
        assert_eq!(trace.imported_by[0], PathBuf::from("src/entry.ts"));
    }

    #[test]
    fn trace_unreachable_file() {
        let graph = build_test_graph();
        let root = Path::new("/project");

        let trace = trace_file(&graph, root, "src/unused.ts").unwrap();
        assert!(!trace.is_reachable);
        assert!(!trace.is_entry_point);
        assert!(trace.imported_by.is_empty());
    }

    #[test]
    fn trace_clone_finds_matching_group() {
        use crate::duplicates::{CloneGroup, CloneInstance, DuplicationReport, DuplicationStats};
        let report = DuplicationReport {
            clone_groups: vec![CloneGroup {
                instances: vec![
                    CloneInstance {
                        is_symlink: false,
                        file: PathBuf::from("/project/src/a.ts"),
                        start_line: 10,
                        end_line: 20,
                        start_col: 0,
                        end_col: 0,
                        fragment: "fn foo() {}".to_string(),
                    },
                    CloneInstance {
                        is_symlink: false,
                        file: PathBuf::from("/project/src/b.ts"),
                        start_line: 5,
                        end_line: 15,
                        start_col: 0,
                        end_col: 0,
                        fragment: "fn foo() {}".to_string(),
                    },
                ],
                token_count: 60,
                line_count: 11,
                similarity: None,
            }],
            clone_families: vec![],
            mirrored_directories: vec![],
            stats: DuplicationStats {
                total_files: 2,
                files_with_clones: 2,
                total_lines: 100,
                duplicated_lines: 22,
                total_tokens: 200,
                duplicated_tokens: 120,
                clone_groups: 1,
                clone_families: 0,
                clone_instances: 2,
                duplication_percentage: 22.0,
                clone_groups_below_min_occurrences: 0,
                clone_groups_ignored: 0,
                near_candidates_skipped: 0,
            },
        };
        let trace = trace_clone(&report, Path::new("/project"), "src/a.ts", 15);
        assert!(trace.matched_instance.is_some());
        assert_eq!(trace.clone_groups.len(), 1);
        assert_eq!(trace.clone_groups[0].instances.len(), 2);
        assert!(trace.clone_groups[0].fingerprint.starts_with("dup:"));
        assert_eq!(trace.clone_groups[0].suggestion.estimated_savings, 11);
    }

    #[test]
    fn trace_clone_by_fingerprint_resolves_and_misses() {
        use crate::duplicates::{
            CloneGroup, CloneInstance, DuplicationReport, DuplicationStats, clone_fingerprint,
        };
        let report = DuplicationReport {
            clone_groups: vec![CloneGroup {
                instances: vec![
                    CloneInstance {
                        is_symlink: false,
                        file: PathBuf::from("/project/src/a.ts"),
                        start_line: 10,
                        end_line: 20,
                        start_col: 0,
                        end_col: 0,
                        fragment: "fn buildInvoice() {}".to_string(),
                    },
                    CloneInstance {
                        is_symlink: false,
                        file: PathBuf::from("/project/src/b.ts"),
                        start_line: 5,
                        end_line: 15,
                        start_col: 0,
                        end_col: 0,
                        fragment: "fn buildInvoice() {}".to_string(),
                    },
                ],
                token_count: 60,
                line_count: 11,
                similarity: None,
            }],
            clone_families: vec![],
            mirrored_directories: vec![],
            stats: DuplicationStats::default(),
        };
        let fp = clone_fingerprint(&report.clone_groups[0].instances);

        let hit = trace_clone_by_fingerprint(&report, Path::new("/project"), &fp);
        assert!(hit.matched_instance.is_some());
        assert_eq!(hit.clone_groups.len(), 1);
        assert_eq!(hit.clone_groups[0].fingerprint, fp);
        assert_eq!(hit.line, 10);

        let miss = trace_clone_by_fingerprint(&report, Path::new("/project"), "dup:deadbeef");
        assert!(miss.matched_instance.is_none());
        assert!(miss.clone_groups.is_empty());
    }

    #[test]
    fn trace_clone_no_match() {
        use crate::duplicates::{CloneGroup, CloneInstance, DuplicationReport, DuplicationStats};
        let report = DuplicationReport {
            clone_groups: vec![CloneGroup {
                instances: vec![CloneInstance {
                    is_symlink: false,
                    file: PathBuf::from("/project/src/a.ts"),
                    start_line: 10,
                    end_line: 20,
                    start_col: 0,
                    end_col: 0,
                    fragment: "fn foo() {}".to_string(),
                }],
                token_count: 60,
                line_count: 11,
                similarity: None,
            }],
            clone_families: vec![],
            mirrored_directories: vec![],
            stats: DuplicationStats {
                total_files: 1,
                files_with_clones: 1,
                total_lines: 50,
                duplicated_lines: 11,
                total_tokens: 100,
                duplicated_tokens: 60,
                clone_groups: 1,
                clone_families: 0,
                clone_instances: 1,
                duplication_percentage: 22.0,
                clone_groups_below_min_occurrences: 0,
                clone_groups_ignored: 0,
                near_candidates_skipped: 0,
            },
        };
        let trace = trace_clone(&report, Path::new("/project"), "src/a.ts", 25);
        assert!(trace.matched_instance.is_none());
        assert!(trace.clone_groups.is_empty());
    }

    #[test]
    fn trace_clone_line_boundary() {
        use crate::duplicates::{CloneGroup, CloneInstance, DuplicationReport, DuplicationStats};
        let report = DuplicationReport {
            clone_groups: vec![CloneGroup {
                instances: vec![
                    CloneInstance {
                        is_symlink: false,
                        file: PathBuf::from("/project/src/a.ts"),
                        start_line: 10,
                        end_line: 20,
                        start_col: 0,
                        end_col: 0,
                        fragment: "code".to_string(),
                    },
                    CloneInstance {
                        is_symlink: false,
                        file: PathBuf::from("/project/src/b.ts"),
                        start_line: 1,
                        end_line: 11,
                        start_col: 0,
                        end_col: 0,
                        fragment: "code".to_string(),
                    },
                ],
                token_count: 50,
                line_count: 11,
                similarity: None,
            }],
            clone_families: vec![],
            mirrored_directories: vec![],
            stats: DuplicationStats {
                total_files: 2,
                files_with_clones: 2,
                total_lines: 100,
                duplicated_lines: 22,
                total_tokens: 200,
                duplicated_tokens: 100,
                clone_groups: 1,
                clone_families: 0,
                clone_instances: 2,
                duplication_percentage: 22.0,
                clone_groups_below_min_occurrences: 0,
                clone_groups_ignored: 0,
                near_candidates_skipped: 0,
            },
        };
        let root = Path::new("/project");
        assert!(
            trace_clone(&report, root, "src/a.ts", 10)
                .matched_instance
                .is_some()
        );
        assert!(
            trace_clone(&report, root, "src/a.ts", 20)
                .matched_instance
                .is_some()
        );
        assert!(
            trace_clone(&report, root, "src/a.ts", 21)
                .matched_instance
                .is_none()
        );
    }

    #[test]
    fn trace_clone_returns_relative_instance_paths() {
        use crate::duplicates::{CloneGroup, CloneInstance, DuplicationReport, DuplicationStats};
        let report = DuplicationReport {
            clone_groups: vec![CloneGroup {
                instances: vec![
                    CloneInstance {
                        is_symlink: false,
                        file: PathBuf::from("/project/src/a.ts"),
                        start_line: 1,
                        end_line: 10,
                        start_col: 0,
                        end_col: 0,
                        fragment: "code".to_string(),
                    },
                    CloneInstance {
                        is_symlink: false,
                        file: PathBuf::from("/project/src/b.ts"),
                        start_line: 1,
                        end_line: 10,
                        start_col: 0,
                        end_col: 0,
                        fragment: "code".to_string(),
                    },
                ],
                token_count: 50,
                line_count: 10,
                similarity: None,
            }],
            clone_families: vec![],
            mirrored_directories: vec![],
            stats: DuplicationStats {
                total_files: 2,
                files_with_clones: 2,
                total_lines: 50,
                duplicated_lines: 20,
                total_tokens: 100,
                duplicated_tokens: 100,
                clone_groups: 1,
                clone_families: 0,
                clone_instances: 2,
                duplication_percentage: 40.0,
                clone_groups_below_min_occurrences: 0,
                clone_groups_ignored: 0,
                near_candidates_skipped: 0,
            },
        };
        let trace = trace_clone(&report, Path::new("/project"), "src/a.ts", 5);
        let matched = trace.matched_instance.as_ref().expect("match expected");
        assert_eq!(matched.file, PathBuf::from("src/a.ts"));
        for group in &trace.clone_groups {
            for inst in &group.instances {
                let as_str = inst.file.to_string_lossy();
                assert!(
                    !as_str.starts_with('/'),
                    "instance file should be relative, got {as_str}",
                );
                assert!(
                    !as_str.contains(":\\") && !as_str.contains(":/"),
                    "instance file should not have a drive letter, got {as_str}",
                );
            }
        }

        let json = serde_json::to_string(&trace).expect("serializes");
        assert!(
            !json.contains("\"/project/"),
            "serialized trace should not leak absolute paths: {json}",
        );
    }

    /// Regression for the MCP e2e `trace_export` / `trace_file` Windows
    /// failures: the MCP layer passes forward-slashed user input
    /// (`src/utils.ts`) but `module_path` on Windows uses backslash
    /// separators (`D:\a\fallow\...\src\utils.ts`). The byte-level
    /// equality check missed every match. The lookup now normalises
    /// both sides to forward slashes before comparing.
    fn single_module_graph(path: &str) -> ModuleGraph {
        let path = PathBuf::from(path);
        let files = vec![DiscoveredFile {
            id: FileId(0),
            path: path.clone(),
            size_bytes: 10,
        }];
        let resolved_modules = vec![ResolvedModule {
            file_id: FileId(0),
            path,
            ..Default::default()
        }];
        ModuleGraph::build(&resolved_modules, &[], &files)
    }

    #[test]
    fn find_module_normalises_windows_module_path_against_posix_user_path() {
        let root = Path::new(r"D:\a\fallow\fallow\tests\fixtures\basic-project");
        let graph =
            single_module_graph(r"D:\a\fallow\fallow\tests\fixtures\basic-project\src\utils.ts");
        assert!(find_module(&graph, root, "src/utils.ts").is_some());
        assert!(find_module(&graph, root, r"src\utils.ts").is_some());
    }

    #[test]
    fn find_module_suffix_fallback_handles_mixed_separators() {
        let root = Path::new("/some/other/root");
        let graph =
            single_module_graph(r"D:\a\fallow\fallow\tests\fixtures\basic-project\src\utils.ts");
        assert!(find_module(&graph, root, "src/utils.ts").is_some());
    }

    /// Regression for the MCP e2e trace_export / trace_file failures: even
    /// after `find_module` correctly identified the file on Windows, the
    /// trace output struct's `file: PathBuf` field serialized the stored
    /// backslash-shaped path verbatim. JSON consumers (MCP agents, CI
    /// pipelines, the cross-platform trace_file assertion in
    /// `e2e_trace_file_returns_json`) expect forward-slash. Pin the
    /// contract via raw-string Windows-shaped `PathBuf::from` so the test
    /// runs cross-platform.
    #[test]
    fn export_trace_serializes_windows_path_with_forward_slashes() {
        let trace = ExportTrace {
            file: PathBuf::from(r"src\utils.ts"),
            export_name: "foo".to_string(),
            namespace: fallow_types::semantic::SemanticNamespace::Value,
            file_reachable: true,
            is_entry_point: false,
            is_used: true,
            direct_references: vec![ExportReference::new(
                PathBuf::from(r"src\entry.ts"),
                "named import".to_string(),
            )],
            direct_references_by_namespace: Vec::new(),
            star_export_ambiguity: None,
            re_export_chains: vec![ReExportChain {
                barrel_file: PathBuf::from(r"src\index.ts"),
                exported_as: "foo".to_string(),
                reference_count: 1,
            }],
            plugin_credits: Vec::new(),
            reason: "ok".to_string(),
            semantic: None,
        };
        let json = serde_json::to_string(&trace).expect("serializes");
        assert!(
            json.contains("\"file\":\"src/utils.ts\""),
            "ExportTrace.file must serialize with forward slashes: {json}"
        );
        assert!(
            json.contains("\"from_file\":\"src/entry.ts\""),
            "ExportReference.from_file must serialize with forward slashes: {json}"
        );
        assert!(
            json.contains("\"barrel_file\":\"src/index.ts\""),
            "ReExportChain.barrel_file must serialize with forward slashes: {json}"
        );
        assert!(
            !json.contains(r"\\"),
            "no backslash sequence should remain anywhere in the JSON: {json}"
        );
    }

    #[test]
    fn file_trace_serializes_windows_paths_with_forward_slashes() {
        let trace = FileTrace {
            file: PathBuf::from(r"src\utils.ts"),
            is_reachable: true,
            is_entry_point: false,
            exports: vec![],
            imports_from: vec![PathBuf::from(r"src\helpers.ts")],
            imported_by: vec![PathBuf::from(r"src\entry.ts")],
            re_exports: vec![TracedReExport {
                source_file: PathBuf::from(r"src\source.ts"),
                imported_name: "foo".to_string(),
                exported_name: "foo".to_string(),
            }],
            sources: Vec::new(),
        };
        let json = serde_json::to_string(&trace).expect("serializes");
        assert!(json.contains("\"file\":\"src/utils.ts\""), "got {json}");
        assert!(
            json.contains("\"imports_from\":[\"src/helpers.ts\"]"),
            "got {json}"
        );
        assert!(
            json.contains("\"imported_by\":[\"src/entry.ts\"]"),
            "got {json}"
        );
        assert!(
            json.contains("\"source_file\":\"src/source.ts\""),
            "got {json}"
        );
        assert!(!json.contains(r"\\"), "no backslash should remain: {json}");
    }
}